2025/03/25

Newest at the top

2025-03-25 15:33:31 +0100JuanDaugherty(~juan@user/JuanDaugherty) JuanDaugherty
2025-03-25 15:32:27 +0100kh0d(~kh0d@212.200.247.164)
2025-03-25 15:32:12 +0100alfiee(~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 +0100rvalue(~rvalue@user/rvalue) rvalue
2025-03-25 15:30:08 +0100rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2025-03-25 15:27:24 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-25 15:24:44 +0100zungi(~tory@user/andrewchawk) andrewchawk
2025-03-25 15:19:12 +0100petrichor(~znc-user@user/petrichor) petrichor
2025-03-25 15:13:58 +0100cipherrot(~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in)
2025-03-25 15:11:14 +0100haetsal(~quassel@221.138.168.192)
2025-03-25 15:10:26 +0100haetsal(~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 +0100kh0d(~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 +0100Shsl-Junko-POSER(~Shsl-Junk@50.235.208.178) (Quit: Client closed)
2025-03-25 15:03:33 +0100jespada(~jespada@2800:a4:22ac:eb00:e45c:1f6c:60ff:fb6b) jespada
2025-03-25 15:03:10 +0100kh0d(~kh0d@212.200.247.164) kh0d
2025-03-25 15:00:18 +0100jespada(~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 +0100kh0d(~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 +0100ash3en(~Thunderbi@89.56.182.235) ash3en
2025-03-25 14:48:14 +0100ash3en(~Thunderbi@89.56.182.235) (Quit: ash3en)
2025-03-25 14:48:06 +0100 <tomsmeding> the "inner monad" is always the penultimate argument, to fit the kind of MonadTrans
2025-03-25 14:47:38 +0100 <lambdabot> s -> [] (a, s)
2025-03-25 14:47:38 +0100 <tomsmeding> @unmtl StateT s [] a
2025-03-25 14:45:57 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 268 seconds)