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