Logs: liberachat/#haskell
| 2025-10-31 06:54:28 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 265 seconds) |
| 2025-10-31 06:55:31 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 264 seconds) |
| 2025-10-31 06:55:38 | × | Googulator78 quits (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 06:55:42 | → | Googulator32 joins (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 06:56:23 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 2025-10-31 06:58:45 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 06:58:55 | → | bgt32 joins (~keutoi@106.222.231.17) |
| 2025-10-31 06:59:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 07:00:04 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.5.2) |
| 2025-10-31 07:00:24 | → | biberu joins (~biberu@user/biberu) |
| 2025-10-31 07:00:34 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 07:00:50 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 07:03:36 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2025-10-31 07:09:07 | × | ft quits (~ft@p4fc2aaeb.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-10-31 07:10:38 | → | Googulator54 joins (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) |
| 2025-10-31 07:10:43 | × | Googulator32 quits (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-31 07:18:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-31 07:22:18 | × | Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 256 seconds) |
| 2025-10-31 07:25:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 07:30:14 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 256 seconds) |
| 2025-10-31 07:35:15 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-31 07:35:25 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2025-10-31 07:35:45 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 07:36:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-31 07:40:19 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 07:40:32 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 07:40:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-31 07:43:13 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-31 07:48:11 | → | Everything joins (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 2025-10-31 07:49:00 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-10-31 07:49:03 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-10-31 07:51:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-31 07:54:58 | → | tromp joins (~textual@2001:1c00:3487:1b00:d90d:664f:1825:e058) |
| 2025-10-31 07:56:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-31 07:56:50 | → | ski joins (~ski@remote11.chalmers.se) |
| 2025-10-31 08:00:46 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 08:03:03 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-10-31 08:03:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-31 08:03:36 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 08:08:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 08:13:31 | × | Googulator54 quits (~Googulato@2a01-036d-0106-03fa-9dbb-a0af-2124-a319.pool6.digikabel.hu) (Ping timeout: 250 seconds) |
| 2025-10-31 08:14:26 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 2025-10-31 08:15:34 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 2025-10-31 08:17:56 | → | kuribas joins (~user@2a02:1808:4d:a25a:6fac:8a56:9dbd:1785) |
| 2025-10-31 08:18:34 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-10-31 08:18:58 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 08:19:19 | <kuribas> | tomsmeding: Coming back to our discussion yesterday, the thing about "effect systems" using free monads that I don't like, is that in the end just have a bunch of closures, which are black boxes. |
| 2025-10-31 08:19:35 | <kuribas> | You don't end up with code that is easier to understand, easier to manipulate. |
| 2025-10-31 08:19:49 | <kuribas> | On top of the ineffeciencies of the free monad approach. |
| 2025-10-31 08:20:27 | <kuribas> | And what it boils down to, injecting closures in your code, has existed before as "dependency injection". |
| 2025-10-31 08:23:15 | → | bliminse joins (~bliminse@user/bliminse) |
| 2025-10-31 08:24:01 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-31 08:30:31 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-31 08:32:38 | × | kuribas quits (~user@2a02:1808:4d:a25a:6fac:8a56:9dbd:1785) (Ping timeout: 260 seconds) |
| 2025-10-31 08:33:28 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-10-31 08:34:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-31 08:35:08 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-10-31 08:37:16 | → | Square2 joins (~Square@user/square) |
| 2025-10-31 08:38:49 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 08:39:03 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 08:39:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:d90d:664f:1825:e058) (Ping timeout: 244 seconds) |
| 2025-10-31 08:39:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-31 08:42:55 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2025-10-31 08:45:46 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-31 08:46:12 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-10-31 08:53:28 | × | trickard_ quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-10-31 08:53:40 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-10-31 08:54:24 | → | remedan_ joins (~remedan@78-80-95-79.customers.tmcz.cz) |
| 2025-10-31 08:54:38 | × | remedan quits (~remedan@78-80-95-79.customers.tmcz.cz) (Ping timeout: 244 seconds) |
| 2025-10-31 08:55:38 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-10-31 09:00:29 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-10-31 09:01:10 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-31 09:05:09 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2025-10-31 09:05:23 | → | divlamir joins (~divlamir@user/divlamir) |
| 2025-10-31 09:07:52 | → | chele joins (~chele@user/chele) |
| 2025-10-31 09:08:33 | → | acidjnk joins (~acidjnk@p200300d6e71719308df0744f2dc6c30e.dip0.t-ipconnect.de) |
| 2025-10-31 09:19:55 | → | bggd joins (~bgg@2a01:e0a:819:1510:aa28:625d:5af8:625b) |
| 2025-10-31 09:25:33 | <tomsmeding> | @tell kuribas Sure, free monads end up as a bunch of uninspectable closures, but that's because (>>=)'s typing does that: there are monad operation calls inside a closure argument to (>>=). With applicatives, there are no (<*>) or pure calls inside a closure, so there is still black-box computation, but the Applicative structure is all visible |
| 2025-10-31 09:25:33 | <lambdabot> | Consider it noted. |
| 2025-10-31 09:28:26 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-10-31 09:31:48 | → | Googulator54 joins (~Googulato@team.broadbit.hu) |
| 2025-10-31 09:35:14 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2025-10-31 09:38:37 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-10-31 09:39:21 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-10-31 09:41:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-31 09:41:08 | ljdarj1 | is now known as ljdarj |
| 2025-10-31 09:43:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) |
| 2025-10-31 09:52:51 | trickard_ | is now known as trickard |
| 2025-10-31 10:09:28 | omentic | is now known as jj |
| 2025-10-31 10:16:36 | Googulator54 | is now known as Googulator |
| 2025-10-31 10:18:00 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-10-31 10:19:22 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-10-31 10:19:22 | ljdarj1 | is now known as ljdarj |
| 2025-10-31 10:23:39 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-10-31 10:25:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 250 seconds) |
| 2025-10-31 10:25:37 | ljdarj1 | is now known as ljdarj |
| 2025-10-31 10:32:22 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 2025-10-31 10:34:24 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-10-31 10:34:25 | ljdarj1 | is now known as ljdarj |
| 2025-10-31 10:37:15 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
All times are in UTC.