2025/05/06

Newest at the top

2025-05-06 23:17:08 +0200 <lambdabot> [a -> b] -> a -> [b]
2025-05-06 23:17:07 +0200 <tomsmeding> :t (.) <$> flip map <*> const (flip id)
2025-05-06 23:17:04 +0200 <tomsmeding> monochrom: actually, your function is quite okay
2025-05-06 23:15:02 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2025-05-06 23:14:37 +0200 <tomsmeding> ("that's not readFile")
2025-05-06 23:14:30 +0200 <tomsmeding> the `IO (FilePath -> String)` example also illustrated it quite well, I think
2025-05-06 23:14:29 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 248 seconds)
2025-05-06 23:13:52 +0200 <monochrom> I guess [a->b] -> a->[b] shows the problem, or at least why you must sacrifice something.
2025-05-06 23:12:20 +0200 <EvanR> though what you CAN do ... is kind of hard to determine without defined IO
2025-05-06 23:12:08 +0200 <EvanR> right
2025-05-06 23:12:00 +0200 <tomsmeding> so as was said already, neither direction is something you can always do :p
2025-05-06 23:11:31 +0200 <tomsmeding> or you would duplicate the effects, which is in general not what you want (but it may be acceptable in some specific circumstances)
2025-05-06 23:11:04 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-06 23:10:58 +0200 <tomsmeding> if you're not, then it doesn't work
2025-05-06 23:10:51 +0200 <tomsmeding> if you're in an IO context, you can `\mf -> do f <- mf; return (pure . f)`
2025-05-06 23:10:40 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-06 23:10:35 +0200 <EvanR> going the first way you're restricted in the kind of effects you can do
2025-05-06 23:10:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-05-06 23:10:12 +0200 <EvanR> yeah
2025-05-06 23:10:07 +0200 <tomsmeding> EvanR: you have an `IO (a -> b)` and you need to shove it into an `a -> IO b`-shaped hole?
2025-05-06 23:09:53 +0200 <EvanR> is it a free forgetful situation xD
2025-05-06 23:09:38 +0200 <EvanR> ok what if you go the other way
2025-05-06 23:09:16 +0200 <tomsmeding> while this was kind of already said by other people above, I just wanted to summarise :p
2025-05-06 23:08:41 +0200 <tomsmeding> hellwolf: if you end up needing to shove an `a -> IO b` in an `IO (a -> b)`-shaped hole, then you either need to make the effects in the function you have in hand independent of its `a` input, or, if that cannot be done, change the type of the hole
2025-05-06 23:06:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-05-06 23:05:17 +0200Sorevian(~Sorevian@2a01:4b00:869f:4100:3142:dca3:9a6b:93c3) (Quit: Client closed)
2025-05-06 23:05:10 +0200takuan(~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
2025-05-06 23:04:43 +0200 <geekosaur> I'm confused. looks to me like you're trying to shove a Monad into an Applicative-shaped hole
2025-05-06 23:01:53 +0200 <hellwolf> As a straw man category theorists would likely to say, it may be an example of some category.
2025-05-06 23:01:20 +0200 <hellwolf> not sure how it's related, but the shape does look the same.
2025-05-06 23:01:11 +0200 <hellwolf> that deontic logic reference is a rabbit hole...
2025-05-06 22:59:33 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-05-06 22:59:29 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-06 22:59:05 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds)
2025-05-06 22:58:46 +0200krei-se(~krei-se@p50829f98.dip0.t-ipconnect.de) krei-se
2025-05-06 22:58:35 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-06 22:54:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
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 /