Logs: liberachat/#haskell
| 2021-07-08 07:06:34 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-07-08 07:14:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-08 07:15:31 | → | chomwitt joins (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) |
| 2021-07-08 07:17:42 | × | andreabedini quits (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Quit: WeeChat 2.8) |
| 2021-07-08 07:19:43 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-08 07:20:46 | → | epolanski joins (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-07-08 07:21:46 | × | chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 240 seconds) |
| 2021-07-08 07:22:32 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-08 07:28:10 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-08 07:29:38 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-08 07:29:55 | × | eggplant_ quits (~Eggplanta@2600:1700:bef1:5e10:44e3:e9f0:ea4d:f039) (Remote host closed the connection) |
| 2021-07-08 07:30:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 07:32:09 | × | maf654321 quits (~maf654321@user/maf654321) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-08 07:33:27 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.1) |
| 2021-07-08 07:33:37 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-07-08 07:34:22 | → | Pickchea joins (~private@185.31.55.18.dyn.kraftcom.at) |
| 2021-07-08 07:35:41 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 258 seconds) |
| 2021-07-08 07:36:47 | × | Pickchea quits (~private@185.31.55.18.dyn.kraftcom.at) (Changing host) |
| 2021-07-08 07:36:47 | → | Pickchea joins (~private@user/pickchea) |
| 2021-07-08 07:36:59 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-07-08 07:37:00 | × | cjb quits (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-07-08 07:37:22 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-07-08 07:40:32 | → | CoolerX joins (~CoolerX@user/coolerx) |
| 2021-07-08 07:40:32 | <CoolerX> | Hi |
| 2021-07-08 07:40:32 | <CoolerX> | Is there a way to embed Haskell in other languages? |
| 2021-07-08 07:40:33 | <Axman6> | G'day |
| 2021-07-08 07:40:34 | <CoolerX> | Would like to embed Haskell in a Golang project |
| 2021-07-08 07:40:36 | <CoolerX> | Since Haskell is compiled I am not entirely sure if this is even possible |
| 2021-07-08 07:40:36 | <Axman6> | Yo can cal Haskell from other languages that are able to call C functions |
| 2021-07-08 07:40:37 | <Axman6> | You can call* |
| 2021-07-08 07:40:44 | <CoolerX> | right |
| 2021-07-08 07:40:51 | <CoolerX> | through the foreign function interface of C |
| 2021-07-08 07:40:58 | × | _________ quits (~nobody@user/noodly) (Ping timeout: 272 seconds) |
| 2021-07-08 07:41:17 | <CoolerX> | and C++, Golang |
| 2021-07-08 07:42:42 | <CoolerX> | well ok, th |
| 2021-07-08 07:42:42 | <CoolerX> | Thanks |
| 2021-07-08 07:42:42 | × | CoolerX quits (~CoolerX@user/coolerx) (Client Quit) |
| 2021-07-08 07:45:43 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-08 07:46:18 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-08 07:47:34 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.1) |
| 2021-07-08 07:48:57 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 252 seconds) |
| 2021-07-08 07:49:22 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:af84:7945:9a52:2fce) (Ping timeout: 240 seconds) |
| 2021-07-08 07:49:25 | → | azeem joins (~azeem@176.200.224.11) |
| 2021-07-08 07:50:36 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-07-08 07:50:45 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:547e:4393:1b6c:3477) |
| 2021-07-08 07:51:17 | → | _________ joins (~nobody@user/noodly) |
| 2021-07-08 07:53:27 | × | MidAutumnMoon9 quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-07-08 07:53:27 | → | MidAutumnMoon9 joins (~MidAutumn@user/midautumnmoon) |
| 2021-07-08 07:55:48 | → | chele joins (~chele@user/chele) |
| 2021-07-08 07:57:26 | × | synthmeat quits (~synthmeat@user/synthmeat) (Quit: WeeChat 3.2) |
| 2021-07-08 07:58:55 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-07-08 08:00:55 | → | zyklotomic joins (~ethan@2604:a880:800:10::79f:8001) |
| 2021-07-08 08:02:59 | → | sidv joins (~sidv@23.252.50.92) |
| 2021-07-08 08:03:01 | <zyklotomic> | is foldl (+) 0 [1::Int .. 100] not susceptible to space leaks because GHC optimizes it? |
| 2021-07-08 08:04:20 | × | Obo quits (~roberto@122.red-83-38-248.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2021-07-08 08:04:23 | <merijn> | zyklotomic: yeah |
| 2021-07-08 08:06:05 | <zyklotomic> | is it because of a special case of Int# being unlifted |
| 2021-07-08 08:06:21 | → | Obo joins (~roberto@94.191.137.180.mobile.tre.se) |
| 2021-07-08 08:06:28 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-07-08 08:07:03 | <zyklotomic> | and I was trying to force a leak lol |
| 2021-07-08 08:08:25 | <merijn> | zyklotomic: GHC has a strictness analyzer that tries to detect cases like this where making a computation strict improves performance |
| 2021-07-08 08:09:15 | × | hendursa1 quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-08 08:09:25 | <merijn> | zyklotomic: Hence the pedantic correction that Haskell is "non-strict" and not lazy |
| 2021-07-08 08:09:27 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-08 08:09:27 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-08 08:09:49 | <zyklotomic> | shouldn't a warning be triggered in those cases, just wondering |
| 2021-07-08 08:10:39 | <zyklotomic> | merijn: or GHC Haskell? i'm not sure how true that is |
| 2021-07-08 08:11:04 | <merijn> | zyklotomic: The Haskell report specifies haskell as "non-strict" |
| 2021-07-08 08:11:44 | <merijn> | zyklotomic: So making code strict is not an error as long as the semantics don't change compared to lazy eval |
| 2021-07-08 08:13:46 | <zyklotomic> | GHC is defacto |
| 2021-07-08 08:13:47 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-2789-7e8e-a3b3-3994.fixed6.kpn.net) |
| 2021-07-08 08:13:47 | <zyklotomic> | ah gotcha |
| 2021-07-08 08:13:48 | <zyklotomic> | merijn: can you give me an example of how to create a partial application leak on purpose |
| 2021-07-08 08:13:48 | <zyklotomic> | like what I was trying to do with the fold |
| 2021-07-08 08:13:48 | <zyklotomic> | not partial application i think, that might be wrong way to describe it |
| 2021-07-08 08:13:48 | <zyklotomic> | but unevaluated thunks |
| 2021-07-08 08:13:48 | → | synthmeat joins (~synthmeat@user/synthmeat) |
| 2021-07-08 08:14:26 | <merijn> | zyklotomic: The reason to specify Haskell as "non-strict" is exactly to make it legal for compilers to generate strict code |
| 2021-07-08 08:15:10 | × | sshine quits (~simon@hubris.eta.solutions) (Ping timeout: 272 seconds) |
| 2021-07-08 08:16:51 | → | janiczek joins (~janiczek@89-24-215-117.customers.tmcz.cz) |
| 2021-07-08 08:17:18 | <janiczek> | @pl \x -> f x 2 |
| 2021-07-08 08:17:18 | <lambdabot> | flip f 2 |
| 2021-07-08 08:17:36 | → | sshine joins (~simon@hubris.eta.solutions) |
| 2021-07-08 08:17:36 | × | allbery_b quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-08 08:17:36 | → | viluon joins (uid453725@id-453725.brockwell.irccloud.com) |
| 2021-07-08 08:19:02 | <zyklotomic> | merijn: and -O0 should turn that off right |
| 2021-07-08 08:19:02 | <zyklotomic> | i'm reading https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-optimisation.html |
| 2021-07-08 08:19:03 | <zyklotomic> | trying to force thunks to happen |
| 2021-07-08 08:19:03 | <zyklotomic> | *turn off the strictness analyzer |
| 2021-07-08 08:19:09 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-08 08:19:40 | → | leah2 joins (~leah@vuxu.org) |
| 2021-07-08 08:21:48 | × | janiczek quits (~janiczek@89-24-215-117.customers.tmcz.cz) (Quit: WeeChat 3.2) |
| 2021-07-08 08:24:55 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-2789-7e8e-a3b3-3994.fixed6.kpn.net) (Remote host closed the connection) |
| 2021-07-08 08:25:00 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-a11c-6737-273e-abfe.fixed6.kpn.net) |
| 2021-07-08 08:25:22 | → | michalz joins (~michalz@185.246.204.121) |
| 2021-07-08 08:25:22 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2021-07-08 08:25:22 | × | Obo quits (~roberto@94.191.137.180.mobile.tre.se) (Ping timeout: 265 seconds) |
| 2021-07-08 08:25:22 | <sidv> | I'm trying to do precise time calculations down to the millisecond, does UTCTime from the time package support this level of precision? |
| 2021-07-08 08:25:22 | × | arjun quits (~Srain@user/arjun) (Ping timeout: 246 seconds) |
| 2021-07-08 08:25:23 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
All times are in UTC.