| 2024-04-29 00:06:05 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 256 seconds) |
| 2024-04-29 00:07:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-29 00:08:10 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 00:09:15 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-29 00:23:07 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-04-29 00:25:17 +0200 | mwnaylor | (~user@2601:5cf:837e:2bb0::824e) |
| 2024-04-29 00:27:39 +0200 | <mwnaylor> | I want to get Haskell installed, in order to be able to install the xmonad window manager. BUT, the slackbuild fails. Any suggestions? |
| 2024-04-29 00:30:32 +0200 | acidjnk | (~acidjnk@p200300d6e714dc79605b18ab3e573168.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-04-29 00:31:31 +0200 | <jackdk> | That's not enough information for us to be able to help, it's like calling your mechanic and saying "my car makes a funny noise and won't start". ghcup is the preferred way to install GHC these days - are you using that? Also, please provide error messages, context, etc in a pastebin |
| 2024-04-29 00:31:35 +0200 | <jackdk> | @where paste |
| 2024-04-29 00:31:35 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-04-29 00:35:24 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 255 seconds) |
| 2024-04-29 00:36:47 +0200 | <EvanR> | fix the slackbuild or use ghcup instead |
| 2024-04-29 00:37:06 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-04-29 00:49:18 +0200 | stefan-_ | (~cri@42dots.de) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-04-29 00:49:18 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2024-04-29 00:49:58 +0200 | stefan-_ | (~cri@42dots.de) |
| 2024-04-29 00:53:59 +0200 | esph | (~weechat@user/esph) (Ping timeout: 252 seconds) |
| 2024-04-29 00:55:05 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-29 00:55:17 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-29 00:55:26 +0200 | esph | (~weechat@user/esph) |
| 2024-04-29 00:56:45 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 252 seconds) |
| 2024-04-29 00:59:00 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) |
| 2024-04-29 01:00:49 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2024-04-29 01:01:12 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) |
| 2024-04-29 01:03:09 +0200 | phma | (~phma@2001:5b0:2172:cfd8:e2ba:31ce:8b83:bc5) (Read error: Connection reset by peer) |
| 2024-04-29 01:04:08 +0200 | phma | (~phma@host-67-44-208-75.hnremote.net) |
| 2024-04-29 01:05:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-29 01:10:05 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-29 01:11:10 +0200 | cashew | (~cashewsta@65.17.175.150) (Ping timeout: 245 seconds) |
| 2024-04-29 01:13:24 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-04-29 01:16:29 +0200 | mei | (~mei@user/mei) |
| 2024-04-29 01:17:25 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 245 seconds) |
| 2024-04-29 01:20:27 +0200 | Riviera | (Riviera@user/riviera) |
| 2024-04-29 01:23:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-04-29 01:24:18 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-29 01:24:30 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 245 seconds) |
| 2024-04-29 01:25:15 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 01:26:55 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-29 01:30:46 +0200 | cashew | (~cashewsta@65.17.175.150) (Ping timeout: 255 seconds) |
| 2024-04-29 01:37:34 +0200 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-04-29 01:41:04 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-04-29 01:44:36 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 252 seconds) |
| 2024-04-29 01:44:49 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-29 01:50:50 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2024-04-29 01:53:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-29 01:53:44 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 01:55:34 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-04-29 01:59:12 +0200 | cashew | (~cashewsta@65.17.175.150) (Ping timeout: 260 seconds) |
| 2024-04-29 02:02:25 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-29 02:04:10 +0200 | califax | (~califax@user/califx) |
| 2024-04-29 02:06:37 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-29 02:09:54 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 02:10:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-29 02:11:19 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-29 02:17:23 +0200 | cashew | (~cashewsta@65.17.175.150) (Ping timeout: 264 seconds) |
| 2024-04-29 02:19:06 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 02:24:43 +0200 | yin_ | (~yin@user/zero) |
| 2024-04-29 02:26:09 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2024-04-29 02:35:03 +0200 | TonyStone | (~TonyStone@user/TonyStone) (Quit: Leaving) |
| 2024-04-29 02:40:20 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 245 seconds) |
| 2024-04-29 02:42:50 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 245 seconds) |
| 2024-04-29 02:44:47 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-04-29 02:47:28 +0200 | esph | (~weechat@user/esph) (Ping timeout: 246 seconds) |
| 2024-04-29 02:49:11 +0200 | esph | (~weechat@user/esph) |
| 2024-04-29 02:49:29 +0200 | yin_ | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-04-29 02:51:51 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 272 seconds) |
| 2024-04-29 02:57:09 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 2024-04-29 02:58:40 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-29 02:58:51 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2024-04-29 03:00:47 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 03:07:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-04-29 03:13:05 +0200 | mei | (~mei@user/mei) |
| 2024-04-29 03:15:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-29 03:26:20 +0200 | yin_ | (~yin@user/zero) |
| 2024-04-29 03:30:36 +0200 | otto_s | (~user@p5b0442ac.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-04-29 03:31:48 +0200 | otto_s | (~user@p5de2f4e6.dip0.t-ipconnect.de) |
| 2024-04-29 03:34:05 +0200 | yin_ | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-04-29 03:34:27 +0200 | Rodney_ | (~Rodney@176.254.244.83) |
| 2024-04-29 03:39:23 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-04-29 03:44:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2024-04-29 03:45:58 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-29 03:46:24 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 03:50:45 +0200 | cashew | (~cashewsta@65.17.175.150) (Ping timeout: 245 seconds) |
| 2024-04-29 04:00:04 +0200 | esph | (~weechat@user/esph) (Ping timeout: 260 seconds) |
| 2024-04-29 04:04:40 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-29 04:05:02 +0200 | xdminsy | (~xdminsy@117.147.70.233) (Quit: Konversation terminated!) |
| 2024-04-29 04:18:41 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-29 04:25:25 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 04:30:20 +0200 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 245 seconds) |
| 2024-04-29 04:31:18 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-29 04:32:15 +0200 | td_ | (~td@i5387093D.versanet.de) |
| 2024-04-29 04:35:47 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-04-29 04:38:15 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 04:50:07 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-29 05:00:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2024-04-29 05:01:15 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-04-29 05:08:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-29 05:09:08 +0200 | aforemny | (~aforemny@i59F516F8.versanet.de) |
| 2024-04-29 05:09:44 +0200 | aforemny_ | (~aforemny@i59f516da.versanet.de) (Ping timeout: 252 seconds) |
| 2024-04-29 05:19:27 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 268 seconds) |
| 2024-04-29 05:27:13 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-04-29 05:32:30 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-04-29 05:35:25 +0200 | JimL | (~quassel@89.162.16.26) |
| 2024-04-29 05:41:10 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 05:44:02 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-04-29 05:50:01 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-04-29 05:51:01 +0200 | andrewboltachev | (~andrewbol@178.141.238.156) |
| 2024-04-29 05:51:47 +0200 | <andrewboltachev> | Hello! Does anyone has example of successful wasm32-wasi-cabal builds? Aka cabal in non-standard environments |
| 2024-04-29 05:51:55 +0200 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-04-29 05:52:09 +0200 | xigua | (~xigua@user/xigua) |
| 2024-04-29 05:52:38 +0200 | <andrewboltachev> | I have a simple WebAssembly project and Cabal is saying me: |
| 2024-04-29 05:52:39 +0200 | <andrewboltachev> | Error: cabal: Could not resolve dependencies: |
| 2024-04-29 05:52:40 +0200 | <andrewboltachev> | [__0] trying: h1-0.1.0.0 (user goal) |
| 2024-04-29 05:52:40 +0200 | <andrewboltachev> | [__1] next goal: base (dependency of h1) |
| 2024-04-29 05:52:41 +0200 | <andrewboltachev> | [__1] rejecting: base-4.20.0.0/installed-inplace (conflict: h1 => |
| 2024-04-29 05:52:41 +0200 | <andrewboltachev> | base==4.19.1.0) |
| 2024-04-29 05:53:16 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 05:55:34 +0200 | <jackdk> | andrewboltachev: whatever your `h1` package is (is it the name of your test program?), it's claiming a dependency on `base-4.19.1.0`, but the compiler you're using provides `base-4.20.0.0`. https://wiki.haskell.org/Base_package has not updated to list `4.20.0.0`, but I would get it's the GHC 9.10 RC? I would try adjusting the `base` bound in `h1.cabal` to `== 4.20.0.0` to see if that gets you moving. |
| 2024-04-29 05:56:02 +0200 | <jackdk> | (`s/I would get/I would guess/`) |
| 2024-04-29 06:02:32 +0200 | <andrewboltachev> | jackdk: aha, trying |
| 2024-04-29 06:03:59 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-29 06:04:09 +0200 | <andrewboltachev> | well it's this then: https://paste.tomsmeding.com/fT1guof4 |
| 2024-04-29 06:04:30 +0200 | <andrewboltachev> | so I think I should get compiler that will provide 4.19 |
| 2024-04-29 06:05:07 +0200 | <jackdk> | It is possible to override those bounds, one sec |
| 2024-04-29 06:05:20 +0200 | <andrewboltachev> | as deps that are deep in the tree ask for 4.19. 4.20 is too new (and an answer to all of the universe or sth) |
| 2024-04-29 06:05:22 +0200 | <jackdk> | Also, if you're playing with WASM, only 9.10 has the WASM->JS FFI |
| 2024-04-29 06:05:56 +0200 | <andrewboltachev> | yes, I think I need that |
| 2024-04-29 06:06:32 +0200 | <andrewboltachev> | ➜ h1 git:(master) ✗ wasm32-wasi-ghc --version |
| 2024-04-29 06:06:33 +0200 | <andrewboltachev> | The Glorious Glasgow Haskell Compilation System, version 9.11.20240420 |
| 2024-04-29 06:07:34 +0200 | <andrewboltachev> | I think I've launched an exported function from the wasm file successfully |
| 2024-04-29 06:07:34 +0200 | <jackdk> | Create a `cabal.project` file next to your `.cabal` file, telling cabal that it's allowed to relax the `base` bound for all pacakges: https://www.irccloud.com/pastebin/anN72RgX/cabal.project |
| 2024-04-29 06:08:19 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) (Remote host closed the connection) |
| 2024-04-29 06:09:08 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 252 seconds) |
| 2024-04-29 06:09:30 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-04-29 06:10:27 +0200 | <andrewboltachev> | wow: https://paste.tomsmeding.com/AKjcvAqu |
| 2024-04-29 06:11:40 +0200 | <andrewboltachev> | will try cabal.project file with this now (didn't work 'cause of "base" error as well): https://github.com/tweag/ormolu/tree/master/ormolu-live |
| 2024-04-29 06:11:45 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-04-29 06:12:39 +0200 | <jackdk> | That is a three-year-old version of `bytestring`, and it had a correct upper bound which we just told GHC to ignore. Try adding `constraints: bytestring ^>= 0.12.1.0` to your `cabal.project` to see if it gives you a better shot at building. |
| 2024-04-29 06:15:38 +0200 | <andrewboltachev> | jackdk: thanks. I'm still a noob in Haskell, even though I created this project myself: https://github.com/andrewboltachev/matcher/blob/master/src/Logicore/Matcher/Core.hs |
| 2024-04-29 06:15:47 +0200 | michalz | (~michalz@185.246.207.203) |
| 2024-04-29 06:16:36 +0200 | <jackdk> | Someone should do something about cabal's solver output, because while it has the information most people need, it fails to communicate it clearly. |
| 2024-04-29 06:16:59 +0200 | <sclv> | we have a big pr landing on it |
| 2024-04-29 06:17:34 +0200 | <sclv> | may not help enough, but its something |
| 2024-04-29 06:18:34 +0200 | <jackdk> | I am delighted to hear this - does the PR have an output sample? |
| 2024-04-29 06:18:59 +0200 | <andrewboltachev> | similar foldl' error though: https://paste.tomsmeding.com/ao8zbeZA |
| 2024-04-29 06:19:25 +0200 | <andrewboltachev> | how do I define which ver. to pick for unordered-containers (and other library)? |
| 2024-04-29 06:19:46 +0200 | <andrewboltachev> | I guess earliest one that doesn't clash with foldl' |
| 2024-04-29 06:21:40 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-29 06:22:44 +0200 | <jackdk> | The re-export of `foldl'` from `Prelude` is a new change in `base-4.20.0.0`: https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/changelog.md?ref_type=heads . Add another constraint to your `cabal.project` to select `unordered-containers ^>=0.2.0`, and you may need to add more `allow-newer`: https://hackage.haskell.org/package/unordered-containers-0.2.20/changelog |
| 2024-04-29 06:23:21 +0200 | <jackdk> | `constraints: bytestring ^>= 0.12.1.0, unordered-containers ^>= 0.2.20`, I guess. Welcome to life on the bleeding edge |
| 2024-04-29 06:23:22 +0200 | <andrewboltachev> | jackdk: maybe I can instead shift down to 4.19? |
| 2024-04-29 06:23:47 +0200 | <jackdk> | You could try that, and if it has enough WASM support for what you're trying I'd recommend it |
| 2024-04-29 06:26:30 +0200 | <andrewboltachev> | okay. but, what should I reinstall? |
| 2024-04-29 06:27:02 +0200 | <andrewboltachev> | the whole `wasm32-wasi` stack? |
| 2024-04-29 06:27:17 +0200 | <andrewboltachev> | i.e. which has the wasm32-wasi-ghc |
| 2024-04-29 06:28:16 +0200 | <jackdk> | You'll need a 9.8-series `wasm32-wasi-ghc`, from wherever you got the 9.10-series one from. I'm not really sure, sorry, I mostly work with native code |
| 2024-04-29 06:32:42 +0200 | <andrewboltachev> | jackdk: thanks for useful help! I guess I'll crash into it just by: `FLAVOUR=9.8 ./setup.sh` :-) |
| 2024-04-29 06:35:20 +0200 | <jackdk> | No worries, good luck! |
| 2024-04-29 06:39:10 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 06:39:47 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-29 06:41:28 +0200 | bilegeek | (~bilegeek@2600:1008:b025:e5c1:3276:e96d:2d6f:14d7) (Quit: Leaving) |
| 2024-04-29 06:43:30 +0200 | cashew | (~cashewsta@65.17.175.150) (Ping timeout: 255 seconds) |
| 2024-04-29 06:48:34 +0200 | mima | (~mmh@aftr-62-216-211-53.dynamic.mnet-online.de) |
| 2024-04-29 06:51:20 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-04-29 06:52:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-04-29 06:52:53 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-29 06:57:27 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-04-29 06:58:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-29 06:59:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-04-29 07:02:14 +0200 | euleritian | (~euleritia@dynamic-176-007-161-086.176.7.pool.telefonica.de) |
| 2024-04-29 07:07:40 +0200 | Moyst_ | (~moyst@user/moyst) (Ping timeout: 260 seconds) |
| 2024-04-29 07:08:58 +0200 | Moyst | (~moyst@user/moyst) |
| 2024-04-29 07:09:16 +0200 | <andrewboltachev> | Does `ghc-experimental` only exist on 4.20? Is it a library or something else (like a flag to enable)? |
| 2024-04-29 07:10:53 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 272 seconds) |
| 2024-04-29 07:14:27 +0200 | mei | (~mei@user/mei) (Ping timeout: 268 seconds) |
| 2024-04-29 07:15:04 +0200 | euleritian | (~euleritia@dynamic-176-007-161-086.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-29 07:15:23 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-29 07:20:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 268 seconds) |
| 2024-04-29 07:24:25 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-29 07:29:23 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-04-29 07:29:49 +0200 | euleritian | (~euleritia@dynamic-176-007-161-086.176.7.pool.telefonica.de) |
| 2024-04-29 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-29 07:31:45 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-29 07:31:57 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-29 07:32:31 +0200 | euleritian | (~euleritia@dynamic-176-007-161-086.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-29 07:32:48 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-29 07:39:20 +0200 | mei | (~mei@user/mei) |
| 2024-04-29 07:44:41 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-29 07:45:32 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2024-04-29 07:46:42 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-04-29 07:47:24 +0200 | euleritian | (~euleritia@dynamic-176-007-161-086.176.7.pool.telefonica.de) |
| 2024-04-29 07:48:07 +0200 | emergence2 | (emergence@ip221.ip-51-79-0.net) |
| 2024-04-29 07:48:30 +0200 | emergence2 | (emergence@ip221.ip-51-79-0.net) (Client Quit) |
| 2024-04-29 07:57:58 +0200 | acidjnk | (~acidjnk@p200300d6e714dc2634962692522af535.dip0.t-ipconnect.de) |
| 2024-04-29 08:05:16 +0200 | waldo | (~waldo@user/waldo) (Ping timeout: 246 seconds) |
| 2024-04-29 08:09:35 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-29 08:09:37 +0200 | waldo | (~waldo@user/waldo) (Client Quit) |
| 2024-04-29 08:10:34 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-04-29 08:11:33 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-29 08:16:25 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-04-29 08:19:27 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-29 08:20:29 +0200 | <haskellbridge> | <Jade> it's part of the split of base into base, ghc-internal and ghc-experimental |
| 2024-04-29 08:31:00 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-29 08:33:18 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-29 08:40:11 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Ping timeout: 264 seconds) |
| 2024-04-29 08:41:11 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
| 2024-04-29 08:45:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-29 08:46:54 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-04-29 08:58:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-04-29 09:05:43 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-29 09:06:07 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 256 seconds) |
| 2024-04-29 09:07:40 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-04-29 09:11:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-04-29 09:21:23 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 260 seconds) |
| 2024-04-29 09:22:52 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-04-29 09:33:27 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-29 09:35:04 +0200 | andrewboltachev | (~andrewbol@178.141.238.156) (Ping timeout: 250 seconds) |
| 2024-04-29 09:37:42 +0200 | chele | (~chele@user/chele) |
| 2024-04-29 09:42:13 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-04-29 09:43:15 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 245 seconds) |
| 2024-04-29 09:45:05 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-04-29 09:57:52 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-29 10:00:12 +0200 | euleritian | (~euleritia@dynamic-176-007-161-086.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-29 10:00:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-29 10:17:36 +0200 | AlexNoo_ | (~AlexNoo@94.233.241.102) |
| 2024-04-29 10:18:47 +0200 | mreh | (~matthew@host86-160-168-68.range86-160.btcentralplus.com) |
| 2024-04-29 10:19:17 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-29 10:20:04 +0200 | AlexZenon | (~alzenon@178.34.161.189) (Ping timeout: 268 seconds) |
| 2024-04-29 10:20:09 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-04-29 10:21:18 +0200 | AlexNoo | (~AlexNoo@178.34.161.189) (Ping timeout: 268 seconds) |
| 2024-04-29 10:22:31 +0200 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 2024-04-29 10:23:25 +0200 | AlexZenon | (~alzenon@94.233.241.102) |
| 2024-04-29 10:29:03 +0200 | danza | (~francesco@151.37.162.148) |
| 2024-04-29 10:33:19 +0200 | danza | (~francesco@151.37.162.148) (Ping timeout: 246 seconds) |
| 2024-04-29 10:34:32 +0200 | ft | (~ft@p4fc2a1f9.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-04-29 10:50:03 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2024-04-29 10:52:55 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 246 seconds) |
| 2024-04-29 10:52:58 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-04-29 10:56:24 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 255 seconds) |
| 2024-04-29 11:09:04 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-29 11:12:58 +0200 | xdminsy | (~xdminsy@117.147.70.233) |
| 2024-04-29 11:19:00 +0200 | wei2912 | (~wei2912@137.132.26.109) |
| 2024-04-29 11:19:39 +0200 | wei2912 | (~wei2912@137.132.26.109) (Client Quit) |
| 2024-04-29 11:20:20 +0200 | wei2912 | (~wei2912@137.132.26.109) |
| 2024-04-29 11:23:56 +0200 | danza | (~francesco@151.37.162.148) |
| 2024-04-29 11:35:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-29 11:35:56 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-29 11:36:51 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 268 seconds) |
| 2024-04-29 11:36:52 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-29 11:37:00 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-29 11:51:08 +0200 | danza | (~francesco@151.37.162.148) (Read error: Connection reset by peer) |
| 2024-04-29 11:51:47 +0200 | danza | (~francesco@151.37.162.148) |
| 2024-04-29 12:03:39 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-29 12:06:03 +0200 | Square3 | (~Square4@user/square) |
| 2024-04-29 12:12:17 +0200 | demon-cat | (~demon-cat@82-132-217-251.dab.02.net) |
| 2024-04-29 12:17:50 +0200 | mwnaylor | (~user@2601:5cf:837e:2bb0::824e) (Ping timeout: 245 seconds) |
| 2024-04-29 12:31:24 +0200 | demon-cat | (~demon-cat@82-132-217-251.dab.02.net) (Ping timeout: 252 seconds) |
| 2024-04-29 12:32:27 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-04-29 12:36:54 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Ping timeout: 252 seconds) |
| 2024-04-29 12:39:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-04-29 12:46:41 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-29 12:49:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-04-29 12:52:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-29 12:53:12 +0200 | demon-cat | (~demon-cat@82-132-217-251.dab.02.net) |
| 2024-04-29 12:58:17 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2024-04-29 12:58:48 +0200 | teqwve | (teqwve@static.141.38.201.195.clients.your-server.de) (Quit: cya) |
| 2024-04-29 12:59:06 +0200 | lockna_ | (~lockna@static.139.16.130.94.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-29 12:59:07 +0200 | fiddlerw- | (~fiddlerwo@user/fiddlerwoaroof) (Quit: Gone.) |
| 2024-04-29 12:59:17 +0200 | A_Dragon | (A_D@libera/staff/dragon) (Quit: ZNC - https://znc.in) |
| 2024-04-29 12:59:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-04-29 12:59:59 +0200 | wei2912 | (~wei2912@137.132.26.109) (Quit: Lost terminal) |
| 2024-04-29 13:01:04 +0200 | kmein | (~weechat@user/kmein) (Ping timeout: 255 seconds) |
| 2024-04-29 13:01:21 +0200 | lockna | (~lockna@2a01:4f8:10b:14f1::2) |
| 2024-04-29 13:01:25 +0200 | teqwve | (teqwve@static.141.38.201.195.clients.your-server.de) |
| 2024-04-29 13:01:32 +0200 | A_Dragon | (A_D@libera/staff/dragon) |
| 2024-04-29 13:01:43 +0200 | canta | (~canta@user/canta) (Ping timeout: 246 seconds) |
| 2024-04-29 13:01:44 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) (Ping timeout: 256 seconds) |
| 2024-04-29 13:01:44 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (Ping timeout: 256 seconds) |
| 2024-04-29 13:02:08 +0200 | kmein | (~weechat@user/kmein) |
| 2024-04-29 13:02:12 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) |
| 2024-04-29 13:02:25 +0200 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
| 2024-04-29 13:03:05 +0200 | lambdap2371 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2024-04-29 13:03:37 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds) |
| 2024-04-29 13:03:37 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-29 13:05:03 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-29 13:05:22 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-04-29 13:07:12 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2024-04-29 13:13:47 +0200 | canta | (~canta@user/canta) |
| 2024-04-29 13:25:20 +0200 | danza | (~francesco@151.37.162.148) (Ping timeout: 245 seconds) |
| 2024-04-29 13:46:45 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 2024-04-29 13:50:00 +0200 | andrewboltachev | (~andrewbol@178.141.238.156) |
| 2024-04-29 13:53:16 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-29 13:55:17 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-29 14:00:44 +0200 | TheOneWhoFuncts | (~Thunderbi@104.28.233.86) |
| 2024-04-29 14:13:40 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2024-04-29 14:16:07 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-04-29 14:20:38 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-04-29 14:23:21 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-29 14:26:03 +0200 | <TheOneWhoFuncts> | Hello, I am a haskell beginner and I wanted to ask how are applicative functors generalization of Monads wrt Category theory? |
| 2024-04-29 14:27:35 +0200 | demon-cat | (~demon-cat@82-132-217-251.dab.02.net) (Ping timeout: 264 seconds) |
| 2024-04-29 14:28:35 +0200 | <ncf> | every (strong) monad gives rise to an applicative functor (often two), so there are "more" applicative functors than monads |
| 2024-04-29 14:29:02 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-29 14:29:59 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-29 14:33:23 +0200 | <TheOneWhoFuncts> | Ok, so is it possible to implement <*> using bind and return? |
| 2024-04-29 14:33:23 +0200 | <TheOneWhoFuncts> | Also, what does an applicative functor correspond to in category theory? |
| 2024-04-29 14:33:23 +0200 | <TheOneWhoFuncts> | P.S - I have seen bartosz milewski's lecture videos for category theory I and II |
| 2024-04-29 14:34:43 +0200 | <ncf> | @src ap |
| 2024-04-29 14:34:43 +0200 | <lambdabot> | ap = liftM2 id |
| 2024-04-29 14:34:47 +0200 | <ncf> | :t ap |
| 2024-04-29 14:34:48 +0200 | <lambdabot> | Monad m => m (a -> b) -> m a -> m b |
| 2024-04-29 14:34:58 +0200 | <ncf> | @src liftM2 |
| 2024-04-29 14:34:59 +0200 | <lambdabot> | liftM2 f m1 m2 = do |
| 2024-04-29 14:34:59 +0200 | <lambdabot> | x1 <- m1 |
| 2024-04-29 14:34:59 +0200 | <lambdabot> | x2 <- m2 |
| 2024-04-29 14:34:59 +0200 | <lambdabot> | return (f x1 x2) |
| 2024-04-29 14:35:45 +0200 | <ncf> | a second implementation would be liftM2' f m1 m2 = do x2 <- m2; x1 <- m1; return (f x1 x2) -- this corresponds to sequencing the effects backwards, or right-to-left |
| 2024-04-29 14:35:53 +0200 | eron | (~eron@168.196.116.143) |
| 2024-04-29 14:36:43 +0200 | <ncf> | applicative functors can be modelled as either lax closed functors or (most often) lax monoidal functors |
| 2024-04-29 14:37:34 +0200 | <ncf> | (these notions coincide on closed monoidal categories) |
| 2024-04-29 14:43:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-04-29 14:44:54 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-29 14:45:56 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-29 14:46:15 +0200 | <TheOneWhoFuncts> | Oh ok Thanks a lot! |
| 2024-04-29 14:46:15 +0200 | <TheOneWhoFuncts> | Is there any ghci command like the one you used for viewing source? |
| 2024-04-29 14:50:02 +0200 | AlexNoo_ | AlexNoo |
| 2024-04-29 15:03:41 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 256 seconds) |
| 2024-04-29 15:04:50 +0200 | <probie> | If the code is interpreted by GHCi, you can use :list, but that won't work for compiled modules so probably won't do what you want |
| 2024-04-29 15:05:47 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Remote host closed the connection) |
| 2024-04-29 15:06:39 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-29 15:07:08 +0200 | <TheOneWhoFuncts> | Thanks, I guess online search is the best option |
| 2024-04-29 15:07:31 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 256 seconds) |
| 2024-04-29 15:09:41 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-04-29 15:12:54 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-04-29 15:15:20 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-29 15:18:23 +0200 | andrewboltachev | (~andrewbol@178.141.238.156) (Quit: Client closed) |
| 2024-04-29 15:21:00 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 255 seconds) |
| 2024-04-29 15:25:08 +0200 | demon-cat | (~demon-cat@82-132-217-251.dab.02.net) |
| 2024-04-29 15:28:10 +0200 | ystael | (~ystael@user/ystael) |
| 2024-04-29 15:29:57 +0200 | demon-cat | (~demon-cat@82-132-217-251.dab.02.net) (Ping timeout: 272 seconds) |
| 2024-04-29 15:36:10 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
| 2024-04-29 15:40:02 +0200 | famubu | (~julinuser@user/famubu) |
| 2024-04-29 15:41:03 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-04-29 15:41:17 +0200 | <famubu> | I had been trying to use megaparsec to make a parser for simple regex. For concatenation, I have a constructor `Cat Re Re` where `Re` is type of regex. How should I make parser for `Cat`? It should be like `Parser Re -> Parser Re -> Parser (Re -> Re -> Re)`, right? |
| 2024-04-29 15:42:54 +0200 | mei | Guest488 |
| 2024-04-29 15:42:54 +0200 | Guest488 | (~mei@user/mei) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2024-04-29 15:42:59 +0200 | mei | (~mei@user/mei) |
| 2024-04-29 15:43:37 +0200 | <famubu> | I mean, it should take two parser (one each for the two regex) and make a parser for the concatenation of them, right? |
| 2024-04-29 15:45:07 +0200 | <ncf> | parse a list of atoms and then fold that into a regex using Cat and your constructor for the empty regex? |
| 2024-04-29 15:45:31 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-29 15:47:22 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2024-04-29 15:47:25 +0200 | <famubu> | The top answer here also does it that way: https://stackoverflow.com/questions/9020254/using-parsec-to-parse-regular-expressions |
| 2024-04-29 15:47:33 +0200 | <famubu> | Is that how it's usually done? |
| 2024-04-29 15:48:26 +0200 | <EvanR> | is the regular expression language regular |
| 2024-04-29 15:48:35 +0200 | <EvanR> | can it "parse" itself |
| 2024-04-29 15:48:53 +0200 | <dolio> | No. |
| 2024-04-29 15:50:18 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-04-29 15:50:27 +0200 | <famubu> | 🤔 |
| 2024-04-29 15:50:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-04-29 15:51:00 +0200 | <famubu> | I heard people saying that parsing needs something more than regex. So I guess not. |
| 2024-04-29 15:51:04 +0200 | <ncf> | it has parentheses |
| 2024-04-29 15:51:30 +0200 | <famubu> | Ah.. that itself makes it at least context free to do the balancing act, I guess. |
| 2024-04-29 15:51:31 +0200 | <EvanR> | it depends on the language |
| 2024-04-29 15:51:46 +0200 | <ncf> | is there *a* regular language that describes regular expressions |
| 2024-04-29 15:52:08 +0200 | <famubu> | No |
| 2024-04-29 15:52:17 +0200 | <famubu> | Recursion is needed. |
| 2024-04-29 15:52:40 +0200 | famubu | is wondering if what he just typed is correct.. |
| 2024-04-29 15:53:02 +0200 | EvanR | runs famubu through the type checker |
| 2024-04-29 15:53:07 +0200 | <ncf> | actually, is Unlambda regular |
| 2024-04-29 15:53:11 +0200 | <famubu> | :D |
| 2024-04-29 15:53:51 +0200 | <ncf> | i guess not |
| 2024-04-29 15:53:59 +0200 | euleritian | (~euleritia@dynamic-176-007-169-212.176.7.pool.telefonica.de) |
| 2024-04-29 15:55:30 +0200 | <ncf> | take a long enough word like `^n k^n then pump the backticks |
| 2024-04-29 15:55:43 +0200 | <ncf> | er k^{n+1} |
| 2024-04-29 15:58:50 +0200 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-04-29 16:01:03 +0200 | <ncf> | https://stackoverflow.com/questions/19533804/is-there-a-regular-language-to-represent-regular-expr… |
| 2024-04-29 16:01:15 +0200 | <ncf> | » a regular language cannot be isomorphic to a non-regular language |
| 2024-04-29 16:01:46 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-29 16:01:55 +0200 | <dolio> | What does isomorphic mean there? |
| 2024-04-29 16:02:01 +0200 | <ncf> | no idea |
| 2024-04-29 16:02:17 +0200 | <ncf> | i wonder if the isomorphism has to be "regular" itself for this to work :^) |
| 2024-04-29 16:02:49 +0200 | <ncf> | (i.e. implementable as a finite-state transducer or something) |
| 2024-04-29 16:02:57 +0200 | <dolio> | I was thinking you could try to replace parentheses by something like numbers that say how to group the following expressions. But I think that still isn't regular. |
| 2024-04-29 16:03:06 +0200 | <ncf> | yeah |
| 2024-04-29 16:03:23 +0200 | <ncf> | that's basically what unlambda (or generally prefix notation) does, but with unary numbers |
| 2024-04-29 16:03:31 +0200 | <dolio> | You could recognize the numbers, but not whether the rest of the string is able to be grouped successfully by the numbers. |
| 2024-04-29 16:05:24 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-29 16:05:41 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
| 2024-04-29 16:06:22 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 16:06:31 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 246 seconds) |
| 2024-04-29 16:10:16 +0200 | eron | (~eron@168.196.116.143) (Ping timeout: 250 seconds) |
| 2024-04-29 16:14:34 +0200 | causal | (~eric@50.35.88.207) |
| 2024-04-29 16:15:44 +0200 | TheOneWhoFuncts | (~Thunderbi@104.28.233.86) (Quit: TheOneWhoFuncts) |
| 2024-04-29 16:17:19 +0200 | Guest83 | (~Guest83@104.28.201.82) |
| 2024-04-29 16:17:20 +0200 | Guest83 | (~Guest83@104.28.201.82) () |
| 2024-04-29 16:17:51 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-04-29 16:19:51 +0200 | <famubu> | Another megaparsec doubt: To have a parser for parsing `r{2,3}` where r is repeated as per bounds, what should the type of the parser be? Should it be `Parser (Re -> Re)`? But then, how would I take care of the two `Int` values? |
| 2024-04-29 16:20:57 +0200 | <ncf> | the type of the parser dictates what the parser produces, rather than what it parses. `r{2,3}` is a regular expression, so your type is Parser Re |
| 2024-04-29 16:21:47 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-29 16:22:02 +0200 | <ncf> | Parser (Re -> Re) could be used if you wanted to parse a regular *operator* (like * or ?) separately |
| 2024-04-29 16:22:13 +0200 | <ncf> | since those correspond to functions Re -> Re |
| 2024-04-29 16:22:27 +0200 | <famubu> | Oh.. okay. Thanks. |
| 2024-04-29 16:26:12 +0200 | <famubu> | Then would concatenation (if made as `Cat Re Re` constructor) also not be an operator? |
| 2024-04-29 16:26:36 +0200 | <ncf> | a binary operator, yes |
| 2024-04-29 16:26:37 +0200 | <famubu> | I had figured `r{2,3}` to be an operator because it takes another regex and kind of augments uit. |
| 2024-04-29 16:26:55 +0200 | <ncf> | if you mean just the {2,3} part sure |
| 2024-04-29 16:27:55 +0200 | <famubu> | This is what I got at the moment: https://bpa.st/GEVQ |
| 2024-04-29 16:28:48 +0200 | <famubu> | Oh wait.. I think `cat` was modified afterwards.. |
| 2024-04-29 16:29:30 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-04-29 16:29:34 +0200 | <famubu> | Let me try fixing that. |
| 2024-04-29 16:30:27 +0200 | <famubu> | I got the concatenation wrong as well: https://bpa.st/RUFA |
| 2024-04-29 16:30:32 +0200 | <famubu> | Any pointers anyone? |
| 2024-04-29 16:31:14 +0200 | <ncf> | what's wrong there? |
| 2024-04-29 16:31:30 +0200 | <famubu> | It's parsing as `-- Cat (Atom 'A') (Cat (Atom 'B') (Cat (Atom 'C') (Atom 'D'))) |
| 2024-04-29 16:31:53 +0200 | <ncf> | and? |
| 2024-04-29 16:31:53 +0200 | <famubu> | I wanted `Cat (Atom 'A') (Cat (Atom 'B') (Cat (Atom 'C')))` |
| 2024-04-29 16:32:04 +0200 | <int-e> | but there's a D |
| 2024-04-29 16:32:26 +0200 | <famubu> | Well, yeah that too. |
| 2024-04-29 16:32:28 +0200 | <int-e> | Cat (Atom 'C') makes no sense |
| 2024-04-29 16:32:37 +0200 | <int-e> | `Cat` needs a second argument |
| 2024-04-29 16:32:52 +0200 | <int-e> | (well it makes sense in isolation but not in your expression) |
| 2024-04-29 16:33:34 +0200 | <famubu> | Yeah I meant: `Cat (Atom 'A') (Cat (Atom 'B') (Cat (Atom 'C') (Atom 'D')))` |
| 2024-04-29 16:33:44 +0200 | <int-e> | that is exactly what you got |
| 2024-04-29 16:33:47 +0200 | <ncf> | these are the same pictures |
| 2024-04-29 16:34:26 +0200 | <famubu> | Huh... |
| 2024-04-29 16:34:27 +0200 | <famubu> | Oh... |
| 2024-04-29 16:34:29 +0200 | <famubu> | Sorry!!! |
| 2024-04-29 16:34:32 +0200 | <ncf> | perhaps use an infix operator for Cat so that it's clearer |
| 2024-04-29 16:34:50 +0200 | <famubu> | Okay. |
| 2024-04-29 16:35:30 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-04-29 16:36:00 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-04-29 16:37:33 +0200 | <famubu> | How do we mention associativity with infix? |
| 2024-04-29 16:37:42 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-29 16:37:48 +0200 | <ncf> | infixl/infixr |
| 2024-04-29 16:39:19 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2024-04-29 16:39:31 +0200 | <famubu> | Is there a way to directly make a constructor infix? Or should we make a function and make that infix? |
| 2024-04-29 16:40:27 +0200 | <lortabac> | you can define an infix constructor by using a name that starts with ':' |
| 2024-04-29 16:40:41 +0200 | <lortabac> | and only contains symbols |
| 2024-04-29 16:40:53 +0200 | <ncf> | data Re a = ... | Re a :- Re a | ... |
| 2024-04-29 16:41:28 +0200 | euleritian | (~euleritia@dynamic-176-007-169-212.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-29 16:41:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-29 16:42:10 +0200 | <EvanR> | > 2 :+ 1 |
| 2024-04-29 16:42:12 +0200 | <lambdabot> | 2 :+ 1 |
| 2024-04-29 16:42:20 +0200 | <EvanR> | :t 2 :+ 1 |
| 2024-04-29 16:42:21 +0200 | <lambdabot> | Num a => Complex a |
| 2024-04-29 16:42:52 +0200 | <famubu> | Thanks! Made it to: https://bpa.st/AJQA |
| 2024-04-29 16:42:56 +0200 | <famubu> | Got output like `-- Atom 'A' :- (Atom 'B' :- (Atom 'C' :- Atom 'D'))` |
| 2024-04-29 16:45:13 +0200 | <int-e> | Yeah the derived Show instances don't take the declared associativity into account. |
| 2024-04-29 16:45:31 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) (Remote host closed the connection) |
| 2024-04-29 16:45:55 +0200 | stefan-__ | (~m-yh2rcc@42dots.de) |
| 2024-04-29 16:45:56 +0200 | <famubu> | But it is showing it as right associativity here, right? |
| 2024-04-29 16:45:59 +0200 | <int-e> | and neither do the Read instances |
| 2024-04-29 16:46:04 +0200 | <int-e> | yes it is |
| 2024-04-29 16:46:45 +0200 | <famubu> | Oh you meant for the other version. |
| 2024-04-29 16:47:09 +0200 | <int-e> | I was testing a trimmed down version in ghci: infixl :-; data X = X :- X | Z deriving (Show, Read) |
| 2024-04-29 16:47:38 +0200 | <int-e> | because I didn't remember what Show and Read do in that case. |
| 2024-04-29 16:48:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-04-29 16:50:46 +0200 | <famubu> | Where can we find documentation mentioning infixl,infixr,etc? Couldn't spot it with a simple internet search. |
| 2024-04-29 16:51:17 +0200 | <EvanR> | haskell report xD |
| 2024-04-29 16:52:43 +0200 | <int-e> | https://www.haskell.org/onlinereport/decls.html#fixity |
| 2024-04-29 16:53:24 +0200 | <int-e> | (putting `haskell "infixl" "infixr"` into a search engine worked for me) |
| 2024-04-29 16:55:35 +0200 | <famubu> | Thanks |
| 2024-04-29 16:57:17 +0200 | <mauke> | https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-820004.4.2 |
| 2024-04-29 16:57:24 +0200 | <mauke> | in the "newer" report |
| 2024-04-29 16:58:28 +0200 | <EvanR> | duck it |
| 2024-04-29 16:58:43 +0200 | <famubu> | I had been often finding it difficult to find documentation for haskell. Even for things that I had seen earlier but forgotten. I guess a glance at the haskell report is a way to go in such circumstances. |
| 2024-04-29 16:59:29 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-29 17:02:21 +0200 | <EvanR> | worse case scenario start putting together a haskell cheatsheet for your own inscrutable purposes |
| 2024-04-29 17:02:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-04-29 17:02:45 +0200 | <int-e> | write a compiler to really understand all the details |
| 2024-04-29 17:02:52 +0200 | <famubu> | Well.. I have started: https://rawtext.club/~famubu/wiki/haskell/general.html |
| 2024-04-29 17:02:58 +0200 | <famubu> | Don't know how accurate. |
| 2024-04-29 17:03:26 +0200 | euleritian | (~euleritia@dynamic-176-007-169-212.176.7.pool.telefonica.de) |
| 2024-04-29 17:04:27 +0200 | <EvanR> | an inaccurate cheatsheet is definitely hazardous |
| 2024-04-29 17:05:04 +0200 | <famubu> | 😬 |
| 2024-04-29 17:05:17 +0200 | <famubu> | It at least gives something to build on. |
| 2024-04-29 17:05:57 +0200 | famubu | is going afk |
| 2024-04-29 17:07:35 +0200 | euleritian | (~euleritia@dynamic-176-007-169-212.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-29 17:07:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-29 17:18:22 +0200 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-04-29 17:25:42 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-04-29 17:29:21 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-29 17:33:46 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 2024-04-29 17:37:45 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 2024-04-29 17:41:41 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-04-29 17:43:11 +0200 | pyooque | (~puke@user/puke) |
| 2024-04-29 17:43:11 +0200 | puke | (~puke@user/puke) (Killed (lithium.libera.chat (Nickname regained by services))) |
| 2024-04-29 17:43:11 +0200 | pyooque | puke |
| 2024-04-29 17:46:06 +0200 | <shapr> | In case anyone wants to enable code coverage for tests, you will find success with: cabal clean && cabal configure --enable-coverage --enable-tests && cabal test |
| 2024-04-29 17:46:36 +0200 | <shapr> | you will *not* find success with: cabal run tests --enable-coverage # THIS DOES NOT DO WHAT YOU WANT |
| 2024-04-29 17:46:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2024-04-29 17:47:24 +0200 | <EvanR> | cabal test vs cabal run tests... what |
| 2024-04-29 17:48:15 +0200 | <shapr> | I dunno |
| 2024-04-29 17:48:24 +0200 | <shapr> | this is live coverage of this exciting news event |
| 2024-04-29 17:48:27 +0200 | <shapr> | ok, it's not exciting |
| 2024-04-29 17:48:47 +0200 | <shapr> | but at least I figured out why I wasn't seeing any coverage from the tests |
| 2024-04-29 17:49:34 +0200 | <shapr> | I'm working on Kudzu again, and I'd like to compare QuickCheck and HedgeHog tests, if I can create equivalent properties. |
| 2024-04-29 17:49:54 +0200 | <int-e> | This is HNN reporting live from the scene where we can observe a developer uncovering the mysteries of a nefarious cabal that has made it their mission to drive 42.765% of its users insane. |
| 2024-04-29 17:49:54 +0200 | <shapr> | I could create props in QuickCheck and run them with both QC and HH? |
| 2024-04-29 17:50:04 +0200 | <shapr> | int-e: does feel like that sometimes |
| 2024-04-29 17:50:36 +0200 | <shapr> | on the good side, cabal configure told me that I had an existing cabal.project.local and it made a backup and wrote the correct combination of options into the new cabal.project.local |
| 2024-04-29 17:52:43 +0200 | <shapr> | hm |
| 2024-04-29 17:52:47 +0200 | <shapr> | I thought it was enough to have "coverage: True" but cabal gave me this cabal.project.local: ignore-project: False \n tests: True \n coverage: True \n library-coverage: True |
| 2024-04-29 17:54:07 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
| 2024-04-29 17:54:38 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-29 17:56:35 +0200 | <shapr> | next step is to see if I can extract the tix files with their counts so I can get raw coverage before it's stuffed into HPC's html output |
| 2024-04-29 18:03:28 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
| 2024-04-29 18:04:42 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Ping timeout: 252 seconds) |
| 2024-04-29 18:05:01 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-29 18:06:37 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
| 2024-04-29 18:06:53 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 268 seconds) |
| 2024-04-29 18:07:15 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-04-29 18:22:00 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-04-29 18:23:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-04-29 18:23:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-29 18:23:46 +0200 | gaff | (~gaff@49.207.216.126) |
| 2024-04-29 18:23:50 +0200 | euleritian | (~euleritia@dynamic-176-007-169-212.176.7.pool.telefonica.de) |
| 2024-04-29 18:24:12 +0200 | euleritian | (~euleritia@dynamic-176-007-169-212.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-29 18:24:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-29 18:26:57 +0200 | <famubu> | Hi again. I am trying to write a regex parser with megaparsec. Am trying to make a parser to deal with `r{2,3}` where the corresponding constructor is `Rep Re Integer Integer`. How would I do this using operator table? I guess we need the parser to take a regex and 2 integers as argument? But all arguments need to be same type, right? Then that isn't it, right? |
| 2024-04-29 18:27:31 +0200 | <famubu> | This is what I got now: https://bpa.st/XOWA |
| 2024-04-29 18:27:59 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!) |
| 2024-04-29 18:28:10 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-29 18:29:12 +0200 | <ncf> | it's a postfix operator |
| 2024-04-29 18:29:51 +0200 | <gaff> | Using the State monad helps in threading the state through computations behind the scenes, but you will/may still need to use get and put in individual functions involved, right? |
| 2024-04-29 18:31:33 +0200 | <ncf> | famubu: rep should only parse {n,m} and return the function \r -> Rep r n m |
| 2024-04-29 18:34:57 +0200 | <ncf> | gaff: sure, if that's the API you're using |
| 2024-04-29 18:36:20 +0200 | <gaff> | ncf: that repeated use of `get` and `put` in functions involved wouldn't be considered "state bookkeeping" boilerplate code then? |
| 2024-04-29 18:38:07 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-04-29 18:38:13 +0200 | <ncf> | i don't know how i'm supposed to answer that without seeing any code! |
| 2024-04-29 18:38:46 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-04-29 18:38:46 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 2024-04-29 18:38:47 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2024-04-29 18:39:38 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-29 18:39:52 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-29 18:39:53 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-29 18:40:09 +0200 | <gaff> | here is an example: `f = do { s <- get; let (a, b) = g s; put b; return a }` and similar stuff in perhaps other functions as well. |
| 2024-04-29 18:41:24 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Quit: WeeChat 4.2.1) |
| 2024-04-29 18:41:50 +0200 | <ncf> | in that specific case you could perhaps just use `state` |
| 2024-04-29 18:41:51 +0200 | <ncf> | :t state |
| 2024-04-29 18:41:52 +0200 | <lambdabot> | MonadState s m => (s -> (a, s)) -> m a |
| 2024-04-29 18:42:11 +0200 | <ncf> | f = state g |
| 2024-04-29 18:42:34 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 2024-04-29 18:43:56 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-04-29 18:44:25 +0200 | <gaff> | ncf: thanks. I know. But i am asking that structure I presented, or more generally the use of `get` and `put`, are expected monadic operations in code dealing with the State monad? |
| 2024-04-29 18:44:26 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-04-29 18:45:10 +0200 | <ncf> | sure |
| 2024-04-29 18:45:33 +0200 | <ncf> | why else would they be exported |
| 2024-04-29 18:46:38 +0200 | <geekosaur> | the state monad would be pretty useless if you couldn't access or update the state |
| 2024-04-29 18:46:39 +0200 | <EvanR> | you say boilerplate and say can you move the boilerplate to a function which can be called |
| 2024-04-29 18:46:46 +0200 | <EvanR> | I say* |
| 2024-04-29 18:47:11 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-04-29 18:47:50 +0200 | Lears | (~Leary]@user/Leary/x-0910699) (Remote host closed the connection) |
| 2024-04-29 18:47:53 +0200 | <gaff> | ncf: well, I want to be clear about what is state "bookkeeping" (which you would have to do if you didn't use the State monad) vs the use of these functions `get` and `put`. |
| 2024-04-29 18:47:57 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-29 18:48:26 +0200 | <ncf> | that's not a well-defined concept, just a vibe |
| 2024-04-29 18:48:55 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-04-29 18:49:14 +0200 | <ncf> | if you end up using get and put in between every function call then i would say you are bookkeeping and defeating the purpose of State |
| 2024-04-29 18:49:44 +0200 | <ncf> | but other than that get and put are just part of the normal State interface |
| 2024-04-29 18:50:28 +0200 | <gaff> | ncf: I am not really clear what you meant there. |
| 2024-04-29 18:52:07 +0200 | <ncf> | i mean you are asking for a general yes/no answer to something that is essentially a value judgement (bookkeeping) and highly context-dependent |
| 2024-04-29 18:52:15 +0200 | <gaff> | Consider the following example. you are writing a bunch of parser combinators, and many of these combinators use `get` and `put`. Is that circumventing the State monad? |
| 2024-04-29 18:52:35 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-29 18:53:55 +0200 | <ncf> | @8ball |
| 2024-04-29 18:53:55 +0200 | <lambdabot> | Unknown command, try @list |
| 2024-04-29 18:54:11 +0200 | <ncf> | :( |
| 2024-04-29 18:54:12 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-04-29 18:54:26 +0200 | <EvanR> | outlook unclear call again |
| 2024-04-29 18:55:47 +0200 | <ncf> | let's go with no |
| 2024-04-29 18:56:03 +0200 | <gaff> | ncf: thanks |
| 2024-04-29 18:56:54 +0200 | Square | (~Square@user/square) |
| 2024-04-29 18:58:51 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-29 19:00:38 +0200 | gaff | (~gaff@49.207.216.126) () |
| 2024-04-29 19:12:08 +0200 | andrewboltachev | (~andrewbol@178.141.238.156) |
| 2024-04-29 19:15:50 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-29 19:18:32 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-04-29 19:20:15 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-29 19:20:55 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-04-29 19:21:03 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-29 19:22:44 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 268 seconds) |
| 2024-04-29 19:23:33 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-04-29 19:26:26 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-04-29 19:33:43 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-04-29 19:36:20 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 19:36:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-29 19:37:12 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-29 19:50:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-29 19:56:42 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-29 19:59:31 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-29 19:59:36 +0200 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-04-29 20:03:46 +0200 | andrewboltachev | (~andrewbol@178.141.238.156) (Quit: Client closed) |
| 2024-04-29 20:04:03 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 252 seconds) |
| 2024-04-29 20:05:50 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 20:07:37 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 20:07:50 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 20:08:13 +0200 | qqq | (~qqq@92.43.167.61) |
| 2024-04-29 20:08:19 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-04-29 20:10:46 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-29 20:13:32 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-29 20:17:47 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-29 20:23:15 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 245 seconds) |
| 2024-04-29 20:25:06 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-04-29 20:26:01 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 20:26:35 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 20:30:07 +0200 | cashew | (~cashewsta@65.17.175.150) (Remote host closed the connection) |
| 2024-04-29 20:30:16 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 268 seconds) |
| 2024-04-29 20:30:19 +0200 | cashew | (~cashewsta@65.17.175.150) |
| 2024-04-29 20:30:37 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-04-29 20:30:50 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-29 20:35:06 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-04-29 20:38:46 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-29 20:46:35 +0200 | <monochrom> | Belate hot take: Which part of computation at all is not bookkeeping anyway. >:) |
| 2024-04-29 20:49:41 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-04-29 20:50:14 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-29 20:51:14 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 268 seconds) |
| 2024-04-29 20:52:11 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-04-29 20:53:00 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-04-29 20:55:24 +0200 | andrewboltachev | (~andrewbol@178.141.238.156) |
| 2024-04-29 21:03:43 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-29 21:05:03 +0200 | ft | (~ft@p4fc2a1f9.dip0.t-ipconnect.de) |
| 2024-04-29 21:05:08 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |