Newest at the top
| 2026-02-17 22:01:57 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-17 21:58:21 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-17 21:57:26 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 21:56:05 +0100 | cptaffe | (~cptaffe@user/cptaffe) cptaffe |
| 2026-02-17 21:55:45 +0100 | cptaffe | (~cptaffe@user/cptaffe) (Server closed connection) |
| 2026-02-17 21:53:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:52:09 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-02-17 21:49:19 +0100 | Googulator98 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 21:49:15 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 21:48:12 +0100 | <larsivi> | thanks! |
| 2026-02-17 21:46:58 +0100 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-17 21:46:38 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 21:46:38 +0100 | Googulator85 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 21:44:47 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-17 21:44:42 +0100 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-17 21:44:32 +0100 | Googulator12 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 21:44:26 +0100 | Googulator69 | (~Googulato@84-236-65-138.pool.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 21:42:31 +0100 | DetourNetworkUK | (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-17 21:42:02 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 21:39:53 +0100 | <haskellbridge> | <sm> yes, effect systems are relatively new and evolving, and not something routinely used by all haskellers (unless you count monads generally, like IO, as a kind of effect system) |
| 2026-02-17 21:38:25 +0100 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-02-17 21:38:07 +0100 | <haskellbridge> | <sm> I'm using "optics" in the generic sense (lens, microlens, optics...) |
| 2026-02-17 21:37:41 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:37:37 +0100 | <haskellbridge> | <sm> I think optics and effects are usually discussed separately and considered orthogonal, but probably there's some deep linkage we'll hear about shortly |
| 2026-02-17 21:37:26 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 21:37:21 +0100 | Googulator69 | (~Googulato@84-236-65-138.pool.digikabel.hu) |
| 2026-02-17 21:35:08 +0100 | <larsivi> | Also, I recently came over a project that used Lenses and that recommended Optics. I suppose I am on very thin water now, but are optics and effects competitors? Does it make sense to use together? Are there any optics vs effect comparisons out there? (If such a comparison makes sense ...) |
| 2026-02-17 21:31:23 +0100 | <larsivi> | thought that effects was almost an inherent part of functional programming, so was kinda surprised when I saw that there appear to be some competition (and that far from all use effect systems). Anyway, I think I like Bluefin? Gotta learn quite a bit more though. |
| 2026-02-17 21:31:21 +0100 | <larsivi> | Prior to starting to learn Haskell (pretty much first FP language I've touched in any significant manner after programming for over 30 years), and still, I did/do a lot of Typescript (some React, but mostly Node on the server). There I recently got into reading about effect systems (in particular effect-ts). But I then figured I should actually learn a FP lang, and so came to Haskell. I think I |
| 2026-02-17 21:26:38 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 21:26:27 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-17 21:19:39 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:17:29 +0100 | dcb | (~dcb@user/dcb) dcb |
| 2026-02-17 21:17:05 +0100 | dcb | (~dcb@user/dcb) (Server closed connection) |
| 2026-02-17 21:09:17 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 21:04:15 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 21:00:47 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-17 20:53:11 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 20:50:59 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 252 seconds) |
| 2026-02-17 20:49:11 +0100 | wickedjargon | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-17 20:49:11 +0100 | wickedja` | (~user@24.83.46.194) (Remote host closed the connection) |
| 2026-02-17 20:48:59 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 20:48:59 +0100 | Googulator70 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:48:56 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 20:47:26 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-17 20:46:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-17 20:46:13 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
| 2026-02-17 20:37:47 +0100 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-02-17 20:33:38 +0100 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-17 20:30:49 +0100 | ar3ph | (~ar3ph@user/ar3ph) ar3ph |