Newest at the top
| 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 |
| 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 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-06 22:29:05 +0200 | tv | (~tv@user/tv) tv |
| 2025-05-06 22:26:02 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-05-06 22:22:50 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-05-06 22:20:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-05-06 22:19:37 +0200 | pavonia | (~user@user/siracusa) siracusa |
| 2025-05-06 22:18:06 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-06 22:15:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-06 22:08:26 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-06 22:08:06 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Client Quit) |
| 2025-05-06 22:07:46 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-06 22:06:47 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-06 22:04:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-05-06 21:59:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-06 21:59:24 +0200 | rvalue- | rvalue |
| 2025-05-06 21:54:55 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-05-06 21:51:30 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2025-05-06 21:50:41 +0200 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2025-05-06 21:48:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-05-06 21:47:06 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-05-06 21:44:16 +0200 | Sorevian | (~Sorevian@2a01:4b00:869f:4100:3142:dca3:9a6b:93c3) |
| 2025-05-06 21:43:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-06 21:42:29 +0200 | Sorevian | (~Sorevian@2a01:4b00:869f:4100:3142:dca3:9a6b:93c3) (Client Quit) |
| 2025-05-06 21:39:51 +0200 | Sorevian | (~Sorevian@2a01:4b00:869f:4100:3142:dca3:9a6b:93c3) |
| 2025-05-06 21:38:42 +0200 | Sorevian | (~Sorevian@2a01:4b00:869f:4100:3142:dca3:9a6b:93c3) (Quit: Client closed) |
| 2025-05-06 21:36:49 +0200 | mistivia | (~mistivia@user/mistivia) (Ping timeout: 252 seconds) |
| 2025-05-06 21:36:29 +0200 | mistivia_ | (~mistivia@user/mistivia) mistivia |
| 2025-05-06 21:35:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-05-06 21:33:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-05-06 21:28:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-05-06 21:25:22 +0200 | amadaluzia_ | (~amadaluzi@user/amadaluzia) (Ping timeout: 272 seconds) |
| 2025-05-06 21:24:17 +0200 | sprotte24 | (~sprotte24@p200300d16f36aa00202cf2be69d2c7e4.dip0.t-ipconnect.de) |