Newest at the top
| 2025-05-06 23:06:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-06 23:05:17 +0200 | Sorevian | (~Sorevian@2a01:4b00:869f:4100:3142:dca3:9a6b:93c3) (Quit: Client closed) |
| 2025-05-06 23:05:10 +0200 | takuan | (~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 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-05-06 22:59:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-06 22:59:05 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds) |
| 2025-05-06 22:58:46 +0200 | krei-se | (~krei-se@p50829f98.dip0.t-ipconnect.de) krei-se |
| 2025-05-06 22:58:35 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-06 22:54:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-05-06 22:49:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-06 22:47:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-05-06 22:46:51 +0200 | krei-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 +0200 | sord937 | (~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 +0200 | merijn | (~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 |