| 2024-11-11 00:00:11 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 00:04:45 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-11-11 00:05:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 00:09:48 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-11 00:12:44 +0100 | noctux | (~noctux@user/noctux) (Ping timeout: 260 seconds) |
| 2024-11-11 00:12:58 +0100 | noctux | (~noctux@user/noctux) noctux |
| 2024-11-11 00:16:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 00:20:18 +0100 | Everything | (~Everythin@178-133-13-61.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-11 00:20:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 00:23:58 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-11 00:24:30 +0100 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-11-11 00:25:05 +0100 | Axman6 | (~Axman6@user/axman6) Axman6 |
| 2024-11-11 00:29:33 +0100 | acidjnk | (~acidjnk@p200300d6e7283f211d3408511be75399.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-11-11 00:31:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 00:35:13 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2024-11-11 00:36:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 00:50:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 00:57:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 00:57:37 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-11 01:00:18 +0100 | xff0x | (~xff0x@2405:6580:b080:900:2a60:f52d:65a7:434c) (Ping timeout: 248 seconds) |
| 2024-11-11 01:06:07 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-11 01:08:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 01:09:24 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2024-11-11 01:10:29 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-11-11 01:10:29 +0100 | ljdarj1 | ljdarj |
| 2024-11-11 01:13:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 01:14:13 +0100 | euleritian | (~euleritia@dynamic-176-006-137-192.176.6.pool.telefonica.de) |
| 2024-11-11 01:23:05 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-11 01:24:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 01:28:19 +0100 | divya | (~user@139.5.10.109) divya |
| 2024-11-11 01:29:34 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 01:31:55 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds) |
| 2024-11-11 01:32:39 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-11-11 01:33:14 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-11 01:37:18 +0100 | sprotte24 | (~sprotte24@p200300d16f1bca00591bc93aee598a39.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-11 01:38:01 +0100 | divya | (~user@139.5.10.109) (Remote host closed the connection) |
| 2024-11-11 01:40:08 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 01:42:51 +0100 | halloy6033 | (~halloy603@a89-152-101-97.cpe.netcabo.pt) (Quit: halloy6033) |
| 2024-11-11 01:45:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 01:46:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 01:55:49 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-11 01:56:02 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-11 01:58:03 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-11 02:04:16 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 2024-11-11 02:05:23 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-11-11 02:06:02 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-11 02:06:44 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 02:11:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 02:14:13 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2024-11-11 02:20:37 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-11 02:22:32 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 02:27:43 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-11 02:28:55 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: leaving) |
| 2024-11-11 02:38:20 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 02:39:56 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-11 02:40:32 +0100 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-11-11 02:44:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-11 02:54:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 02:59:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 03:10:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 03:12:31 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-11-11 03:12:53 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-11 03:13:15 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-11 03:14:22 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2024-11-11 03:15:46 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 248 seconds) |
| 2024-11-11 03:15:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-11 03:17:26 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-11-11 03:18:44 +0100 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2024-11-11 03:26:28 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 03:31:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 03:39:31 +0100 | famubu | (~famubu@14.139.174.50) |
| 2024-11-11 03:43:15 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 03:47:46 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 03:48:52 +0100 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-11 03:54:52 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-11-11 03:54:59 +0100 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2024-11-11 03:58:27 +0100 | famubu | (~famubu@14.139.174.50) (Ping timeout: 246 seconds) |
| 2024-11-11 03:58:50 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 04:03:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-11 04:14:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 04:16:18 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-11 04:19:07 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-11-11 04:19:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-11 04:19:32 +0100 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-11 04:30:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 04:35:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 04:37:36 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 04:38:51 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-11-11 04:46:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 04:46:29 +0100 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 248 seconds) |
| 2024-11-11 04:47:30 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 04:48:16 +0100 | td_ | (~td@i5387091E.versanet.de) td_ |
| 2024-11-11 04:48:27 +0100 | famubu | (~famubu@14.139.174.50) |
| 2024-11-11 04:52:43 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 04:52:53 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-11 05:03:24 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 05:08:21 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 05:16:04 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Read error: Connection reset by peer) |
| 2024-11-11 05:19:12 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 05:23:52 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 05:24:17 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 05:29:54 +0100 | xdminsy | (~xdminsy@117.147.71.147) xdminsy |
| 2024-11-11 05:35:07 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 05:37:44 +0100 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2024-11-11 05:38:28 +0100 | neuroevolutus | (~neuroevol@206.217.206.25) neuroevolutus |
| 2024-11-11 05:39:58 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 05:41:45 +0100 | aforemny_ | (~aforemny@2001:9e8:6cfe:4400:bc92:ace3:acbf:4fb3) aforemny |
| 2024-11-11 05:42:32 +0100 | aforemny | (~aforemny@i577B12C2.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-11 05:43:26 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.228) (Quit: Leaving) |
| 2024-11-11 05:43:53 +0100 | <neuroevolutus> | Has anyone else noticed that the Haskell Wiki appears broken on their browsers? I tested with the following link: https://wiki.haskell.org/Main_Page |
| 2024-11-11 05:43:54 +0100 | <neuroevolutus> | It seems to be rendering in plaintext without any of the MediaWiki formatting. |
| 2024-11-11 05:44:36 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 05:45:46 +0100 | <Axman6> | There's been some issues with the wiki in the past week |
| 2024-11-11 05:49:07 +0100 | <neuroevolutus> | Oh, I see. I hope the maintainers will be able to resolve whatever issues the site's having. It's honestly a fantastic resource! |
| 2024-11-11 05:49:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-11 05:53:04 +0100 | <Axman6> | they had issues with the disk filling up, last I heard. Not sure where the fix for that got to |
| 2024-11-11 05:53:09 +0100 | <haskellbridge> | <sm> Taking a loong time |
| 2024-11-11 05:55:18 +0100 | <Axman6> | https://haskell-status.joyful.com if you want to keep an eye on it |
| 2024-11-11 05:55:34 +0100 | <Axman6> | sm: <3 |
| 2024-11-11 05:57:27 +0100 | <int-e> | https://status.haskell.org/ still says a system upgrade went wrong and they're working on it. I guess little if anything happened over the weekend. |
| 2024-11-11 06:00:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 06:05:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 06:16:13 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 06:18:39 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-11 06:19:34 +0100 | euleritian | (~euleritia@dynamic-176-006-137-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-11 06:19:52 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-11 06:20:54 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-11 06:28:13 +0100 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-11-11 06:32:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 06:35:01 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 06:38:53 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 06:39:00 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 06:40:49 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 06:42:24 +0100 | housemate | (~housemate@146.70.66.228) (Ping timeout: 252 seconds) |
| 2024-11-11 06:50:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 06:54:04 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 06:54:48 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 06:55:04 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 06:58:25 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-11 06:58:38 +0100 | falafel | (~falafel@2600:1700:99f4:2050:410e:f5ce:f059:ae1) falafel |
| 2024-11-11 06:59:20 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2024-11-11 07:02:42 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-11 07:03:09 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 07:03:44 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-11-11 07:06:48 +0100 | rvalue- | rvalue |
| 2024-11-11 07:07:19 +0100 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-11 07:07:27 +0100 | forwales | (~forwales@2601:647:4d80:2950:7496:4e8a:f37c:1dfe) |
| 2024-11-11 07:08:16 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-11 07:11:15 +0100 | fr33domlover | (~fr33domlo@towards.vision) fr33domlover |
| 2024-11-11 07:12:21 +0100 | <forwales> | I am trying to work out the exercise quest 1 from Ch7 of haskell programming from first principles. When I query the type of mTh = \x -> \y -> \z -> x * y * z, I got mTh :: Integer -> Integer -> Integer -> Integer |
| 2024-11-11 07:13:32 +0100 | <forwales> | Why it is not mTh :: Num a => a -> a -> a -> a ? |
| 2024-11-11 07:14:15 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 07:16:20 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 07:16:57 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 07:18:57 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 07:19:19 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 264 seconds) |
| 2024-11-11 07:21:43 +0100 | falafel | (~falafel@2600:1700:99f4:2050:410e:f5ce:f059:ae1) (Ping timeout: 264 seconds) |
| 2024-11-11 07:21:57 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 07:22:09 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 07:23:31 +0100 | forwales | (~forwales@2601:647:4d80:2950:7496:4e8a:f37c:1dfe) (Remote host closed the connection) |
| 2024-11-11 07:24:33 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-11 07:26:17 +0100 | neuroevolutus | (~neuroevol@206.217.206.25) (Ping timeout: 256 seconds) |
| 2024-11-11 07:27:46 +0100 | <sshine> | too late |
| 2024-11-11 07:29:14 +0100 | Square | (~Square4@user/square) Square |
| 2024-11-11 07:29:20 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-11 07:32:05 +0100 | Square2 | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-11-11 07:32:30 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-11 07:32:39 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2024-11-11 07:34:09 +0100 | euleritian | (~euleritia@dynamic-176-006-137-192.176.6.pool.telefonica.de) |
| 2024-11-11 07:34:45 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 07:39:35 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-11 07:42:57 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 07:43:20 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 07:45:37 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 07:47:32 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-11-11 07:50:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 07:52:29 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 07:52:44 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 07:53:56 +0100 | acidjnk | (~acidjnk@p200300d6e7283f73a59d6249d6e7d9ec.dip0.t-ipconnect.de) acidjnk |
| 2024-11-11 08:01:25 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 08:02:07 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 08:02:30 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 08:07:59 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 08:08:32 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-11 08:09:04 +0100 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-11 08:12:28 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 08:12:41 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 08:13:04 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-11 08:22:35 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 08:22:59 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 08:27:58 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 08:28:11 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 08:29:12 +0100 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-11 08:30:24 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 08:30:38 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2024-11-11 08:31:24 +0100 | longlongdouble | (~longlongd@149.102.239.231) |
| 2024-11-11 08:36:47 +0100 | rvalue- | rvalue |
| 2024-11-11 08:39:51 +0100 | doyougnu- | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-11-11 08:40:54 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu |
| 2024-11-11 08:44:15 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-11-11 08:45:56 +0100 | neuroevolutus | (~neuroevol@206.217.206.13) neuroevolutus |
| 2024-11-11 08:46:14 +0100 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-11 08:47:41 +0100 | neuroevolutus | (~neuroevol@206.217.206.13) (Client Quit) |
| 2024-11-11 08:48:16 +0100 | p3n | (~p3n@217.198.124.246) p3n |
| 2024-11-11 08:49:55 +0100 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-11-11 08:50:45 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2024-11-11 08:51:01 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-11 08:52:29 +0100 | longlongdouble | (~longlongd@149.102.239.231) (Ping timeout: 260 seconds) |
| 2024-11-11 08:54:46 +0100 | famubu | (~famubu@14.139.174.50) (Quit: leaving) |
| 2024-11-11 08:57:05 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-11 08:58:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
| 2024-11-11 08:58:32 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-11 08:59:53 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-11 09:00:01 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-11 09:00:40 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-11 09:09:43 +0100 | kuribas | (~user@ptr-17d51engsawyjyakuoz.18120a2.ip6.access.telenet.be) |
| 2024-11-11 09:11:43 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-11 09:19:09 +0100 | euleritian | (~euleritia@dynamic-176-006-137-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-11 09:19:27 +0100 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-11 09:22:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-11 09:25:27 +0100 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2024-11-11 09:26:57 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 09:33:54 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-11 09:33:54 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 252 seconds) |
| 2024-11-11 09:34:28 +0100 | dpk | (~dpk@jains.nonceword.org) dpk |
| 2024-11-11 09:34:52 +0100 | <dpk> | the Haskell wiki seems to be broken https://usercontent.irccloud-cdn.com/file/8LVZbiof/Screenshot%202024-11-11%20at%2009.34.35.png |
| 2024-11-11 09:36:09 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-11 09:38:24 +0100 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-11-11 09:38:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-11 09:39:08 +0100 | <kaol> | It is known. |
| 2024-11-11 09:41:14 +0100 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-11-11 09:42:24 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 09:48:33 +0100 | CoolMa7 | (~CoolMa7@95.91.137.87) CoolMa7 |
| 2024-11-11 09:49:57 +0100 | kuribas | (~user@ptr-17d51engsawyjyakuoz.18120a2.ip6.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-11-11 09:59:18 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-11 10:01:45 +0100 | housemate | (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
| 2024-11-11 10:12:39 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-11 10:15:48 +0100 | ubert | (~Thunderbi@178.165.164.236.wireless.dyn.drei.com) ubert |
| 2024-11-11 10:18:33 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-11 10:27:53 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-11 10:28:32 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-11 10:29:57 +0100 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2024-11-11 10:37:55 +0100 | CoolMa7 | (~CoolMa7@95.91.137.87) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-11 10:40:23 +0100 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-11 10:43:46 +0100 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-11 10:43:57 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-11 10:45:23 +0100 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-11 10:49:40 +0100 | kuribas | (~user@ptr-17d51epu46gyq5yn73o.18120a2.ip6.access.telenet.be) kuribas |
| 2024-11-11 10:50:14 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) misterfish |
| 2024-11-11 10:50:51 +0100 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-11-11 10:55:37 +0100 | YaShhhh | (~YaShhhh@202.148.59.253) |
| 2024-11-11 10:58:13 +0100 | YaShhhh | (~YaShhhh@202.148.59.253) (Client Quit) |
| 2024-11-11 11:03:05 +0100 | housemate | (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
| 2024-11-11 11:08:59 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-11-11 11:10:37 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-11 11:12:03 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-11 11:13:09 +0100 | kuribas | (~user@ptr-17d51epu46gyq5yn73o.18120a2.ip6.access.telenet.be) (Ping timeout: 248 seconds) |
| 2024-11-11 11:14:13 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu |
| 2024-11-11 11:14:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-11 11:15:13 +0100 | xdminsy | (~xdminsy@117.147.71.147) (Quit: Konversation terminated!) |
| 2024-11-11 11:16:55 +0100 | chele | (~chele@user/chele) chele |
| 2024-11-11 11:18:31 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Client Quit) |
| 2024-11-11 11:18:47 +0100 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-11-11 11:19:15 +0100 | mari17644 | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-11 11:19:25 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b466-a96b-5a6c-41ad.rev.sfr.net) alexherbo2 |
| 2024-11-11 11:20:27 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 11:21:19 +0100 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-11-11 11:22:42 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2024-11-11 11:22:49 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2024-11-11 11:24:09 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-11 11:24:53 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 11:25:27 +0100 | NN12 | (~NN12@31.154.179.218) |
| 2024-11-11 11:26:58 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-11 11:30:32 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2024-11-11 11:33:25 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Read error: Connection reset by peer) |
| 2024-11-11 11:34:50 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-11-11 11:35:08 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-11 11:36:17 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-11 11:36:47 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b466-a96b-5a6c-41ad.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-11 11:37:00 +0100 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2024-11-11 11:37:08 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b466-a96b-5a6c-41ad.rev.sfr.net) alexherbo2 |
| 2024-11-11 11:40:08 +0100 | son0p | (~ff@186.121.96.140) son0p |
| 2024-11-11 11:44:49 +0100 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-11 11:53:34 +0100 | hgolden_ | (~hgolden@syn-172-251-233-141.res.spectrum.com) hgolden |
| 2024-11-11 11:54:42 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-11 11:55:23 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) (Ping timeout: 245 seconds) |
| 2024-11-11 11:57:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 12:09:16 +0100 | agent314 | (~quassel@169.150.203.52) agent314 |
| 2024-11-11 12:11:20 +0100 | <yin> | is this an instance of "tying the knot"? `(m,mls) = foldr (\x (mx,ls') -> (max x mx,mls:ls')) (0,[]) ls` |
| 2024-11-11 12:12:56 +0100 | <yin> | oops i made a typo |
| 2024-11-11 12:15:39 +0100 | <yin> | (m,mls) = foldr (\x (mx,ls') -> (max x mx,m:ls')) (0,[]) ls |
| 2024-11-11 12:16:31 +0100 | <yin> | -- are we "tying the knot" on m? |
| 2024-11-11 12:16:42 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-11 12:18:23 +0100 | <ncf> | i think usually "tying the knot" means building a cyclic data structure? |
| 2024-11-11 12:18:29 +0100 | <ncf> | so, no |
| 2024-11-11 12:20:57 +0100 | <ncf> | i guess it could also mean circular programming more generally, in which case yess |
| 2024-11-11 12:21:01 +0100 | <ncf> | yes* |
| 2024-11-11 12:21:32 +0100 | <ncf> | e.g. as used here https://doisinkidney.com/posts/2018-12-18-traversing-graphs.html |
| 2024-11-11 12:22:27 +0100 | xff0x | (~xff0x@2405:6580:b080:900:d852:39eb:7a5e:9b9f) |
| 2024-11-11 12:22:30 +0100 | <ncf> | in this case the knot would be the usual diagram for the trace operator i guess |
| 2024-11-11 12:23:04 +0100 | mari17644 | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-11-11 12:23:39 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-11 12:24:06 +0100 | <mauke> | > let (m,mls) = foldr (\x (mx,ls') -> (max x mx,m:ls')) (0,[]) ls; ls = [1,2,3] in mls |
| 2024-11-11 12:24:07 +0100 | <ncf> | this one (slide 121) https://www.irif.fr/~mellies/mpri/mpri-m2/mpri-mellies-slides-3.pdf |
| 2024-11-11 12:24:08 +0100 | <lambdabot> | [3,3,3] |
| 2024-11-11 12:24:24 +0100 | NN12 | (~NN12@31.154.179.218) (Quit: Client closed) |
| 2024-11-11 12:24:28 +0100 | <mauke> | > let (m,mls) = foldr (\x (mx,ls') -> (max x mx,m:ls')) (0,[]) ls; ls = [1 ..] in length (take 3 mls) |
| 2024-11-11 12:24:35 +0100 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-11-11 12:24:55 +0100 | <mauke> | > let (m,mls) = foldr (\x ~(mx,ls') -> (max x mx,m:ls')) (0,[]) ls; ls = [1 ..] in length (take 3 mls) |
| 2024-11-11 12:24:57 +0100 | <lambdabot> | 3 |
| 2024-11-11 12:25:03 +0100 | <mauke> | that's what I thought |
| 2024-11-11 12:26:23 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2024-11-11 12:26:33 +0100 | <yin> | mauke: what did you think? |
| 2024-11-11 12:27:43 +0100 | <mauke> | that your function was too strict |
| 2024-11-11 12:27:46 +0100 | NN12 | (~NN12@31.154.179.218) |
| 2024-11-11 12:29:47 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 12:30:23 +0100 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-11-11 12:31:39 +0100 | Leonard76 | (~Leonard26@49.236.10.26) |
| 2024-11-11 12:34:23 +0100 | <Leonard76> | Hello! =D How are you? |
| 2024-11-11 12:34:24 +0100 | <Leonard76> | I am trying to understand the Functor monad a little bit better. I found this stack post https://stackoverflow.com/questions/27197419/haskell-functors?rq=3 and I'm now trying to "take it apart" bit by bit. I am however stuck at the `reduce` function. I am implementing this in ghci like so https://paste.tomsmeding.com/YeMX4fJ6. |
| 2024-11-11 12:35:41 +0100 | Leonard26 | (~Leonard26@49.236.10.26) (Ping timeout: 256 seconds) |
| 2024-11-11 12:36:35 +0100 | <Leonard76> | I don't know what the arguments of `reduce` might be, I have tried with `reduce (Map.fromList [(5,"c"), (3,"b")])` but it outputs this error log https://paste.tomsmeding.com/XFaWSEif , I don't know how to move forwards from here =L |
| 2024-11-11 12:37:12 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-11-11 12:38:14 +0100 | <mauke> | what's a functor monad |
| 2024-11-11 12:38:56 +0100 | <Leonard76> | sorry, just the functor |
| 2024-11-11 12:40:33 +0100 | <mauke> | type is reduce :: MyMap String [Int] -> MyMap String Int |
| 2024-11-11 12:40:44 +0100 | <mauke> | so the input must be a map whose values are lists of ints |
| 2024-11-11 12:42:11 +0100 | <mauke> | actually, there are two errors |
| 2024-11-11 12:42:20 +0100 | <mauke> | you're passing a Map, but the function expects a MyMap |
| 2024-11-11 12:43:18 +0100 | <Leonard76> | I tried giving it a list of ints but it outputs this error https://paste.tomsmeding.com/VFyOE5Or |
| 2024-11-11 12:43:36 +0100 | <Leonard76> | Yes I've also noticed that error |
| 2024-11-11 12:44:14 +0100 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-11-11 12:44:46 +0100 | <Leonard76> | This is what it says when I try to give it a MyMap https://paste.tomsmeding.com/KxW8xotW |
| 2024-11-11 12:44:58 +0100 | <mauke> | Leonard76: https://play-haskell.tomsmeding.com/saved/Kmp64Ubg |
| 2024-11-11 12:45:25 +0100 | <mauke> | MyMap.fromList does not exist. there is no module called MyMap in your code |
| 2024-11-11 12:45:36 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 12:45:38 +0100 | <mauke> | your first attempt is wrong because it uses lists of ints as keys, not values |
| 2024-11-11 12:46:24 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-11 12:46:53 +0100 | <Leonard76> | Thank you for your quick answer, I'm going to look into it now :) |
| 2024-11-11 12:47:46 +0100 | <mauke> | actually, https://play-haskell.tomsmeding.com/saved/bpe3NAbH might be more sensible |
| 2024-11-11 12:47:55 +0100 | <mauke> | or at least easier to read because the lines are shorter :-) |
| 2024-11-11 12:48:17 +0100 | <Leonard76> | Thank you :) |
| 2024-11-11 12:49:57 +0100 | visilii_ | (~visilii@85.172.77.14) |
| 2024-11-11 12:52:59 +0100 | visilii | (~visilii@85.172.77.90) (Ping timeout: 252 seconds) |
| 2024-11-11 12:53:32 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-11-11 12:55:44 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 12:56:29 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2024-11-11 12:58:38 +0100 | <yin> | mauke: can you make it work with infinite lists? |
| 2024-11-11 12:59:08 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2024-11-11 13:03:06 +0100 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-11-11 13:04:49 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-11 13:06:06 +0100 | <mauke> | I thought I did. but define "work" |
| 2024-11-11 13:09:49 +0100 | Leonard76 | (~Leonard26@49.236.10.26) (Quit: Client closed) |
| 2024-11-11 13:20:02 +0100 | <yin> | get the list, not just its length |
| 2024-11-11 13:21:04 +0100 | <yin> | > let (m,mls) = foldr (\x ~(mx,ls') -> (max x mx,m:ls)) (0,[]) [0..] in take 3 mls |
| 2024-11-11 13:21:05 +0100 | <lambdabot> | error: |
| 2024-11-11 13:21:05 +0100 | <lambdabot> | • Variable not in scope: ls :: [a1] |
| 2024-11-11 13:21:05 +0100 | <lambdabot> | • Perhaps you meant one of these: |
| 2024-11-11 13:21:15 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b466-a96b-5a6c-41ad.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-11 13:21:36 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b589-9816-90ce-8611.rev.sfr.net) alexherbo2 |
| 2024-11-11 13:21:38 +0100 | <yin> | > let (m,mls) = foldr (\x ~(mx,ls') -> (max x mx,m:ls')) (0,[]) [0..] in take 3 mls |
| 2024-11-11 13:21:45 +0100 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-11-11 13:22:08 +0100 | troydm | (~troydm@user/troydm) troydm |
| 2024-11-11 13:25:10 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b589-9816-90ce-8611.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-11 13:33:50 +0100 | longlongdouble | (~longlongd@117.234.82.14) |
| 2024-11-11 13:36:45 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 2024-11-11 13:39:39 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-11 13:40:40 +0100 | <lxsameer> | is it just me or haskell's wiki seems to be down for a while now |
| 2024-11-11 13:41:27 +0100 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-11-11 13:42:31 +0100 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-11-11 13:43:34 +0100 | <yin> | lxsameer: yes |
| 2024-11-11 13:44:03 +0100 | <yin> | https://status.haskell.org/ |
| 2024-11-11 13:49:12 +0100 | longlongdouble | (~longlongd@117.234.82.14) (Ping timeout: 252 seconds) |
| 2024-11-11 13:56:45 +0100 | NN12 | (~NN12@31.154.179.218) (Quit: Client closed) |
| 2024-11-11 14:02:13 +0100 | liamzy__ | (~Inst@user/Inst) Inst |
| 2024-11-11 14:05:00 +0100 | Inst_ | (~Inst@user/Inst) (Ping timeout: 272 seconds) |
| 2024-11-11 14:10:38 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-11 14:14:50 +0100 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-11-11 14:15:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 14:21:35 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: overflow) |
| 2024-11-11 14:22:29 +0100 | longlongdouble | (~longlongd@117.234.151.38) |
| 2024-11-11 14:29:24 +0100 | <mauke> | yin: the list elements don't exist |
| 2024-11-11 14:29:40 +0100 | <mauke> | they're the maximum of an infinite list, which requires scanning every element, which doesn't terminate |
| 2024-11-11 14:31:01 +0100 | <yin> | right |
| 2024-11-11 14:31:29 +0100 | <yin> | so my function is just the right ammount of strict :) |
| 2024-11-11 14:31:52 +0100 | <Rembane> | Goldilocks laziness! |
| 2024-11-11 14:31:56 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-11 14:32:37 +0100 | acidjnk | (~acidjnk@p200300d6e7283f73a59d6249d6e7d9ec.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-11-11 14:33:26 +0100 | longlongdouble | (~longlongd@117.234.151.38) (Ping timeout: 244 seconds) |
| 2024-11-11 14:34:16 +0100 | <yin> | lol |
| 2024-11-11 14:34:31 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-11 14:37:33 +0100 | <yin> | > let x = undefined in length [x] |
| 2024-11-11 14:37:35 +0100 | <lambdabot> | 1 |
| 2024-11-11 14:37:40 +0100 | <yin> | > let x = undefined in length [x :: ()] |
| 2024-11-11 14:37:42 +0100 | <lambdabot> | 1 |
| 2024-11-11 14:37:50 +0100 | <yin> | > length [undefined] |
| 2024-11-11 14:37:51 +0100 | <lambdabot> | 1 |
| 2024-11-11 14:38:18 +0100 | <yin> | > length [undefined..] |
| 2024-11-11 14:38:20 +0100 | <lambdabot> | error: |
| 2024-11-11 14:38:20 +0100 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from the arithmetic sequence ‘und... |
| 2024-11-11 14:38:20 +0100 | <lambdabot> | prevents the constraint ‘(Enum a0)’ from being solved. |
| 2024-11-11 14:38:26 +0100 | <yin> | > length [undefined :: () ..] |
| 2024-11-11 14:38:27 +0100 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-11-11 14:38:30 +0100 | <yin> | this is weird |
| 2024-11-11 14:38:39 +0100 | <probie> | Why is it weird? |
| 2024-11-11 14:39:09 +0100 | <probie> | > length (enumFrom (undefined :: ())) |
| 2024-11-11 14:39:10 +0100 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-11-11 14:39:20 +0100 | <mauke> | because () enumFrom has no need to be strict |
| 2024-11-11 14:39:51 +0100 | <yin> | mauke: yes |
| 2024-11-11 14:43:02 +0100 | <monochrom> | You could also go on to argue that 0*undefined and undefined*0 have no reason to be strict. |
| 2024-11-11 14:45:49 +0100 | <probie> | > length $ take 1 [undefined :: () ..] |
| 2024-11-11 14:45:50 +0100 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-11-11 14:46:45 +0100 | <probie> | Huh, that's stricter than the docs suggested implementation of `enumFrom n = n : enumFrom (succ n)` |
| 2024-11-11 14:47:04 +0100 | <probie> | > length $ take 1 $ enumFrom (undefined :: ()) |
| 2024-11-11 14:47:06 +0100 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-11-11 14:47:27 +0100 | <probie> | > let enumFrom n = n : enumFrom (succ n) in length $ take 1 $ enumFrom (undefined :: ()) |
| 2024-11-11 14:47:28 +0100 | <lambdabot> | 1 |
| 2024-11-11 14:50:18 +0100 | <bwe> | echo $PKG_CONFIG_PATH returns /opt/homebrew/opt/icu4c@76/lib/pkgconfig |
| 2024-11-11 14:50:29 +0100 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2024-11-11 14:50:41 +0100 | <bwe> | yet I still get: ld: warning: search path '/usr/local/opt/icu4c/lib' not found |
| 2024-11-11 14:51:07 +0100 | <bwe> | using cabal here - what do I need to do to let cabal know the right path? |
| 2024-11-11 14:51:13 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 248 seconds) |
| 2024-11-11 14:51:44 +0100 | acidjnk | (~acidjnk@p200300d6e7283f73541e518b0044f5c4.dip0.t-ipconnect.de) acidjnk |
| 2024-11-11 14:55:42 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 14:56:51 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-11-11 15:02:22 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-11 15:06:07 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2024-11-11 15:18:11 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 15:25:23 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-11-11 15:33:50 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-11-11 15:37:29 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 15:40:59 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 15:41:02 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 15:41:45 +0100 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-11-11 15:42:05 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 15:46:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-11 15:48:44 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-11 15:52:53 +0100 | Leonard26 | (~Leonard26@49.236.10.26) (Ping timeout: 256 seconds) |
| 2024-11-11 15:56:06 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 15:57:18 +0100 | supercode | (~supercode@user/supercode) supercode |
| 2024-11-11 15:59:38 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-11 15:59:42 +0100 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-11-11 16:00:17 +0100 | euleritian | (~euleritia@dynamic-176-006-145-133.176.6.pool.telefonica.de) |
| 2024-11-11 16:01:03 +0100 | Leonard73 | (~Leonard26@49.236.10.26) |
| 2024-11-11 16:01:03 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 16:03:44 +0100 | <Leonard73> | Hello! =D |
| 2024-11-11 16:03:44 +0100 | <Leonard73> | I am trying to understand the functor typeclass, I am looking at the implementation for the data type Map in https://hackage.haskell.org/package/containers-0.4.0.0/docs/Data-Map.html |
| 2024-11-11 16:03:45 +0100 | <Leonard73> | I can't seem to understand what the `m` stands for in the instance declaration https://paste.tomsmeding.com/TutDaoum |
| 2024-11-11 16:03:45 +0100 | <Leonard73> | Can you help me? |
| 2024-11-11 16:04:47 +0100 | Leonard26 | (~Leonard26@49.236.10.26) (Ping timeout: 256 seconds) |
| 2024-11-11 16:09:10 +0100 | <Leonard73> | Could it just be the second parameter? |
| 2024-11-11 16:10:26 +0100 | <Hecate> | Leonard73: m stands for the Map that you're applying the function in |
| 2024-11-11 16:10:57 +0100 | <probie> | `fmap` takes two arguments. The first is the function you're applying (called `f` here) and the second is the `Map` you're applying it to (called `m` here) |
| 2024-11-11 16:11:18 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 16:11:54 +0100 | <Leonard73> | Ok, thank you |
| 2024-11-11 16:12:25 +0100 | <probie> | also, just to avoid any confusion, the call to `map` in that definition isn't to the `map` defined in the Prelude, it's `map f = mapWithKey (\_ x -> f x)` |
| 2024-11-11 16:12:53 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-11 16:13:26 +0100 | <Leonard73> | Oh, ok, thanks. I thought it was from Prelude :) |
| 2024-11-11 16:13:31 +0100 | <haskellbridge> | <maralorn> Is there a way to avoid CPP by switching between two different Haskell source files depending on a Cabal flag? |
| 2024-11-11 16:13:37 +0100 | <merijn> | Map from Prelude only works on lists |
| 2024-11-11 16:14:03 +0100 | <Leonard73> | ok, thanks |
| 2024-11-11 16:15:01 +0100 | <merijn> | maralorn: I don't think you can entirely avoid CCP that way |
| 2024-11-11 16:15:48 +0100 | <haskellbridge> | <maralorn> I thought maybe I could do it by gating the src-dir parameter behind the flag? |
| 2024-11-11 16:16:04 +0100 | <haskellbridge> | <maralorn> i.e. deliver two completely different components depending on the flag. |
| 2024-11-11 16:19:41 +0100 | <Leonard73> | @probie why is it `map f = mapWithKey (\_ x -> f x )` and not just `map`? Not the one from the Prelude, the one from the same package |
| 2024-11-11 16:19:41 +0100 | <lambdabot> | Unknown command, try @list |
| 2024-11-11 16:20:21 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 16:20:49 +0100 | raym | (~ray@user/raym) raym |
| 2024-11-11 16:26:27 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 16:27:17 +0100 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 16:29:43 +0100 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-11 16:32:51 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-11 16:33:05 +0100 | <Leonard73> | Also, are you sure that is not from Prelude? Because I have an example here that seems to be using `map` from Prelude, maybe I'm wrong tho. https://play-haskell.tomsmeding.com/saved/bpe3NAbH |
| 2024-11-11 16:35:25 +0100 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-11 16:41:35 +0100 | longlongdouble | (~longlongd@49.36.232.246) |
