2025/05/06

Newest at the top

2025-05-06 22:49:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-06 22:47:39 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-05-06 22:46:51 +0200krei-se(~krei-se@p200300f1cfff12b8da9ef3fffe7fdac8.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2025-05-06 22:43:35 +0200 <hellwolf> I am juggling balls.
2025-05-06 22:43:20 +0200 <hellwolf> I hope I am, I am doing the API.
2025-05-06 22:43:13 +0200 <davean> hellwolf: It could be telling you off, or it could be telling you you're wrong.
2025-05-06 22:42:59 +0200 <davean> hellwolf: or you're wrong about what the API is capible of
2025-05-06 22:42:45 +0200 <davean> but this is why I said the conversion only really works in one direction
2025-05-06 22:42:39 +0200 <hellwolf> so, I guess I can say that type system is telling me off, I must obey. Who needs dependency types.
2025-05-06 22:42:26 +0200 <EvanR> I found the forms https://en.wikipedia.org/wiki/Modal_logic#Intuitive_problems_with_deontic_logic
2025-05-06 22:42:17 +0200 <davean> Large though
2025-05-06 22:42:11 +0200 <davean> which is ... fine?
2025-05-06 22:42:01 +0200 <davean> int-e: sorta, I mean it just changes the root to /
2025-05-06 22:41:39 +0200 <int-e> those are restricted scenarios compared to reading an arbitrary text file
2025-05-06 22:41:27 +0200 <hellwolf> if m is a contravariant maybe; but that's not my case, m is just a regular functor/monad.
2025-05-06 22:41:26 +0200 <davean> the filesystem version is for live edits
2025-05-06 22:40:51 +0200 <davean> Also do that regularly with git backing it, feed both into the head of a Reflex network.
2025-05-06 22:40:22 +0200 <davean> Reading a stream of transactions to keep it updated.
2025-05-06 22:40:04 +0200 <davean> but concievable. Actually its not that insane, I've actually done that using the filesystem directly on a transactional FS
2025-05-06 22:39:57 +0200 <EvanR> that's what it does
2025-05-06 22:39:50 +0200 <EvanR> bingo
2025-05-06 22:39:39 +0200 <int-e> (short of reading all conceivable files which would be insane)
2025-05-06 22:39:37 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-05-06 22:39:20 +0200 <int-e> (trying to squeeze that safely into IO (FilePath -> String) is obviously not possible)
2025-05-06 22:38:55 +0200 <lambdabot> FilePath -> IO String
2025-05-06 22:38:54 +0200 <EvanR> if so maybe there is a logical connection between them
2025-05-06 22:38:54 +0200 <int-e> :t readFile
2025-05-06 22:38:40 +0200 <EvanR> a -> m b, m (a -> b)
2025-05-06 22:38:13 +0200 <EvanR> do the two types be construed as being some kind of modal logic
2025-05-06 22:38:10 +0200 <davean> The conversion only makes sense in the other direction
2025-05-06 22:37:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-06 22:36:20 +0200 <davean> *all 'a's
2025-05-06 22:36:16 +0200 <davean> Not unless you enumerate all As
2025-05-06 22:36:06 +0200 <davean> Thats NOT something you can convert
2025-05-06 22:35:57 +0200 <davean> Thats not what I meant to say
2025-05-06 22:35:54 +0200 <davean> sorryu
2025-05-06 22:35:52 +0200 <davean> er
2025-05-06 22:35:51 +0200 <davean> well that you can convert.
2025-05-06 22:35:32 +0200 <hellwolf> I have a -> m b, but my type needs m (a -> b)
2025-05-06 22:34:43 +0200 <davean> Oh conversion works, it just doesn't do anytihng I'd ever expect to be sensible
2025-05-06 22:34:13 +0200 <hellwolf> but converse probably doesn't work
2025-05-06 22:33:57 +0200 <hellwolf> fmap (\f -> f a) (something :: IO (a -> b))?
2025-05-06 22:33:55 +0200 <davean> I don't think there is any place you'd have to sensibly choose between them for example.
2025-05-06 22:33:41 +0200 <davean> hellwolf: There is SOME connection of course - there is some connection between any two types - And there can be a way to transform the first into the second. What are you looking for?
2025-05-06 22:33:04 +0200 <davean> hellwolf: No really.
2025-05-06 22:32:47 +0200 <hellwolf> is there any relation between "IO (a -> b)" and "a -> IO b" in any way?
2025-05-06 22:31:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-06 22:29:05 +0200tv(~tv@user/tv) tv
2025-05-06 22:26:02 +0200EvanR(~EvanR@user/evanr) EvanR
2025-05-06 22:22:50 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)