Logs: liberachat/#haskell
| 2021-06-02 03:18:23 | → | pfurla_ joins (~pfurla@216.151.180.231) |
| 2021-06-02 03:18:47 | × | otto_s_ quits (~user@p5de2ffe1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-06-02 03:19:34 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-02 03:20:04 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-06-02 03:20:12 | → | twitch joins (~textual@pool-71-246-146-102.rich.east.verizon.net) |
| 2021-06-02 03:21:28 | × | ikex quits (~ash@user/ikex) (Ping timeout: 272 seconds) |
| 2021-06-02 03:21:53 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 264 seconds) |
| 2021-06-02 03:21:54 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2021-06-02 03:22:18 | × | twitch quits (~textual@pool-71-246-146-102.rich.east.verizon.net) (Client Quit) |
| 2021-06-02 03:22:25 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-02 03:23:04 | → | wanagnuj joins (~wanagnuj@101.95.97.158) |
| 2021-06-02 03:24:11 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-06-02 03:25:28 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-06-02 03:25:36 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2021-06-02 03:26:04 | ← | hyiltiz parts (~quassel@31.220.5.250) () |
| 2021-06-02 03:26:33 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-06-02 03:26:35 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Client Quit) |
| 2021-06-02 03:26:42 | × | o1lo01ol1o quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-02 03:26:57 | → | o1lo01ol1o joins (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) |
| 2021-06-02 03:28:42 | → | shailangsa joins (~shailangs@host86-186-136-74.range86-186.btcentralplus.com) |
| 2021-06-02 03:29:36 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-06-02 03:32:19 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-02 03:34:31 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 03:39:12 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 272 seconds) |
| 2021-06-02 03:39:15 | × | o1lo01ol1o quits (~o1lo01ol1@c-73-10-81-85.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-02 03:39:54 | × | ku quits (~ku@2601:280:c780:7ea0:a829:e2b3:d453:ddc1) (Ping timeout: 264 seconds) |
| 2021-06-02 03:42:26 | × | renzhi quits (~xp@2607:fa49:6500:bc00::e7b) (Ping timeout: 252 seconds) |
| 2021-06-02 03:50:05 | × | skn quits (~znc@sec.nimmagadda.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-02 03:50:34 | → | skn joins (~znc@sec.nimmagadda.net) |
| 2021-06-02 03:50:49 | × | smitop quits (uid328768@user/smitop) (Quit: Connection closed for inactivity) |
| 2021-06-02 03:53:11 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 03:58:12 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 272 seconds) |
| 2021-06-02 03:58:30 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-02 04:01:00 | <jaevanko> | So there's "Write Yourself a Scheme in 48 Hours", is there anything similar for a statically typed language, maybe a subset of Haskell? |
| 2021-06-02 04:02:06 | <Axman6> | I think Stephen Dehow about http://dev.stephendiehl.com/fun/ |
| 2021-06-02 04:02:09 | <Axman6> | uh |
| 2021-06-02 04:02:12 | <Axman6> | how about http://dev.stephendiehl.com/fun/ |
| 2021-06-02 04:02:32 | <jaevanko> | Oh, that seems perfect. Thanks |
| 2021-06-02 04:02:51 | <dy> | Incomplete sadly :( |
| 2021-06-02 04:03:06 | × | rk04 quits (~rk04@user/rajk) (Ping timeout: 250 seconds) |
| 2021-06-02 04:03:07 | <Axman6> | yeah, is a shame |
| 2021-06-02 04:03:23 | → | haskman joins (~haskman@106.201.29.153) |
| 2021-06-02 04:04:03 | <jaevanko> | Oh, I see that now. Well, it'll be a start |
| 2021-06-02 04:05:59 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 2021-06-02 04:06:03 | <dy> | Still a great start yeah. |
| 2021-06-02 04:06:24 | <dy> | You might also check out: https://www.microsoft.com/en-us/research/publication/make-fast-curry-pushenter-vs-evalapply/ |
| 2021-06-02 04:06:29 | <dy> | For some insight into evaluation models. |
| 2021-06-02 04:06:39 | <dy> | (And, perhaps, how you might compile them down.) |
| 2021-06-02 04:07:07 | <dy> | "Our conclusion is simple, and contradicts our initial intuition: compiled implementations should use eval/apply." |
| 2021-06-02 04:07:23 | <dy> | I could be wrong but isn't GHC STG still/back to push/enter though? |
| 2021-06-02 04:07:57 | → | kmein joins (~weechat@user/kmein) |
| 2021-06-02 04:09:17 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 2021-06-02 04:09:32 | × | satai quits (~satai@static-84-42-172-253.net.upcbroadband.cz) (Quit: satai) |
| 2021-06-02 04:13:56 | → | koishi_ joins (~koishi_@67.209.186.120.16clouds.com) |
| 2021-06-02 04:14:57 | × | koishi_ quits (~koishi_@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-06-02 04:14:58 | × | eight quits (~eight@user/eight) (Ping timeout: 268 seconds) |
| 2021-06-02 04:17:13 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 04:19:14 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-02 04:21:08 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-02 04:21:35 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 245 seconds) |
| 2021-06-02 04:22:16 | × | pfurla_ quits (~pfurla@216.151.180.231) (Ping timeout: 272 seconds) |
| 2021-06-02 04:22:51 | × | seeg- quits (~seeg@45.76.32.162) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-06-02 04:24:46 | → | seeg joins (~seeg@2a05:f480:1400:311:5400:1ff:feff:256) |
| 2021-06-02 04:29:27 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-06-02 04:29:33 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-02 04:30:09 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-02 04:30:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-02 04:31:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-02 04:32:53 | × | jaevanko quits (~jaevanko@2600:1700:1330:2bef:7d9a:87ce:495f:966a) (Quit: Leaving) |
| 2021-06-02 04:34:08 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 04:36:09 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-02 04:36:17 | × | vk3wtf quits (~doc@59-102-3-251.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2021-06-02 04:36:39 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-06-02 04:38:24 | × | mccoyb quits (~textual@2601:182:d000:3b50:74fc:67c:ef8b:8632) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-02 04:38:44 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 272 seconds) |
| 2021-06-02 04:41:16 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-02 04:42:53 | × | danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.1) |
| 2021-06-02 04:45:04 | × | beka quits (~beka@104.193.170-254.PUBLIC.monkeybrains.net) (Ping timeout: 272 seconds) |
| 2021-06-02 04:45:37 | → | ytg joins (~ytg@109-186-149-143.bb.netvision.net.il) |
| 2021-06-02 04:46:00 | × | ytg quits (~ytg@109-186-149-143.bb.netvision.net.il) (Client Quit) |
| 2021-06-02 04:46:08 | → | danso joins (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-06-02 04:47:22 | → | pfurla joins (~pfurla@216.131.82.58) |
| 2021-06-02 04:48:14 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-06-02 04:49:05 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-06-02 04:49:50 | → | vk3wtf joins (~doc@124.168.198.139) |
| 2021-06-02 04:50:13 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 04:50:46 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-06-02 04:52:34 | × | haskman quits (~haskman@106.201.29.153) (Quit: Going to sleep. ZZZzzz…) |
| 2021-06-02 04:53:35 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-06-02 04:55:12 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 272 seconds) |
| 2021-06-02 04:55:18 | → | seeg0 joins (~thelounge@static.89.161.217.95.clients.your-server.de) |
| 2021-06-02 04:55:50 | × | pfurla quits (~pfurla@216.131.82.58) (Ping timeout: 272 seconds) |
| 2021-06-02 04:57:50 | × | falafel_ quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-06-02 04:58:48 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-02 05:04:28 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-06-02 05:05:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-06-02 05:06:52 | → | kristjansson joins (sid126207@id-126207.tinside.irccloud.com) |
| 2021-06-02 05:08:34 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-02 05:12:50 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 245 seconds) |
| 2021-06-02 05:16:46 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
All times are in UTC.