Newest at the top
| 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) |
| 2025-12-26 13:56:47 +0100 | sshine | (~simon@dao.mechanicus.xyz) () |
| 2025-12-26 13:56:01 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-12-26 13:52:44 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 13:45:48 +0100 | poscat | (~poscat@user/poscat) poscat |
| 2025-12-26 13:45:38 +0100 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2025-12-26 13:44:13 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2025-12-26 13:39:31 +0100 | lockna_ | (~lockna@193-81-168-132.hdsl.highway.telekom.at) lockna |
| 2025-12-26 13:36:55 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 13:32:09 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 13:21:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-26 13:17:16 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2025-12-26 13:16:22 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 13:10:43 +0100 | Digitteknohippie | (~Digit@user/digit) Digit |
| 2025-12-26 13:10:35 +0100 | Digit | (~Digit@user/digit) (Ping timeout: 240 seconds) |
| 2025-12-26 13:05:19 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-26 13:00:34 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2025-12-26 12:51:25 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |