Logs: liberachat/#haskell
| 2021-07-10 02:38:58 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2021-07-10 02:40:02 | <mniip> | hmm |
| 2021-07-10 02:40:38 | <mniip> | does uncons fuse? |
| 2021-07-10 02:42:00 | <mniip> | nope! |
| 2021-07-10 02:57:30 | × | Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-07-10 02:57:46 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-10 03:00:16 | × | emergence quits (~emergence@vm0.max-p.me) (Quit: emergence) |
| 2021-07-10 03:00:56 | → | jlamothe joins (~jlamothe@198.251.60.157) |
| 2021-07-10 03:01:21 | → | emergence joins (~emergence@vm0.max-p.me) |
| 2021-07-10 03:03:22 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-10 03:07:32 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-10 03:08:26 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-10 03:10:41 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 255 seconds) |
| 2021-07-10 03:19:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-10 03:24:07 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2021-07-10 03:24:34 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-10 03:24:36 | → | cheater joins (~Username@user/cheater) |
| 2021-07-10 03:27:49 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-10 03:32:05 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-10 03:33:16 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-10 03:36:41 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-07-10 03:36:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-07-10 03:38:08 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-10 03:45:39 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-10 03:49:22 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-10 03:50:53 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-10 03:51:04 | × | neurocyte404 quits (~neurocyte@user/neurocyte) (Ping timeout: 246 seconds) |
| 2021-07-10 03:51:12 | → | neurocyte404 joins (~neurocyte@user/neurocyte) |
| 2021-07-10 03:53:52 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-07-10 03:53:58 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-10 03:54:53 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-10 03:55:16 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-07-10 03:55:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-07-10 04:00:01 | × | jolly quits (~jolly@208.180.97.158) (Quit: Connection closed) |
| 2021-07-10 04:02:09 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-10 04:02:14 | × | theproffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 2021-07-10 04:02:27 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-10 04:04:56 | → | theproffesor joins (~theproffe@2601:282:847f:8010::3a29) |
| 2021-07-10 04:05:34 | → | ordinate joins (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) |
| 2021-07-10 04:06:06 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-10 04:06:17 | <ezzieyguywuf> | hot dog, I made a version of >>= and >= that work in c++ :) https://github.com/ezzieyguywuf/expected#readme |
| 2021-07-10 04:07:33 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-10 04:08:44 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-10 04:10:21 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-10 04:10:55 | × | ordinate quits (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) (Quit: Leaving) |
| 2021-07-10 04:10:59 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-10 04:11:19 | × | theproffesor quits (~theproffe@2601:282:847f:8010::3a29) (Changing host) |
| 2021-07-10 04:11:19 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 2021-07-10 04:12:07 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-07-10 04:15:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-10 04:17:05 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-10 04:17:07 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-10 04:17:47 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-10 04:18:39 | × | MQ-17J quits (~MQ-17J@8.21.10.15) (Ping timeout: 252 seconds) |
| 2021-07-10 04:19:45 | dsal | dumps haskell and moves everything to c++ |
| 2021-07-10 04:20:07 | <ezzieyguywuf> | 🤣 |
| 2021-07-10 04:20:32 | <ezzieyguywuf> | no do-notation though, and pattern matching isn't due till c++23 it looks like |
| 2021-07-10 04:20:59 | <dsal> | It's neat, though. |
| 2021-07-10 04:21:42 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-10 04:22:43 | <ezzieyguywuf> | yea! |
| 2021-07-10 04:23:35 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-10 04:24:00 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-10 04:28:32 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-10 04:32:27 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-10 04:32:40 | → | haykam1 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-10 04:33:29 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-10 04:33:37 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-10 04:33:47 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-10 04:36:26 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-10 04:38:34 | × | hmmmas quits (~fidnc@183.217.200.144) (Quit: Leaving.) |
| 2021-07-10 04:41:35 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Quit: Leaving...) |
| 2021-07-10 04:41:57 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-10 04:43:34 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-10 04:46:22 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2021-07-10 04:52:06 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-10 04:55:28 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-10 04:59:43 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-10 05:04:18 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-10 05:06:35 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-10 05:10:12 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-10 05:14:34 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-07-10 05:17:51 | → | StayHungry joins (~StayHungr@gateway/tor-sasl/stayhungry) |
| 2021-07-10 05:18:40 | × | StayHungry quits (~StayHungr@gateway/tor-sasl/stayhungry) (Remote host closed the connection) |
| 2021-07-10 05:18:52 | × | FragByte quits (~christian@user/fragbyte) (Quit: Quit) |
| 2021-07-10 05:19:19 | → | StayHungry joins (~StayHungr@gateway/tor-sasl/stayhungry) |
| 2021-07-10 05:19:23 | <StayHungry> | Comrades, I put main = print "hello, world" into hello.hs and execute ghc.exe hello.hs, then hello.exe pops up with 14 Mbytes in size. how comes a binary that output hello, world is so large? |
| 2021-07-10 05:19:24 | × | xff0x quits (~xff0x@2001:1a81:525a:ea00:9e1e:6e15:b03f:8acc) (Ping timeout: 255 seconds) |
| 2021-07-10 05:19:30 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-07-10 05:20:18 | → | xff0x joins (~xff0x@2001:1a81:525a:ea00:a07c:46ec:2ccb:d36d) |
| 2021-07-10 05:20:31 | → | FragByte joins (~christian@user/fragbyte) |
| 2021-07-10 05:21:48 | <smtnet3> | StayHungry, static linking |
| 2021-07-10 05:28:50 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 255 seconds) |
| 2021-07-10 05:30:49 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-10 05:31:53 | <c_wraith> | And especially the fact that the runtime is a single library |
| 2021-07-10 05:32:41 | <c_wraith> | You're getting the entire runtime statically linked in, no matter how much of it you use. |
| 2021-07-10 05:33:10 | <c_wraith> | ... Though to be fair, print actually uses a lot more of the runtime's features than you might expect. |
| 2021-07-10 05:35:14 | <StayHungry> | other languages also can compile with static linking, but their helloworld consume noticeably less space, hence the question. i guess it's a peculiarity of Haskell then. |
| 2021-07-10 05:35:34 | <DigitalKiwi> | also no optimization or whatever the default is |
| 2021-07-10 05:37:39 | <c_wraith> | the real reason it happens is that no one has decided the effort of breaking the runtime up so that the linker can leave parts out of it is worth the engineering time. |
| 2021-07-10 05:38:03 | <c_wraith> | It's a hard problem for returns that really only matter in niche cases |
All times are in UTC.