Logs: liberachat/#haskell
| 2025-09-16 16:54:26 | ruvam_ | is now known as ruvam |
| 2025-09-16 16:54:32 | → | cwraith joins (~c_wraith@adjoint.us) |
| 2025-09-16 16:54:33 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-09-16 16:55:09 | divlamir__ | is now known as divlamir |
| 2025-09-16 16:55:10 | → | Aleksejs joins (~Aleksejs@107.170.21.106) |
| 2025-09-16 16:55:12 | → | Ekho joins (~Ekho@user/ekho) |
| 2025-09-16 16:55:13 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 2025-09-16 16:55:27 | fgarcia_ | is now known as fgarcia |
| 2025-09-16 16:57:42 | cwraith | is now known as c_wraith |
| 2025-09-16 16:58:29 | rvalue- | is now known as rvalue |
| 2025-09-16 16:59:50 | → | swistak- joins (~swistak@185.21.216.141) |
| 2025-09-16 16:59:50 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-09-16 16:59:50 | → | Jackneill_ joins (~Jackneill@94-21-227-192.pool.digikabel.hu) |
| 2025-09-16 16:59:50 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-09-16 16:59:50 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-16 16:59:50 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2025-09-16 16:59:50 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-16 16:59:50 | → | glguy_ joins (glguy@libera/staff/glguy) |
| 2025-09-16 16:59:50 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 2025-09-16 16:59:50 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 2025-09-16 16:59:50 | → | aspen joins (sid449115@id-449115.helmsley.irccloud.com) |
| 2025-09-16 16:59:50 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 2025-09-16 16:59:50 | → | alethkit joins (23bd17ddc6@sourcehut/user/alethkit) |
| 2025-09-16 16:59:50 | → | rselim joins (ce261f06ff@user/milesrout) |
| 2025-09-16 16:59:50 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 2025-09-16 16:59:50 | → | poscat0x04 joins (~poscat@user/poscat) |
| 2025-09-16 16:59:50 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2025-09-16 16:59:50 | → | laman joins (laman@rego.ai) |
| 2025-09-16 16:59:50 | → | Beowulf joins (florian@gabilgathol.bandrate.org) |
| 2025-09-16 16:59:50 | → | coldmountain joins (sid484352@id-484352.helmsley.irccloud.com) |
| 2025-09-16 16:59:50 | → | jonrh joins (sid5185@id-5185.ilkley.irccloud.com) |
| 2025-09-16 16:59:50 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 2025-09-16 16:59:50 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2025-09-16 16:59:50 | tungsten.libera.chat | sets mode +v yahb2 |
| 2025-09-16 16:59:52 | × | alethkit quits (23bd17ddc6@sourcehut/user/alethkit) (Max SendQ exceeded) |
| 2025-09-16 16:59:52 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Max SendQ exceeded) |
| 2025-09-16 16:59:52 | × | Jackneill_ quits (~Jackneill@94-21-227-192.pool.digikabel.hu) (Max SendQ exceeded) |
| 2025-09-16 16:59:52 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Max SendQ exceeded) |
| 2025-09-16 16:59:59 | → | alethkit_ joins (23bd17ddc6@sourcehut/user/alethkit) |
| 2025-09-16 17:00:07 | → | mmaruseacph2 joins (~mihai@mihai.page) |
| 2025-09-16 17:00:12 | → | Jackneill_ joins (~Jackneill@94-21-227-192.pool.digikabel.hu) |
| 2025-09-16 17:00:55 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 2025-09-16 17:01:17 | alethkit_ | is now known as alethkit |
| 2025-09-16 17:01:34 | → | j0lol joins (~j0lol@132.145.17.236) |
| 2025-09-16 17:01:40 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 2025-09-16 17:02:40 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2025-09-16 17:03:36 | → | Profpatsch joins (~Profpatsc@user/Profpatsch) |
| 2025-09-16 17:04:05 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 2025-09-16 17:07:49 | × | trickard quits (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-16 17:08:04 | → | trickard_ joins (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 2025-09-16 17:08:16 | → | WzC joins (~Frank@77-162-168-71.fixed.kpn.net) |
| 2025-09-16 17:09:47 | × | mulk quits (~mulk@pd95144c3.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-09-16 17:09:47 | × | Noinia quits (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 2025-09-16 17:10:29 | × | j0lol quits (~j0lol@132.145.17.236) (Ping timeout: 260 seconds) |
| 2025-09-16 17:10:43 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Ping timeout: 260 seconds) |
| 2025-09-16 17:11:21 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 2025-09-16 17:11:47 | → | mulk joins (~mulk@pd95144c3.dip0.t-ipconnect.de) |
| 2025-09-16 17:12:21 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) |
| 2025-09-16 17:13:51 | → | lol_ joins (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) |
| 2025-09-16 17:15:33 | × | Lycurgus quits (~juan@user/Lycurgus) (Remote host closed the connection) |
| 2025-09-16 17:16:42 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-16 17:16:50 | → | j0lol joins (~j0lol@132.145.17.236) |
| 2025-09-16 17:17:07 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) (Ping timeout: 260 seconds) |
| 2025-09-16 17:21:16 | Digitteknohippie | is now known as Digit |
| 2025-09-16 17:29:09 | → | AndreiDuma joins (~AndreiDum@user/AndreiDuma) |
| 2025-09-16 17:35:36 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-16 17:38:16 | × | lol_ quits (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) (Read error: Connection reset by peer) |
| 2025-09-16 17:38:45 | → | lol_ joins (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) |
| 2025-09-16 17:38:57 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2025-09-16 17:39:08 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) |
| 2025-09-16 17:39:08 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) (Changing host) |
| 2025-09-16 17:39:08 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-16 17:43:05 | × | vgtw_ quits (~vgtw@user/vgtw) (Ping timeout: 265 seconds) |
| 2025-09-16 17:43:12 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-09-16 17:44:59 | trickard_ | is now known as trickard |
| 2025-09-16 17:48:43 | → | ksqsf joins (~user@2a02:810a:8d13:8800:841a:4949:f9a8:85d8) |
| 2025-09-16 17:50:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 17:52:34 | → | vgtw joins (~vgtw@user/vgtw) |
| 2025-09-16 17:54:14 | × | collide2954 quits (~collide29@user/collide2954) (Quit: The Lounge - https://thelounge.chat) |
| 2025-09-16 17:54:17 | ← | ksqsf parts (~user@2a02:810a:8d13:8800:841a:4949:f9a8:85d8) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1.50)) |
| 2025-09-16 17:57:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-16 18:08:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 18:10:20 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-16 18:10:37 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 2025-09-16 18:13:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-16 18:15:03 | meejah_ | is now known as meejah |
| 2025-09-16 18:20:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 18:22:55 | <monochrom> | IMO continuation = callback = a -> IO b too. |
| 2025-09-16 18:23:35 | <monochrom> | OK sometimes it's a->r instead of a -> IO b. |
| 2025-09-16 18:24:24 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-09-16 18:24:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-16 18:24:43 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-09-16 18:26:05 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-09-16 18:29:48 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-09-16 18:35:06 | <tomsmeding> | in the javascript world, a callback is typically something that's tail-called -- i.e. what we'd call a continuation |
| 2025-09-16 18:35:20 | <tomsmeding> | elsewhere non-tail-call callbacks are more common I feel |
| 2025-09-16 18:35:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 18:36:17 | <tomsmeding> | the JS tendency is mostly because they use one or two monads without knowing that they're monads, and you get continuations from (>>=) :p |
| 2025-09-16 18:36:51 | <monochrom> | Yeah |
| 2025-09-16 18:37:24 | <tomsmeding> | though I guess Promise is more like a Church-encoded Either |
All times are in UTC.