Newest at the top
2025-03-25 15:38:17 +0100 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-03-25 15:37:03 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 252 seconds) |
2025-03-25 15:36:13 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f24c8a043139ebe92bd.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-03-25 15:35:45 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 244 seconds) |
2025-03-25 15:33:31 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2025-03-25 15:32:27 +0100 | kh0d | (~kh0d@212.200.247.164) |
2025-03-25 15:32:12 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
2025-03-25 15:32:12 +0100 | <pdw> | bgamari: In case you missed the date typo at https://www.haskell.org/ghc/, Latest News there lists the recent 9.12.2 release under "14 Mar 2024" (i.e. not '25). The 9.12.2 download page also has "released 14th Mar 2024". |
2025-03-25 15:30:39 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-03-25 15:30:08 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2025-03-25 15:27:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-25 15:24:44 +0100 | zungi | (~tory@user/andrewchawk) andrewchawk |
2025-03-25 15:19:12 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
2025-03-25 15:13:58 +0100 | cipherrot | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2025-03-25 15:11:14 +0100 | haetsal | (~quassel@221.138.168.192) |
2025-03-25 15:10:26 +0100 | haetsal | (~quassel@221.138.168.192) (Remote host closed the connection) |
2025-03-25 15:08:27 +0100 | <EvanR> | continuations. I know this </jurassicpark> |
2025-03-25 15:08:10 +0100 | kh0d | (~kh0d@212.200.247.164) (Ping timeout: 265 seconds) |
2025-03-25 15:07:44 +0100 | <int-e> | first try, that is |
2025-03-25 15:07:41 +0100 | <tomsmeding> | State, Except, Reader, Parser etc. work much better as transformers |
2025-03-25 15:07:32 +0100 | <int-e> | EvanR: try to get Cont r a right the first time |
2025-03-25 15:07:27 +0100 | <tomsmeding> | EvanR: the issue is more that [] doesn't lend itself well to making a transformer version |
2025-03-25 15:06:37 +0100 | <EvanR> | maybe wikipedia was right |
2025-03-25 15:06:21 +0100 | <EvanR> | ok guess I should have done State before doing list state |
2025-03-25 15:06:00 +0100 | Shsl-Junko-POSER | (~Shsl-Junk@50.235.208.178) (Quit: Client closed) |
2025-03-25 15:03:33 +0100 | jespada | (~jespada@2800:a4:22ac:eb00:e45c:1f6c:60ff:fb6b) jespada |
2025-03-25 15:03:10 +0100 | kh0d | (~kh0d@212.200.247.164) kh0d |
2025-03-25 15:00:18 +0100 | jespada | (~jespada@2800:a4:229c:8a00:e032:2eec:bdbe:deac) (Ping timeout: 272 seconds) |
2025-03-25 14:56:01 +0100 | <int-e> | Oh, right, it will know the arity of the known MTL transformers. |
2025-03-25 14:55:47 +0100 | <lambdabot> | F -> F (F, F) |
2025-03-25 14:55:47 +0100 | <tomsmeding> | @unmtl StateT F F F |
2025-03-25 14:55:24 +0100 | <tomsmeding> | oh |
2025-03-25 14:55:22 +0100 | <lambdabot> | err: `StateT' is not applied to enough arguments, giving `/\A B C. A -> B (C, A)' |
2025-03-25 14:55:22 +0100 | <tomsmeding> | @unmtl StateT StateT StateT StateT |
2025-03-25 14:55:08 +0100 | <lambdabot> | a -> a -> a (a, a, a) |
2025-03-25 14:55:08 +0100 | <int-e> | @unmtl RWST a a a a a |
2025-03-25 14:54:51 +0100 | <int-e> | I suspect that it barely knows that [] is a type constructor |
2025-03-25 14:54:32 +0100 | <EvanR> | lovely |
2025-03-25 14:53:20 +0100 | <tomsmeding> | rather, if your _input_ to @unmtl doesn't kind check, then garbage-in garbage-out |
2025-03-25 14:52:56 +0100 | <tomsmeding> | if the result doesn't kind check, that's up to the user |
2025-03-25 14:52:47 +0100 | <tomsmeding> | it knows `F a b c` as data types, so it translates `[a]` to `[] a` before doing anything |
2025-03-25 14:52:29 +0100 | <tomsmeding> | lambdabot's @unmtl is not smart enough for DataKinds, it just does dumb parsing I think |
2025-03-25 14:51:29 +0100 | kh0d | (~kh0d@212.200.247.164) (Remote host closed the connection) |
2025-03-25 14:51:24 +0100 | <EvanR> | monad instance |
2025-03-25 14:51:19 +0100 | <EvanR> | implementing s -> [] (a, s) |
2025-03-25 14:50:07 +0100 | <EvanR> | the more stuff the compiler accepts the less able it is to notice your nonsense |
2025-03-25 14:49:35 +0100 | <EvanR> | gotta love it |
2025-03-25 14:49:19 +0100 | <EvanR> | oh [] was a datakind I guess |
2025-03-25 14:49:04 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
2025-03-25 14:48:14 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Quit: ash3en) |