Logs: liberachat/#haskell
| 2026-02-17 20:26:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 20:31:21 | <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 20:31:23 | <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 20:35:08 | <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 20:37:21 | → | Googulator69 joins (~Googulato@84-236-65-138.pool.digikabel.hu) |
| 2026-02-17 20:37:26 | × | Googulator70 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 20:37:37 | <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 20:37:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 20:38:07 | <haskellbridge> | <sm> I'm using "optics" in the generic sense (lens, microlens, optics...) |
| 2026-02-17 20:38:25 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 272 seconds) |
| 2026-02-17 20:39:53 | <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 20:42:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 20:42:31 | × | DetourNetworkUK quits (DetourNetw@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-17 20:44:26 | × | Googulator69 quits (~Googulato@84-236-65-138.pool.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 20:44:32 | → | Googulator12 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:44:42 | → | DetourNetworkUK joins (~DetourNet@user/DetourNetworkUK) |
| 2026-02-17 20:44:47 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-02-17 20:46:38 | → | Googulator85 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:46:38 | × | Googulator12 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 20:46:58 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-17 20:48:12 | <larsivi> | thanks! |
| 2026-02-17 20:49:15 | × | Googulator85 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Client Quit) |
| 2026-02-17 20:49:19 | → | Googulator98 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 20:52:09 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2026-02-17 20:53:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 20:55:45 | × | cptaffe quits (~cptaffe@user/cptaffe) (Server closed connection) |
| 2026-02-17 20:56:05 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 2026-02-17 20:57:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 20:58:21 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2026-02-17 21:01:57 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-02-17 21:04:51 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 2026-02-17 21:07:04 | → | Digit joins (~user@user/digit) |
| 2026-02-17 21:08:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 21:08:44 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2026-02-17 21:09:03 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2026-02-17 21:13:00 | × | oskarw quits (~user@user/oskarw) (Ping timeout: 264 seconds) |
| 2026-02-17 21:13:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 21:15:30 | × | qqq quits (~qqq@185.54.22.240) (Quit: Lost terminal) |
| 2026-02-17 21:18:23 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 260 seconds) |
| 2026-02-17 21:20:14 | → | jayanth joins (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) |
| 2026-02-17 21:23:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 21:23:52 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 2026-02-17 21:26:19 | × | collide2954 quits (~collide29@user/collide2954) (Server closed connection) |
| 2026-02-17 21:26:54 | → | collide2954 joins (~collide29@user/collide2954) |
| 2026-02-17 21:28:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-17 21:32:18 | × | Googulator98 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 21:32:19 | × | MironZ3 quits (~MironZ@nat-infra.ehlab.uk) (Server closed connection) |
| 2026-02-17 21:32:28 | → | Googulator98 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 21:32:37 | → | MironZ3 joins (~MironZ@nat-infra.ehlab.uk) |
| 2026-02-17 21:34:25 | × | straybits quits (~straybits@user/straybits) (Server closed connection) |
| 2026-02-17 21:34:47 | → | straybits joins (~straybits@user/straybits) |
| 2026-02-17 21:38:29 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-17 21:39:00 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-17 21:39:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 21:43:05 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2026-02-17 21:43:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 21:46:15 | → | pavonia joins (~user@user/siracusa) |
| 2026-02-17 21:46:42 | → | karenw joins (~karenw@user/karenw) |
| 2026-02-17 21:53:08 | × | Googulator98 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 21:53:15 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 245 seconds) |
| 2026-02-17 21:53:21 | → | skinkitten joins (~skinkitte@user/skinkitten) |
| 2026-02-17 21:53:21 | → | Googulator98 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 21:54:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 21:55:05 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (Server closed connection) |
| 2026-02-17 21:55:28 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 2026-02-17 21:55:28 | ChanServ | sets mode +v yahb2 |
| 2026-02-17 21:58:25 | × | lantti quits (~lantti@xcalibur.cc.tut.fi) (Server closed connection) |
| 2026-02-17 21:58:38 | → | lantti joins (~lantti@xcalibur.cc.tut.fi) |
| 2026-02-17 22:01:14 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 22:02:13 | → | prdak joins (~Thunderbi@user/prdak) |
| 2026-02-17 22:02:33 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2026-02-17 22:03:44 | → | emmanuelux joins (~em@user/emmanuelux) |
| 2026-02-17 22:07:00 | × | prdak quits (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-02-17 22:11:45 | × | tessier_ quits (~tessier@ip68-8-117-219.sd.sd.cox.net) (Server closed connection) |
| 2026-02-17 22:12:12 | → | tessier joins (~tessier@ip68-8-117-219.sd.sd.cox.net) |
| 2026-02-17 22:12:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 22:15:11 | → | Googulator85 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 22:15:13 | × | Googulator98 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 22:17:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-17 22:21:19 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-17 22:22:50 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-17 22:24:22 | × | Googulator85 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 22:24:23 | → | Googulator6 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 22:25:39 | × | danso_o quits (~danso@user/danso) (Server closed connection) |
| 2026-02-17 22:25:56 | → | danso joins (~danso@user/danso) |
| 2026-02-17 22:27:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 22:31:02 | × | w00ter quits (~w00ter@user/w00ter) (Ping timeout: 265 seconds) |
| 2026-02-17 22:32:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-17 22:35:20 | × | jayanth quits (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2026-02-17 22:36:05 | × | Googulator6 quits (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-17 22:36:09 | → | Googulator10 joins (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) |
| 2026-02-17 22:40:59 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Server closed connection) |
| 2026-02-17 22:41:18 | → | chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 2026-02-17 22:43:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-02-17 22:43:35 | × | tromp quits (~textual@2001:1c00:3487:1b00:8db8:aaff:f8b5:b4de) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-17 22:44:04 | × | skinkitten quits (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-17 22:44:22 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-02-17 22:45:39 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2026-02-17 22:47:17 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2026-02-17 22:47:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
All times are in UTC.