Newest at the top
| 2026-01-23 00:51:03 +0100 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-01-23 00:50:25 +0100 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-01-23 00:50:23 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 00:47:48 +0100 | RMSBach | (~RMSBach@24.210.9.182) RMSBach |
| 2026-01-23 00:42:00 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-23 00:40:35 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-01-23 00:34:30 +0100 | Hafydd | (~Hafydd@user/hafydd) (Quit: WeeChat 4.8.1) |
| 2026-01-23 00:34:18 +0100 | <jreicher> | chromoblob: who's saying you should write Haskell without recursion? |
| 2026-01-23 00:34:08 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-23 00:33:34 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Ping timeout: 244 seconds) |
| 2026-01-23 00:28:53 +0100 | zanetti | (~zanetti@2804:7f0:9b80:2edc:c121:46e7:c35f:46cf) (Quit: Konversation terminated!) |
| 2026-01-23 00:23:28 +0100 | <geekosaur> | I think tht usually means without _explicit_ recursion, e.g. using folds/traverses |
| 2026-01-23 00:20:52 +0100 | <chromoblob> | and how is Haskell without recursion supposed to be useful |
| 2026-01-23 00:20:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-23 00:20:24 +0100 | <chromoblob> | how the fuck are you supposed to write Haskell without recursion |
| 2026-01-23 00:18:26 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-23 00:18:12 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-23 00:14:16 +0100 | <jackdk> | Perhaps most approachable free intro. Optics By Example is worth the price. |
| 2026-01-23 00:13:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-23 00:04:51 +0100 | zanetti | (~zanetti@2804:7f0:9b80:2edc:c121:46e7:c35f:46cf) zanetti |
| 2026-01-23 00:03:18 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-01-23 00:02:18 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-01-22 23:57:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 23:51:20 +0100 | mange | (~mange@user/mange) mange |
| 2026-01-22 23:47:20 +0100 | <jackdk> | gentauro: also https://github.com/ekmett/lens/wiki/History-of-Lenses . But the SPJ talk is the most approachable introduction I've seen, and does a decent job of motivating the VL form |
| 2026-01-22 23:47:15 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-22 23:47:14 +0100 | <EvanR> | also einstein |
| 2026-01-22 23:47:06 +0100 | <EvanR> | but not* uhg |
| 2026-01-22 23:46:43 +0100 | <EvanR> | strive for the most general type signature, no not generaler --einstein |
| 2026-01-22 23:46:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-22 23:45:55 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-01-22 23:42:11 +0100 | <jackdk> | gentauro: There were a bunch of people who worked on it. I wasn't there for the history but Twan Van Laarhoven invented the `type Lens s a = forall f . Functor f => (a -> f a) -> s -> f s` form: https://www.twanvl.nl/blog/haskell/cps-functional-references . The type-changing form `Lens s t a b` came after someone (don't remember who) wrote a lens for `_1` without putting a type signature on it, and GHC inferred with a more general type. |
| 2026-01-22 23:41:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 23:41:38 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-22 23:38:50 +0100 | trickard_ | (~trickard@cpe-93-98-47-163.wireline.com.au) |
| 2026-01-22 23:38:36 +0100 | trickard | (~trickard@cpe-93-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-22 23:34:45 +0100 | Tuplanolla | (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-01-22 23:31:13 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 23:26:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 23:21:46 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-01-22 23:15:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-22 23:14:02 +0100 | Lycurgus | (~juan@user/Lycurgus) Lycurgus |
| 2026-01-22 23:10:45 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-01-22 23:06:49 +0100 | michalz_ | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2026-01-22 23:05:54 +0100 | rotcev | (~rotcev@user/rotcev) rotcev |
| 2026-01-22 23:04:25 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) |
| 2026-01-22 23:04:09 +0100 | Googulator26 | (~Googulato@2a01-036d-0106-030a-8d41-f550-2a4f-1a91.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-22 23:04:01 +0100 | shr\ke | (~shrike@user/shrke:31298) shr\ke |
| 2026-01-22 23:04:01 +0100 | shr\ke | (~shrike@user/paxhumana) (Changing host) |
| 2026-01-22 23:04:01 +0100 | shr\ke | (~shrike@user/paxhumana) paxhumana |