| 2024-11-11 00:00:18 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2a60:f52d:65a7:434c) (Ping timeout: 248 seconds) |
| 2024-11-11 00:06:07 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-11 00:08:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 00:09:24 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2024-11-11 00:10:29 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2024-11-11 00:10:29 +0000 | ljdarj1 | ljdarj |
| 2024-11-11 00:13:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 00:14:13 +0000 | euleritian | (~euleritia@dynamic-176-006-137-192.176.6.pool.telefonica.de) |
| 2024-11-11 00:23:05 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2024-11-11 00:24:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 00:28:19 +0000 | divya | (~user@139.5.10.109) divya |
| 2024-11-11 00:29:34 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 00:31:55 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 264 seconds) |
| 2024-11-11 00:32:39 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-11-11 00:33:14 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-11-11 00:37:18 +0000 | sprotte24 | (~sprotte24@p200300d16f1bca00591bc93aee598a39.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2024-11-11 00:38:01 +0000 | divya | (~user@139.5.10.109) (Remote host closed the connection) |
| 2024-11-11 00:40:08 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 00:42:51 +0000 | halloy6033 | (~halloy603@a89-152-101-97.cpe.netcabo.pt) (Quit: halloy6033) |
| 2024-11-11 00:45:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 00:46:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 00:55:49 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-11 00:56:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-11 00:58:03 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-11 01:04:16 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 272 seconds) |
| 2024-11-11 01:05:23 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2024-11-11 01:06:02 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-11-11 01:06:44 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 01:11:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 01:14:13 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) myxokephale |
| 2024-11-11 01:20:37 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-11 01:22:32 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 01:27:43 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-11-11 01:28:55 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: leaving) |
| 2024-11-11 01:38:20 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 01:39:56 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-11 01:40:32 +0000 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-11-11 01:44:03 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-11 01:54:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 01:59:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 02:10:41 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 02:12:31 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-11-11 02:12:53 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-11 02:13:15 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-11 02:14:22 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2024-11-11 02:15:46 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 248 seconds) |
| 2024-11-11 02:15:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-11 02:17:26 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-11-11 02:18:44 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2024-11-11 02:26:28 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 02:31:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 02:39:31 +0000 | famubu | (~famubu@14.139.174.50) |
| 2024-11-11 02:43:15 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 02:47:46 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 02:48:52 +0000 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-11 02:54:52 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2024-11-11 02:54:59 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 260 seconds) |
| 2024-11-11 02:58:27 +0000 | famubu | (~famubu@14.139.174.50) (Ping timeout: 246 seconds) |
| 2024-11-11 02:58:50 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 03:03:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-11 03:14:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 03:16:18 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-11-11 03:19:07 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-11-11 03:19:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-11 03:19:32 +0000 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-11-11 03:30:25 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 03:35:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 03:37:36 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 03:38:51 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-11-11 03:46:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 03:46:29 +0000 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 248 seconds) |
| 2024-11-11 03:47:30 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 03:48:16 +0000 | td_ | (~td@i5387091E.versanet.de) td_ |
| 2024-11-11 03:48:27 +0000 | famubu | (~famubu@14.139.174.50) |
| 2024-11-11 03:52:43 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 03:52:53 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-11-11 04:03:24 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 04:08:21 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 04:16:04 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Read error: Connection reset by peer) |
| 2024-11-11 04:19:12 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 04:23:52 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 04:24:17 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 04:29:54 +0000 | xdminsy | (~xdminsy@117.147.71.147) xdminsy |
| 2024-11-11 04:35:07 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 04:37:44 +0000 | lbseale | (~quassel@user/ep1ctetus) ep1ctetus |
| 2024-11-11 04:38:28 +0000 | neuroevolutus | (~neuroevol@206.217.206.25) neuroevolutus |
| 2024-11-11 04:39:58 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 04:41:45 +0000 | aforemny_ | (~aforemny@2001:9e8:6cfe:4400:bc92:ace3:acbf:4fb3) aforemny |
| 2024-11-11 04:42:32 +0000 | aforemny | (~aforemny@i577B12C2.versanet.de) (Ping timeout: 252 seconds) |
| 2024-11-11 04:43:26 +0000 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.228) (Quit: Leaving) |
| 2024-11-11 04:43:53 +0000 | <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 04:43:54 +0000 | <neuroevolutus> | It seems to be rendering in plaintext without any of the MediaWiki formatting. |
| 2024-11-11 04:44:36 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 04:45:46 +0000 | <Axman6> | There's been some issues with the wiki in the past week |
| 2024-11-11 04:49:07 +0000 | <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 04:49:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-11-11 04:53:04 +0000 | <Axman6> | they had issues with the disk filling up, last I heard. Not sure where the fix for that got to |
| 2024-11-11 04:53:09 +0000 | <haskellbridge> | <sm> Taking a loong time |
| 2024-11-11 04:55:18 +0000 | <Axman6> | https://haskell-status.joyful.com if you want to keep an eye on it |
| 2024-11-11 04:55:34 +0000 | <Axman6> | sm: <3 |
| 2024-11-11 04:57:27 +0000 | <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 05:00:25 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 05:05:22 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 05:16:13 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 05:18:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-11 05:19:34 +0000 | euleritian | (~euleritia@dynamic-176-006-137-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-11 05:19:52 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-11 05:20:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-11-11 05:28:13 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-11-11 05:32:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 05:35:01 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 05:38:53 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 05:39:00 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-11-11 05:40:49 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 05:42:24 +0000 | housemate | (~housemate@146.70.66.228) (Ping timeout: 252 seconds) |
| 2024-11-11 05:50:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 05:54:04 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 05:54:48 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 05:55:04 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 05:58:25 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-11 05:58:38 +0000 | falafel | (~falafel@2600:1700:99f4:2050:410e:f5ce:f059:ae1) falafel |
| 2024-11-11 05:59:20 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2024-11-11 06:02:42 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-11 06:03:09 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 06:03:44 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-11-11 06:06:48 +0000 | rvalue- | rvalue |
| 2024-11-11 06:07:19 +0000 | fr33domlover | (~fr33domlo@towards.vision) (Quit: The Lounge - https://thelounge.chat) |
| 2024-11-11 06:07:27 +0000 | forwales | (~forwales@2601:647:4d80:2950:7496:4e8a:f37c:1dfe) |
| 2024-11-11 06:08:16 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-11-11 06:11:15 +0000 | fr33domlover | (~fr33domlo@towards.vision) fr33domlover |
| 2024-11-11 06:12:21 +0000 | <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 06:13:32 +0000 | <forwales> | Why it is not mTh :: Num a => a -> a -> a -> a ? |
| 2024-11-11 06:14:15 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 06:16:20 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 06:16:57 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 06:18:57 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 06:19:19 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 264 seconds) |
| 2024-11-11 06:21:43 +0000 | falafel | (~falafel@2600:1700:99f4:2050:410e:f5ce:f059:ae1) (Ping timeout: 264 seconds) |
| 2024-11-11 06:21:57 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 06:22:09 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 06:23:31 +0000 | forwales | (~forwales@2601:647:4d80:2950:7496:4e8a:f37c:1dfe) (Remote host closed the connection) |
| 2024-11-11 06:24:33 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-11-11 06:26:17 +0000 | neuroevolutus | (~neuroevol@206.217.206.25) (Ping timeout: 256 seconds) |
| 2024-11-11 06:27:46 +0000 | <sshine> | too late |
| 2024-11-11 06:29:14 +0000 | Square | (~Square4@user/square) Square |
| 2024-11-11 06:29:20 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-11-11 06:32:05 +0000 | Square2 | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-11-11 06:32:30 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2024-11-11 06:32:39 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 246 seconds) |
| 2024-11-11 06:34:09 +0000 | euleritian | (~euleritia@dynamic-176-006-137-192.176.6.pool.telefonica.de) |
| 2024-11-11 06:34:45 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 06:39:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-11-11 06:42:57 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 06:43:20 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 06:45:37 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 06:47:32 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2024-11-11 06:50:29 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 06:52:29 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 06:52:44 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 06:53:56 +0000 | acidjnk | (~acidjnk@p200300d6e7283f73a59d6249d6e7d9ec.dip0.t-ipconnect.de) acidjnk |
| 2024-11-11 07:01:25 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 07:02:07 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 07:02:30 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 07:07:59 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 07:08:32 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-11-11 07:09:04 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-11-11 07:12:28 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 07:12:41 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 07:13:04 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-11-11 07:22:35 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 07:22:59 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 07:27:58 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 07:28:11 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 07:29:12 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-11 07:30:24 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 07:30:38 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 2024-11-11 07:31:24 +0000 | longlongdouble | (~longlongd@149.102.239.231) |
| 2024-11-11 07:36:47 +0000 | rvalue- | rvalue |
| 2024-11-11 07:39:51 +0000 | doyougnu- | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-11-11 07:40:54 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu |
| 2024-11-11 07:44:15 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-11-11 07:45:56 +0000 | neuroevolutus | (~neuroevol@206.217.206.13) neuroevolutus |
| 2024-11-11 07:46:14 +0000 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-11 07:47:41 +0000 | neuroevolutus | (~neuroevol@206.217.206.13) (Client Quit) |
| 2024-11-11 07:48:16 +0000 | p3n | (~p3n@217.198.124.246) p3n |
| 2024-11-11 07:49:55 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-11-11 07:50:45 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2024-11-11 07:51:01 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-11-11 07:52:29 +0000 | longlongdouble | (~longlongd@149.102.239.231) (Ping timeout: 260 seconds) |
| 2024-11-11 07:54:46 +0000 | famubu | (~famubu@14.139.174.50) (Quit: leaving) |
| 2024-11-11 07:57:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-11 07:58:10 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Client Quit) |
| 2024-11-11 07:58:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-11 07:59:53 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-11 08:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-11 08:00:40 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-11 08:09:43 +0000 | kuribas | (~user@ptr-17d51engsawyjyakuoz.18120a2.ip6.access.telenet.be) |
| 2024-11-11 08:11:43 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-11-11 08:19:09 +0000 | euleritian | (~euleritia@dynamic-176-006-137-192.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-11 08:19:27 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-11-11 08:22:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-11 08:25:27 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2024-11-11 08:26:57 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 08:33:54 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-11-11 08:33:54 +0000 | notzmv | (~daniel@user/notzmv) (Ping timeout: 252 seconds) |
| 2024-11-11 08:34:28 +0000 | dpk | (~dpk@jains.nonceword.org) dpk |
| 2024-11-11 08:34:52 +0000 | <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 08:36:09 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-11 08:38:24 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-11-11 08:38:35 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-11 08:39:08 +0000 | <kaol> | It is known. |
| 2024-11-11 08:41:14 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-11-11 08:42:24 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 08:48:33 +0000 | CoolMa7 | (~CoolMa7@95.91.137.87) CoolMa7 |
| 2024-11-11 08:49:57 +0000 | kuribas | (~user@ptr-17d51engsawyjyakuoz.18120a2.ip6.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-11-11 08:59:18 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-11 09:01:45 +0000 | 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 09:12:39 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2024-11-11 09:15:48 +0000 | ubert | (~Thunderbi@178.165.164.236.wireless.dyn.drei.com) ubert |
| 2024-11-11 09:18:33 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-11 09:27:53 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-11 09:28:32 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-11-11 09:29:57 +0000 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |
| 2024-11-11 09:37:55 +0000 | CoolMa7 | (~CoolMa7@95.91.137.87) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-11 09:40:23 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-11 09:43:46 +0000 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-11 09:43:57 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-11 09:45:23 +0000 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-11 09:49:40 +0000 | kuribas | (~user@ptr-17d51epu46gyq5yn73o.18120a2.ip6.access.telenet.be) kuribas |
| 2024-11-11 09:50:14 +0000 | misterfish | (~misterfis@h239071.upc-h.chello.nl) misterfish |
| 2024-11-11 09:50:51 +0000 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2024-11-11 09:55:37 +0000 | YaShhhh | (~YaShhhh@202.148.59.253) |
| 2024-11-11 09:58:13 +0000 | YaShhhh | (~YaShhhh@202.148.59.253) (Client Quit) |
| 2024-11-11 10:03:05 +0000 | 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:08:59 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-11-11 10:10:37 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-11 10:12:03 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-11 10:13:09 +0000 | kuribas | (~user@ptr-17d51epu46gyq5yn73o.18120a2.ip6.access.telenet.be) (Ping timeout: 248 seconds) |
| 2024-11-11 10:14:13 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) doyougnu |
| 2024-11-11 10:14:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-11 10:15:13 +0000 | xdminsy | (~xdminsy@117.147.71.147) (Quit: Konversation terminated!) |
| 2024-11-11 10:16:55 +0000 | chele | (~chele@user/chele) chele |
| 2024-11-11 10:18:31 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Client Quit) |
| 2024-11-11 10:18:47 +0000 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2024-11-11 10:19:15 +0000 | mari17644 | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-11 10:19:25 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b466-a96b-5a6c-41ad.rev.sfr.net) alexherbo2 |
| 2024-11-11 10:20:27 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 10:21:19 +0000 | mari-estel | (~mari-este@user/mari-estel) (Ping timeout: 252 seconds) |
| 2024-11-11 10:22:42 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 2024-11-11 10:22:49 +0000 | troydm | (~troydm@user/troydm) (Ping timeout: 260 seconds) |
| 2024-11-11 10:24:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-11 10:24:53 +0000 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 248 seconds) |
| 2024-11-11 10:25:27 +0000 | NN12 | (~NN12@31.154.179.218) |
| 2024-11-11 10:26:58 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-11-11 10:30:32 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2024-11-11 10:33:25 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Read error: Connection reset by peer) |
| 2024-11-11 10:34:50 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-11-11 10:35:08 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-11 10:36:17 +0000 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-11-11 10:36:47 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b466-a96b-5a6c-41ad.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-11 10:37:00 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2024-11-11 10:37:08 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b466-a96b-5a6c-41ad.rev.sfr.net) alexherbo2 |
| 2024-11-11 10:40:08 +0000 | son0p | (~ff@186.121.96.140) son0p |
| 2024-11-11 10:44:49 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-11 10:53:34 +0000 | hgolden_ | (~hgolden@syn-172-251-233-141.res.spectrum.com) hgolden |
| 2024-11-11 10:54:42 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-11 10:55:23 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) (Ping timeout: 245 seconds) |
| 2024-11-11 10:57:47 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 11:09:16 +0000 | agent314 | (~quassel@169.150.203.52) agent314 |
| 2024-11-11 11:11:20 +0000 | <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 11:12:56 +0000 | <yin> | oops i made a typo |
| 2024-11-11 11:15:39 +0000 | <yin> | (m,mls) = foldr (\x (mx,ls') -> (max x mx,m:ls')) (0,[]) ls |
| 2024-11-11 11:16:31 +0000 | <yin> | -- are we "tying the knot" on m? |
| 2024-11-11 11:16:42 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-11 11:18:23 +0000 | <ncf> | i think usually "tying the knot" means building a cyclic data structure? |
| 2024-11-11 11:18:29 +0000 | <ncf> | so, no |
| 2024-11-11 11:20:57 +0000 | <ncf> | i guess it could also mean circular programming more generally, in which case yess |
| 2024-11-11 11:21:01 +0000 | <ncf> | yes* |
| 2024-11-11 11:21:32 +0000 | <ncf> | e.g. as used here https://doisinkidney.com/posts/2018-12-18-traversing-graphs.html |
| 2024-11-11 11:22:27 +0000 | xff0x | (~xff0x@2405:6580:b080:900:d852:39eb:7a5e:9b9f) |
| 2024-11-11 11:22:30 +0000 | <ncf> | in this case the knot would be the usual diagram for the trace operator i guess |
| 2024-11-11 11:23:04 +0000 | mari17644 | (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 2024-11-11 11:23:39 +0000 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-11-11 11:24:06 +0000 | <mauke> | > let (m,mls) = foldr (\x (mx,ls') -> (max x mx,m:ls')) (0,[]) ls; ls = [1,2,3] in mls |
| 2024-11-11 11:24:07 +0000 | <ncf> | this one (slide 121) https://www.irif.fr/~mellies/mpri/mpri-m2/mpri-mellies-slides-3.pdf |
| 2024-11-11 11:24:08 +0000 | <lambdabot> | [3,3,3] |
| 2024-11-11 11:24:24 +0000 | NN12 | (~NN12@31.154.179.218) (Quit: Client closed) |
| 2024-11-11 11:24:28 +0000 | <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 11:24:35 +0000 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-11-11 11:24:55 +0000 | <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 11:24:57 +0000 | <lambdabot> | 3 |
| 2024-11-11 11:25:03 +0000 | <mauke> | that's what I thought |
| 2024-11-11 11:26:23 +0000 | supercode | (~supercode@user/supercode) supercode |
| 2024-11-11 11:26:33 +0000 | <yin> | mauke: what did you think? |
| 2024-11-11 11:27:43 +0000 | <mauke> | that your function was too strict |
| 2024-11-11 11:27:46 +0000 | NN12 | (~NN12@31.154.179.218) |
| 2024-11-11 11:29:47 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 11:30:23 +0000 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-11-11 11:31:39 +0000 | Leonard76 | (~Leonard26@49.236.10.26) |
| 2024-11-11 11:34:23 +0000 | <Leonard76> | Hello! =D How are you? |
| 2024-11-11 11:34:24 +0000 | <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 11:35:41 +0000 | Leonard26 | (~Leonard26@49.236.10.26) (Ping timeout: 256 seconds) |
| 2024-11-11 11:36:35 +0000 | <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 11:37:12 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 2024-11-11 11:38:14 +0000 | <mauke> | what's a functor monad |
| 2024-11-11 11:38:56 +0000 | <Leonard76> | sorry, just the functor |
| 2024-11-11 11:40:33 +0000 | <mauke> | type is reduce :: MyMap String [Int] -> MyMap String Int |
| 2024-11-11 11:40:44 +0000 | <mauke> | so the input must be a map whose values are lists of ints |
| 2024-11-11 11:42:11 +0000 | <mauke> | actually, there are two errors |
| 2024-11-11 11:42:20 +0000 | <mauke> | you're passing a Map, but the function expects a MyMap |
| 2024-11-11 11:43:18 +0000 | <Leonard76> | I tried giving it a list of ints but it outputs this error https://paste.tomsmeding.com/VFyOE5Or |
| 2024-11-11 11:43:36 +0000 | <Leonard76> | Yes I've also noticed that error |
| 2024-11-11 11:44:14 +0000 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-11-11 11:44:46 +0000 | <Leonard76> | This is what it says when I try to give it a MyMap https://paste.tomsmeding.com/KxW8xotW |
| 2024-11-11 11:44:58 +0000 | <mauke> | Leonard76: https://play-haskell.tomsmeding.com/saved/Kmp64Ubg |
| 2024-11-11 11:45:25 +0000 | <mauke> | MyMap.fromList does not exist. there is no module called MyMap in your code |
| 2024-11-11 11:45:36 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 11:45:38 +0000 | <mauke> | your first attempt is wrong because it uses lists of ints as keys, not values |
| 2024-11-11 11:46:24 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-11 11:46:53 +0000 | <Leonard76> | Thank you for your quick answer, I'm going to look into it now :) |
| 2024-11-11 11:47:46 +0000 | <mauke> | actually, https://play-haskell.tomsmeding.com/saved/bpe3NAbH might be more sensible |
| 2024-11-11 11:47:55 +0000 | <mauke> | or at least easier to read because the lines are shorter :-) |
| 2024-11-11 11:48:17 +0000 | <Leonard76> | Thank you :) |
| 2024-11-11 11:49:57 +0000 | visilii_ | (~visilii@85.172.77.14) |
| 2024-11-11 11:52:59 +0000 | visilii | (~visilii@85.172.77.90) (Ping timeout: 252 seconds) |
| 2024-11-11 11:53:32 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-11-11 11:55:44 +0000 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 11:56:29 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
| 2024-11-11 11:58:38 +0000 | <yin> | mauke: can you make it work with infinite lists? |
| 2024-11-11 11:59:08 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
| 2024-11-11 12:03:06 +0000 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-11-11 12:04:49 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-11-11 12:06:06 +0000 | <mauke> | I thought I did. but define "work" |
| 2024-11-11 12:09:49 +0000 | Leonard76 | (~Leonard26@49.236.10.26) (Quit: Client closed) |
| 2024-11-11 12:20:02 +0000 | <yin> | get the list, not just its length |
| 2024-11-11 12:21:04 +0000 | <yin> | > let (m,mls) = foldr (\x ~(mx,ls') -> (max x mx,m:ls)) (0,[]) [0..] in take 3 mls |
| 2024-11-11 12:21:05 +0000 | <lambdabot> | error: |
| 2024-11-11 12:21:05 +0000 | <lambdabot> | • Variable not in scope: ls :: [a1] |
| 2024-11-11 12:21:05 +0000 | <lambdabot> | • Perhaps you meant one of these: |
| 2024-11-11 12:21:15 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b466-a96b-5a6c-41ad.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-11 12:21:36 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b589-9816-90ce-8611.rev.sfr.net) alexherbo2 |
| 2024-11-11 12:21:38 +0000 | <yin> | > let (m,mls) = foldr (\x ~(mx,ls') -> (max x mx,m:ls')) (0,[]) [0..] in take 3 mls |
| 2024-11-11 12:21:45 +0000 | <lambdabot> | mueval-core: Time limit exceeded |
| 2024-11-11 12:22:08 +0000 | troydm | (~troydm@user/troydm) troydm |
| 2024-11-11 12:25:10 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3212-95c5-b589-9816-90ce-8611.rev.sfr.net) (Remote host closed the connection) |
| 2024-11-11 12:33:50 +0000 | longlongdouble | (~longlongd@117.234.82.14) |
| 2024-11-11 12:36:45 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 2024-11-11 12:39:39 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-11 12:40:40 +0000 | <lxsameer> | is it just me or haskell's wiki seems to be down for a while now |
| 2024-11-11 12:41:27 +0000 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) manwithluck |
| 2024-11-11 12:42:31 +0000 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-11-11 12:43:34 +0000 | <yin> | lxsameer: yes |
| 2024-11-11 12:44:03 +0000 | <yin> | https://status.haskell.org/ |
| 2024-11-11 12:49:12 +0000 | longlongdouble | (~longlongd@117.234.82.14) (Ping timeout: 252 seconds) |
| 2024-11-11 12:56:45 +0000 | NN12 | (~NN12@31.154.179.218) (Quit: Client closed) |
| 2024-11-11 13:02:13 +0000 | liamzy__ | (~Inst@user/Inst) Inst |
| 2024-11-11 13:05:00 +0000 | Inst_ | (~Inst@user/Inst) (Ping timeout: 272 seconds) |
| 2024-11-11 13:10:38 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-11 13:14:50 +0000 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2024-11-11 13:15:30 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 13:21:35 +0000 | mari-estel | (~mari-este@user/mari-estel) (Quit: overflow) |
| 2024-11-11 13:22:29 +0000 | longlongdouble | (~longlongd@117.234.151.38) |
| 2024-11-11 13:29:24 +0000 | <mauke> | yin: the list elements don't exist |
| 2024-11-11 13:29:40 +0000 | <mauke> | they're the maximum of an infinite list, which requires scanning every element, which doesn't terminate |
| 2024-11-11 13:31:01 +0000 | <yin> | right |
| 2024-11-11 13:31:29 +0000 | <yin> | so my function is just the right ammount of strict :) |
| 2024-11-11 13:31:52 +0000 | <Rembane> | Goldilocks laziness! |
| 2024-11-11 13:31:56 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-11 13:32:37 +0000 | acidjnk | (~acidjnk@p200300d6e7283f73a59d6249d6e7d9ec.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-11-11 13:33:26 +0000 | longlongdouble | (~longlongd@117.234.151.38) (Ping timeout: 244 seconds) |
| 2024-11-11 13:34:16 +0000 | <yin> | lol |
| 2024-11-11 13:34:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-11 13:37:33 +0000 | <yin> | > let x = undefined in length [x] |
| 2024-11-11 13:37:35 +0000 | <lambdabot> | 1 |
| 2024-11-11 13:37:40 +0000 | <yin> | > let x = undefined in length [x :: ()] |
| 2024-11-11 13:37:42 +0000 | <lambdabot> | 1 |
| 2024-11-11 13:37:50 +0000 | <yin> | > length [undefined] |
| 2024-11-11 13:37:51 +0000 | <lambdabot> | 1 |
| 2024-11-11 13:38:18 +0000 | <yin> | > length [undefined..] |
| 2024-11-11 13:38:20 +0000 | <lambdabot> | error: |
| 2024-11-11 13:38:20 +0000 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from the arithmetic sequence ‘und... |
| 2024-11-11 13:38:20 +0000 | <lambdabot> | prevents the constraint ‘(Enum a0)’ from being solved. |
| 2024-11-11 13:38:26 +0000 | <yin> | > length [undefined :: () ..] |
| 2024-11-11 13:38:27 +0000 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-11-11 13:38:30 +0000 | <yin> | this is weird |
| 2024-11-11 13:38:39 +0000 | <probie> | Why is it weird? |
| 2024-11-11 13:39:09 +0000 | <probie> | > length (enumFrom (undefined :: ())) |
| 2024-11-11 13:39:10 +0000 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-11-11 13:39:20 +0000 | <mauke> | because () enumFrom has no need to be strict |
| 2024-11-11 13:39:51 +0000 | <yin> | mauke: yes |
| 2024-11-11 13:43:02 +0000 | <monochrom> | You could also go on to argue that 0*undefined and undefined*0 have no reason to be strict. |
| 2024-11-11 13:45:49 +0000 | <probie> | > length $ take 1 [undefined :: () ..] |
| 2024-11-11 13:45:50 +0000 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-11-11 13:46:45 +0000 | <probie> | Huh, that's stricter than the docs suggested implementation of `enumFrom n = n : enumFrom (succ n)` |
| 2024-11-11 13:47:04 +0000 | <probie> | > length $ take 1 $ enumFrom (undefined :: ()) |
| 2024-11-11 13:47:06 +0000 | <lambdabot> | *Exception: Prelude.undefined |
| 2024-11-11 13:47:27 +0000 | <probie> | > let enumFrom n = n : enumFrom (succ n) in length $ take 1 $ enumFrom (undefined :: ()) |
| 2024-11-11 13:47:28 +0000 | <lambdabot> | 1 |
| 2024-11-11 13:50:18 +0000 | <bwe> | echo $PKG_CONFIG_PATH returns /opt/homebrew/opt/icu4c@76/lib/pkgconfig |
| 2024-11-11 13:50:29 +0000 | Square | (~Square4@user/square) (Ping timeout: 244 seconds) |
| 2024-11-11 13:50:41 +0000 | <bwe> | yet I still get: ld: warning: search path '/usr/local/opt/icu4c/lib' not found |
| 2024-11-11 13:51:07 +0000 | <bwe> | using cabal here - what do I need to do to let cabal know the right path? |
| 2024-11-11 13:51:13 +0000 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 248 seconds) |
| 2024-11-11 13:51:44 +0000 | acidjnk | (~acidjnk@p200300d6e7283f73541e518b0044f5c4.dip0.t-ipconnect.de) acidjnk |
| 2024-11-11 13:55:42 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 13:56:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-11-11 14:02:22 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-11 14:06:07 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2024-11-11 14:18:11 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 14:25:23 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 2024-11-11 14:33:50 +0000 | ystael | (~ystael@user/ystael) ystael |
| 2024-11-11 14:37:29 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 14:40:59 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 14:41:02 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 14:41:45 +0000 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-11-11 14:42:05 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 14:46:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-11 14:48:44 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-11 14:52:53 +0000 | Leonard26 | (~Leonard26@49.236.10.26) (Ping timeout: 256 seconds) |
| 2024-11-11 14:56:06 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 14:57:18 +0000 | supercode | (~supercode@user/supercode) supercode |
| 2024-11-11 14:59:38 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-11 14:59:42 +0000 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-11-11 15:00:17 +0000 | euleritian | (~euleritia@dynamic-176-006-145-133.176.6.pool.telefonica.de) |
| 2024-11-11 15:01:03 +0000 | Leonard73 | (~Leonard26@49.236.10.26) |
| 2024-11-11 15:01:03 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 15:03:44 +0000 | <Leonard73> | Hello! =D |
| 2024-11-11 15:03:44 +0000 | <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 15:03:45 +0000 | <Leonard73> | I can't seem to understand what the `m` stands for in the instance declaration https://paste.tomsmeding.com/TutDaoum |
| 2024-11-11 15:03:45 +0000 | <Leonard73> | Can you help me? |
| 2024-11-11 15:04:47 +0000 | Leonard26 | (~Leonard26@49.236.10.26) (Ping timeout: 256 seconds) |
| 2024-11-11 15:09:10 +0000 | <Leonard73> | Could it just be the second parameter? |
| 2024-11-11 15:10:26 +0000 | <Hecate> | Leonard73: m stands for the Map that you're applying the function in |
| 2024-11-11 15:10:57 +0000 | <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 15:11:18 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 15:11:54 +0000 | <Leonard73> | Ok, thank you |
| 2024-11-11 15:12:25 +0000 | <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 15:12:53 +0000 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-11 15:13:26 +0000 | <Leonard73> | Oh, ok, thanks. I thought it was from Prelude :) |
| 2024-11-11 15:13:31 +0000 | <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 15:13:37 +0000 | <merijn> | Map from Prelude only works on lists |
| 2024-11-11 15:14:03 +0000 | <Leonard73> | ok, thanks |
| 2024-11-11 15:15:01 +0000 | <merijn> | maralorn: I don't think you can entirely avoid CCP that way |
| 2024-11-11 15:15:48 +0000 | <haskellbridge> | <maralorn> I thought maybe I could do it by gating the src-dir parameter behind the flag? |
| 2024-11-11 15:16:04 +0000 | <haskellbridge> | <maralorn> i.e. deliver two completely different components depending on the flag. |
| 2024-11-11 15:19:41 +0000 | <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 15:19:41 +0000 | <lambdabot> | Unknown command, try @list |
| 2024-11-11 15:20:21 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 15:20:49 +0000 | raym | (~ray@user/raym) raym |
| 2024-11-11 15:26:27 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 15:27:17 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 15:29:43 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-11-11 15:32:51 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-11 15:33:05 +0000 | <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 15:35:25 +0000 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-11-11 15:41:35 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 15:53:11 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 15:56:42 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 15:56:48 +0000 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-11-11 16:03:29 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 2024-11-11 16:05:26 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f73541e518b0044f5c4.dip0.t-ipconnect.de) acidjnk |
| 2024-11-11 16:09:18 +0000 | acidjnk | (~acidjnk@p200300d6e7283f73541e518b0044f5c4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-11-11 16:11:25 +0000 | zetef | (~quassel@5.14.128.227) zetef |
| 2024-11-11 16:11:44 +0000 | zetef | (~quassel@5.14.128.227) (Read error: Connection reset by peer) |
| 2024-11-11 16:12:48 +0000 | rvalue- | (~rvalue@user/rvalue) rvalue |
| 2024-11-11 16:13:44 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f73541e518b0044f5c4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-11-11 16:14:06 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 2024-11-11 16:14:17 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-11 16:16:52 +0000 | rvalue- | rvalue |
| 2024-11-11 16:17:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-11 16:24:21 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f735d65a351bcb52be9.dip0.t-ipconnect.de) |
| 2024-11-11 16:31:30 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) (Ping timeout: 246 seconds) |
| 2024-11-11 16:36:10 +0000 | <EvanR> | Leonard73, in that example you don't use "map" at all, much less the one from Prelude |
| 2024-11-11 16:37:18 +0000 | <EvanR> | don't get confused by capitalization, capital Map is a datatype and lowercase map is a function on lists |
| 2024-11-11 16:37:57 +0000 | <EvanR> | ok I missed the place where you use "map", yeah it's from prelude |
| 2024-11-11 16:38:53 +0000 | notzmv | (~daniel@user/notzmv) (Remote host closed the connection) |
| 2024-11-11 16:40:09 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-11 16:40:16 +0000 | <EvanR> | Leonard73, in the Functor instance you pasted, it comes from a source file where Prelude map is hidden and another function with the same name is defined |
| 2024-11-11 16:40:28 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-11-11 16:40:43 +0000 | <EvanR> | that context didn't make it into the paste |
| 2024-11-11 16:42:04 +0000 | Leonard73 | (~Leonard26@49.236.10.26) (Quit: Client closed) |
| 2024-11-11 16:49:46 +0000 | mrmr155334346318 | (~mrmr@user/mrmr) mrmr |
| 2024-11-11 16:51:50 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-11-11 17:03:42 +0000 | merijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-11-11 17:14:16 +0000 | Leonard26 | (~Leonard26@49.236.10.26) |
| 2024-11-11 17:16:15 +0000 | <Leonard26> | EvanR, ok thank you. The paste came from someone else in the chat, I didn't know |
| 2024-11-11 17:16:55 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-11 17:17:21 +0000 | Leonard26 | (~Leonard26@49.236.10.26) (Client Quit) |
| 2024-11-11 17:31:12 +0000 | euleritian | (~euleritia@dynamic-176-006-145-133.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-11-11 17:31:59 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-11-11 17:33:46 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-11-11 17:38:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-11 17:39:52 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 272 seconds) |
| 2024-11-11 17:40:31 +0000 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-11-11 17:59:16 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-11 17:59:40 +0000 | img | (~img@user/img) img |
| 2024-11-11 18:01:13 +0000 | AlexNoo_ | (~AlexNoo@5.139.233.174) |
| 2024-11-11 18:02:25 +0000 | AlexZenon | (~alzenon@178.34.160.231) (Ping timeout: 248 seconds) |
| 2024-11-11 18:02:39 +0000 | AlexNoo | (~AlexNoo@178.34.160.231) (Ping timeout: 260 seconds) |
| 2024-11-11 18:05:41 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds) |
| 2024-11-11 18:06:21 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 246 seconds) |
| 2024-11-11 18:09:32 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-11-11 18:10:11 +0000 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-11-11 18:18:59 +0000 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-11 18:21:33 +0000 | AlexZenon | (~alzenon@5.139.233.174) |
| 2024-11-11 18:24:20 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2024-11-11 18:26:24 +0000 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) ft |
| 2024-11-11 18:29:22 +0000 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-11 18:30:45 +0000 | img | (~img@user/img) img |
| 2024-11-11 18:33:29 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-11-11 18:40:00 +0000 | AlexNoo_ | AlexNoo |
| 2024-11-11 18:40:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-11 18:41:09 +0000 | s4msung | (5HBwEM1OuC@user/s4msung) (Ping timeout: 260 seconds) |
| 2024-11-11 18:41:09 +0000 | noctuks | (xzARrcIJYp@user/noctux) (Ping timeout: 260 seconds) |
| 2024-11-11 18:44:28 +0000 | yushyin | (BNexjgQE4Q@mail.karif.server-speed.net) (Ping timeout: 244 seconds) |
| 2024-11-11 18:45:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-11 18:46:25 +0000 | euleritian | (~euleritia@dynamic-176-004-006-161.176.4.pool.telefonica.de) |
| 2024-11-11 19:11:30 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-11 19:14:45 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2024-11-11 19:15:04 +0000 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-11 19:17:29 +0000 | supercode | (~supercode@user/supercode) supercode |
| 2024-11-11 19:22:28 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 19:23:23 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 19:25:02 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 19:26:08 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-11-11 19:29:43 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Remote host closed the connection) |
| 2024-11-11 19:29:56 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
| 2024-11-11 19:32:01 +0000 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-11 19:32:54 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-11-11 19:36:28 +0000 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-11 19:37:08 +0000 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
| 2024-11-11 19:37:30 +0000 | longlongdouble | (~longlongd@49.36.232.246) |
| 2024-11-11 19:43:06 +0000 | longlongdouble | (~longlongd@49.36.232.246) (Read error: Connection reset by peer) |
| 2024-11-11 19:45:35 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-11-11 19:48:07 +0000 | agent314 | (~quassel@169.150.203.52) (Ping timeout: 264 seconds) |
| 2024-11-11 19:48:27 +0000 | agent314 | (~quassel@static-198-44-129-53.cust.tzulo.com) agent314 |
| 2024-11-11 19:50:37 +0000 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-11 19:51:14 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Ping timeout: 248 seconds) |
| 2024-11-11 19:51:51 +0000 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Quit: leaving) |
| 2024-11-11 19:52:38 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-11-11 19:55:53 +0000 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-11 19:57:12 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-11-11 20:00:02 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-11-11 20:00:38 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2024-11-11 20:05:47 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-11-11 20:09:32 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-11 20:13:57 +0000 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-11-11 20:18:20 +0000 | noctuks | (i2MhobYIr5@user/noctux) noctux |
| 2024-11-11 20:18:24 +0000 | yushyin | (vmzGIzVnEG@mail.karif.server-speed.net) yushyin |
| 2024-11-11 20:18:25 +0000 | s4msung | (tWunJFbTsO@user/s4msung) s4msung |
| 2024-11-11 20:24:59 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) sam113101 |
| 2024-11-11 20:30:12 +0000 | CoolMa7 | (~CoolMa7@95.91.137.87) CoolMa7 |
| 2024-11-11 20:32:52 +0000 | supercode | (~supercode@user/supercode) (Quit: Client closed) |
| 2024-11-11 20:36:51 +0000 | arjun | (~arjun@user/arjun) arjun |
| 2024-11-11 20:41:41 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-11-11 20:43:31 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-11-11 20:43:40 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2024-11-11 20:55:07 +0000 | michalz | (~michalz@185.246.207.197) |
| 2024-11-11 21:02:19 +0000 | arjun | (~arjun@user/arjun) (Quit: Leaving) |
| 2024-11-11 21:05:14 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-11-11 21:08:42 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-11-11 21:09:05 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2024-11-11 21:23:45 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f73010f78d8062037d2.dip0.t-ipconnect.de) acidjnk |
| 2024-11-11 21:25:04 +0000 | acidjnk_new | (~acidjnk@p200300d6e7283f735d65a351bcb52be9.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-11-11 21:28:12 +0000 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-11 21:28:14 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-11 21:30:29 +0000 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) (Ping timeout: 248 seconds) |
| 2024-11-11 21:39:17 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-11-11 21:44:46 +0000 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) rachelambda |
| 2024-11-11 21:45:36 +0000 | Everything | (~Everythin@46.211.220.37) Everything |
| 2024-11-11 21:51:24 +0000 | CoolMa7 | (~CoolMa7@95.91.137.87) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-11 21:51:46 +0000 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-11 21:52:44 +0000 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) (Quit: β reduced) |
| 2024-11-11 21:54:06 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-11 21:55:07 +0000 | CoolMa7_ | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) CoolMa7 |
| 2024-11-11 21:55:57 +0000 | visilii | (~visilii@213.24.132.178) |
| 2024-11-11 21:56:17 +0000 | rachelambda | (~rachelamb@cust-95-80-25-71.csbnet.se) rachelambda |
| 2024-11-11 21:57:45 +0000 | euleritian | (~euleritia@dynamic-176-004-006-161.176.4.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2024-11-11 21:58:54 +0000 | CoolMa7 | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-11-11 21:59:11 +0000 | visilii_ | (~visilii@85.172.77.14) (Ping timeout: 265 seconds) |
| 2024-11-11 22:01:24 +0000 | ubert | (~Thunderbi@178.165.164.236.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2024-11-11 22:10:09 +0000 | CoolMa7_ | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-11-11 22:16:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-11-11 22:17:40 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2024-11-11 22:27:01 +0000 | notzmv | (~daniel@user/notzmv) notzmv |
| 2024-11-11 22:27:16 +0000 | housemate | (~housemate@146.70.66.228) housemate |
| 2024-11-11 22:28:21 +0000 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2024-11-11 22:40:11 +0000 | son0p | (~ff@186.121.96.140) (Remote host closed the connection) |
| 2024-11-11 22:42:59 +0000 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-11 22:48:38 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-11 23:03:26 +0000 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-11-11 23:04:05 +0000 | califax | (~califax@user/califx) califx |
| 2024-11-11 23:05:11 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-11-11 23:05:15 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 246 seconds) |
| 2024-11-11 23:05:42 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2024-11-11 23:08:51 +0000 | falafel | (~falafel@2600:1700:99f4:2050:c99f:7c1:9343:9cff) falafel |
| 2024-11-11 23:19:33 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2024-11-11 23:24:18 +0000 | fp | (~Thunderbi@87-92-78-48.bb.dnainternet.fi) fp |
| 2024-11-11 23:25:54 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e7283f73010f78d8062037d2.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2024-11-11 23:30:26 +0000 | <fp> | Hey I'm trying to parse numbers with Parsec, and I'm a bit stuck (this is for the 48h scheme tutorial). I'm trying to parse numbers of various radix and I need to avoid accepting numbers where the first digits are valid in the radix, but later digits aren't, e.g. #b010001a. The regex for what I want is /#b[01]+\b/, but I'm struggling to work out how to implement the \b. =endBy1 binDigit (choice [removeChar <$> space, removeChar <$> symbol, |
| 2024-11-11 23:31:29 +0000 | <Axman6> | I think your message got cut off, last I see is "<$> symbol," |
| 2024-11-11 23:31:44 +0000 | <fp> | =endBy1 binDigit (choice [removeChar <$> space, removeChar <$> symbol, eof])= is almost what I want (where removeChar :: Char -> ()), but it demands the latter expression be a separator |
| 2024-11-11 23:32:07 +0000 | <fp> | also this removeChar thing is super hacky and feels wrong |
| 2024-11-11 23:32:25 +0000 | <Axman6> | so what is the a in that example string? |
| 2024-11-11 23:32:43 +0000 | <fp> | not =binDigit= |
| 2024-11-11 23:32:47 +0000 | <Axman6> | do you want #b10101foo to be valid, and parse 42 and foo? |
| 2024-11-11 23:32:54 +0000 | <glguy> | fp: are you sure you need to worry about it? Haskell doesn't |
| 2024-11-11 23:33:00 +0000 | <glguy> | > (+) 1x :: Expr |
| 2024-11-11 23:33:01 +0000 | <lambdabot> | 1 + x |
| 2024-11-11 23:33:13 +0000 | <Axman6> | D: |
| 2024-11-11 23:33:37 +0000 | <probie> | You probably want to reject it for a lisp |
| 2024-11-11 23:33:42 +0000 | <fp> | yeah |
| 2024-11-11 23:34:33 +0000 | <probie> | Since something like `1+` or `a+b` are normally valid identifier names |
| 2024-11-11 23:35:02 +0000 | <fp> | And the point here is just to learn haskell, and I think there's probably some knowledge I'm missing that would allow me to reason about this problem better |
| 2024-11-11 23:37:04 +0000 | <glguy> | Maybe you want https://hackage.haskell.org/package/parsec-3.1.17.0/docs/Text-Parsec-Combinator.html#v:notFollowedBy |
| 2024-11-11 23:37:25 +0000 | <c_wraith> | have a separate parser for each radix. Only accept characters that radix uses |
| 2024-11-11 23:37:29 +0000 | <glguy> | Parsec doesn't make it particularly easy to handle these cases, but it's possible |
| 2024-11-11 23:37:53 +0000 | falafel | (~falafel@2600:1700:99f4:2050:c99f:7c1:9343:9cff) (Quit: Leaving) |
| 2024-11-11 23:37:56 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-11-11 23:38:19 +0000 | falafel | (~falafel@2600:1700:99f4:2050:c99f:7c1:9343:9cff) falafel |
| 2024-11-11 23:38:36 +0000 | <glguy> | Ideally you'd process your input string into lexical tokens first and then use parsec over those instead of characters |
| 2024-11-11 23:38:53 +0000 | <fp> | > have a separate parser for each radix. Only accept characters that radix uses |
| 2024-11-11 23:38:53 +0000 | <fp> | The issue is that if I have #b01234, it will parse #b01 as a valid number, and then it'll parse 1234 as a valid number |
| 2024-11-11 23:38:54 +0000 | <lambdabot> | error: |
| 2024-11-11 23:38:54 +0000 | <lambdabot> | Variable not in scope: |
| 2024-11-11 23:38:54 +0000 | <lambdabot> | have |
| 2024-11-11 23:38:59 +0000 | <glguy> | Parsec is parameterized to work over an arbitrary stream of arbitrary tokens |
| 2024-11-11 23:39:53 +0000 | <fp> | or 234 |
| 2024-11-11 23:40:23 +0000 | <c_wraith> | oh, then yeah. tokenize and parse separately |
| 2024-11-11 23:40:36 +0000 | <glguy> | If you're doing a lisp your tokens might be something like, '(' ')' and sequences of stuff that's delimited by whitespace |
| 2024-11-11 23:42:25 +0000 | <fp> | But right now I'm really just trying to get this to work against single tokens. My test string is '#b0110a', which tokenization won't help |
| 2024-11-11 23:43:02 +0000 | <fp> | Or will it? |
| 2024-11-11 23:43:12 +0000 | <glguy> | it would because you'd get "#b0110a" as a token that you'd try to process and you'd decide it needs to be a binary number literal because of the first two characters |
| 2024-11-11 23:43:14 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 248 seconds) |
| 2024-11-11 23:43:22 +0000 | <glguy> | and then you'd try to turn it into one and find it had invalid characters |
| 2024-11-11 23:43:24 +0000 | <c_wraith> | you're fundamentally asking about a tokenizing issue |
| 2024-11-11 23:43:48 +0000 | <c_wraith> | You need to identify a sequence of characters as a single token, and then check that the token is valid *as a token* |
| 2024-11-11 23:44:08 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
| 2024-11-11 23:44:17 +0000 | <glguy> | but if you don't want to completely rethink your design maybe spend some time looking at "notFollowedBy" and hack it together |
| 2024-11-11 23:48:24 +0000 | Everything | (~Everythin@46.211.220.37) (Quit: leaving) |
| 2024-11-11 23:48:46 +0000 | <fp> | I guess the question become, if I have it set up with tokens, how do I write the parser so that it checks if the whole token matches instead of just the beginning |
| 2024-11-11 23:49:20 +0000 | <glguy> | if you had it set up with tokens then that's already done |
| 2024-11-11 23:49:28 +0000 | <glguy> | by the thing that turned it into tokens |
| 2024-11-11 23:49:50 +0000 | <fp> | Sure but how did that check the whole string? |
| 2024-11-11 23:50:22 +0000 | <glguy> | you processed the string turning it into tokens until you got to the end of the string |
| 2024-11-11 23:50:44 +0000 | <glguy> | You have to write a program that processes the string using the rules you have in mind; there isn't a shortcut |
| 2024-11-11 23:52:43 +0000 | <glguy> | that wouldn't necessarily use parsec. If you want to do it in parsec I expect you'll have to use notFollowedBy to detect that your token ended on an OK boundary |
| 2024-11-11 23:54:18 +0000 | <glguy> | notFollowedBy or using lookAhead (same idea) to check that you're OK with the boundary that you ended on |
| 2024-11-11 23:54:39 +0000 | <glguy> | There will be some class of characters you don't mind ending on: whitespace, (, ), etc. |
| 2024-11-11 23:57:08 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-11-11 23:57:13 +0000 | <fp> | Ok I think I understand. The difference with tokens is that I'd be working with Parsec String, so errors would naturally occur for the whole token. I'd fall down to a Parsec Char just for the validation, which would bubble up. Does that sound right? |
| 2024-11-11 23:57:40 +0000 | <fp> | *the errors would bubble up |
| 2024-11-11 23:58:12 +0000 | agent314 | (~quassel@static-198-44-129-53.cust.tzulo.com) (Ping timeout: 276 seconds) |
