| 2024-08-25 00:01:38 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-25 00:03:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 00:04:21 +0200 | son0p | (~ff@186.121.35.155) (Remote host closed the connection) |
| 2024-08-25 00:08:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 00:09:24 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-08-25 00:11:00 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-25 00:18:44 +0200 | cpressey | (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
| 2024-08-25 00:19:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 00:20:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 00:23:37 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-25 00:23:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 00:34:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 00:39:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 00:41:28 +0200 | NiKaN | (sid385034@helmsley.irccloud.com) (Ping timeout: 252 seconds) |
| 2024-08-25 00:43:45 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb33c9fe4f1c6cd90a7b.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-08-25 00:44:29 +0200 | <EvanR> | talismanick, I recall a talk one time which asked how working/correct could cloud haskell be |
| 2024-08-25 00:44:48 +0200 | <EvanR> | a slide answered this by saying it would be as reliable as TCP/IP |
| 2024-08-25 00:45:32 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2024-08-25 00:45:34 +0200 | <EvanR> | re: distributed stuff that doesn't break |
| 2024-08-25 00:50:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 00:50:58 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-08-25 00:53:23 +0200 | neuroevolutus | (~neuroevol@206.217.206.95) (Ping timeout: 256 seconds) |
| 2024-08-25 00:54:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 01:05:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 01:07:46 +0200 | ash3en | (~Thunderbi@2a01:c23:9184:ed00:199f:acb6:dc24:b32) |
| 2024-08-25 01:10:15 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-25 01:10:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 01:12:18 +0200 | <talismanick> | EvanR: well, there's the CAP theorem saying you can't have your cake and eat it too - I acknowledge that - but there's a lot you can work with in special cases, especially if you drop consistency for monotonicity |
| 2024-08-25 01:12:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 01:12:46 +0200 | <EvanR> | inconsistency, fun |
| 2024-08-25 01:12:51 +0200 | hueso | (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 2024-08-25 01:13:27 +0200 | <talismanick> | TCP acknowledges fallability in the general case - it tries to send packets as many times as needed to pass the full message - and makes tradeoffs |
| 2024-08-25 01:13:48 +0200 | <talismanick> | does that mean Cloud Haskell aims to make the same compromises? |
| 2024-08-25 01:14:08 +0200 | <talismanick> | and monotonicity gets you most of what you want from consistency... |
| 2024-08-25 01:14:10 +0200 | hueso | (~root@user/hueso) |
| 2024-08-25 01:14:24 +0200 | <talismanick> | (intuitively speaking, imho anyways) |
| 2024-08-25 01:15:16 +0200 | <talismanick> | http://bloom-lang.net/calm/ |
| 2024-08-25 01:17:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 01:18:54 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-25 01:20:40 +0200 | neuroevolutus | (~neuroevol@206.217.206.95) |
| 2024-08-25 01:22:47 +0200 | <EvanR> | iirc they run their protocol on top of TCP |
| 2024-08-25 01:22:57 +0200 | <talismanick> | ah |
| 2024-08-25 01:23:10 +0200 | ash3en | (~Thunderbi@2a01:c23:9184:ed00:199f:acb6:dc24:b32) (Ping timeout: 272 seconds) |
| 2024-08-25 01:23:27 +0200 | ash3en | (~Thunderbi@146.70.124.138) |
| 2024-08-25 01:23:50 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-08-25 01:23:50 +0200 | <talismanick> | so it's more akin to a set of "typed as best as possible" building blocks for process calculi, paxos, etc? |
| 2024-08-25 01:28:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 01:30:09 +0200 | Guest75 | (~Guest75@2600:387:f:5917::a) |
| 2024-08-25 01:32:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 01:35:07 +0200 | Guest75 | (~Guest75@2600:387:f:5917::a) (Quit: Client closed) |
| 2024-08-25 01:35:28 +0200 | Guest75 | (~Guest75@2600:387:f:5917::a) |
| 2024-08-25 01:36:22 +0200 | Guest75 | (~Guest75@2600:387:f:5917::a) (Client Quit) |
| 2024-08-25 01:36:36 +0200 | Guest38 | (~Guest75@2600:387:f:5917::a) |
| 2024-08-25 01:36:50 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-25 01:37:10 +0200 | Guest38 | (~Guest75@2600:387:f:5917::a) (Client Quit) |
| 2024-08-25 01:37:13 +0200 | Guest75 | (~Guest75@2600:387:f:5917::a) |
| 2024-08-25 01:37:37 +0200 | Guest75 | (~Guest75@2600:387:f:5917::a) (Write error: Broken pipe) |
| 2024-08-25 01:37:43 +0200 | Guest54 | (~Guest75@2600:387:f:5917::a) |
| 2024-08-25 01:38:43 +0200 | Guest54 | (~Guest75@2600:387:f:5917::a) (Client Quit) |
| 2024-08-25 01:41:18 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-25 01:42:33 +0200 | Guest75 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 01:43:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 01:43:39 +0200 | Guest18 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 01:44:21 +0200 | ash3en | (~Thunderbi@146.70.124.138) (Quit: ash3en) |
| 2024-08-25 01:46:36 +0200 | Guest70 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 01:46:57 +0200 | Guest18 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Write error: Broken pipe) |
| 2024-08-25 01:48:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 01:48:55 +0200 | Guest75 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-08-25 01:50:25 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-25 01:51:10 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-25 01:51:35 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-08-25 01:53:37 +0200 | Guest70 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Quit: Client closed) |
| 2024-08-25 01:54:00 +0200 | Guest75 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 01:54:23 +0200 | Guest79 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 01:54:27 +0200 | Guest75 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Write error: Broken pipe) |
| 2024-08-25 01:54:31 +0200 | Guest36 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 01:54:36 +0200 | Guest79 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Write error: Broken pipe) |
| 2024-08-25 01:54:41 +0200 | Guest33 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 01:54:46 +0200 | Guest36 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Client Quit) |
| 2024-08-25 01:54:46 +0200 | Guest33 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (K-Lined) |
| 2024-08-25 01:57:44 +0200 | todi_away | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-08-25 01:57:49 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-08-25 01:58:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 02:03:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 02:04:01 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-08-25 02:07:50 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-08-25 02:07:59 +0200 | dsrt^ | (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 2024-08-25 02:08:39 +0200 | dsrt^ | (ciwoudofon@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-08-25 02:10:42 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-08-25 02:14:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 02:16:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-08-25 02:19:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 02:21:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-08-25 02:29:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 02:34:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 02:43:22 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-25 02:45:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 02:49:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 03:00:06 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2024-08-25 03:00:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 03:05:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 03:16:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 03:16:21 +0200 | 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 03:16:58 +0200 | troydm | (~troydm@user/troydm) |
| 2024-08-25 03:20:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 03:22:56 +0200 | troojg | (~troojg@user/troojg) |
| 2024-08-25 03:29:47 +0200 | neuroevolutus | (~neuroevol@206.217.206.95) (Ping timeout: 256 seconds) |
| 2024-08-25 03:31:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 03:35:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 03:37:39 +0200 | troojg | (~troojg@user/troojg) (Remote host closed the connection) |
| 2024-08-25 03:42:21 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-25 03:44:52 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-25 03:46:06 +0200 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
| 2024-08-25 03:46:21 +0200 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-08-25 03:46:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 03:47:55 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: error: `impl Future<Output = ()>` is not a future) |
| 2024-08-25 03:50:28 +0200 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-08-25 03:51:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 03:53:30 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 276 seconds) |
| 2024-08-25 03:53:30 +0200 | youthlic1 | youthlic |
| 2024-08-25 03:59:55 +0200 | son0p | (~ff@2800:e2:f80:ee7::1) |
| 2024-08-25 04:02:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 04:02:27 +0200 | liamzy__ | (~Inst@user/Inst) |
| 2024-08-25 04:05:00 +0200 | Inst_ | (~Inst@user/Inst) (Ping timeout: 244 seconds) |
| 2024-08-25 04:05:02 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-08-25 04:05:32 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-08-25 04:06:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 04:09:06 +0200 | td_ | (~td@i5387090D.versanet.de) (Ping timeout: 252 seconds) |
| 2024-08-25 04:10:43 +0200 | td_ | (~td@i53870916.versanet.de) |
| 2024-08-25 04:11:11 +0200 | <liamzy__> | __monty__ |
| 2024-08-25 04:11:12 +0200 | <liamzy__> | sorry |
| 2024-08-25 04:11:14 +0200 | liamzy__ | Inst |
| 2024-08-25 04:12:01 +0200 | <Inst> | https://benchmarksgame-team.pages.debian.net/benchmarksgame/program/binarytrees-ghc-8.html |
| 2024-08-25 04:12:03 +0200 | <Inst> | I mean this stuff |
| 2024-08-25 04:17:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 04:21:28 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-08-25 04:22:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 04:33:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 04:37:05 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-25 04:37:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 04:48:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 04:53:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 04:53:11 +0200 | 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 04:53:27 +0200 | troydm | (~troydm@user/troydm) |
| 2024-08-25 04:55:31 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Remote host closed the connection) |
| 2024-08-25 04:56:06 +0200 | ThePenguin7 | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-08-25 05:03:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-25 05:04:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 05:09:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 05:19:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 05:20:36 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 2024-08-25 05:20:50 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-25 05:20:52 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-08-25 05:22:49 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-08-25 05:24:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 05:28:27 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-08-25 05:33:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 05:38:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 05:42:46 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce1:ca00:1cd1:13ff:d54d:eb12) |
| 2024-08-25 05:44:09 +0200 | aforemny | (~aforemny@2001:9e8:6cff:500:98c4:3d3d:712d:9623) (Ping timeout: 260 seconds) |
| 2024-08-25 05:49:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 05:53:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 06:04:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 06:05:36 +0200 | bilegeek | (~bilegeek@2600:1008:b040:4a84:4efb:c8c:bffb:a024) (Quit: Leaving) |
| 2024-08-25 06:09:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 06:09:26 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-08-25 06:13:41 +0200 | son0p | (~ff@2800:e2:f80:ee7::1) (Ping timeout: 248 seconds) |
| 2024-08-25 06:20:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 06:24:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 06:28:51 +0200 | xff0x | (~xff0x@2405:6580:b080:900:45fd:a514:f56e:67ab) (Ping timeout: 246 seconds) |
| 2024-08-25 06:34:59 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-08-25 06:35:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 06:40:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 06:40:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:1a16:bbb0:6f59:723e) |
| 2024-08-25 06:48:20 +0200 | madhavanmiui | (~madhavanm@2409:40f4:102e:9786:8000::) |
| 2024-08-25 06:49:25 +0200 | madhavanmiui | (~madhavanm@2409:40f4:102e:9786:8000::) (Client Quit) |
| 2024-08-25 06:51:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 06:54:26 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-08-25 06:55:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 07:05:58 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-25 07:06:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 07:08:03 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 246 seconds) |
| 2024-08-25 07:08:35 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-08-25 07:11:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 07:21:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 07:26:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 07:34:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 07:35:08 +0200 | neuroevolutus | (~neuroevol@206.217.206.95) |
| 2024-08-25 07:39:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 07:49:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 07:50:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 07:54:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 07:55:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 08:05:28 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2024-08-25 08:05:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 08:10:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 08:10:33 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Quit: WeeChat 4.4.1) |
| 2024-08-25 08:17:49 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Read error: Connection reset by peer) |
| 2024-08-25 08:21:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 08:22:45 +0200 | son0p | (~ff@2800:e2:f80:ee7::1) |
| 2024-08-25 08:25:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 08:35:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 08:38:42 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 246 seconds) |
| 2024-08-25 08:38:57 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-25 08:40:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 08:44:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 08:50:55 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-25 08:51:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 08:56:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 09:01:17 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Quit: WeeChat 4.4.1) |
| 2024-08-25 09:01:29 +0200 | ash3en | (~Thunderbi@146.70.124.138) |
| 2024-08-25 09:02:30 +0200 | comonad | (~comonad@p200300d02705e800d14b563ba919432f.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-08-25 09:03:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-08-25 09:06:36 +0200 | comonad | (~comonad@p200300d02705e800d14b563ba919432f.dip0.t-ipconnect.de) |
| 2024-08-25 09:06:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 09:10:44 +0200 | neuroevolutus | (~neuroevol@206.217.206.95) (Quit: Client closed) |
| 2024-08-25 09:11:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-25 09:22:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 09:23:44 +0200 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2024-08-25 09:29:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 09:36:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 09:41:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 09:41:26 +0200 | regev | (~regev@147.236.231.210) |
| 2024-08-25 09:42:12 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-25 09:44:09 +0200 | <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 09:44:45 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 09:45:11 +0200 | <Franciman> | hi regev maybe you can like typeclassopedia |
| 2024-08-25 09:45:45 +0200 | <Franciman> | https://wiki.haskell.org/Typeclassopedia there is a graph here |
| 2024-08-25 09:46:21 +0200 | regev | (~regev@147.236.231.210) (Read error: Connection reset by peer) |
| 2024-08-25 09:48:38 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-25 09:50:49 +0200 | regev | (~dararam@147.236.231.210) |
| 2024-08-25 09:52:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 09:54:44 +0200 | Square | (~Square@user/square) |
| 2024-08-25 09:54:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 09:55:31 +0200 | regev | (~dararam@147.236.231.210) (Client Quit) |
| 2024-08-25 09:57:05 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb47c979cc4d7a117a71.dip0.t-ipconnect.de) |
| 2024-08-25 09:57:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 09:58:09 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-08-25 10:03:53 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-25 10:07:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 10:10:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2024-08-25 10:10:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 10:12:30 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-08-25 10:12:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 10:13:52 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-08-25 10:18:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 10:21:42 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Quit: WeeChat 4.4.1) |
| 2024-08-25 10:23:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 10:27:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 10:29:34 +0200 | ash3en | (~Thunderbi@146.70.124.138) (Quit: ash3en) |
| 2024-08-25 10:30:05 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-08-25 10:30:26 +0200 | Square | (~Square@user/square) |
| 2024-08-25 10:37:02 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-25 10:37:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 10:42:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 10:44:15 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-08-25 10:53:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 10:56:45 +0200 | mceresa | (~mceresa@user/mceresa) |
| 2024-08-25 10:57:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 11:00:09 +0200 | ash3en | (~Thunderbi@146.70.124.138) |
| 2024-08-25 11:00:28 +0200 | ash3en | (~Thunderbi@146.70.124.138) (Client Quit) |
| 2024-08-25 11:01:34 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-08-25 11:01:52 +0200 | Square | (~Square@user/square) |
| 2024-08-25 11:03:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-25 11:04:30 +0200 | Guest87 | (~Guest87@2a0c:5a81:5400:b900:4ad7:bf7c:3540:238e) |
| 2024-08-25 11:05:51 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-5c9c-f2eb-3220-d75c.rev.sfr.net) |
| 2024-08-25 11:06:52 +0200 | Guest87 | (~Guest87@2a0c:5a81:5400:b900:4ad7:bf7c:3540:238e) (Quit: Client closed) |
| 2024-08-25 11:07:15 +0200 | Guest87 | (~Guest87@2a0c:5a81:5400:b900:4ad7:bf7c:3540:238e) |
| 2024-08-25 11:07:33 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2024-08-25 11:07:47 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-25 11:07:58 +0200 | Guest87 | (~Guest87@2a0c:5a81:5400:b900:4ad7:bf7c:3540:238e) (Client Quit) |
| 2024-08-25 11:08:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 11:10:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 11:13:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 11:24:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 11:25:58 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-08-25 11:28:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 11:28:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 11:28:49 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-08-25 11:38:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 11:43:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 11:45:21 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-08-25 11:45:48 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-08-25 11:48:04 +0200 | orayn | (~orayn@user/orayn) |
| 2024-08-25 11:48:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 11:49:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 11:54:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 11:58:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 12:02:39 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-08-25 12:03:28 +0200 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-08-25 12:09:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 12:12:28 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-08-25 12:13:37 +0200 | regev | (~dararam@147.236.231.210) |
| 2024-08-25 12:14:05 +0200 | <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 12:14:05 +0200 | <regev> | │ | comprehensive chart that shows the hierarcy of the default typeclasses is haskell?y |
| 2024-08-25 12:14:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 12:14:59 +0200 | <regev> | oops, tried to copy paste :) |
| 2024-08-25 12:15:13 +0200 | <sm> | you saw Franciman's previous answer ? https://wiki.haskell.org/Typeclassopedia |
| 2024-08-25 12:15:27 +0200 | <regev> | typing again so its readable: does anyone have a comprehensive chart of all default typeclasses in haskell? |
| 2024-08-25 12:15:44 +0200 | <regev> | nope i exited, sorry |
| 2024-08-25 12:15:53 +0200 | <sm> | well there it is :) |
| 2024-08-25 12:16:43 +0200 | <regev> | thank you! |
| 2024-08-25 12:18:09 +0200 | <sm> | don't feel as a newbie you must master all of this |
| 2024-08-25 12:18:13 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-08-25 12:20:32 +0200 | regev | (~dararam@147.236.231.210) (Read error: Connection reset by peer) |
| 2024-08-25 12:24:29 +0200 | regev | (~dararam@147.236.231.210) |
| 2024-08-25 12:25:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 12:25:33 +0200 | <mauke> | doesn't even mention Ix |
| 2024-08-25 12:26:38 +0200 | <mauke> | as a beginner, the most important classes are probably Show, Eq, Ord, Num |
| 2024-08-25 12:26:47 +0200 | <mauke> | Enum and Functor if you want to get fancy |
| 2024-08-25 12:28:47 +0200 | regev | (~dararam@147.236.231.210) (Read error: Connection reset by peer) |
| 2024-08-25 12:30:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 12:31:44 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) |
| 2024-08-25 12:32:51 +0200 | regev | (~dararam@147.236.231.210) |
| 2024-08-25 12:37:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 12:37:49 +0200 | regev | (~dararam@147.236.231.210) (Read error: Connection reset by peer) |
| 2024-08-25 12:40:09 +0200 | regev | (~dararam@147.236.229.142) |
| 2024-08-25 12:44:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 12:47:43 +0200 | Square | (~Square@user/square) |
| 2024-08-25 12:50:10 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) (Quit: ash3en) |
| 2024-08-25 12:55:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 12:57:40 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) |
| 2024-08-25 12:59:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 13:00:56 +0200 | mrmr15533434631 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-08-25 13:04:18 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) (Quit: ash3en) |
| 2024-08-25 13:04:43 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) |
| 2024-08-25 13:05:33 +0200 | Digitteknohippie | (~user@user/digit) |
| 2024-08-25 13:06:14 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-08-25 13:06:19 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2024-08-25 13:06:28 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) (Client Quit) |
| 2024-08-25 13:06:46 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) |
| 2024-08-25 13:07:08 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) (Client Quit) |
| 2024-08-25 13:10:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 13:11:11 +0200 | orayn | (~orayn@user/orayn) (Ping timeout: 256 seconds) |
| 2024-08-25 13:11:23 +0200 | orayn | (~orayn@user/orayn) |
| 2024-08-25 13:14:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 13:14:58 +0200 | regev | (~dararam@147.236.229.142) (Read error: Connection reset by peer) |
| 2024-08-25 13:18:28 +0200 | mrmr155334346318 | (~mrmr@user/mrmr) |
| 2024-08-25 13:18:50 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 272 seconds) |
| 2024-08-25 13:19:04 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-25 13:19:21 +0200 | <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 13:20:29 +0200 | regev | (~dararam@2a01:6502:a4c:67ea:eca2:9840:2654:bb3f) |
| 2024-08-25 13:21:52 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-08-25 13:22:23 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-08-25 13:25:10 +0200 | regev | (~dararam@2a01:6502:a4c:67ea:eca2:9840:2654:bb3f) (Ping timeout: 272 seconds) |
| 2024-08-25 13:25:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 13:26:03 +0200 | regev | (~dararam@2a01:6502:a4c:67ea:eca2:9840:2654:bb3f) |
| 2024-08-25 13:30:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 13:31:33 +0200 | regev | (~dararam@2a01:6502:a4c:67ea:eca2:9840:2654:bb3f) (Ping timeout: 248 seconds) |
| 2024-08-25 13:36:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 13:41:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 13:46:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-25 13:55:13 +0200 | Guest75 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 13:55:39 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-25 13:56:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 14:01:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 14:01:25 +0200 | Guest75 | (~Guest75@2600:387:f:5919::2) (Quit: Client closed) |
| 2024-08-25 14:01:45 +0200 | Guest75 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 14:04:04 +0200 | Guest48 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 14:04:47 +0200 | Guest75 | (~Guest75@2600:387:f:5919::2) (Write error: Broken pipe) |
| 2024-08-25 14:04:48 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-25 14:06:17 +0200 | Guest48 | (~Guest75@2600:387:f:5919::2) (Client Quit) |
| 2024-08-25 14:09:10 +0200 | Guest75 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 14:10:05 +0200 | Guest61 | (~Guest61@2a03:1b20:b:f011::d701) |
| 2024-08-25 14:12:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 14:16:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 14:18:16 +0200 | Guest75 | (~Guest75@2600:387:f:5919::2) (Quit: Client closed) |
| 2024-08-25 14:18:36 +0200 | Guest75 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 14:24:30 +0200 | Guest75 | (~Guest75@2600:387:f:5919::2) (Quit: Client closed) |
| 2024-08-25 14:24:50 +0200 | Guest75 | (~Guest75@2600:387:f:5919::2) |
| 2024-08-25 14:26:45 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 252 seconds) |
| 2024-08-25 14:27:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 14:30:14 +0200 | Digitteknohippie | Digit |
| 2024-08-25 14:32:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 14:38:30 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 246 seconds) |
| 2024-08-25 14:41:44 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-08-25 14:42:01 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-08-25 14:43:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 14:48:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 14:50:55 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-5c9c-f2eb-3220-d75c.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-25 14:52:20 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-8c26-f064-ddca-dec6.rev.sfr.net) |
| 2024-08-25 14:52:29 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2024-08-25 14:53:27 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-08-25 14:56:41 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-8c26-f064-ddca-dec6.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-25 14:58:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 14:58:39 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-7c12-80f4-72ec-655d.rev.sfr.net) |
| 2024-08-25 15:00:49 +0200 | regev | (~dararam@2a01:6502:a4c:67ea:54d3:d8ce:37f:f610) |
| 2024-08-25 15:02:00 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3405-7d01-7c12-80f4-72ec-655d.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-25 15:02:18 +0200 | spew | (~spew@201.141.102.132) |
| 2024-08-25 15:02:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-25 15:04:56 +0200 | Guest61 | (~Guest61@2a03:1b20:b:f011::d701) (Quit: Client closed) |
| 2024-08-25 15:05:18 +0200 | regev | (~dararam@2a01:6502:a4c:67ea:54d3:d8ce:37f:f610) (Ping timeout: 244 seconds) |
| 2024-08-25 15:07:05 +0200 | regev | (~dararam@2a01:6502:a4c:67ea:54d3:d8ce:37f:f610) |
| 2024-08-25 15:13:03 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) |
| 2024-08-25 15:13:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 15:16:32 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) (Quit: WeeChat 4.3.5) |
| 2024-08-25 15:16:49 +0200 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
| 2024-08-25 15:19:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 15:19:18 +0200 | Guest75 | (~Guest75@2600:387:f:5919::2) (Quit: Client closed) |
| 2024-08-25 15:29:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 15:31:21 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-08-25 15:31:35 +0200 | tomku | (~tomku@user/tomku) |
| 2024-08-25 15:33:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 15:43:56 +0200 | td_ | (~td@i53870916.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-08-25 15:44:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 15:49:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 15:50:38 +0200 | pavonia | (~user@user/siracusa) |
| 2024-08-25 15:53:19 +0200 | regev | (~dararam@2a01:6502:a4c:67ea:54d3:d8ce:37f:f610) (Ping timeout: 260 seconds) |
| 2024-08-25 15:55:00 +0200 | regev | (~dararam@147.236.229.142) |
| 2024-08-25 16:00:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 16:02:32 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-25 16:03:33 +0200 | regev | (~dararam@147.236.229.142) (Ping timeout: 248 seconds) |
| 2024-08-25 16:04:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 16:05:24 +0200 | regev | (~dararam@147.236.229.142) |
| 2024-08-25 16:07:10 +0200 | Guest75 | (~Guest75@2600:387:15:151a::8) |
| 2024-08-25 16:14:37 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-08-25 16:15:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 16:20:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 16:27:27 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-25 16:31:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 16:36:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-08-25 16:37:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 16:39:49 +0200 | regev | (~dararam@147.236.229.142) (Read error: Connection reset by peer) |
| 2024-08-25 16:43:10 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) |
| 2024-08-25 16:43:42 +0200 | Square | (~Square@user/square) |
| 2024-08-25 16:44:47 +0200 | Guest75 | (~Guest75@2600:387:15:151a::8) (Quit: Client closed) |
| 2024-08-25 16:45:11 +0200 | Guest75 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 16:46:31 +0200 | Guest47 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 16:48:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 16:48:32 +0200 | td_ | (~td@i53870916.versanet.de) |
| 2024-08-25 16:51:49 +0200 | Guest63 | (~Guest75@2600:387:f:a10::1) |
| 2024-08-25 16:52:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 16:54:25 +0200 | Guest72 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 16:54:43 +0200 | Guest63 | (~Guest75@2600:387:f:a10::1) (Client Quit) |
| 2024-08-25 16:55:09 +0200 | Guest32 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 16:55:35 +0200 | Guest75 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-08-25 16:56:00 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:efa5:7b5b:f883:31c3) (Quit: ash3en) |
| 2024-08-25 16:56:09 +0200 | Guest47 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-08-25 16:57:49 +0200 | Guest75 | (~Guest75@2600:387:15:2019::5) |
| 2024-08-25 16:58:59 +0200 | orayn | (~orayn@user/orayn) (Ping timeout: 256 seconds) |
| 2024-08-25 17:00:20 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
| 2024-08-25 17:00:27 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-25 17:00:36 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) |
| 2024-08-25 17:00:41 +0200 | Guest72 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-08-25 17:01:38 +0200 | troydm | (~troydm@user/troydm) |
| 2024-08-25 17:03:18 +0200 | Guest53 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 17:03:31 +0200 | Guest32 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2024-08-25 17:03:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 17:03:48 +0200 | Guest75 | (~Guest75@2600:387:15:2019::5) (Quit: Client closed) |
| 2024-08-25 17:04:19 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-08-25 17:07:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 17:08:54 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-08-25 17:09:05 +0200 | Guest53 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Quit: Client closed) |
| 2024-08-25 17:09:11 +0200 | Guest75 | (~Guest75@2600:387:15:2019::5) |
| 2024-08-25 17:09:59 +0200 | youthlic1 | (~Thunderbi@user/youthlic) |
| 2024-08-25 17:11:38 +0200 | Guest75 | (~Guest75@2600:387:15:2019::5) (Write error: Broken pipe) |
| 2024-08-25 17:11:42 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 276 seconds) |
| 2024-08-25 17:11:42 +0200 | youthlic1 | youthlic |
| 2024-08-25 17:11:52 +0200 | Guest31 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) |
| 2024-08-25 17:13:15 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-08-25 17:13:48 +0200 | Guest31 | (~Guest75@68-251-36-232.lightspeed.wepbfl.sbcglobal.net) (Killed (ozone (No Spam))) |
| 2024-08-25 17:14:45 +0200 | Guest75 | (~Guest75@2600:387:15:2019::5) |
| 2024-08-25 17:19:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 17:19:08 +0200 | Guest75 | (~Guest75@2600:387:15:2019::5) (Client Quit) |
| 2024-08-25 17:19:29 +0200 | Guest75 | (~Guest75@2600:387:15:2019::5) |
| 2024-08-25 17:20:46 +0200 | Guest75 | (~Guest75@2600:387:15:2019::5) (K-Lined) |
| 2024-08-25 17:24:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 17:26:11 +0200 | tabemann__ | (~tabemann@2600:1700:7990:24e0:471d:6865:e425:eedb) |
| 2024-08-25 17:26:44 +0200 | tomsmeding_ | tomsmeding |
| 2024-08-25 17:27:49 +0200 | tabemann_ | (~tabemann@2600:1700:7990:24e0:87b2:9ddc:bdac:f1c8) (Ping timeout: 248 seconds) |
| 2024-08-25 17:31:35 +0200 | Inst | (~Inst@user/Inst) |
| 2024-08-25 17:33:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-25 17:34:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 17:34:55 +0200 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) |
| 2024-08-25 17:42:26 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-25 17:43:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 17:47:30 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-08-25 17:49:38 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) |
| 2024-08-25 17:52:56 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-08-25 17:53:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 17:54:51 +0200 | ddellacosta | (~ddellacos@ool-44c73b99.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-08-25 17:58:13 +0200 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-08-25 17:58:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 18:09:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 18:13:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 18:24:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 18:27:23 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 18:29:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 18:34:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 18:38:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 18:39:55 +0200 | oo_miguel | (~Thunderbi@78.10.207.45) |
| 2024-08-25 18:39:56 +0200 | <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 18:40:06 +0200 | <spew> | What I came up with is this: https://paste.tomsmeding.com/EJut3AMm |
| 2024-08-25 18:40:27 +0200 | <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 18:47:19 +0200 | <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 18:47:58 +0200 | <spew> | c_wraith: ty |
| 2024-08-25 18:49:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 18:54:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-08-25 18:58:58 +0200 | <monochrom> | It is not a fold, it is an unfold. |
| 2024-08-25 19:01:49 +0200 | <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 19:03:10 +0200 | <monochrom> | I/O is not lazy. |
| 2024-08-25 19:03:35 +0200 | <spew> | monochrom: ty |
| 2024-08-25 19:03:45 +0200 | <spew> | then I thought I could map over that thing |
| 2024-08-25 19:04:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 19:06:55 +0200 | <spew> | perhaps with takeWhileM from Control.Monad.Loops? |
| 2024-08-25 19:09:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 19:15:05 +0200 | <EvanR> | :t takeWhileM |
| 2024-08-25 19:15:06 +0200 | <lambdabot> | error: |
| 2024-08-25 19:15:06 +0200 | <lambdabot> | • Variable not in scope: takeWhileM |
| 2024-08-25 19:15:06 +0200 | <lambdabot> | • Perhaps you meant one of these: |
| 2024-08-25 19:15:49 +0200 | <EvanR> | Monad m => (a -> m Bool) -> [a] -> m [a] |
| 2024-08-25 19:16:16 +0200 | <EvanR> | doesn't seem like what you want |
| 2024-08-25 19:16:42 +0200 | <EvanR> | somethingM :: Monad m => m (Maybe a) -> m [a] |
| 2024-08-25 19:17:10 +0200 | <EvanR> | do action to get a's until it fails, return the list of a |
| 2024-08-25 19:19:02 +0200 | <EvanR> | it's called unfoldM in monad-loops |
| 2024-08-25 19:20:11 +0200 | <spew> | EvanR: thanks very much! I will check that out |
| 2024-08-25 19:20:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 19:23:08 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2024-08-25 19:23:39 +0200 | <c_wraith> | it's not an unfold, either |
| 2024-08-25 19:23:52 +0200 | <c_wraith> | it needs to be able to edit previous results |
| 2024-08-25 19:23:59 +0200 | <c_wraith> | unfolds can't do that |
| 2024-08-25 19:24:36 +0200 | <c_wraith> | you can abuse an unfold to do the job, but it's not a natural fit |
| 2024-08-25 19:24:54 +0200 | <EvanR> | you could still do it with unfoldM, by consuming multiple characters if you encounter one to be erased |
| 2024-08-25 19:25:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-25 19:25:35 +0200 | <EvanR> | it's not natural until something is a natural transformation! |
| 2024-08-25 19:26:20 +0200 | <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 19:26:41 +0200 | <c_wraith> | *until you've committed, that is |
| 2024-08-25 19:26:42 +0200 | <EvanR> | I don't know what with actual exercise is, I just read "allows you to delete characters" |
| 2024-08-25 19:26:57 +0200 | <EvanR> | if you know what characters to delete it would work |
| 2024-08-25 19:27:06 +0200 | <c_wraith> | read as "allows you to hit backspace" |
| 2024-08-25 19:27:11 +0200 | <EvanR> | oh lol |
| 2024-08-25 19:27:18 +0200 | <EvanR> | there be dragons |
| 2024-08-25 19:27:23 +0200 | <EvanR> | terminal control sequences |
| 2024-08-25 19:27:53 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 19:27:57 +0200 | <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 19:28:32 +0200 | <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 19:33:00 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-08-25 19:33:14 +0200 | regev | (~dararam@2a01:6502:a4c:67ea:b432:a753:7646:1b40) |
| 2024-08-25 19:35:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 19:39:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-08-25 19:43:56 +0200 | srazkvt | (~sarah_@2a01:e0a:483:6900:b6d5:d9cd:2f20:2e49) |
| 2024-08-25 19:47:52 +0200 | <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 19:49:02 +0200 | <spew> | Bowuigi: thanks very much, thanks to everyone for taking a look |
| 2024-08-25 19:50:27 +0200 | Square | (~Square@user/square) |
| 2024-08-25 19:50:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 19:54:03 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-08-25 19:54:28 +0200 | <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 19:54:52 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 2024-08-25 19:54:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 19:55:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-08-25 19:55:45 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-25 19:56:30 +0200 | <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 19:57:01 +0200 | regev | (~dararam@2a01:6502:a4c:67ea:b432:a753:7646:1b40) (Remote host closed the connection) |
| 2024-08-25 19:58:44 +0200 | <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 20:00:42 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-08-25 20:04:02 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-08-25 20:05:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 20:06:43 +0200 | Guest75 | (~Guest75@2600:387:15:1510::a) |
| 2024-08-25 20:06:53 +0200 | Guest3 | (~Guest75@2600:387:15:1510::a) |
| 2024-08-25 20:10:13 +0200 | Guest3 | (~Guest75@2600:387:15:1510::a) (Client Quit) |
| 2024-08-25 20:10:13 +0200 | Guest75 | (~Guest75@2600:387:15:1510::a) (Client Quit) |
| 2024-08-25 20:10:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 20:12:10 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 20:16:14 +0200 | stef204 | (~stef204@user/stef204) |
| 2024-08-25 20:16:16 +0200 | srazkvt | (~sarah_@2a01:e0a:483:6900:b6d5:d9cd:2f20:2e49) (Quit: Leaving) |
| 2024-08-25 20:17:22 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) (Quit: Client closed) |
| 2024-08-25 20:17:53 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 20:18:44 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 20:18:50 +0200 | Guest20 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 20:21:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 20:22:06 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 20:22:11 +0200 | Guest20 | (~Guest75@2600:387:15:2015::9) (Write error: Broken pipe) |
| 2024-08-25 20:24:46 +0200 | Guest59 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 20:25:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 20:28:37 +0200 | michalz | (~michalz@185.246.207.221) |
| 2024-08-25 20:33:17 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) (Quit: Client closed) |
| 2024-08-25 20:33:38 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 20:34:56 +0200 | Guest11 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 20:34:58 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2024-08-25 20:35:00 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) (Write error: Broken pipe) |
| 2024-08-25 20:36:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 20:36:55 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 20:37:01 +0200 | Guest11 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 20:40:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 20:41:13 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 20:41:34 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 20:41:52 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-2c1e-29a2-cb34-a0df-791f.rev.sfr.net) |
| 2024-08-25 20:42:12 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 20:42:15 +0200 | Guest77 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 20:49:20 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-08-25 20:51:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 20:52:55 +0200 | son0p | (~ff@2800:e2:f80:ee7::1) (Ping timeout: 252 seconds) |
| 2024-08-25 20:55:16 +0200 | masterbuilder | (~quassel@user/masterbuilder) |
| 2024-08-25 20:55:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 20:56:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-08-25 20:56:26 +0200 | son0p | (~ff@186.121.18.131) |
| 2024-08-25 21:00:40 +0200 | Guest77 | (~Guest75@2600:387:15:2015::9) (Quit: Client closed) |
| 2024-08-25 21:01:03 +0200 | Guest20 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 21:01:22 +0200 | Guest25 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 21:01:27 +0200 | Guest20 | (~Guest75@2600:387:15:2015::9) (Write error: Connection reset by peer) |
| 2024-08-25 21:02:06 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-08-25 21:03:41 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 21:03:43 +0200 | Guest25 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 21:04:08 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 21:06:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 21:08:04 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) (Client Quit) |
| 2024-08-25 21:08:26 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) |
| 2024-08-25 21:08:32 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-08-25 21:11:21 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 21:11:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 21:13:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-08-25 21:18:17 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-08-25 21:22:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 21:26:39 +0200 | Guest59 | (~Guest75@2600:387:15:2015::9) (Quit: Client closed) |
| 2024-08-25 21:26:39 +0200 | Guest75 | (~Guest75@2600:387:15:2015::9) (Quit: Client closed) |
| 2024-08-25 21:26:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-08-25 21:30:41 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-25 21:33:37 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-08-25 21:37:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 21:38:56 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 21:40:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-08-25 21:40:12 +0200 | orayn | (~orayn@user/orayn) |
| 2024-08-25 21:42:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 21:43:31 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-25 21:53:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 21:53:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-08-25 21:57:15 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 21:57:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 21:59:32 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-08-25 22:01:25 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-08-25 22:08:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 22:13:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 22:16:45 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-08-25 22:17:05 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-08-25 22:18:51 +0200 | Guest75 | (~Guest75@2600:387:15:1512::a) |
| 2024-08-25 22:24:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 22:25:23 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 22:28:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-08-25 22:31:28 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-08-25 22:37:09 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2024-08-25 22:39:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 22:43:12 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.4.1) |
| 2024-08-25 22:43:24 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2024-08-25 22:43:44 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 22:43:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-08-25 22:46:59 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-2c1e-29a2-cb34-a0df-791f.rev.sfr.net) (Remote host closed the connection) |
| 2024-08-25 22:50:14 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-08-25 22:50:42 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 22:54:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 22:58:20 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2024-08-25 22:59:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-08-25 23:00:28 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 23:00:37 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 2024-08-25 23:01:39 +0200 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-08-25 23:03:33 +0200 | spew | (~spew@201.141.102.132) (Quit: spew) |
| 2024-08-25 23:04:01 +0200 | michalz | (~michalz@185.246.207.221) (Remote host closed the connection) |
| 2024-08-25 23:04:52 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-08-25 23:04:55 +0200 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-08-25 23:05:17 +0200 | anpad | (~pandeyan@user/anpad) |
| 2024-08-25 23:06:59 +0200 | Guest15 | (~Guest75@2600:387:15:1512::a) |
| 2024-08-25 23:07:03 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 252 seconds) |
| 2024-08-25 23:07:43 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2024-08-25 23:10:06 +0200 | Guest15 | (~Guest75@2600:387:15:1512::a) (K-Lined) |
| 2024-08-25 23:10:06 +0200 | Guest75 | (~Guest75@2600:387:15:1512::a) (K-Lined) |
| 2024-08-25 23:10:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-08-25 23:10:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 23:13:40 +0200 | AlexNoo | (~AlexNoo@5.139.232.94) (Read error: Connection reset by peer) |
| 2024-08-25 23:14:57 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-08-25 23:15:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-08-25 23:15:06 +0200 | AlexZenon | (~alzenon@5.139.232.94) (Ping timeout: 244 seconds) |
| 2024-08-25 23:15:49 +0200 | AlexNoo | (~AlexNoo@5.139.232.94) |
| 2024-08-25 23:16:42 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.250) |
| 2024-08-25 23:19:01 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 23:19:18 +0200 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-08-25 23:20:17 +0200 | AlexZenon | (~alzenon@178.34.150.250) |
| 2024-08-25 23:20:19 +0200 | AlexNoo | (~AlexNoo@5.139.232.94) (Ping timeout: 252 seconds) |
| 2024-08-25 23:21:06 +0200 | bert96 | (~bert@143.58.222.152) |
| 2024-08-25 23:21:17 +0200 | <bert96> | hi, im needing help |
| 2024-08-25 23:21:48 +0200 | <bert96> | i am wondering if there are people that are currently using the chat, that might be able to help! |
| 2024-08-25 23:22:16 +0200 | <Rembane> | bert96: Ask the question and we'll see! |
| 2024-08-25 23:22:18 +0200 | <bert96> | im not too good with haskells "do" notation, presumably because even though i understand monads very well |
| 2024-08-25 23:22:35 +0200 | <bert96> | that im not good enough to understand what im doing is what monads can do within the do notation |
| 2024-08-25 23:23:08 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.250) (Read error: Connection reset by peer) |
| 2024-08-25 23:23:10 +0200 | <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 23:23:23 +0200 | <bert96> | all functions are replaced with stateful opperators |
| 2024-08-25 23:23:45 +0200 | <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 23:24:06 +0200 | <bert96> | so instead of having functions that return either other functions, or values |
| 2024-08-25 23:24:46 +0200 | <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 23:24:54 +0200 | <bert96> | f s |
| 2024-08-25 23:25:06 +0200 | AlexZenon | (~alzenon@178.34.150.250) (Ping timeout: 252 seconds) |
| 2024-08-25 23:25:13 +0200 | <bert96> | there is now also a "regularization" |
| 2024-08-25 23:25:28 +0200 | <bert96> | as well as returning output, and modified state function, it gives a "loss" which is accrued |
| 2024-08-25 23:25:31 +0200 | <monochrom> | If you are not good with "do" notation, you can always stick to >>= |
| 2024-08-25 23:25:46 +0200 | <bert96> | do notation is great for this, as it allows the new state and output to be bound into scope easily |
| 2024-08-25 23:25:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 23:25:59 +0200 | <bert96> | however, i dont like having to also handle the regularizing double |
| 2024-08-25 23:26:03 +0200 | <monochrom> | If you are not good with >>= either, then your claim of "I understand monads very well" is busted. |
| 2024-08-25 23:26:07 +0200 | <bert96> | i was wondering if choice of monad could do this |
| 2024-08-25 23:26:13 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-08-25 23:26:37 +0200 | <bert96> | i could write something like f s i >>= \ (reg,s',o) -> ... |
| 2024-08-25 23:26:49 +0200 | <bert96> | but the idea is that its a deep model, with many state functions |
| 2024-08-25 23:27:14 +0200 | <bert96> | and binding the s' and o variables into scope allows the user to put them as inputs easily |
| 2024-08-25 23:27:24 +0200 | <bert96> | however, i want all the reg :: Double, to simply be added up |
| 2024-08-25 23:27:28 +0200 | <bert96> | and not have to handle this |
| 2024-08-25 23:27:42 +0200 | <bert96> | can i do this with choice of some particular monadic behaviour? |
| 2024-08-25 23:28:06 +0200 | <monochrom> | Writer (Sum Double) is a monad that can do the addition under the hood. |
| 2024-08-25 23:28:14 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 23:28:17 +0200 | <bert96> | awesome! |
| 2024-08-25 23:28:49 +0200 | <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 23:29:29 +0200 | AlexNoo | (~AlexNoo@178.34.150.250) |
| 2024-08-25 23:30:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-08-25 23:31:00 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-08-25 23:34:21 +0200 | <monochrom> | % import Control.Monad.Writer ; import Data.Monoid |
| 2024-08-25 23:34:21 +0200 | <yahb2> | <no output> |
| 2024-08-25 23:34:43 +0200 | <monochrom> | % runWriter (tell (Sum 1.1) >>= \_ -> tell (Sum 2.2)) |
| 2024-08-25 23:34:43 +0200 | <yahb2> | ((),Sum {getSum = 3.3000000000000003}) |
| 2024-08-25 23:35:00 +0200 | <bert96> | here https://paste.tomsmeding.com/kbAbNFEZ |
| 2024-08-25 23:35:53 +0200 | <probie> | You almost definitely want `Control.Monad.Writer.Strict` if you're working with `Sum Double` |
| 2024-08-25 23:36:14 +0200 | <monochrom> | Oh oops yeah. |
| 2024-08-25 23:36:19 +0200 | <monochrom> | % :quit |
| 2024-08-25 23:36:19 +0200 | <yahb2> | <bye> |
| 2024-08-25 23:36:21 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-08-25 23:36:27 +0200 | <monochrom> | % import Control.Monad.Writer.Strict ; import Data.Monoid |
| 2024-08-25 23:36:27 +0200 | <yahb2> | <no output> |
| 2024-08-25 23:36:31 +0200 | <monochrom> | % runWriter (tell (Sum 1.1) >>= \_ -> tell (Sum 2.2)) |
| 2024-08-25 23:36:31 +0200 | <yahb2> | ((),Sum {getSum = 3.3000000000000003}) |
| 2024-08-25 23:36:34 +0200 | <monochrom> | :) |
| 2024-08-25 23:36:57 +0200 | <monochrom> | That paste doesn't type-check. |
| 2024-08-25 23:37:48 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2024-08-25 23:37:49 +0200 | <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 23:38:06 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 23:38:38 +0200 | <monochrom> | OK fine this one is just the monomorphism restriction. |
| 2024-08-25 23:38:55 +0200 | <bert96> | its needing; go :: IO (Reg,(S1,S2),Double) |
| 2024-08-25 23:39:32 +0200 | <bert96> | i guess i need actually to have it be Sum not IO though... |
| 2024-08-25 23:40:42 +0200 | <monochrom> | use "type Reg = Sum Double" and have "Writer Reg" and use tell for each number. I showed an example. |
| 2024-08-25 23:41:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 23:42:39 +0200 | orayn | (~orayn@user/orayn) (Quit: Client closed) |
| 2024-08-25 23:44:11 +0200 | <bert96> | i have no idea how to do this |
| 2024-08-25 23:44:39 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-08-25 23:44:48 +0200 | <bert96> | what do you mean, have "Writer Reg" |
| 2024-08-25 23:45:18 +0200 | <bert96> | IO (Writer Reg,(S1,S2),Double) does not make sense |
| 2024-08-25 23:45:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-08-25 23:45:38 +0200 | <bert96> | how does it maintain the outputs and states as output? |
| 2024-08-25 23:45:44 +0200 | <bert96> | i dont get how it typechecks? |
| 2024-08-25 23:45:46 +0200 | <probie> | bert96: https://play.haskell.org/saved/9El1Zcec perhaps something like |
| 2024-08-25 23:46:06 +0200 | <bert96> | thanks! |
| 2024-08-25 23:46:16 +0200 | AlexZenon | (~alzenon@178.34.150.250) |
| 2024-08-25 23:47:01 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-08-25 23:49:06 +0200 | <bert96> | is there a way to compse together the state functions? |
| 2024-08-25 23:49:12 +0200 | <bert96> | compose* |
| 2024-08-25 23:49:15 +0200 | ash3en | (~Thunderbi@2a02:3100:7da1:ca00:1a49:3dad:2797:7373) |
| 2024-08-25 23:49:54 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) |
| 2024-08-25 23:52:06 +0200 | <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 23:52:42 +0200 | <bert96> | maybe its best to just do it in the do scope |
| 2024-08-25 23:52:47 +0200 | <bert96> | yeah, i think that was the idea |
| 2024-08-25 23:53:07 +0200 | <bert96> | i guess its just sugar on the types |
| 2024-08-25 23:53:12 +0200 | <bert96> | ill try and write up what i mean |
| 2024-08-25 23:56:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-08-25 23:58:49 +0200 | ddellacosta | (~ddellacos@ool-44c73c8f.dyn.optonline.net) (Read error: Connection reset by peer) |