Newest at the top
2025-05-06 19:08:44 +0200 | JuanDaugherty | ColinRobinson |
2025-05-06 19:08:39 +0200 | euleritian | (~euleritia@dynamic-176-006-138-148.176.6.pool.telefonica.de) |
2025-05-06 19:08:20 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2025-05-06 18:56:49 +0200 | <EvanR> | currying ... the implementation of multi-argument functions as nested single argument functions. Haskell only has single argument functions then GHC can take the liberty of implementing them as multiargument functions. The exact opposite! |
2025-05-06 18:51:12 +0200 | <int-e> | (Though that's GHC territory, not Haskell per se.) |
2025-05-06 18:51:10 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-05-06 18:49:56 +0200 | <int-e> | heh but maybe you could make the argument that the "S" in "STG" is a form of automatic uncurrying |
2025-05-06 18:47:30 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-05-06 18:47:04 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-05-06 18:47:01 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-05-06 18:46:49 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-05-06 18:46:04 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-05-06 18:45:23 +0200 | <ski> | yin : fwiw, Haskell does not "feature automatic currying" |
2025-05-06 18:31:58 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
2025-05-06 18:24:39 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
2025-05-06 18:23:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) |
2025-05-06 18:21:08 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-06 17:59:37 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:70a8:360f:569f:e3f9) (Quit: ubert) |
2025-05-06 17:54:35 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f530114fa8f2e8a4c12.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2025-05-06 17:50:56 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
2025-05-06 17:49:27 +0200 | adamCS | (~adamCS@70.19.85.77) (Remote host closed the connection) |
2025-05-06 17:45:42 +0200 | chele_ | (~chele@user/chele) (Ping timeout: 276 seconds) |
2025-05-06 17:35:12 +0200 | jespada | (~jespada@r179-25-149-142.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-05-06 17:33:14 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-05-06 17:32:45 +0200 | jespada_ | (~jespada@r179-24-30-150.dialup.adsl.anteldata.net.uy) jespada |
2025-05-06 17:32:12 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
2025-05-06 17:32:12 +0200 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
2025-05-06 17:27:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-05-06 17:22:49 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-06 17:22:00 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2025-05-06 17:22:00 +0200 | <haskellbridge> | <Liamzee> dotmorphism is okay? |
2025-05-06 17:17:43 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-05-06 17:13:47 +0200 | <haskellbridge> | <Liamzee> Claude and Deepseek convinced me and each other that Zeromorph was a good name, when it refers to a constant and co-constant morphism. facepalm |
2025-05-06 17:13:01 +0200 | <haskellbridge> | <Liamzee> had a disaster with LLM just now, I was looking for Haskell-themed website names, oriented around the arrow from the initial object |
2025-05-06 17:11:50 +0200 | <haskellbridge> | <Liamzee> "When you realize that Gabriella Gonzalez's haskellforall.com blog is actually a pun on explicit universal quantification" |
2025-05-06 17:11:16 +0200 | <haskellbridge> | <Liamzee> things that happen to you in life: |
2025-05-06 17:06:41 +0200 | connrs | (~connrs@user/connrs) connrs |
2025-05-06 17:04:44 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) |
2025-05-06 16:55:59 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-05-06 16:54:01 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
2025-05-06 16:40:37 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds) |
2025-05-06 16:32:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:cdc3:f42b:30fc:1c61) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-05-06 16:25:06 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
2025-05-06 16:19:43 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2025-05-06 16:16:27 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
2025-05-06 16:16:10 +0200 | euleritian | (~euleritia@dynamic-176-006-138-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2025-05-06 16:09:08 +0200 | <df> | but time has never been very reliable for that anyway, that's why we invented vector clocks etc |
2025-05-06 16:08:25 +0200 | <yin> | wait no, that was Doc Brown |
2025-05-06 16:08:25 +0200 | <yin> | "quickly, there's no time!" |
2025-05-06 16:08:15 +0200 | <df> | yin: made life easier for a bunch of programmers? ordering events might be tricky though, I admit |