2024-06-25 00:06:15 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-06-25 00:20:20 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-06-25 00:24:05 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: Lost terminal) |
2024-06-25 00:25:02 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-25 00:26:08 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-06-25 00:26:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Client Quit) |
2024-06-25 00:26:42 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-25 00:27:43 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Client Quit) |
2024-06-25 00:28:02 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-25 00:29:22 +0200 | causal | (~eric@50.35.88.207) |
2024-06-25 00:29:40 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Client Quit) |
2024-06-25 00:29:59 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-25 00:30:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Client Quit) |
2024-06-25 00:30:30 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-25 00:36:45 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc8889f5631cf21e07c5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
2024-06-25 00:39:35 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-06-25 00:40:50 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-06-25 00:41:04 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
2024-06-25 00:50:05 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-06-25 00:53:31 +0200 | czy` | (~user@fortigate.wolfson.cam.ac.uk) (Ping timeout: 256 seconds) |
2024-06-25 00:59:24 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) |
2024-06-25 01:06:29 +0200 | dcoutts | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 268 seconds) |
2024-06-25 01:11:42 +0200 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
2024-06-25 01:12:58 +0200 | turlando | (~turlando@user/turlando) |
2024-06-25 01:16:11 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
2024-06-25 01:19:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-06-25 01:26:22 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-25 01:26:56 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
2024-06-25 01:37:03 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2024-06-25 01:41:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-06-25 01:41:50 +0200 | Lambdatwo | (~Lambdatwo@2a01:cb19:895c:3c00:d874:41c3:7df2:e8d5) |
2024-06-25 01:42:48 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-06-25 01:43:53 +0200 | Lambdatwo | (~Lambdatwo@2a01:cb19:895c:3c00:d874:41c3:7df2:e8d5) (Client Quit) |
2024-06-25 01:47:19 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Remote host closed the connection) |
2024-06-25 01:47:49 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-06-25 01:50:50 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-06-25 01:54:37 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Read error: Connection reset by peer) |
2024-06-25 02:07:27 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: Lost terminal) |
2024-06-25 02:08:42 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-06-25 02:09:46 +0200 | <Axman6> | I feel like I need to read the output of :help in ghci more often, there's so many things in there I forget exist. I didn't know :show had so many different things it could display! |
2024-06-25 02:32:14 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-25 02:32:40 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-25 02:35:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-06-25 02:36:53 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
2024-06-25 02:37:09 +0200 | califax | (~califax@user/califx) |
2024-06-25 03:04:41 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 252 seconds) |
2024-06-25 03:06:16 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 246 seconds) |
2024-06-25 03:17:52 +0200 | danse-nr3 | (~danse-nr3@151.37.245.96) |
2024-06-25 03:20:16 +0200 | mrmr155334346 | (~mrmr@user/mrmr) |
2024-06-25 03:22:09 +0200 | mrmr15533434 | (~mrmr@user/mrmr) (Ping timeout: 268 seconds) |
2024-06-25 03:22:09 +0200 | mrmr155334346 | mrmr15533434 |
2024-06-25 03:43:50 +0200 | andrewboltachev | (~andrey@178.141.121.180) |
2024-06-25 03:44:48 +0200 | <andrewboltachev> | Hi. Could one make cata (cataM in my case https://github.com/andrewboltachev/matcher/blob/match_let/src/Logicore/Matcher/Core.hs#L1468 ) to first "visit" parent nodes then leafs, so that StateT could have worked correctly? |
2024-06-25 03:53:03 +0200 | danse-nr3 | (~danse-nr3@151.37.245.96) (Ping timeout: 264 seconds) |
2024-06-25 04:05:36 +0200 | <monochrom> | I was thinking of asking "where can I read the definition of cataM" but realistically I will not read it anyway so I won't actually ask that. What I can say though is when I wrote my own expression ADT and traversers, I wrote both a parent-before-child one and a child-before-parent one, precisely because both are necessary. |
2024-06-25 04:05:53 +0200 | <c_wraith> | monochrom: it's around line 120 of that file |
2024-06-25 04:09:36 +0200 | <andrewboltachev> | In fact original definition is here: https://github.com/recursion-schemes/recursion-schemes/issues/3#issuecomment-377856187 |
2024-06-25 04:10:11 +0200 | <monochrom> | I don't use recursion-schemes. |
2024-06-25 04:10:32 +0200 | <monochrom> | I use neither recursion-schemes nor the other one that provides Control.Monad.Loop |
2024-06-25 04:11:20 +0200 | <andrewboltachev> | ah, that imperative-like stuff |
2024-06-25 04:11:26 +0200 | <andrewboltachev> | also forM_ etc |
2024-06-25 04:11:50 +0200 | <andrewboltachev> | that's what ChatGPT (ollama code) generated me when I asked for some Haskell |
2024-06-25 04:12:16 +0200 | <monochrom> | I use forM_. That is not contrived at all. |
2024-06-25 04:12:28 +0200 | <andrewboltachev> | monochrom: do you find recursion-schemes limiting? |
2024-06-25 04:12:30 +0200 | <c_wraith> | It seems like cataA is easier to use than cataM anyway. |
2024-06-25 04:12:57 +0200 | <c_wraith> | But more importantly, since it gives you effect blobs individually, you can order them however you want |
2024-06-25 04:13:23 +0200 | <andrewboltachev> | c_wraith: I have hard time extracting the value from cataA's argument, like: MatchResultF (MatchStatusT (KeyMap Value) m1 Value) -> MatchResultF Value |
2024-06-25 04:13:25 +0200 | <monochrom> | No, the opposite, too many things I don't need. I need at most cata and ana. Not worth bringing in the whole package. |
2024-06-25 04:13:49 +0200 | ubert | (~Thunderbi@p200300ecdf49174f0b4465dc752c7466.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
2024-06-25 04:14:07 +0200 | <andrewboltachev> | c_wraith: yes I believe so. but how is it easier? |
2024-06-25 04:14:36 +0200 | <monochrom> | I can confess that when I learned free monads, first thing I did was to write the catamorphism of the Free type. That still doesn't mean I should care about recursion-schemes. |
2024-06-25 04:15:02 +0200 | <andrewboltachev> | ah. I understand Cofree Comonad, but not a free monad still :/ |
2024-06-25 04:16:23 +0200 | <monochrom> | And I have needed anamorphisms so sparingly, the only one I have ever used is [a]'s unfoldr. (But it's very pleasant when I need it.) |
2024-06-25 04:16:45 +0200 | <c_wraith> | you think unfoldr is "very pleasant"? |
2024-06-25 04:17:00 +0200 | <monochrom> | Yes. |
2024-06-25 04:17:15 +0200 | <c_wraith> | Maybe (a, b) has about the worst possible ergonomics for what it does |
2024-06-25 04:17:21 +0200 | <monochrom> | Or rather, yes under the conditions of my use cases. |
2024-06-25 04:17:41 +0200 | <c_wraith> | bizarrely, it also has performance problems I can't understand when it doesn't fully fuse away |
2024-06-25 04:18:30 +0200 | <andrewboltachev> | I've recently had a simple line like acc <- acc', which was a duplicate of another one. Then amount of calculation grown exponentially |
2024-06-25 04:18:33 +0200 | ubert | (~Thunderbi@p200300ecdf32ea35d7e32474cc4feedf.dip0.t-ipconnect.de) |
2024-06-25 04:19:07 +0200 | <monochrom> | This thread contains both your view and the opposite view: https://discourse.haskell.org/t/equivalence-of-unfoldr-and-unfold/9657 |
2024-06-25 04:20:42 +0200 | <c_wraith> | Ugh, no. Not unfold type either. That's an *incredibly* verbose way of avoiding Church encoding. I'd much rather just do the Church encoding. |
2024-06-25 04:20:51 +0200 | <monochrom> | Oh yeah I tease my students with "why is this exp-time? f(n) = f(n-1) + f(n-1)" |
2024-06-25 04:24:16 +0200 | <monochrom> | What is the ergonomic version you have in mind? |
2024-06-25 04:24:38 +0200 | <c_wraith> | Church encode it. (forall r. (a -> b -> r) -> r -> b -> r) -> b -> [a] |
2024-06-25 04:28:10 +0200 | xff0x | (~xff0x@2405:6580:b080:900:dc9b:52bd:4c0c:b888) (Ping timeout: 246 seconds) |
2024-06-25 04:30:03 +0200 | <andrewboltachev> | UPD: solved my issue with using paraM :/ (to modify as little code as I can): https://github.com/andrewboltachev/matcher/blob/match_let/src/Logicore/Matcher/Core.hs#L1468 |
2024-06-25 04:30:26 +0200 | <andrewboltachev> | this also allowed to change the order of effects |
2024-06-25 04:38:32 +0200 | henry40408 | (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds)) |
2024-06-25 04:39:01 +0200 | henry40408 | (~henry4040@175.182.111.183) |
2024-06-25 04:41:18 +0200 | edrx | (~Eduardo@170-233-51-85.static.sumicity.net.br) |
2024-06-25 04:43:57 +0200 | <edrx> | hi all! is there a way to make ghci print the types with the foralls? |
2024-06-25 04:44:00 +0200 | <edrx> | for example: |
2024-06-25 04:44:01 +0200 | <edrx> | ghci> :t \ (a,b) -> a |
2024-06-25 04:44:02 +0200 | <edrx> | \ (a,b) -> a :: (a, b) -> a |
2024-06-25 04:44:29 +0200 | <edrx> | I'm looking for something like |
2024-06-25 04:44:30 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
2024-06-25 04:44:41 +0200 | <geekosaur> | :set -print-explicit-foralls |
2024-06-25 04:44:44 +0200 | <edrx> | \ (a,b) -> a :: Forall a b. (a, b) -> a |
2024-06-25 04:45:22 +0200 | <edrx> | ghci> :set -print-explicit-foralls |
2024-06-25 04:45:22 +0200 | <edrx> | Some flags have not been recognized: -print-explicit-foralls |
2024-06-25 04:45:32 +0200 | <geekosaur> | sorry, just noticed I typoed that |
2024-06-25 04:45:35 +0200 | <geekosaur> | :set -fprint-explicit-foralls |
2024-06-25 04:46:01 +0200 | <edrx> | fantastic! thanks =) |
2024-06-25 04:47:23 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
2024-06-25 04:50:26 +0200 | td_ | (~td@i5387092F.versanet.de) (Ping timeout: 256 seconds) |
2024-06-25 04:50:35 +0200 | Leary | (~Leary@user/Leary/x-0910699) |
2024-06-25 04:51:26 +0200 | edrx | (~Eduardo@170-233-51-85.static.sumicity.net.br) (Killed buffer) |
2024-06-25 04:51:44 +0200 | andrewboltachev | (~andrey@178.141.121.180) (Quit: Leaving.) |
2024-06-25 04:52:21 +0200 | td_ | (~td@i53870933.versanet.de) |
2024-06-25 05:13:46 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-06-25 05:15:45 +0200 | zzz | (~yin@user/zero) |
2024-06-25 05:26:01 +0200 | danse-nr3 | (~danse-nr3@151.37.245.96) |
2024-06-25 05:27:48 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-25 05:28:34 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-06-25 05:33:19 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-06-25 05:34:30 +0200 | generalbigm | (~generalbi@2001:250:3c0f:2000::e751) |
2024-06-25 05:34:53 +0200 | danse-nr3 | (~danse-nr3@151.37.245.96) (Read error: Connection reset by peer) |
2024-06-25 05:34:58 +0200 | zzz | (~yin@user/zero) |
2024-06-25 05:35:03 +0200 | danse-nr3 | (~danse-nr3@151.37.247.173) |
2024-06-25 05:35:03 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
2024-06-25 05:38:38 +0200 | aforemny | (~aforemny@2001:9e8:6cdd:b100:c11c:c2a2:7e21:6fd9) |
2024-06-25 05:39:08 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:b9d0:f0c5:81d6:5db5) (Remote host closed the connection) |
2024-06-25 05:40:17 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf7:eb00:b3e4:61be:b332:f613) (Ping timeout: 268 seconds) |
2024-06-25 05:51:14 +0200 | krasjet | (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye) |
2024-06-25 05:51:38 +0200 | krjst | (~krjst@2604:a880:800:c1::16b:8001) |
2024-06-25 06:01:46 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-06-25 06:06:30 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
2024-06-25 06:06:51 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
2024-06-25 06:08:06 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-06-25 06:17:42 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1a:fff3:8000::) |
2024-06-25 06:19:40 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1a:fff3:8000::) (Client Quit) |
2024-06-25 06:24:01 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-06-25 06:26:49 +0200 | zzz | (~yin@user/zero) (Ping timeout: 246 seconds) |
2024-06-25 06:33:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-06-25 06:46:46 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-25 06:50:08 +0200 | danse-nr3 | (~danse-nr3@151.37.247.173) (Remote host closed the connection) |
2024-06-25 06:50:33 +0200 | danse-nr3 | (~danse-nr3@151.37.247.173) |
2024-06-25 07:02:18 +0200 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection) |
2024-06-25 07:03:07 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-06-25 07:03:14 +0200 | tabemann__ | (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
2024-06-25 07:05:37 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
2024-06-25 07:09:32 +0200 | wbooze | (~wbooze@2a02:908:1244:9a20:570c:a8cf:25a8:c6db) |
2024-06-25 07:12:59 +0200 | <danse-nr3> | huh looks like the foundation has bought serokell's certifications |
2024-06-25 07:15:49 +0200 | ubert1 | (~Thunderbi@p200300ecdf32eac70fea81216be0fe50.dip0.t-ipconnect.de) |
2024-06-25 07:15:51 +0200 | ubert | (~Thunderbi@p200300ecdf32ea35d7e32474cc4feedf.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-06-25 07:15:51 +0200 | ubert1 | ubert |
2024-06-25 07:27:01 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 246 seconds) |
2024-06-25 07:29:29 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2024-06-25 07:31:11 +0200 | euleritian | (~euleritia@dynamic-176-007-161-051.176.7.pool.telefonica.de) (Ping timeout: 264 seconds) |
2024-06-25 07:31:49 +0200 | euleritian | (~euleritia@dynamic-176-007-195-192.176.7.pool.telefonica.de) |
2024-06-25 07:32:30 +0200 | aaronv | (~aaronv@user/aaronv) |
2024-06-25 07:37:31 +0200 | danse-nr3 | (~danse-nr3@151.37.247.173) (Ping timeout: 246 seconds) |
2024-06-25 07:44:10 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
2024-06-25 08:00:12 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-06-25 08:00:31 +0200 | <haskellbridge> | <maerwald> Bought? |
2024-06-25 08:00:50 +0200 | euleritian | (~euleritia@dynamic-176-007-195-192.176.7.pool.telefonica.de) (Ping timeout: 256 seconds) |
2024-06-25 08:05:42 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-06-25 08:06:13 +0200 | <haskellbridge> | <magic_rb> Huh? I used to be employed by serokell so im curious |
2024-06-25 08:06:25 +0200 | <haskellbridge> | <maerwald> It was donated |
2024-06-25 08:07:08 +0200 | MrFox | (~MrFox___@89-201-184-155.dsl.optinet.hr) |
2024-06-25 08:07:27 +0200 | <haskellbridge> | <magic_rb> Oh cool |
2024-06-25 08:17:14 +0200 | generalbigm | (~generalbi@2001:250:3c0f:2000::e751) (Ping timeout: 268 seconds) |
2024-06-25 08:18:53 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e714dc90fd0a56c96235233a.dip0.t-ipconnect.de) |
2024-06-25 08:25:50 +0200 | danse-nr3 | (~danse-nr3@151.37.247.173) |
2024-06-25 08:26:42 +0200 | danse-nr3 | (~danse-nr3@151.37.247.173) (Remote host closed the connection) |
2024-06-25 08:27:07 +0200 | danse-nr3 | (~danse-nr3@151.37.247.173) |
2024-06-25 08:27:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-06-25 08:28:31 +0200 | <danse-nr3> | did not mean "bought" just as in a financial transaction. Also bought the idea |
2024-06-25 08:30:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-06-25 08:42:49 +0200 | aaronv | (~aaronv@user/aaronv) (Ping timeout: 268 seconds) |
2024-06-25 08:45:45 +0200 | generalbigm | (~generalbi@2001:250:3c0f:2000::e751) |