Newest at the top
| 2025-12-26 17:09:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 17:04:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 17:03:58 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2025-12-26 17:00:32 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-26 16:55:59 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-26 16:50:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 16:40:10 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-12-26 16:35:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 16:34:24 +0100 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-12-26 16:31:28 +0100 | <[exa]> | yeah, it's ... unpleasantly rigorous |
| 2025-12-26 16:28:23 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-12-26 16:23:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 16:21:54 +0100 | <Franciman> | hi ncf ! |
| 2025-12-26 16:20:07 +0100 | <Franciman> | they mention this phenomenon in the mailing list that is referred to in the stackoverflow thread |
| 2025-12-26 16:19:32 +0100 | <ncf> | (well, i think there's only one (lawful) monad instance you can write) |
| 2025-12-26 16:19:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 16:18:33 +0100 | <[exa]> | thanks :) |
| 2025-12-26 16:18:24 +0100 | <[exa]> | ok fair enough |
| 2025-12-26 16:18:20 +0100 | <[exa]> | Franciman ncf oh so it's mainly to force the instance into existence while aligning with how the applicative works |
| 2025-12-26 16:08:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-26 16:06:26 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2025-12-26 16:04:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-12-26 16:03:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 16:01:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-26 16:00:07 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:2fab:8436:f7d2:8c4a) youngfrog |
| 2025-12-26 16:00:01 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-26 15:56:35 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 15:56:25 +0100 | Pozyomka | (~pyon@user/pyon) pyon |
| 2025-12-26 15:55:45 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 245 seconds) |
| 2025-12-26 15:49:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 15:48:18 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-12-26 15:38:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 15:34:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 15:27:17 +0100 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2025-12-26 15:24:41 +0100 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2025-12-26 15:23:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-26 15:22:08 +0100 | Pozyomka | (~pyon@user/pyon) (Quit: bbl) |
| 2025-12-26 15:18:21 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 15:07:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 15:05:37 +0100 | <ncf> | (i don't know why Complex needs a Monad instance, but here you go) |
| 2025-12-26 15:05:22 +0100 | spew | (~spew@user/spew) spew |
| 2025-12-26 15:05:02 +0100 | <ncf> | [exa]: it's the Pair monad, aka Reader Bool |
| 2025-12-26 15:02:32 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 15:00:43 +0100 | <Franciman> | https://stackoverflow.com/questions/47181078/meaning-and-usage-of-complex-number-functor-and-monad |
| 2025-12-26 15:00:41 +0100 | <Franciman> | this is more interesting |
| 2025-12-26 15:00:16 +0100 | <Franciman> | here they say they don't like it, and it seems it's more for general pairing than actual complex structure |
| 2025-12-26 15:00:01 +0100 | <Franciman> | [exa]: https://vitez.me/complex-monad |
| 2025-12-26 14:57:46 +0100 | <Franciman> | ok one example is given theta, build e^{i*theta} = sin(theta) + i cos(theta) |
| 2025-12-26 14:56:36 +0100 | <Franciman> | given a real, you want to build a complex |
| 2025-12-26 14:56:08 +0100 | <Franciman> | what example has type x -> Complex x ? |