Newest at the top
| 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 ? |
| 2025-12-26 14:55:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 14:55:06 +0100 | <Franciman> | f :: x -> Complex x, but you only extract real part |
| 2025-12-26 14:52:17 +0100 | <Franciman> | ah no |
| 2025-12-26 14:51:46 +0100 | <Franciman> | seems like monad for (a, a) |
| 2025-12-26 14:51:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 14:49:55 +0100 | <[exa]> | meh, is there any intuition/good examples for explaining why Monad Complex is written as it is? `a :+ b >>= f = realPart (f a) :+ imagPart (f b)` |
| 2025-12-26 14:40:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 14:38:51 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-26 14:37:10 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-26 14:35:59 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-12-26 14:35:46 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 14:32:29 +0100 | ljdarj1 | ljdarj |
| 2025-12-26 14:32:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-12-26 14:31:51 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-26 14:30:55 +0100 | wennefer0_____ | (~wennefer0@user/wennefer0) (Ping timeout: 240 seconds) |
| 2025-12-26 14:28:42 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2025-12-26 14:27:45 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-12-26 14:26:40 +0100 | wennefer0_____ | (~wennefer0@user/wennefer0) wennefer0 |
| 2025-12-26 14:26:14 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-26 14:24:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-12-26 14:24:01 +0100 | <yin> | Morj: I used to have haskell-language-server-wrapper. I still do, but I used to too. |
| 2025-12-26 14:21:59 +0100 | califax | (~califax@user/califx) califx |
| 2025-12-26 14:21:00 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-26 14:20:40 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-12-26 14:19:36 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 14:18:03 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-26 14:11:18 +0100 | <ncf> | Map k isn't a Monad, but it is a Bind (a monad without unit, or "semigroupad"). it is also equipped with a morphism Map k (Either a (Map k a)) â Map k a, which means that Either a (Map k a) is in a sense the "free monad" on this semigroupad (equivalently, Map k is the Tâ part of an ideal monad https://hackage.haskell.org/package/monad-ideals) |
| 2025-12-26 14:08:07 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 14:01:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 13:58:54 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-12-26 13:58:22 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-12-26 13:57:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |