Newest at the top
| 2025-03-28 03:54:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 03:52:16 +0100 | <haskellbridge> | <Bowuigi> Mendler-style recursion schemes are fantastic though, if only there was a way to get histomorphisms working on a total setting... |
| 2025-03-28 03:51:28 +0100 | tomku | (~tomku@user/tomku) tomku |
| 2025-03-28 03:51:24 +0100 | <haskellbridge> | <Bowuigi> EvanR programming with rank N stuff only can be annoying sometimes, specially on a total system |
| 2025-03-28 03:51:13 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 245 seconds) |
| 2025-03-28 03:44:44 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 260 seconds) |
| 2025-03-28 03:43:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-28 03:43:30 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::8955) |
| 2025-03-28 03:39:54 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-28 03:38:36 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 03:27:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-28 03:22:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 03:17:39 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-03-28 03:11:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-28 03:05:20 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-03-28 03:04:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 03:04:39 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
| 2025-03-28 03:04:32 +0100 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-03-28 03:03:54 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 2025-03-28 03:03:48 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-03-28 02:59:24 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-03-28 02:56:09 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-03-28 02:53:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-28 02:49:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 02:45:59 +0100 | aetepe | (~aetepe@188.119.58.34) (Ping timeout: 260 seconds) |
| 2025-03-28 02:44:12 +0100 | anselmschueler | (~quassel@user/schuelermine) (Ping timeout: 268 seconds) |
| 2025-03-28 02:41:02 +0100 | aetepe | (~aetepe@188.119.58.34) aetepe |
| 2025-03-28 02:38:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-28 02:37:22 +0100 | ljdarj1 | ljdarj |
| 2025-03-28 02:37:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2025-03-28 02:36:00 +0100 | Googulator | (~Googulato@2a01-036d-0106-01d5-c415-995d-99e3-7810.pool6.digikabel.hu) |
| 2025-03-28 02:35:43 +0100 | Googulator | (~Googulato@2a01-036d-0106-01d5-c415-995d-99e3-7810.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-28 02:35:14 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-28 02:34:56 +0100 | <EvanR> | whatever is more convenient |
| 2025-03-28 02:34:42 +0100 | <EvanR> | alternatively with higher rank polymorphism, you can make data types not required |
| 2025-03-28 02:34:08 +0100 | <EvanR> | there's usually a way to reword your datatype so that existentials, and sometimes higher rank types aren't required |
| 2025-03-28 02:33:32 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 02:22:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-28 02:22:05 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:9c7c:26a2:e9ed:cf3a) (Read error: Connection reset by peer) |
| 2025-03-28 02:20:47 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-03-28 02:20:08 +0100 | <Leary> | It's not really any different from `newtype Landmark = Landmark{ prepareAndCheck :: FilePath -> IO Check }`. |
| 2025-03-28 02:19:13 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-03-28 02:18:04 +0100 | <anselmschueler> | but idk if it is anymore |
| 2025-03-28 02:18:00 +0100 | <anselmschueler> | and existentials seemed like a natural solution |
| 2025-03-28 02:17:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-28 02:17:31 +0100 | <anselmschueler> | something |
| 2025-03-28 02:17:26 +0100 | <anselmschueler> | and then it starts traversing and each time it checks for each file |
| 2025-03-28 02:17:14 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-28 02:17:09 +0100 | <anselmschueler> | so when the program starts it collects data |
| 2025-03-28 02:17:03 +0100 | <anselmschueler> | I had data Landmark = forall t. Landmark { prepare :: FilePath -> IO t, check :: t -> Check } |