Newest at the top
| 2025-05-14 22:27:03 +0200 | <[exa]> | hm true, I didn't click it because I thought it would just be all other packages together |
| 2025-05-14 22:26:24 +0200 | <monochrom> | I feel sorry for your computer. This rebuilds everything again. |
| 2025-05-14 22:25:51 +0200 | <monochrom> | microlens-platform depends on both microlens and vector. Perhaps it is that. |
| 2025-05-14 22:22:46 +0200 | <[exa]> | (oh btw I mean the Ixed from microlens) |
| 2025-05-14 22:21:33 +0200 | <[exa]> | (or a reason why I can't find it?) |
| 2025-05-14 22:21:26 +0200 | <[exa]> | is there an Ixed instance for vectors somewhere in packages? |
| 2025-05-14 22:21:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-14 22:20:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-14 22:19:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-05-14 22:18:16 +0200 | takuan | (~takuan@d8D86B601.access.telenet.be) (Ping timeout: 272 seconds) |
| 2025-05-14 22:13:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-14 22:13:27 +0200 | <monochrom> | use Kan extensions for everything >:) |
| 2025-05-14 22:13:03 +0200 | <monochrom> | abstract early, abstract often |
| 2025-05-14 22:12:15 +0200 | <EvanR> | is this some kind of spin on erlang crash early crash often |
| 2025-05-14 22:11:52 +0200 | <EvanR> | well thank the LLM for this: Matches Haskell's general philosophy: "crash less, compose more". |
| 2025-05-14 22:07:45 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-05-14 22:02:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-14 21:58:21 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-14 21:58:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-14 21:58:00 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-14 21:49:33 +0200 | <monochrom> | Yes. |
| 2025-05-14 21:47:27 +0200 | <yin> | is this ok? https://paste.jrvieira.com/1747252027073 |
| 2025-05-14 21:47:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-05-14 21:45:07 +0200 | <JuanDaugherty> | right that's why i call it "fun ding" the opposite of the homonym in the capitalism |
| 2025-05-14 21:44:08 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-14 21:43:32 +0200 | ChanServ | +v haskellbridge |
| 2025-05-14 21:43:32 +0200 | haskellbridge | (~hackager@syn-096-028-227-029.res.spectrum.com) hackager |
| 2025-05-14 21:43:13 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-14 21:42:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-14 21:40:16 +0200 | <EvanR> | without fun you're only doing ctional programming |
| 2025-05-14 21:38:44 +0200 | <yin> | so i'm having fun i guess |
| 2025-05-14 21:38:26 +0200 | <yin> | right now i'm learning about functional dependencies, something i never bothered to explore deeply because i never came across a situation that asked for it |
| 2025-05-14 21:37:52 +0200 | Katarushisu | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) Katarushisu |
| 2025-05-14 21:37:07 +0200 | <yin> | i'm just experimenting with haskell |
| 2025-05-14 21:37:01 +0200 | <yin> | that's great, if i can learn something along the way |
| 2025-05-14 21:36:12 +0200 | <monochrom> | err, reinventing. I hate English. |
| 2025-05-14 21:35:58 +0200 | <monochrom> | But you are on the road to reinvent lens. |
| 2025-05-14 21:35:28 +0200 | <yin> | monochrom: i avoid lens at all cost. just by personal preference |
| 2025-05-14 21:33:13 +0200 | <lambdabot> | [Just 2,Just 3,Just 4] |
| 2025-05-14 21:33:11 +0200 | <int-e> | > (.) fmap fmap (+ 1) [Just 1, Just 2, Just 3] |
| 2025-05-14 21:32:38 +0200 | <monochrom> | You know what, may I suggest just using lens? |
| 2025-05-14 21:31:39 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-14 21:31:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-14 21:31:01 +0200 | <yin> | can i `class Unwrappable w n where ...` or should i use a fundep `class Unwrappable w n | w -> n where ...` ? |
| 2025-05-14 21:30:53 +0200 | <lambdabot> | [Just 2,Just 3,Just 4] |
| 2025-05-14 21:30:52 +0200 | <monochrom> | > fmap fmap fmap (+ 1) [Just 1, Just 2, Just 3] |
| 2025-05-14 21:30:49 +0200 | <monochrom> | Even Haskell 2010 is bad enough: |
| 2025-05-14 21:29:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-14 21:29:28 +0200 | jespada | (~jespada@r167-61-130-171.dialup.adsl.anteldata.net.uy) jespada |
| 2025-05-14 21:27:43 +0200 | mceresa | (~mceresa@user/mceresa) mceresa |