| 2024-08-25 00:03:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 00:04:01 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-08-25 00:07:50 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-08-25 00:07:59 +0000 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2024-08-25 00:08:39 +0000 | dsrt^ | (ciwoudofon@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-08-25 00:10:42 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-08-25 00:14:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 00:16:08 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-25 00:19:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 00:21:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-08-25 00:29:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 00:34:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 00:43:22 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-25 00:45:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 00:49:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 01:00:06 +0000 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2024-08-25 01:00:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 01:05:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 01:16:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 01:16:21 +0000 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-08-25 01:16:58 +0000 | troydm | (~troydm@user/troydm) |
| 2024-08-25 01:20:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 01:22:56 +0000 | troojg | (~troojg@user/troojg) |
| 2024-08-25 01:29:47 +0000 | neuroevolutus | (~neuroevol@206.217.206.95) (Ping timeout: 256 seconds) |
| 2024-08-25 01:31:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 01:35:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 01:37:39 +0000 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-08-25 01:42:21 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-25 01:44:52 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-25 01:46:06 +0000 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
| 2024-08-25 01:46:21 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-25 01:46:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 01:47:55 +0000 | ZharMeny | (~user@user/ZharMeny) (Quit: error: `impl Future<Output = ()>` is not a future) |
| 2024-08-25 01:50:28 +0000 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-08-25 01:51:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 01:53:30 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 276 seconds) |
| 2024-08-25 01:53:30 +0000 | youthlic1 | youthlic |
| 2024-08-25 01:59:55 +0000 | son0p | (~ff@2800:e2:f80:ee7::1) |
| 2024-08-25 02:02:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 02:02:27 +0000 | liamzy__ | (~Inst@user/Inst) |
| 2024-08-25 02:05:00 +0000 | Inst_ | (~Inst@user/Inst) (Ping timeout: 244 seconds) |
| 2024-08-25 02:05:02 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-08-25 02:05:32 +0000 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-08-25 02:06:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 02:09:06 +0000 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-08-25 02:10:43 +0000 | td_ | (~td@i53870916.versanet.de) |
| 2024-08-25 02:11:11 +0000 | <liamzy__> | __monty__ |
| 2024-08-25 02:11:12 +0000 | <liamzy__> | sorry |
| 2024-08-25 02:11:14 +0000 | liamzy__ | Inst |
| 2024-08-25 02:12:01 +0000 | <Inst> | https://benchmarksgame-team.pages.debian.net/benchmarksgame/program/binarytrees-ghc-8.html |
| 2024-08-25 02:12:03 +0000 | <Inst> | I mean this stuff |
| 2024-08-25 02:17:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 02:21:28 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-08-25 02:22:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 02:33:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 02:37:05 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-25 02:37:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 02:48:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 02:53:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 02:53:11 +0000 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2024-08-25 02:53:27 +0000 | troydm | (~troydm@user/troydm) |
| 2024-08-25 02:55:31 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-08-25 02:56:06 +0000 | ThePenguin7 | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-08-25 03:03:07 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-25 03:04:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 03:09:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 03:19:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 03:20:36 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 2024-08-25 03:20:50 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-25 03:20:52 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-08-25 03:22:49 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-25 03:24:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 03:28:27 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-25 03:33:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 03:38:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 03:42:46 +0000 | aforemny_ | (~aforemny@2001:9e8:6ce1:ca00:1cd1:13ff:d54d:eb12) |
| 2024-08-25 03:44:09 +0000 | aforemny | (~aforemny@2001:9e8:6cff:500:98c4:3d3d:712d:9623) (Ping timeout: 260 seconds) |
| 2024-08-25 03:49:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 03:53:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 04:04:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 04:05:36 +0000 | bilegeek | (~bilegeek@2600:1008:b040:4a84:4efb:c8c:bffb:a024) (Quit: Leaving) |
| 2024-08-25 04:09:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 04:09:26 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-08-25 04:13:41 +0000 | son0p | (~ff@2800:e2:f80:ee7::1) (Ping timeout: 248 seconds) |
| 2024-08-25 04:20:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 04:24:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 04:28:51 +0000 | xff0x | (~xff0x@2405:6580:b080:900:45fd:a514:f56e:67ab) (Ping timeout: 246 seconds) |
| 2024-08-25 04:34:59 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-25 04:35:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 04:40:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 04:40:58 +0000 | xff0x | (~xff0x@2405:6580:b080:900:1a16:bbb0:6f59:723e) |
| 2024-08-25 04:48:20 +0000 | madhavanmiui | (~madhavanm@2409:40f4:102e:9786:8000::) |
| 2024-08-25 04:49:25 +0000 | madhavanmiui | (~madhavanm@2409:40f4:102e:9786:8000::) (Client Quit) |
| 2024-08-25 04:51:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 04:54:26 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-08-25 04:55:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 05:05:58 +0000 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-25 05:06:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 05:08:03 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 246 seconds) |
| 2024-08-25 05:08:35 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-08-25 05:11:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 05:21:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 05:26:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 05:34:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 05:35:08 +0000 | neuroevolutus | (~neuroevol@206.217.206.95) |
| 2024-08-25 05:39:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 05:49:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 05:50:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 05:54:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 05:55:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 06:05:28 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-08-25 06:05:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 06:10:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 06:10:33 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Quit: WeeChat 4.4.1) |
| 2024-08-25 06:17:49 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer) |
| 2024-08-25 06:21:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 06:22:45 +0000 | son0p | (~ff@2800:e2:f80:ee7::1) |
| 2024-08-25 06:25:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 06:35:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 06:38:42 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 2024-08-25 06:38:57 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-25 06:40:27 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 06:44:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 06:50:55 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-25 06:51:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 06:56:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 07:01:17 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Quit: WeeChat 4.4.1) |
| 2024-08-25 07:01:29 +0000 | ash3en | (~Thunderbi@146.70.124.138) |
| 2024-08-25 07:02:30 +0000 | comonad | (~comonad@p200300d02705e800d14b563ba919432f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-08-25 07:03:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-25 07:06:36 +0000 | comonad | (~comonad@p200300d02705e800d14b563ba919432f.dip0.t-ipconnect.de) |
| 2024-08-25 07:06:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 07:10:44 +0000 | neuroevolutus | (~neuroevol@206.217.206.95) (Quit: Client closed) |
| 2024-08-25 07:11:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-25 07:22:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 07:23:44 +0000 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2024-08-25 07:29:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 07:36:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 07:41:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 07:41:26 +0000 | regev | (~regev@147.236.231.210) |
| 2024-08-25 07:42:12 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-25 07:44:09 +0000 | <regev> | hey there, haskell newbie here, im currently learning haskell from "Learn you a Haskell" and im reading about typeclasses. I was wondering if someone has a comprehensive chart that shows the hierarcy of the default typeclasses is haskell? |
| 2024-08-25 07:44:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 07:45:11 +0000 | <Franciman> | hi regev maybe you can like typeclassopedia |
| 2024-08-25 07:45:45 +0000 | <Franciman> | https://wiki.haskell.org/Typeclassopedia there is a graph here |
| 2024-08-25 07:46:21 +0000 | regev | (~regev@147.236.231.210) (Read error: Connection reset by peer) |
| 2024-08-25 07:48:38 +0000 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-25 07:50:49 +0000 | regev | (~dararam@147.236.231.210) |
| 2024-08-25 07:52:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 07:54:44 +0000 | Square | (~Square@user/square) |
| 2024-08-25 07:54:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 07:55:31 +0000 | regev | (~dararam@147.236.231.210) (Client Quit) |
| 2024-08-25 07:57:05 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb47c979cc4d7a117a71.dip0.t-ipconnect.de) |
| 2024-08-25 07:57:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 07:58:09 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-08-25 08:03:53 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-25 08:07:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 08:10:24 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2024-08-25 08:10:27 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 08:12:30 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-25 08:12:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 08:13:52 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-25 08:18:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 08:21:42 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Quit: WeeChat 4.4.1) |
| 2024-08-25 08:23:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 08:27:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 08:29:34 +0000 | ash3en | (~Thunderbi@146.70.124.138) (Quit: ash3en) |
| 2024-08-25 08:30:05 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-08-25 08:30:26 +0000 | Square | (~Square@user/square) |
| 2024-08-25 08:37:02 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-25 08:37:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 08:42:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 08:44:15 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-25 08:53:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 08:56:45 +0000 | mceresa | (~mceresa@user/mceresa) |
| 2024-08-25 08:57:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 09:00:09 +0000 | ash3en | (~Thunderbi@146.70.124.138) |
| 2024-08-25 09:00:28 +0000 | ash3en | (~Thunderbi@146.70.124.138) (Client Quit) |
| 2024-08-25 09:01:34 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-08-25 09:01:52 +0000 | Square | (~Square@user/square) |
| 2024-08-25 09:03:40 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-25 09:04:30 +0000 | Guest87 | (~Guest87@2a0c:5a81:5400:b900:4ad7:bf7c:3540:238e) |
| 2024-08-25 09:05:51 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-5c9c-f2eb-3220-d75c.rev.sfr.net) |
| 2024-08-25 09:06:52 +0000 | Guest87 | (~Guest87@2a0c:5a81:5400:b900:4ad7:bf7c:3540:238e) (Quit: Client closed) |
| 2024-08-25 09:07:15 +0000 | Guest87 | (~Guest87@2a0c:5a81:5400:b900:4ad7:bf7c:3540:238e) |
| 2024-08-25 09:07:33 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2024-08-25 09:07:47 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-25 09:07:58 +0000 | Guest87 | (~Guest87@2a0c:5a81:5400:b900:4ad7:bf7c:3540:238e) (Client Quit) |
| 2024-08-25 09:08:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 09:10:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 09:13:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 09:24:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 09:25:58 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-25 09:28:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 09:28:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 09:28:49 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-08-25 09:38:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 09:43:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 09:45:21 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-25 09:45:48 +0000 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-08-25 09:48:04 +0000 | orayn | (~orayn@user/orayn) |
| 2024-08-25 09:48:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 09:49:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 09:54:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 09:58:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 10:02:39 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-25 10:03:28 +0000 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-08-25 10:09:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 10:12:28 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-25 10:13:37 +0000 | regev | (~dararam@147.236.231.210) |
| 2024-08-25 10:14:05 +0000 | <regev> | hey there, haskell newbie here, im currently learning haskell from "Learn you a Haskell" and im reading about typeclasses. I was wondering if someone has a │ _d0t |
| 2024-08-25 10:14:05 +0000 | <regev> | │ | comprehensive chart that shows the hierarcy of the default typeclasses is haskell?y |
| 2024-08-25 10:14:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 10:14:59 +0000 | <regev> | oops, tried to copy paste :) |
| 2024-08-25 10:15:13 +0000 | <sm> | you saw Franciman's previous answer ? https://wiki.haskell.org/Typeclassopedia |
| 2024-08-25 10:15:27 +0000 | <regev> | typing again so its readable: does anyone have a comprehensive chart of all default typeclasses in haskell? |
| 2024-08-25 10:15:44 +0000 | <regev> | nope i exited, sorry |
| 2024-08-25 10:15:53 +0000 | <sm> | well there it is :) |
| 2024-08-25 10:16:43 +0000 | <regev> | thank you! |
| 2024-08-25 10:18:09 +0000 | <sm> | don't feel as a newbie you must master all of this |
| 2024-08-25 10:18:13 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-25 10:20:32 +0000 | regev | (~dararam@147.236.231.210) (Read error: Connection reset by peer) |
| 2024-08-25 10:24:29 +0000 | regev | (~dararam@147.236.231.210) |
| 2024-08-25 10:25:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 10:25:33 +0000 | <mauke> | doesn't even mention Ix |
| 2024-08-25 10:26:38 +0000 | <mauke> | as a beginner, the most important classes are probably Show, Eq, Ord, Num |
| 2024-08-25 10:26:47 +0000 | <mauke> | Enum and Functor if you want to get fancy |
| 2024-08-25 10:28:47 +0000 | regev | (~dararam@147.236.231.210) (Read error: Connection reset by peer) |
| 2024-08-25 10:30:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 10:31:44 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) |
| 2024-08-25 10:32:51 +0000 | regev | (~dararam@147.236.231.210) |
| 2024-08-25 10:37:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 10:37:49 +0000 | regev | (~dararam@147.236.231.210) (Read error: Connection reset by peer) |
| 2024-08-25 10:40:09 +0000 | regev | (~dararam@147.236.229.142) |
| 2024-08-25 10:44:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 10:47:43 +0000 | Square | (~Square@user/square) |
| 2024-08-25 10:50:10 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) (Quit: ash3en) |
| 2024-08-25 10:55:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 10:57:40 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) |
| 2024-08-25 10:59:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 11:00:56 +0000 | mrmr15533434631 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-08-25 11:04:18 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) (Quit: ash3en) |
| 2024-08-25 11:04:43 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) |
| 2024-08-25 11:05:33 +0000 | Digitteknohippie | (~user@user/digit) |
| 2024-08-25 11:06:14 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-25 11:06:19 +0000 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-08-25 11:06:28 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) (Client Quit) |
| 2024-08-25 11:06:46 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) |
| 2024-08-25 11:07:08 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) (Client Quit) |
| 2024-08-25 11:10:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 11:11:11 +0000 | orayn | (~orayn@user/orayn) (Ping timeout: 256 seconds) |
| 2024-08-25 11:11:23 +0000 | orayn | (~orayn@user/orayn) |
| 2024-08-25 11:14:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 11:14:58 +0000 | regev | (~dararam@147.236.229.142) (Read error: Connection reset by peer) |
| 2024-08-25 11:18:28 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) |
| 2024-08-25 11:18:50 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 2024-08-25 11:19:04 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-25 11:19:21 +0000 | <haskellbridge> | <eldritchcookie> Enum and Bounded i can agree but Functor is broadly useful and easy to get an intuition for i would be more undecided on Applicative and Monad but you should still know they exist. |
| 2024-08-25 11:20:29 +0000 | regev | (~dararam@2a01:6502:a4c:67ea:eca2:9840:2654:bb3f) |
| 2024-08-25 11:21:52 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-08-25 11:22:23 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-08-25 11:25:10 +0000 | regev | (~dararam@2a01:6502:a4c:67ea:eca2:9840:2654:bb3f) (Ping timeout: 272 seconds) |
| 2024-08-25 11:25:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 11:26:03 +0000 | regev | (~dararam@2a01:6502:a4c:67ea:eca2:9840:2654:bb3f) |
| 2024-08-25 11:30:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 11:31:33 +0000 | regev | (~dararam@2a01:6502:a4c:67ea:eca2:9840:2654:bb3f) (Ping timeout: 248 seconds) |
| 2024-08-25 11:36:28 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 11:41:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 11:46:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-25 11:55:13 +0000 | Guest75 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 11:55:39 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-25 11:56:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 12:01:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 12:01:25 +0000 | Guest75 | (~Guest75@2600:387:f:5919::2) (Quit: Client closed) |
| 2024-08-25 12:01:45 +0000 | Guest75 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 12:04:04 +0000 | Guest48 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 12:04:47 +0000 | Guest75 | (~Guest75@2600:387:f:5919::2) (Write error: Broken pipe) |
| 2024-08-25 12:04:48 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-25 12:06:17 +0000 | Guest48 | (~Guest75@2600:387:f:5919::2) (Client Quit) |
| 2024-08-25 12:09:10 +0000 | Guest75 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 12:10:05 +0000 | Guest61 | (~Guest61@2a03:1b20:b:f011::d701) |
| 2024-08-25 12:12:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 12:16:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 12:18:16 +0000 | Guest75 | (~Guest75@2600:387:f:5919::2) (Quit: Client closed) |
| 2024-08-25 12:18:36 +0000 | Guest75 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 12:24:30 +0000 | Guest75 | (~Guest75@2600:387:f:5919::2) (Quit: Client closed) |
| 2024-08-25 12:24:50 +0000 | Guest75 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 12:26:45 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 252 seconds) |
| 2024-08-25 12:27:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 12:30:14 +0000 | Digitteknohippie | Digit |
| 2024-08-25 12:32:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 12:38:30 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 246 seconds) |
| 2024-08-25 12:41:44 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-08-25 12:42:01 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-25 12:43:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 12:48:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 12:50:55 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-5c9c-f2eb-3220-d75c.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-25 12:52:20 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-8c26-f064-ddca-dec6.rev.sfr.net) |
| 2024-08-25 12:52:29 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-08-25 12:53:27 +0000 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-08-25 12:56:41 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-8c26-f064-ddca-dec6.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-25 12:58:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 12:58:39 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-7c12-80f4-72ec-655d.rev.sfr.net) |
| 2024-08-25 13:00:49 +0000 | regev | (~dararam@2a01:6502:a4c:67ea:54d3:d8ce:37f:f610) |
| 2024-08-25 13:02:00 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-7c12-80f4-72ec-655d.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-25 13:02:18 +0000 | spew | (~spew@201.141.102.132) |
| 2024-08-25 13:02:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-25 13:04:56 +0000 | Guest61 | (~Guest61@2a03:1b20:b:f011::d701) (Quit: Client closed) |
| 2024-08-25 13:05:18 +0000 | regev | (~dararam@2a01:6502:a4c:67ea:54d3:d8ce:37f:f610) (Ping timeout: 244 seconds) |
| 2024-08-25 13:07:05 +0000 | regev | (~dararam@2a01:6502:a4c:67ea:54d3:d8ce:37f:f610) |
| 2024-08-25 13:13:03 +0000 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-08-25 13:13:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 13:16:32 +0000 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.5) |
| 2024-08-25 13:16:49 +0000 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
| 2024-08-25 13:19:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 13:19:18 +0000 | Guest75 | (~Guest75@2600:387:f:5919::2) (Quit: Client closed) |
| 2024-08-25 13:29:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 13:31:21 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-25 13:31:35 +0000 | tomku | (~tomku@user/tomku) |
| 2024-08-25 13:33:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 13:43:56 +0000 | td_ | (~td@i53870916.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-08-25 13:44:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 13:49:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 13:50:38 +0000 | pavonia | (~user@user/siracusa) |
| 2024-08-25 13:53:19 +0000 | regev | (~dararam@2a01:6502:a4c:67ea:54d3:d8ce:37f:f610) (Ping timeout: 260 seconds) |
| 2024-08-25 13:55:00 +0000 | regev | (~dararam@147.236.229.142) |
| 2024-08-25 14:00:10 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 14:02:32 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-25 14:03:33 +0000 | regev | (~dararam@147.236.229.142) (Ping timeout: 248 seconds) |
| 2024-08-25 14:04:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 14:05:24 +0000 | regev | (~dararam@147.236.229.142) |
| 2024-08-25 14:07:10 +0000 | Guest75 | (~Guest75@2600:387:15:151a::8) |
| 2024-08-25 14:14:37 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-25 14:15:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 14:20:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 14:27:27 +0000 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-25 14:31:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 14:36:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-08-25 14:37:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 14:39:49 +0000 | regev | (~dararam@147.236.229.142) (Read error: Connection reset by peer) |
| 2024-08-25 14:43:10 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) |
| 2024-08-25 14:43:42 +0000 | Square | (~Square@user/square) |
| 2024-08-25 14:44:47 +0000 | Guest75 | (~Guest75@2600:387:15:151a::8) (Quit: Client closed) |
| 2024-08-25 14:45:11 +0000 | Guest75 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 14:46:31 +0000 | Guest47 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 14:48:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 14:48:32 +0000 | td_ | (~td@i53870916.versanet.de) |
| 2024-08-25 14:51:49 +0000 | Guest63 | (~Guest75@2600:387:f:a10::1) |
| 2024-08-25 14:52:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 14:54:25 +0000 | Guest72 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 14:54:43 +0000 | Guest63 | (~Guest75@2600:387:f:a10::1) (Client Quit) |
| 2024-08-25 14:55:09 +0000 | Guest32 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 14:55:35 +0000 | Guest75 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-08-25 14:56:00 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) (Quit: ash3en) |
| 2024-08-25 14:56:09 +0000 | Guest47 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-08-25 14:57:49 +0000 | Guest75 | (~Guest75@2600:387:15:2019::5) |
| 2024-08-25 14:58:59 +0000 | orayn | (~orayn@user/orayn) (Ping timeout: 256 seconds) |
| 2024-08-25 15:00:20 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-08-25 15:00:27 +0000 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-25 15:00:36 +0000 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-08-25 15:00:41 +0000 | Guest72 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-08-25 15:01:38 +0000 | troydm | (~troydm@user/troydm) |
| 2024-08-25 15:03:18 +0000 | Guest53 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 15:03:31 +0000 | Guest32 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-08-25 15:03:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 15:03:48 +0000 | Guest75 | (~Guest75@2600:387:15:2019::5) (Quit: Client closed) |
| 2024-08-25 15:04:19 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-08-25 15:07:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 15:08:54 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-25 15:09:05 +0000 | Guest53 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Quit: Client closed) |
| 2024-08-25 15:09:11 +0000 | Guest75 | (~Guest75@2600:387:15:2019::5) |
| 2024-08-25 15:09:59 +0000 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-08-25 15:11:38 +0000 | Guest75 | (~Guest75@2600:387:15:2019::5) (Write error: Broken pipe) |
| 2024-08-25 15:11:42 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 276 seconds) |
| 2024-08-25 15:11:42 +0000 | youthlic1 | youthlic |
| 2024-08-25 15:11:52 +0000 | Guest31 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 15:13:15 +0000 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-08-25 15:13:48 +0000 | Guest31 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Killed (ozone (No Spam))) |
| 2024-08-25 15:14:45 +0000 | Guest75 | (~Guest75@2600:387:15:2019::5) |
| 2024-08-25 15:19:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 15:19:08 +0000 | Guest75 | (~Guest75@2600:387:15:2019::5) (Client Quit) |
| 2024-08-25 15:19:29 +0000 | Guest75 | (~Guest75@2600:387:15:2019::5) |
| 2024-08-25 15:20:46 +0000 | Guest75 | (~Guest75@2600:387:15:2019::5) (K-Lined) |
| 2024-08-25 15:24:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 15:26:11 +0000 | tabemann__ | (~tabemann@2600:1700:7990:24e0:471d:6865:e425:eedb) |
| 2024-08-25 15:26:44 +0000 | tomsmeding_ | tomsmeding |
| 2024-08-25 15:27:49 +0000 | tabemann_ | (~tabemann@2600:1700:7990:24e0:87b2:9ddc:bdac:f1c8) (Ping timeout: 248 seconds) |
| 2024-08-25 15:31:35 +0000 | Inst | (~Inst@user/Inst) |
| 2024-08-25 15:33:43 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-25 15:34:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 15:34:55 +0000 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) |
| 2024-08-25 15:42:26 +0000 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-25 15:43:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 15:47:30 +0000 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-08-25 15:49:38 +0000 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-25 15:52:56 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-25 15:53:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 15:54:51 +0000 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-08-25 15:58:13 +0000 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-08-25 15:58:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 16:09:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 16:13:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 16:24:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 16:27:23 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 16:29:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 16:34:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 16:38:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 16:39:55 +0000 | oo_miguel | (~Thunderbi@78.10.207.45) |
| 2024-08-25 16:39:56 +0000 | <spew> | Hi all, I'm reading Hutton's "Programming in Haskell" and one of the exercises is to implement a readLine :: IO String action that reads a string but allows you to delete characters. |
| 2024-08-25 16:40:06 +0000 | <spew> | What I came up with is this: https://paste.tomsmeding.com/EJut3AMm |
| 2024-08-25 16:40:27 +0000 | <spew> | but I'm wondering if there's a way to do it with some kind of monadic fold instead of using a recursive "go" helper |
| 2024-08-25 16:47:19 +0000 | <c_wraith> | it certainly could be, but given the structure of what you're doing it wouldn't really make anything cleaner |
| 2024-08-25 16:47:58 +0000 | <spew> | c_wraith: ty |
| 2024-08-25 16:49:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 16:54:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-25 16:58:58 +0000 | <monochrom> | It is not a fold, it is an unfold. |
| 2024-08-25 17:01:49 +0000 | <spew> | I was trying to do something with this `takeWhile (/= '\n') <$> (sequence $ repeat getCh)` but it doesn't seem to halt at the newline |
| 2024-08-25 17:03:10 +0000 | <monochrom> | I/O is not lazy. |
| 2024-08-25 17:03:35 +0000 | <spew> | monochrom: ty |
| 2024-08-25 17:03:45 +0000 | <spew> | then I thought I could map over that thing |
| 2024-08-25 17:04:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 17:06:55 +0000 | <spew> | perhaps with takeWhileM from Control.Monad.Loops? |
| 2024-08-25 17:09:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 17:15:05 +0000 | <EvanR> | :t takeWhileM |
| 2024-08-25 17:15:06 +0000 | <lambdabot> | error: |
| 2024-08-25 17:15:06 +0000 | <lambdabot> | • Variable not in scope: takeWhileM |
| 2024-08-25 17:15:06 +0000 | <lambdabot> | • Perhaps you meant one of these: |
| 2024-08-25 17:15:49 +0000 | <EvanR> | Monad m => (a -> m Bool) -> [a] -> m [a] |
| 2024-08-25 17:16:16 +0000 | <EvanR> | doesn't seem like what you want |
| 2024-08-25 17:16:42 +0000 | <EvanR> | somethingM :: Monad m => m (Maybe a) -> m [a] |
| 2024-08-25 17:17:10 +0000 | <EvanR> | do action to get a's until it fails, return the list of a |
| 2024-08-25 17:19:02 +0000 | <EvanR> | it's called unfoldM in monad-loops |
| 2024-08-25 17:20:11 +0000 | <spew> | EvanR: thanks very much! I will check that out |
| 2024-08-25 17:20:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 17:23:08 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2024-08-25 17:23:39 +0000 | <c_wraith> | it's not an unfold, either |
| 2024-08-25 17:23:52 +0000 | <c_wraith> | it needs to be able to edit previous results |
| 2024-08-25 17:23:59 +0000 | <c_wraith> | unfolds can't do that |
| 2024-08-25 17:24:36 +0000 | <c_wraith> | you can abuse an unfold to do the job, but it's not a natural fit |
| 2024-08-25 17:24:54 +0000 | <EvanR> | you could still do it with unfoldM, by consuming multiple characters if you encounter one to be erased |
| 2024-08-25 17:25:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-25 17:25:35 +0000 | <EvanR> | it's not natural until something is a natural transformation! |
| 2024-08-25 17:26:20 +0000 | <c_wraith> | what? unfoldM hard commits to output, and you don't recognize that you need to delete something but l you've already committed to it |
| 2024-08-25 17:26:41 +0000 | <c_wraith> | *until you've committed, that is |
| 2024-08-25 17:26:42 +0000 | <EvanR> | I don't know what with actual exercise is, I just read "allows you to delete characters" |
| 2024-08-25 17:26:57 +0000 | <EvanR> | if you know what characters to delete it would work |
| 2024-08-25 17:27:06 +0000 | <c_wraith> | read as "allows you to hit backspace" |
| 2024-08-25 17:27:11 +0000 | <EvanR> | oh lol |
| 2024-08-25 17:27:18 +0000 | <EvanR> | there be dragons |
| 2024-08-25 17:27:23 +0000 | <EvanR> | terminal control sequences |
| 2024-08-25 17:27:53 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 17:27:57 +0000 | <c_wraith> | eh, it's fine to just output ASCII control codes for an exercise at this level, which is what it's doing |
| 2024-08-25 17:28:32 +0000 | <c_wraith> | but the point is that you're out of the realm of an unfold unless you're using a reference to smuggle mutation in |
| 2024-08-25 17:33:00 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-08-25 17:33:14 +0000 | regev | (~dararam@2a01:6502:a4c:67ea:b432:a753:7646:1b40) |
| 2024-08-25 17:35:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 17:39:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-08-25 17:43:56 +0000 | srazkvt | (~sarah_@2a01:e0a:483:6900:b6d5:d9cd:2f20:2e49) |
| 2024-08-25 17:47:52 +0000 | <haskellbridge> | <Bowuigi> Yeah no recursion scheme I looked at could modify the past (or see the future, for that matter), histomorphisms see the past, futumorphisms control the future and chronomorphisms do both, but neither is entirely suitable |
| 2024-08-25 17:49:02 +0000 | <spew> | Bowuigi: thanks very much, thanks to everyone for taking a look |
| 2024-08-25 17:50:27 +0000 | Square | (~Square@user/square) |
| 2024-08-25 17:50:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 17:54:03 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-25 17:54:28 +0000 | <haskellbridge> | <Bowuigi> On a similar topic, I wonder if any total anamorphism returning a finite structure can be turned into a catamorphism. Lean does something similar using well founded recursion and converts these functions into catas over Nat, but I don't know if there's a less "proof-y" way to do this |
| 2024-08-25 17:54:52 +0000 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-08-25 17:54:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 17:55:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-08-25 17:55:45 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-25 17:56:30 +0000 | <haskellbridge> | <Bowuigi> I'm designing a total configuration language (in a sense, similar to dhall) that's very theory-focused while trying to remain small and efficient in implementation (in a sense, similar to smalltt) |
| 2024-08-25 17:57:01 +0000 | regev | (~dararam@2a01:6502:a4c:67ea:b432:a753:7646:1b40) (Remote host closed the connection) |
| 2024-08-25 17:58:44 +0000 | <haskellbridge> | <Bowuigi> As I am using recursion schemes paired with heavily simplified recursive types, the less stuff I have to deal with, the better |
| 2024-08-25 18:00:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-08-25 18:04:02 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-08-25 18:05:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 18:06:43 +0000 | Guest75 | (~Guest75@2600:387:15:1510::a) |
| 2024-08-25 18:06:53 +0000 | Guest3 | (~Guest75@2600:387:15:1510::a) |
| 2024-08-25 18:10:13 +0000 | Guest3 | (~Guest75@2600:387:15:1510::a) (Client Quit) |
| 2024-08-25 18:10:13 +0000 | Guest75 | (~Guest75@2600:387:15:1510::a) (Client Quit) |
| 2024-08-25 18:10:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 18:12:10 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 18:16:14 +0000 | stef204 | (~stef204@user/stef204) |
| 2024-08-25 18:16:16 +0000 | srazkvt | (~sarah_@2a01:e0a:483:6900:b6d5:d9cd:2f20:2e49) (Quit: Leaving) |
| 2024-08-25 18:17:22 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) (Quit: Client closed) |
| 2024-08-25 18:17:53 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 18:18:44 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 18:18:50 +0000 | Guest20 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 18:21:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 18:22:06 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 18:22:11 +0000 | Guest20 | (~Guest75@2600:387:15:2015::9) (Write error: Broken pipe) |
| 2024-08-25 18:24:46 +0000 | Guest59 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 18:25:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 18:28:37 +0000 | michalz | (~michalz@185.246.207.221) |
| 2024-08-25 18:33:17 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) (Quit: Client closed) |
| 2024-08-25 18:33:38 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 18:34:56 +0000 | Guest11 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 18:34:58 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2024-08-25 18:35:00 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) (Write error: Broken pipe) |
| 2024-08-25 18:36:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 18:36:55 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 18:37:01 +0000 | Guest11 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 18:40:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 18:41:13 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 18:41:34 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 18:41:52 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3217-2c1e-29a2-cb34-a0df-791f.rev.sfr.net) |
| 2024-08-25 18:42:12 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 18:42:15 +0000 | Guest77 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 18:49:20 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-25 18:51:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 18:52:55 +0000 | son0p | (~ff@2800:e2:f80:ee7::1) (Ping timeout: 252 seconds) |
| 2024-08-25 18:55:16 +0000 | masterbuilder | (~quassel@user/masterbuilder) |
| 2024-08-25 18:55:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 18:56:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-25 18:56:26 +0000 | son0p | (~ff@186.121.18.131) |
| 2024-08-25 19:00:40 +0000 | Guest77 | (~Guest75@2600:387:15:2015::9) (Quit: Client closed) |
| 2024-08-25 19:01:03 +0000 | Guest20 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 19:01:22 +0000 | Guest25 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 19:01:27 +0000 | Guest20 | (~Guest75@2600:387:15:2015::9) (Write error: Connection reset by peer) |
| 2024-08-25 19:02:06 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-08-25 19:03:41 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 19:03:43 +0000 | Guest25 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 19:04:08 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 19:06:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 19:08:04 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 19:08:26 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 19:08:32 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-08-25 19:11:21 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 19:11:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 19:13:32 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 19:18:17 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-25 19:22:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 19:26:39 +0000 | Guest59 | (~Guest75@2600:387:15:2015::9) (Quit: Client closed) |
| 2024-08-25 19:26:39 +0000 | Guest75 | (~Guest75@2600:387:15:2015::9) (Quit: Client closed) |
| 2024-08-25 19:26:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 19:30:41 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-25 19:33:37 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-08-25 19:37:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 19:38:56 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 19:40:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 19:40:12 +0000 | orayn | (~orayn@user/orayn) |
| 2024-08-25 19:42:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 19:43:31 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-25 19:53:14 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 19:53:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-25 19:57:15 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 19:57:50 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 19:59:32 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-25 20:01:25 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-08-25 20:08:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 20:13:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 20:16:45 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-08-25 20:17:05 +0000 | EvanR | (~EvanR@user/evanr) |
| 2024-08-25 20:18:51 +0000 | Guest75 | (~Guest75@2600:387:15:1512::a) |
| 2024-08-25 20:24:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 20:25:23 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 20:28:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-08-25 20:31:28 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-08-25 20:37:09 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2024-08-25 20:39:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 20:43:12 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.4.1) |
| 2024-08-25 20:43:24 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-25 20:43:44 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 20:43:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 20:46:59 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3217-2c1e-29a2-cb34-a0df-791f.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-25 20:50:14 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-08-25 20:50:42 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 20:54:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 20:58:20 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2024-08-25 20:59:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 21:00:28 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 21:00:37 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-08-25 21:01:39 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-25 21:03:33 +0000 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-25 21:04:01 +0000 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2024-08-25 21:04:52 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-25 21:04:55 +0000 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-25 21:05:17 +0000 | anpad | (~pandeyan@user/anpad) |
| 2024-08-25 21:06:59 +0000 | Guest15 | (~Guest75@2600:387:15:1512::a) |
| 2024-08-25 21:07:03 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 252 seconds) |
| 2024-08-25 21:07:43 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2024-08-25 21:10:06 +0000 | Guest15 | (~Guest75@2600:387:15:1512::a) (K-Lined) |
| 2024-08-25 21:10:06 +0000 | Guest75 | (~Guest75@2600:387:15:1512::a) (K-Lined) |
| 2024-08-25 21:10:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-08-25 21:10:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 21:13:40 +0000 | AlexNoo | (~AlexNoo@5.139.232.94) (Read error: Connection reset by peer) |
| 2024-08-25 21:14:57 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-08-25 21:15:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 21:15:06 +0000 | AlexZenon | (~alzenon@5.139.232.94) (Ping timeout: 244 seconds) |
| 2024-08-25 21:15:49 +0000 | AlexNoo | (~AlexNoo@5.139.232.94) |
| 2024-08-25 21:16:42 +0000 | AlexNoo_ | (~AlexNoo@178.34.150.250) |
| 2024-08-25 21:19:01 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 21:19:18 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-08-25 21:20:17 +0000 | AlexZenon | (~alzenon@178.34.150.250) |
| 2024-08-25 21:20:19 +0000 | AlexNoo | (~AlexNoo@5.139.232.94) (Ping timeout: 252 seconds) |
| 2024-08-25 21:21:06 +0000 | bert96 | (~bert@143.58.222.152) |
| 2024-08-25 21:21:17 +0000 | <bert96> | hi, im needing help |
| 2024-08-25 21:21:48 +0000 | <bert96> | i am wondering if there are people that are currently using the chat, that might be able to help! |
| 2024-08-25 21:22:16 +0000 | <Rembane> | bert96: Ask the question and we'll see! |
| 2024-08-25 21:22:18 +0000 | <bert96> | im not too good with haskells "do" notation, presumably because even though i understand monads very well |
| 2024-08-25 21:22:35 +0000 | <bert96> | that im not good enough to understand what im doing is what monads can do within the do notation |
| 2024-08-25 21:23:08 +0000 | AlexNoo_ | (~AlexNoo@178.34.150.250) (Read error: Connection reset by peer) |
| 2024-08-25 21:23:10 +0000 | <bert96> | heres the task. i have a kind of "language" which is supposed to be based on linear types, but we can forget that bit for now. it is a "stateful" langage |
| 2024-08-25 21:23:23 +0000 | <bert96> | all functions are replaced with stateful opperators |
| 2024-08-25 21:23:45 +0000 | <bert96> | they return updated versions of themselves (the linear bit is that the original must not be referenced again, like it is deleted) |
| 2024-08-25 21:24:06 +0000 | <bert96> | so instead of having functions that return either other functions, or values |
| 2024-08-25 21:24:46 +0000 | <bert96> | ie one input one output, there is always 2 outputs, since it gives the modified "function" (its actually a mix of a function and the first argument, so just like it has 2 "outputs" it has 2 inputs) |
| 2024-08-25 21:24:54 +0000 | <bert96> | f s |
| 2024-08-25 21:25:06 +0000 | AlexZenon | (~alzenon@178.34.150.250) (Ping timeout: 252 seconds) |
| 2024-08-25 21:25:13 +0000 | <bert96> | there is now also a "regularization" |
| 2024-08-25 21:25:28 +0000 | <bert96> | as well as returning output, and modified state function, it gives a "loss" which is accrued |
| 2024-08-25 21:25:31 +0000 | <monochrom> | If you are not good with "do" notation, you can always stick to >>= |
| 2024-08-25 21:25:46 +0000 | <bert96> | do notation is great for this, as it allows the new state and output to be bound into scope easily |
| 2024-08-25 21:25:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 21:25:59 +0000 | <bert96> | however, i dont like having to also handle the regularizing double |
| 2024-08-25 21:26:03 +0000 | <monochrom> | If you are not good with >>= either, then your claim of "I understand monads very well" is busted. |
| 2024-08-25 21:26:07 +0000 | <bert96> | i was wondering if choice of monad could do this |
| 2024-08-25 21:26:13 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-08-25 21:26:37 +0000 | <bert96> | i could write something like f s i >>= \ (reg,s',o) -> ... |
| 2024-08-25 21:26:49 +0000 | <bert96> | but the idea is that its a deep model, with many state functions |
| 2024-08-25 21:27:14 +0000 | <bert96> | and binding the s' and o variables into scope allows the user to put them as inputs easily |
| 2024-08-25 21:27:24 +0000 | <bert96> | however, i want all the reg :: Double, to simply be added up |
| 2024-08-25 21:27:28 +0000 | <bert96> | and not have to handle this |
| 2024-08-25 21:27:42 +0000 | <bert96> | can i do this with choice of some particular monadic behaviour? |
| 2024-08-25 21:28:06 +0000 | <monochrom> | Writer (Sum Double) is a monad that can do the addition under the hood. |
| 2024-08-25 21:28:14 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 21:28:17 +0000 | <bert96> | awesome! |
| 2024-08-25 21:28:49 +0000 | <bert96> | i could write a short example in a paste, so that it could be possible to see how this would translate with use of Writer (Sum Double) ? |
| 2024-08-25 21:29:29 +0000 | AlexNoo | (~AlexNoo@178.34.150.250) |
| 2024-08-25 21:30:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 21:31:00 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-25 21:34:21 +0000 | <monochrom> | % import Control.Monad.Writer ; import Data.Monoid |
| 2024-08-25 21:34:21 +0000 | <yahb2> | <no output> |
| 2024-08-25 21:34:43 +0000 | <monochrom> | % runWriter (tell (Sum 1.1) >>= \_ -> tell (Sum 2.2)) |
| 2024-08-25 21:34:43 +0000 | <yahb2> | ((),Sum {getSum = 3.3000000000000003}) |
| 2024-08-25 21:35:00 +0000 | <bert96> | here https://paste.tomsmeding.com/kbAbNFEZ |
| 2024-08-25 21:35:53 +0000 | <probie> | You almost definitely want `Control.Monad.Writer.Strict` if you're working with `Sum Double` |
| 2024-08-25 21:36:14 +0000 | <monochrom> | Oh oops yeah. |
| 2024-08-25 21:36:19 +0000 | <monochrom> | % :quit |
| 2024-08-25 21:36:19 +0000 | <yahb2> | <bye> |
| 2024-08-25 21:36:21 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-08-25 21:36:27 +0000 | <monochrom> | % import Control.Monad.Writer.Strict ; import Data.Monoid |
| 2024-08-25 21:36:27 +0000 | <yahb2> | <no output> |
| 2024-08-25 21:36:31 +0000 | <monochrom> | % runWriter (tell (Sum 1.1) >>= \_ -> tell (Sum 2.2)) |
| 2024-08-25 21:36:31 +0000 | <yahb2> | ((),Sum {getSum = 3.3000000000000003}) |
| 2024-08-25 21:36:34 +0000 | <monochrom> | :) |
| 2024-08-25 21:36:57 +0000 | <monochrom> | That paste doesn't type-check. |
| 2024-08-25 21:37:48 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2024-08-25 21:37:49 +0000 | <monochrom> | Today is one of those days when I join those people who insist that if a program doesn't type-check then it has no semantics. |
| 2024-08-25 21:38:06 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 21:38:38 +0000 | <monochrom> | OK fine this one is just the monomorphism restriction. |
| 2024-08-25 21:38:55 +0000 | <bert96> | its needing; go :: IO (Reg,(S1,S2),Double) |
| 2024-08-25 21:39:32 +0000 | <bert96> | i guess i need actually to have it be Sum not IO though... |
| 2024-08-25 21:40:42 +0000 | <monochrom> | use "type Reg = Sum Double" and have "Writer Reg" and use tell for each number. I showed an example. |
| 2024-08-25 21:41:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 21:42:39 +0000 | orayn | (~orayn@user/orayn) (Quit: Client closed) |
| 2024-08-25 21:44:11 +0000 | <bert96> | i have no idea how to do this |
| 2024-08-25 21:44:39 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-08-25 21:44:48 +0000 | <bert96> | what do you mean, have "Writer Reg" |
| 2024-08-25 21:45:18 +0000 | <bert96> | IO (Writer Reg,(S1,S2),Double) does not make sense |
| 2024-08-25 21:45:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 21:45:38 +0000 | <bert96> | how does it maintain the outputs and states as output? |
| 2024-08-25 21:45:44 +0000 | <bert96> | i dont get how it typechecks? |
| 2024-08-25 21:45:46 +0000 | <probie> | bert96: https://play.haskell.org/saved/9El1Zcec perhaps something like |
| 2024-08-25 21:46:06 +0000 | <bert96> | thanks! |
| 2024-08-25 21:46:16 +0000 | AlexZenon | (~alzenon@178.34.150.250) |
| 2024-08-25 21:47:01 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-08-25 21:49:06 +0000 | <bert96> | is there a way to compse together the state functions? |
| 2024-08-25 21:49:12 +0000 | <bert96> | compose* |
| 2024-08-25 21:49:15 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:1a49:3dad:2797:7373) |
| 2024-08-25 21:49:54 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 21:52:06 +0000 | <bert96> | i was thinking of having a HList, but i guess if there is a binary composition function, i can just have a big nested set of pairs |
| 2024-08-25 21:52:42 +0000 | <bert96> | maybe its best to just do it in the do scope |
| 2024-08-25 21:52:47 +0000 | <bert96> | yeah, i think that was the idea |
| 2024-08-25 21:53:07 +0000 | <bert96> | i guess its just sugar on the types |
| 2024-08-25 21:53:12 +0000 | <bert96> | ill try and write up what i mean |
| 2024-08-25 21:56:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 21:58:49 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2024-08-25 22:01:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-25 22:02:10 +0000 | <bert96> | i cant quite get it to typecheck |
| 2024-08-25 22:02:10 +0000 | <bert96> | https://paste.tomsmeding.com/WVRzfdJ5 |
| 2024-08-25 22:02:52 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 22:03:48 +0000 | <bert96> | ah, its ok, i got it |
| 2024-08-25 22:03:49 +0000 | <bert96> | https://paste.tomsmeding.com/JrTnEeWi |
| 2024-08-25 22:04:12 +0000 | <bert96> | so yeah, im still wondering about the composition semanticx |
| 2024-08-25 22:04:32 +0000 | <bert96> | is there a way to get this looking slightly more like a DSL? |
| 2024-08-25 22:04:37 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-25 22:04:52 +0000 | <bert96> | loke, loading everything into it, processing it, and then getting it back into the form without the writer visible |
| 2024-08-25 22:05:10 +0000 | <bert96> | i guess this basically does that, but its not like, idk. general enough? can you see what im getting at? |
| 2024-08-25 22:05:41 +0000 | <bert96> | i guess 'go' kind of resembles a composition function |
| 2024-08-25 22:05:52 +0000 | <bert96> | im not sure how to handle "scope" though |
| 2024-08-25 22:06:02 +0000 | <bert96> | like, if you have this bivariate associator, thats one thing... |
| 2024-08-25 22:06:10 +0000 | <bert96> | idk, maybe you just rewrite the go function |
| 2024-08-25 22:06:26 +0000 | <bert96> | instead of trying to use it as a composition... i cant quite get my head round the difference |
| 2024-08-25 22:06:45 +0000 | <bert96> | like, because then you can have as many functions as you like, and to do scoping handles all that |
| 2024-08-25 22:07:00 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:1a49:3dad:2797:7373) (Quit: ash3en) |
| 2024-08-25 22:07:15 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:1a49:3dad:2797:7373) |
| 2024-08-25 22:07:18 +0000 | <bert96> | but it kind of then, doesnt seem to meet the criteria of a well formulated DSL, which for some reason i think would have this bivariate composition opperator, i think is a mistaken idea |
| 2024-08-25 22:07:59 +0000 | <bert96> | the pair, extends simply to a list, but then the list of states, for example, doesnt easily handle the internal scoping of how these are interrelated |
| 2024-08-25 22:08:18 +0000 | <bert96> | i like how the 'do' version like this seems to handle the regularization though |
| 2024-08-25 22:08:33 +0000 | <bert96> | its actually one of the nicest use cases for a monad other than IO that iv seen |
| 2024-08-25 22:08:49 +0000 | <bert96> | (been coding haskell for almost decades by this point) |
| 2024-08-25 22:10:14 +0000 | <bert96> | i guess the closest i could come up with would be replacing the tuple in 'go' with a HList, but then, since it dosent change length, it might as well just be a tuple of whatever length, and the built in syntax handles it all |
| 2024-08-25 22:10:33 +0000 | <bert96> | can anyone see anything obvious thats missing from this, if it were to be presented as a "package" |
| 2024-08-25 22:10:51 +0000 | <bert96> | or alternatively, just let me know that these considerations parse sensibly |
| 2024-08-25 22:11:02 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:1a49:3dad:2797:7373) (Client Quit) |
| 2024-08-25 22:12:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 22:13:19 +0000 | <bert96> | im kind of torn between, rewriting the addReg style do blocks for f and g with a common function |
| 2024-08-25 22:13:50 +0000 | <monochrom> | If you also have state then it's "StateT ??? (Writer (Sum Double))" or "WriterT (Sum Double) (State ???)" I don't know which. |
| 2024-08-25 22:13:52 +0000 | <bert96> | but that forces the user to put them in a specific type, and i cant tell if thats better or worse than having them have to write these addReg stanzas in |
| 2024-08-25 22:14:25 +0000 | <bert96> | monochrom: hmm... im not sure how to use the State monads semantics here |
| 2024-08-25 22:14:43 +0000 | <monochrom> | There are multitudes of tutorials on that. |
| 2024-08-25 22:14:44 +0000 | <bert96> | do you think that would handle the compositionality considerations im contending with? |
| 2024-08-25 22:15:09 +0000 | <bert96> | monochrom: right, but doing them would not result in me being able to answer that question |
| 2024-08-25 22:15:37 +0000 | <bert96> | i have about another half hour alloted to this, ill just go with the version as is if i cant figure it out before then |
| 2024-08-25 22:15:56 +0000 | <bert96> | id like to get it right though, so any help would really be appreciated |
| 2024-08-25 22:16:12 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:1a49:3dad:2797:7373) |
| 2024-08-25 22:16:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 22:17:09 +0000 | <bert96> | probie: do you know how to do both the state and the writer bit at the same time? |
| 2024-08-25 22:17:17 +0000 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2024-08-25 22:17:22 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-25 22:20:10 +0000 | <bert96> | i mean, presumably it would just become more messy |
| 2024-08-25 22:23:52 +0000 | <bert96> | ok, iv read, https://wiki.haskell.org/State_Monad |
| 2024-08-25 22:24:04 +0000 | <bert96> | but literally, i have no idea how i would write the combination |
| 2024-08-25 22:24:35 +0000 | <bert96> | i basically get how the bind function works, but i really have trouble translating that through to an implementation |
| 2024-08-25 22:27:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 22:28:03 +0000 | <geekosaur> | have you looked at the definition of RWST? |
| 2024-08-25 22:28:44 +0000 | <bert96> | https://hackage.haskell.org/package/mtl-2.0.1.0/docs/Control-Monad-RWS-Lazy.html |
| 2024-08-25 22:28:47 +0000 | <bert96> | this? |
| 2024-08-25 22:28:57 +0000 | <bert96> | seems like it might be basically what im trying to derive? |
| 2024-08-25 22:29:02 +0000 | <bert96> | what do you think? |
| 2024-08-25 22:29:21 +0000 | <bert96> | might be good to see the example rewritten in this style... |
| 2024-08-25 22:29:41 +0000 | <bert96> | the third "reg" value seems to appear in the types of this library |
| 2024-08-25 22:31:58 +0000 | <bert96> | wow, if i type |
| 2024-08-25 22:31:58 +0000 | <bert96> | https://www.bing.com/search?q=%2bsimple+RWST+example+haskell&filters=rcrse%3a%221%22&FORM=RCRE |
| 2024-08-25 22:31:59 +0000 | <bert96> | bings AI just generates the example as the top result1 |
| 2024-08-25 22:32:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 22:33:57 +0000 | <bert96> | im going to see if the GPT can spoonfeed me better than the canadians |
| 2024-08-25 22:37:34 +0000 | <bert96> | check this! https://paste.tomsmeding.com/jGhhv4hF |
| 2024-08-25 22:37:53 +0000 | <bert96> | chatGPT ftw; https://chatgpt.com/share/12785964-4265-4ac6-b2da-51afb2a42cdd |
| 2024-08-25 22:40:11 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:1a49:3dad:2797:7373) (Remote host closed the connection) |
| 2024-08-25 22:40:24 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:88f6:37f6:5d31:b10c) |
| 2024-08-25 22:42:25 +0000 | <probie> | Does that typecheck? |
| 2024-08-25 22:42:44 +0000 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:88f6:37f6:5d31:b10c) (Client Quit) |
| 2024-08-25 22:42:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 22:43:58 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-08-25 22:44:27 +0000 | <bert96> | idk... it seems to be messing up somehow |
| 2024-08-25 22:44:33 +0000 | Guest75 | (~Guest75@2600:387:f:a10::6) |
| 2024-08-25 22:44:41 +0000 | Guest8 | (~Guest75@2600:387:f:a10::6) |
| 2024-08-25 22:44:41 +0000 | <bert96> | im not sure if it has made `i' a phantom type by mistake |
| 2024-08-25 22:44:56 +0000 | <bert96> | but i cant understand the RWST formalism because of how it handles the i variable anyway |
| 2024-08-25 22:46:45 +0000 | <bert96> | yeah, i dont think it qute does it right... |
| 2024-08-25 22:46:45 +0000 | <bert96> | https://chatgpt.com/share/12785964-4265-4ac6-b2da-51afb2a42cdd |
| 2024-08-25 22:47:02 +0000 | <bert96> | can anyone that actually understands this get it into a form that doesnt confuse me!? |
| 2024-08-25 22:47:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 22:49:06 +0000 | <bert96> | i get screenblind pretty bad ofter a nasty head injury |
| 2024-08-25 22:50:30 +0000 | son0p | (~ff@186.121.18.131) (Quit: Leaving) |
| 2024-08-25 22:50:41 +0000 | <bert96> | gona take a break now, if theres a nice typechecking paste when i get back, i will owe you internet prompts |
| 2024-08-25 22:53:21 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-08-25 22:56:30 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-08-25 22:58:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 23:00:17 +0000 | <bert96> | damn, no code paste |
| 2024-08-25 23:00:36 +0000 | Guest75 | (~Guest75@2600:387:f:a10::6) (Quit: Client closed) |
| 2024-08-25 23:00:36 +0000 | Guest8 | (~Guest75@2600:387:f:a10::6) (Quit: Client closed) |
| 2024-08-25 23:00:49 +0000 | <bert96> | the thing i dont think i get about the state formalism as presented by the RWST monad is how it handles (or fails to handle) composite states |
| 2024-08-25 23:00:59 +0000 | <bert96> | i think that what i was doing is different in this regard |
| 2024-08-25 23:01:13 +0000 | <bert96> | the situtation seems to use the state repeatedly |
| 2024-08-25 23:01:23 +0000 | <bert96> | eg, examples repeatedly incrament the state |
| 2024-08-25 23:01:41 +0000 | Guest75 | (~Guest75@2600:387:f:a10::6) |
| 2024-08-25 23:01:41 +0000 | <bert96> | in my setup, many different states are composed together, and usually only modified once |
| 2024-08-25 23:02:01 +0000 | <bert96> | for this reason, i *dont* think that what im trying to do fits into the RWST formalism |
| 2024-08-25 23:02:08 +0000 | <bert96> | and that the suggestion is basically a misnomer |
| 2024-08-25 23:02:33 +0000 | <bert96> | instead of the monad handling the composition of states, it handles the composition of state updates |
| 2024-08-25 23:02:34 +0000 | Guest75 | (~Guest75@2600:387:f:a10::6) (Client Quit) |
| 2024-08-25 23:02:41 +0000 | <bert96> | this is clearly not the same |
| 2024-08-25 23:02:48 +0000 | Guest14 | (~Guest75@2600:387:f:a10::6) |
| 2024-08-25 23:02:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 23:03:09 +0000 | <bert96> | i have never thought that the state monad does anything much at all |
| 2024-08-25 23:03:35 +0000 | <bert96> | its interesting what the GPT managed to do though in terms of refactoring though |
| 2024-08-25 23:04:32 +0000 | <bert96> | so after all this deliberation, it seems like this is the accepted version; |
| 2024-08-25 23:04:33 +0000 | <bert96> | https://paste.tomsmeding.com/JrTnEeWi |
| 2024-08-25 23:04:47 +0000 | Guest14 | (~Guest75@2600:387:f:a10::6) (Client Quit) |
| 2024-08-25 23:04:55 +0000 | Guest75 | (~Guest75@2600:387:f:a10::6) |
| 2024-08-25 23:05:05 +0000 | <bert96> | can anyone say anything before i go, about how this appears in terms of an interface for a stateful paradigm with regularizer? |
| 2024-08-25 23:06:01 +0000 | Guest75 | (~Guest75@2600:387:f:a10::6) (Write error: Connection reset by peer) |
| 2024-08-25 23:06:30 +0000 | <bert96> | ok, thats me offskis then. thanks for your help this evening |
| 2024-08-25 23:06:33 +0000 | bert96 | (~bert@143.58.222.152) (Quit: Connection closed) |
| 2024-08-25 23:09:36 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-25 23:09:57 +0000 | <monochrom> | I was suspecting that they were fishing for solutions instead of wanting to learn. The use of chatgpt proved it. |
| 2024-08-25 23:10:40 +0000 | <monochrom> | But the first sign was when I pointed out "there are multitudes of tutorials" they were like "but that won't answer my question". |
| 2024-08-25 23:11:32 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 23:13:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 23:15:37 +0000 | <monochrom> | Also one more data point for the negative correlation between understanding and claiming "I understand". |
| 2024-08-25 23:18:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 23:19:04 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-25 23:20:32 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2024-08-25 23:22:30 +0000 | Guest75 | (~Guest75@2600:387:f:a10::6) |
| 2024-08-25 23:25:03 +0000 | oo_miguel | (~Thunderbi@78.10.207.45) (Ping timeout: 276 seconds) |
| 2024-08-25 23:25:51 +0000 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 23:26:47 +0000 | Guest75 | (~Guest75@2600:387:f:a10::6) (Client Quit) |
| 2024-08-25 23:28:46 +0000 | <jle`> | i have had 0 luck with chatgpt and haskell ever |
| 2024-08-25 23:29:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 23:33:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 23:44:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 23:46:58 +0000 | <probie> | Sometimes I tempted to sign up so I can see what kind of garbage ChatGPT generates |
| 2024-08-25 23:48:20 +0000 | <probie> | s/I tempted/I'm tempted/ |
| 2024-08-25 23:51:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 23:54:10 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb47bd23b15f512db0bf.dip0.t-ipconnect.de) |
| 2024-08-25 23:57:09 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb47c979cc4d7a117a71.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-08-25 23:59:39 +0000 | bilegeek | (~bilegeek@2600:1008:b007:52b2:99e1:c3bf:c468:921) |