Newest at the top
| 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 |
| 2026-02-17 20:30:33 +0100 | ar3ph | (~ar3ph@user/ar3ph) (Quit: bye) |
| 2026-02-17 20:30:14 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:30:06 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 20:25:55 +0100 | jzargo2 | (~jzargo@user/jzargo) jzargo |
| 2026-02-17 20:25:41 +0100 | jzargo2 | (~jzargo@user/jzargo) (Quit: Leaving) |
| 2026-02-17 20:22:34 +0100 | sm | (znc@plaintextaccounting/sm) sm |
| 2026-02-17 20:22:24 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-17 20:22:19 +0100 | sm | (znc@plaintextaccounting/sm) (Server closed connection) |
| 2026-02-17 20:15:33 +0100 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-17 20:14:24 +0100 | <[exa]> | \o/ |
| 2026-02-17 20:13:46 +0100 | <Clint> | fun was accomplished by all |
| 2026-02-17 20:13:17 +0100 | YourNickGuest | (~Guest46@user/YourNickGuest) (Quit: Client closed) |
| 2026-02-17 20:11:53 +0100 | <[exa]> | oh they left |
| 2026-02-17 20:11:51 +0100 | <[exa]> | jgee242: fun! |
| 2026-02-17 20:09:57 +0100 | malte | (~malte@mal.tc) malte |
| 2026-02-17 20:08:25 +0100 | jgee242 | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2026-02-17 20:07:15 +0100 | kmein | (~weechat@user/kmein) kmein |
| 2026-02-17 20:06:50 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2026-02-17 20:06:10 +0100 | Googulator63 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:06:05 +0100 | Googulator41 | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |