| 2022-08-24 00:05:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-24 00:07:57 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-08-24 00:08:14 +0200 | Rumham347 | (~Rumham347@128-193-154-76.ptpg.oregonstate.edu) (Ping timeout: 252 seconds) |
| 2022-08-24 00:09:34 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-24 00:10:51 +0200 | remedan | (~remedan@octo.cafe) (Ping timeout: 256 seconds) |
| 2022-08-24 00:12:45 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-08-24 00:13:56 +0200 | remedan | (~remedan@octo.cafe) |
| 2022-08-24 00:14:39 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-08-24 00:15:36 +0200 | Guest85 | (~Guest85@2606:54c0:3960:a8::10e:48) |
| 2022-08-24 00:15:42 +0200 | Guest85 | (~Guest85@2606:54c0:3960:a8::10e:48) (Client Quit) |
| 2022-08-24 00:17:49 +0200 | tvandinther | (~tvandinth@2404:4408:8740:3800:950f:d0b3:e0d9:5195) |
| 2022-08-24 00:20:07 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-24 00:20:38 +0200 | <tvandinther> | I sometimes get this error and I never really understand how to fix it. Using HLS in VS Code, I often get the language server failing 5 times in a row, and the output mentions something about hie.yaml not being found. I created the project using the default stack template, which I figure should work out of the box. I mainly just get this issue in |
| 2022-08-24 00:20:38 +0200 | <tvandinther> | WSL, but on a Mac, it seems to not be an issue. What's going on here? |
| 2022-08-24 00:23:34 +0200 | <geekosaur> | hie.yaml should generally be optional, but I've had to create it in a few cases to keep HLS from getting confused. |
| 2022-08-24 00:23:57 +0200 | <geekosaur> | it is an HLS project description file |
| 2022-08-24 00:24:07 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-08-24 00:24:07 +0200 | <geekosaur> | (HLS grew out of HIE) |
| 2022-08-24 00:24:22 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-24 00:24:26 +0200 | mmhat | (~mmh@p200300f1c7086024ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-08-24 00:24:51 +0200 | <geekosaur> | that said, you might check to see if there are other errors than that |
| 2022-08-24 00:25:24 +0200 | <geekosaur> | the cases where I've needed to create one, the actual errors were about not finding projects inside other projects (because they weren't supposed to be there) |
| 2022-08-24 00:25:33 +0200 | <geekosaur> | maybe pastebin the full error log |
| 2022-08-24 00:25:35 +0200 | <geekosaur> | @where paste |
| 2022-08-24 00:25:36 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-08-24 00:25:46 +0200 | <geekosaur> | also try #haskell-language-server |
| 2022-08-24 00:25:47 +0200 | remedan | (~remedan@octo.cafe) (Ping timeout: 252 seconds) |
| 2022-08-24 00:26:18 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-08-24 00:26:34 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-24 00:28:39 +0200 | remedan | (~remedan@octo.cafe) |
| 2022-08-24 00:32:18 +0200 | <tvandinther> | https://paste.tomsmeding.com/KA4CDRkl |
| 2022-08-24 00:33:20 +0200 | <dmj`> | is there a type-level Read? given 'type Name = "Person"` can I get a `Person` from `data Person`, etc. |
| 2022-08-24 00:33:22 +0200 | <tvandinther> | It also says something about ABIs dont match |
| 2022-08-24 00:34:14 +0200 | <geekosaur> | yes, that's the real error |
| 2022-08-24 00:34:39 +0200 | <geekosaur> | it correctly uses a built-in cradle because there's no hie.yaml |
| 2022-08-24 00:34:48 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Ping timeout: 268 seconds) |
| 2022-08-24 00:35:01 +0200 | <tvandinther> | Should I try upgrading ghc? |
| 2022-08-24 00:35:26 +0200 | <geekosaur> | hm. is ghc installed from ghcup, or do you have a system ghc or bindist installed somewhere? |
| 2022-08-24 00:36:31 +0200 | <tvandinther> | ghcup. I read somewhere (as of 3 months ago) that ghc has a known bug regarding this |
| 2022-08-24 00:36:43 +0200 | <geekosaur> | the "ABIs don't match" means the HLS executable was built against a different ghc |
| 2022-08-24 00:37:03 +0200 | <hpc> | dmj`: somewhere in TH probably? |
| 2022-08-24 00:37:29 +0200 | mmhat | (~mmh@p200300f1c70860b0ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-08-24 00:37:35 +0200 | <geekosaur> | you might ask in #haskell-language-server. this isn't a ghc bug as such, it's just a ghc mismatch from what HLS expects |
| 2022-08-24 00:37:42 +0200 | <geekosaur> | which could be HLS's fault |
| 2022-08-24 00:37:48 +0200 | <tvandinther> | alright I'll ask over there. thanks |
| 2022-08-24 00:39:13 +0200 | <dmj`> | hpc: Was hoping not to use any TH :/ ... I can get from Person to "Person" by way of GHC.Generics and some closed type families on `(C1 ('MetaCons name _ _) _) = name`. But I realized I'm actually interested in the opposite direction. |
| 2022-08-24 00:39:56 +0200 | <geekosaur> | more to the point, there's a "haskell-language-server-wrapper" which is supposed to run the correct HLS binary for your ghc version and ABI |
| 2022-08-24 00:40:06 +0200 | <geekosaur> | which it apparently isn't |
| 2022-08-24 00:40:38 +0200 | <geekosaur> | dmj`, that sounds like singletons |
| 2022-08-24 00:40:49 +0200 | <geekosaur> | or something involving it |
| 2022-08-24 00:41:11 +0200 | <geekosaur> | I guess not literally singletons since that'd be a Symbol, not a String |
| 2022-08-24 00:41:18 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-24 00:41:22 +0200 | <qrpnxz> | tvandinther: when it says about HLS failing many time in a row. It's either really actually broken, or if i know it actually should woork then i reload then windows a couple times. I have to restart HLS and/or reload window kinda often. Particularly if i change my dependencies, or move things around. |
| 2022-08-24 00:41:23 +0200 | <geekosaur> | but you might well have to demote to promote or something |
| 2022-08-24 00:46:22 +0200 | <dmj`> | I really don't think it's possible yet tbh ... but if it were we could do type-level parsing into haskell types. |
| 2022-08-24 00:50:42 +0200 | off^ | (~off@96.70.11.181) |
| 2022-08-24 00:53:34 +0200 | <johnw> | How is HIE these days? I haven't checked for, oh, 6 years? |
| 2022-08-24 00:53:51 +0200 | Rumham347 | (~Rumham347@128-193-154-76.ptpg.oregonstate.edu) |
| 2022-08-24 00:55:34 +0200 | <tvandinther> | Looking at the output of `ghcup list` I am a little bit confused. So there's a tag on ghc "hls-powered", does this mean I can only use these versions with HLS? Or can I set ghc to the latest version and HLS will work with it? |
| 2022-08-24 00:56:11 +0200 | <geekosaur> | it means it comes with a suitable HLS |
| 2022-08-24 00:56:46 +0200 | <geekosaur> | you may be able to build one for the latest ghc, although usually it takes HLS some time to catch up and 9.4.x has only been out for less than a week |
| 2022-08-24 00:57:36 +0200 | <geekosaur> | and 9.4.1 had enough issues that they may have waited for 9.4.2, which came out yesterday |
| 2022-08-24 00:58:15 +0200 | <tvandinther> | I see, so I should go to the latest hls-powered version for the easiest experience? |
| 2022-08-24 00:58:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-24 00:58:42 +0200 | <sm> | johnw, I think HIE is no more, HLS is the replacement |
| 2022-08-24 00:59:23 +0200 | <sm> | these days it's great, fragile but super useful |
| 2022-08-24 00:59:38 +0200 | <geekosaur> | HLS grew out of HIE |
| 2022-08-24 01:00:06 +0200 | <geekosaur> | there were 2 or 3 different haskell editor interface projects that combined forces a few years ago to make HLS |
| 2022-08-24 01:00:21 +0200 | <geekosaur> | which is why HLS still uses hie.bios |
| 2022-08-24 01:00:51 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-08-24 01:03:10 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:156b:fb3:e0c0:ae2) |
| 2022-08-24 01:04:16 +0200 | <geekosaur> | tvandinther, if it wasn't clear from the ABI issue you came in here with, there has to be a specific HLS binary matching your GHC version and ABI. ghcup installs HLS binaries for the "hls-powered"-tagged ghcs it installs |
| 2022-08-24 01:05:16 +0200 | <geekosaur> | if you can build your own HLS binary against a different ghc, you can copy it into the HLS binary directory or somewhere else where haskell-language-server-wrapper will find it |
| 2022-08-24 01:05:38 +0200 | <tvandinther> | Should I be able to set matching versions through ghcup for both tools? I don't need the latest, just the latest stable one. |
| 2022-08-24 01:05:58 +0200 | <geekosaur> | (HLS is kind of a wrapper for ghc itself, so it needs to match ghc pretty exactly in order to work) |
| 2022-08-24 01:06:56 +0200 | immae1 | (~immae@2a01:4f8:141:53e7::) (Quit: WeeChat 3.3) |
| 2022-08-24 01:07:01 +0200 | <geekosaur> | that's wat the "hls-powered" tag is about. if a ghc version has that tag, then ghcup will install a matching HLS binary for that ghc |
| 2022-08-24 01:07:05 +0200 | immae | (~immae@2a01:4f8:141:53e7::) |
| 2022-08-24 01:07:30 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-24 01:07:48 +0200 | <geekosaur> | or at least it's supposed to; it sounds like maybe it isn't in your case, or you have a different ghc somewhere (beware that stack likes to install its own ghcs which may not match the ghcup-installed one) |
| 2022-08-24 01:08:09 +0200 | <geekosaur> | hm, in fact that may be your problem. try putting "system-ghc: true" in your stack.yaml |
| 2022-08-24 01:08:33 +0200 | <tvandinther> | I did notice I had a ghc binary in `/usr/bin` which I removed |
| 2022-08-24 01:09:02 +0200 | <geekosaur> | so stack doesn't install a different ghc that doesn't work with the ghcup-installed HLS, since stack doesn't currently install matching HLS binaries for its ghcs |
| 2022-08-24 01:09:40 +0200 | <tvandinther> | for the vs code extension I specified to use ghcup versions in its settings too |
| 2022-08-24 01:10:18 +0200 | <geekosaur> | but does your stack.yaml say that? that's what stack will lcare about, not what ghcup or vs code say |
| 2022-08-24 01:11:11 +0200 | <tvandinther> | Right, well my stack.yaml only specifies a resolver URL and packages |
| 2022-08-24 01:12:07 +0200 | <tvandinther> | And system-ghc option gives this error on the main module "Please ensure that ghcide is compiled with the same GHC installation as the project." |
| 2022-08-24 01:12:41 +0200 | <geekosaur> | okay, so you need https://docs.haskellstack.org/en/v2.3.3/yaml_configuration/#system-ghc |
| 2022-08-24 01:12:42 +0200 | wrengr | (~wrengr@201.59.83.34.bc.googleusercontent.com) |
| 2022-08-24 01:13:15 +0200 | <geekosaur> | hm, sounds like you may need to clear .stack-work |
| 2022-08-24 01:13:31 +0200 | <dmj`> | johnw: o/ |
| 2022-08-24 01:13:31 +0200 | <geekosaur> | since you shouldn't have a compiled project yet |
| 2022-08-24 01:15:40 +0200 | <tvandinther> | Okay that seemed to work. Is the key line this? "In a Nix-enabled configuration, stack is incompatible with system-ghc: false." |
| 2022-08-24 01:15:51 +0200 | <tvandinther> | Since I'm running in WSL |
| 2022-08-24 01:16:43 +0200 | <geekosaur> | you shouldn't have nix enabled in that case (pretty sure nix doesn;t work in WSL yet?) and in any case you needed to set system-ghc to true for HLS to find the supported ghc version instead of stack's |
| 2022-08-24 01:16:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-24 01:18:38 +0200 | <tvandinther> | Okay, I somewhat understand it. I find the whole ecosystem quite confusing but hopefully, I get to understand it fully eventually. |
| 2022-08-24 01:20:03 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 248 seconds) |
| 2022-08-24 01:20:24 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-24 01:21:32 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-08-24 01:25:21 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 01:27:20 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-08-24 01:28:29 +0200 | fserucas | (~fserucas@89.214.149.93) (Ping timeout: 252 seconds) |
| 2022-08-24 01:29:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 01:39:32 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-24 01:40:54 +0200 | <segfaultfizzbuzz> | does the in-crowd use nix for their haskell install on macos? if so, is there a guide which Just Works (tm) ? |
| 2022-08-24 01:41:21 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-24 01:41:32 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-24 01:47:27 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: Leaving) |
| 2022-08-24 01:52:58 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-24 01:53:10 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 268 seconds) |
| 2022-08-24 01:54:34 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-24 02:00:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | remedan | (~remedan@octo.cafe) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | aeka | (~aeka@user/hiruji) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | pavonia | (~user@user/siracusa) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | econo | (uid147250@user/econo) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | notzmv | (~zmv@user/notzmv) (*.net *.split) |
| 2022-08-24 02:00:04 +0200 | xff0x | (~xff0x@2405:6580:b080:900:19d1:e58d:306e:9622) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | stefan-_ | (~cri@42dots.de) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | Kaipei | (~Kaiepi@142.68.249.28) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | euandreh | (~euandreh@179.214.113.107) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | polyphem_ | (~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | finsternis | (~X@23.226.237.192) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | AlexZenon | (~alzenon@178.34.150.204) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | Alex_test | (~al_test@178.34.150.204) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | zzz | (~z@user/zero) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | jespada | (~jespada@181.28.113.105) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | pgib | (~textual@173.38.117.89) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | motherfsck | (~motherfsc@user/motherfsck) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | gff | (~gff@user/gff) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | hellwolf | (~hellwolf@7-41-50-84.sta.estpak.ee) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | Ranhir | (~Ranhir@157.97.53.139) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | tom__ | (~tom@host86-160-236-152.range86-160.btcentralplus.com) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | malte | (~malte@mal.tc) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | thatcher | (lp0@heathens.club) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | darxun | (sid504814@id-504814.tinside.irccloud.com) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | megaTherion | (~therion@unix.io) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | crns | (~netcrns@user/crns) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | gawen | (~gawen@user/gawen) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | toby_ | (~toby@137.220.84.171) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | _xor | (~xor@74.215.182.83) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | xstill_ | (xstill@fimu/xstill) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | zachel | (~zachel@user/zachel) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | monochrom | (~trebla@216.138.220.146) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | Inoperable | (~PLAYER_1@fancydata.science) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | Taneb0 | (~Taneb@runciman.hacksoc.org) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | Me-me | (~me-me@user/me-me) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | ajb_ | (~ajb@mimas.whatbox.ca) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | shailangsa | (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) (*.net *.split) |
| 2022-08-24 02:00:05 +0200 | son0p | (~ff@181.136.122.143) (*.net *.split) |
| 2022-08-24 02:00:18 +0200 | ajb_ | (~ajb@mimas.whatbox.ca) |
| 2022-08-24 02:00:18 +0200 | megaTherion | (~therion@unix.io) |
| 2022-08-24 02:00:22 +0200 | xff0x | (~xff0x@2405:6580:b080:900:19d1:e58d:306e:9622) |
| 2022-08-24 02:00:25 +0200 | econo | (uid147250@user/econo) |
| 2022-08-24 02:00:25 +0200 | Ranhir | (~Ranhir@157.97.53.139) |
| 2022-08-24 02:00:26 +0200 | darxun | (sid504814@id-504814.tinside.irccloud.com) |
| 2022-08-24 02:00:26 +0200 | tom__ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 2022-08-24 02:00:27 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-08-24 02:00:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 02:00:33 +0200 | pavonia | (~user@ip5f5bf6ff.dynamic.kabel-deutschland.de) |
| 2022-08-24 02:00:35 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-08-24 02:00:36 +0200 | lieven | (~mal@ns2.wyrd.be) |
| 2022-08-24 02:00:39 +0200 | immae | (~immae@2a01:4f8:141:53e7::) |
| 2022-08-24 02:00:43 +0200 | euandreh | (~euandreh@179.214.113.107) |
| 2022-08-24 02:00:46 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-24 02:00:47 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-08-24 02:00:48 +0200 | _xor | (~xor@74.215.182.83) |
| 2022-08-24 02:00:52 +0200 | Me-me | (~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) |
| 2022-08-24 02:00:56 +0200 | pavonia | (~user@ip5f5bf6ff.dynamic.kabel-deutschland.de) (Changing host) |
| 2022-08-24 02:00:56 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-24 02:00:56 +0200 | gff | (~gff@75-174-108-23.boid.qwest.net) |
| 2022-08-24 02:01:00 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2022-08-24 02:01:01 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-08-24 02:01:03 +0200 | polyphem_ | (~rod@95.91.254.235) |
| 2022-08-24 02:01:05 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-24 02:01:17 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2022-08-24 02:01:19 +0200 | yahb2 | (~yahb2@2a01:4f8:c0c:5c7b::2) |
| 2022-08-24 02:01:20 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-08-24 02:01:22 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-08-24 02:01:24 +0200 | luffy | (~chenqisu1@183.217.200.212) (Read error: Connection reset by peer) |
| 2022-08-24 02:01:33 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-08-24 02:01:34 +0200 | AlexNoo_ | (~AlexNoo@178.34.150.204) |
| 2022-08-24 02:01:38 +0200 | monochrom | (trebla@216.138.220.146) |
| 2022-08-24 02:01:39 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-24 02:01:40 +0200 | AlexNoo | (~AlexNoo@178.34.150.204) (Read error: Connection reset by peer) |
| 2022-08-24 02:01:40 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) (Read error: Connection reset by peer) |
| 2022-08-24 02:01:43 +0200 | aeka | (~aeka@184.75.221.107) |
| 2022-08-24 02:01:50 +0200 | notzmv | (~zmv@2804:431:c7f2:b0ff:e64c:216:881c:22ec) |
| 2022-08-24 02:01:54 +0200 | tcard | (~tcard@p945242-ipngn9701hodogaya.kanagawa.ocn.ne.jp) |
| 2022-08-24 02:01:57 +0200 | aeka | (~aeka@184.75.221.107) (Changing host) |
| 2022-08-24 02:01:57 +0200 | aeka | (~aeka@user/hiruji) |
| 2022-08-24 02:02:03 +0200 | AlexZenon | (~alzenon@178.34.150.204) |
| 2022-08-24 02:02:11 +0200 | vglfr | (~vglfr@145.224.94.199) (Ping timeout: 248 seconds) |
| 2022-08-24 02:02:17 +0200 | Alex_test | (~al_test@178.34.150.204) |
| 2022-08-24 02:02:36 +0200 | leah_ | (lp0@heathens.club) |
| 2022-08-24 02:02:43 +0200 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-24 02:02:44 +0200 | [Leary] | (~Leary]@user/Leary/x-0910699) |
| 2022-08-24 02:02:46 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-08-24 02:02:59 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-08-24 02:03:05 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-08-24 02:03:07 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2022-08-24 02:03:08 +0200 | zero | (~z@user/zero) |
| 2022-08-24 02:03:09 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-08-24 02:03:10 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2022-08-24 02:03:27 +0200 | remedan | (~remedan@octo.cafe) |
| 2022-08-24 02:03:30 +0200 | xstill_ | (xstill@fimu/xstill) |
| 2022-08-24 02:03:40 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-24 02:03:43 +0200 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2022-08-24 02:03:44 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-24 02:03:45 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-08-24 02:03:49 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-24 02:03:50 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-08-24 02:03:54 +0200 | zachel | (~zachel@user/zachel) |
| 2022-08-24 02:04:07 +0200 | malte | (~malte@mal.tc) |
| 2022-08-24 02:04:29 +0200 | gawen | (~gawen@user/gawen) |
| 2022-08-24 02:04:31 +0200 | AlexZenon | (~alzenon@178.34.150.204) (Read error: Connection reset by peer) |
| 2022-08-24 02:04:32 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-08-24 02:04:39 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-08-24 02:04:54 +0200 | AlexZenon | (~alzenon@178.34.150.204) |
| 2022-08-24 02:05:02 +0200 | califax | (~califax@user/califx) |
| 2022-08-24 02:05:13 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2022-08-24 02:05:13 +0200 | pragma- | (~chaos@user/pragmatic-chaos) |
| 2022-08-24 02:05:17 +0200 | toby | (~toby@137.220.84.171) |
| 2022-08-24 02:05:17 +0200 | crns | (~netcrns@p5dc33362.dip0.t-ipconnect.de) |
| 2022-08-24 02:05:19 +0200 | crns | (~netcrns@p5dc33362.dip0.t-ipconnect.de) (Changing host) |
| 2022-08-24 02:05:19 +0200 | crns | (~netcrns@user/crns) |
| 2022-08-24 02:05:27 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2022-08-24 02:05:35 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2022-08-24 02:06:38 +0200 | jespada | (~jespada@181.28.113.105) |
| 2022-08-24 02:06:56 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-24 02:07:33 +0200 | finsternis | (~X@23.226.237.192) |
| 2022-08-24 02:09:09 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-08-24 02:10:55 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-24 02:11:23 +0200 | <qrpnxz> | does ghcup not work on macoss |
| 2022-08-24 02:11:26 +0200 | <qrpnxz> | segfaultfizzbuzz: ? |
| 2022-08-24 02:11:30 +0200 | <qrpnxz> | i thought it did |
| 2022-08-24 02:11:57 +0200 | <segfaultfizzbuzz> | well if you scroll back i am getting some weird dylib error |
| 2022-08-24 02:12:32 +0200 | <segfaultfizzbuzz> | i don't really know what i am doing here but i can usually make python and rust work fine and i have made stack work fine on other systems,... |
| 2022-08-24 02:12:59 +0200 | <dsal> | segfaultfizzbuzz: I'm not in the in crowd. I use nix. |
| 2022-08-24 02:13:21 +0200 | <dsal> | I also use stack. People tell me ghcup and cabal is better, but I've not been able to discover this yet. |
| 2022-08-24 02:13:26 +0200 | <segfaultfizzbuzz> | dsal: is there a nix configuration file or something you can point me at which Just Work son macOS? |
| 2022-08-24 02:13:43 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) |
| 2022-08-24 02:13:49 +0200 | <segfaultfizzbuzz> | or are you not on macOS |
| 2022-08-24 02:13:54 +0200 | king_gs | (~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Client Quit) |
| 2022-08-24 02:14:03 +0200 | <dsal> | I'm on an M1 mac right now, but I also use it on NixOS. |
| 2022-08-24 02:14:05 +0200 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
| 2022-08-24 02:14:39 +0200 | <segfaultfizzbuzz> | dsal: ok so is there a guide or something,... and how well does it play alongside homebrew and whatnot |
| 2022-08-24 02:14:41 +0200 | <dsal> | I'm not sure what to show you. I just install nix and go. I do use homemanager and have stack installed from there, but you don't need that. |
| 2022-08-24 02:14:42 +0200 | <qrpnxz> | stack has downloaded like a billion copies of the toolchain on to my hard drive. Actually annoying. Sure, i guess there's something there about repeatable builds, but go has that and without a million toolchains. I guess go compile more stable though |
| 2022-08-24 02:14:54 +0200 | <qrpnxz> | s/compile/compiler |
| 2022-08-24 02:15:11 +0200 | <dsal> | segfaultfizzbuzz: Do you have nix up and running? |
| 2022-08-24 02:15:14 +0200 | <segfaultfizzbuzz> | can nix conflict with other stuff like homebrew? i also use rustup to install rust |
| 2022-08-24 02:15:25 +0200 | <segfaultfizzbuzz> | uh i am hesitating because i don't want to spend hours unborking/reinstalling things |
| 2022-08-24 02:15:31 +0200 | <segfaultfizzbuzz> | so i'm trying to ask first ;-) |
| 2022-08-24 02:15:48 +0200 | <dsal> | Maybe? I stopped using homebrew when I got nix working, but it's a different path. |
| 2022-08-24 02:15:53 +0200 | <geekosaur> | I think nix and brew are at cross purposes |
| 2022-08-24 02:15:56 +0200 | <dsal> | Some people at work have had confusion mixing nix and homebrew. |
| 2022-08-24 02:16:05 +0200 | <qrpnxz> | nix installed for single user (which may be the only option on mac, if any) should be able to be uninstalled by just deleting a couple of directories |
| 2022-08-24 02:16:08 +0200 | <geekosaur> | choose one and stick with it |
| 2022-08-24 02:16:10 +0200 | <qrpnxz> | pretty self contained. try #nix |
| 2022-08-24 02:16:38 +0200 | <dsal> | It's a little fancier on modern MacOS because of how filesystems work, but it just makes it that much easier to throw away. :) |
| 2022-08-24 02:17:45 +0200 | euandreh | (~euandreh@179.214.113.107) (Quit: WeeChat 3.6) |
| 2022-08-24 02:18:03 +0200 | euandreh | (~euandreh@179.214.113.107) |
| 2022-08-24 02:19:10 +0200 | <jackdk> | There's a #nix? I only lurk #nixos |
| 2022-08-24 02:20:08 +0200 | <qrpnxz> | #nix redirect to #nixos iirc |
| 2022-08-24 02:20:53 +0200 | <jackdk> | I tried to join and got booted as "invite only chan" - maybe someone took it over when libera became a thing? |
| 2022-08-24 02:20:53 +0200 | <qrpnxz> | which is a bit annoying since i don't necessarily care about the OS, but i guess it's okay |
| 2022-08-24 02:21:02 +0200 | <segfaultfizzbuzz> | ok thanks i will look at that. i'm a bit nervous though. gosh i wish operating systems made all this straightforward, how hard can it be to sort out some dependencies lol |
| 2022-08-24 02:21:52 +0200 | <geekosaur> | you'd be surprised |
| 2022-08-24 02:21:58 +0200 | <qrpnxz> | jackdk: maybe i recall wrong? I remember trying to join that for nix help and getting moved to nixos (which i would not have joined to start with because i didn't really care about the OS part) , but i guess now you have to go there directly |
| 2022-08-24 02:22:12 +0200 | <geekosaur> | (xmonad's #1 source of tickets is "Arch f*cked up again") |
| 2022-08-24 02:23:19 +0200 | <jackdk> | I remember when Arch was the Haskell distro-of-choice because of cabal2arch, but that was before my time - I was merely aware of its existence but not using Haskell seriously |
| 2022-08-24 02:24:04 +0200 | <dibblego> | I use arch, never used cabal2arch, I have my own xmonad build/install |
| 2022-08-24 02:27:24 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-24 02:31:31 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2022-08-24 02:32:58 +0200 | <qrpnxz> | segfaultfizzbuzz: linux based operating systems tend to do a great job compared to say mac, having a built-in system package manager, but certain niche communities many not have enough mind share in those systems to have really nice package story. Every distro packages gcc, for example, because that ubiquitous. C also doesn't have a website or anything like stack or cabal pulling mindshare, it's |
| 2022-08-24 02:33:00 +0200 | <qrpnxz> | just up to that system. Haskell on the other hand has ghcup and cabal and stack. Also unlike C, ghc is fast moving (Rust too) so often you want the latest version of the thing, but operating system releases tend to do a version for a while so that it's sensibly managable. On Fedora you can easily dnf install ghc and a bunch of deps you'd find in hackage, but they won't be the absolute latest |
| 2022-08-24 02:33:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-24 02:33:03 +0200 | <qrpnxz> | stuff, and stuff that nobody has volunteered to package won't be there of course. Because of hackage and cabal and so on, the dev will usually focus their attention there rather than try to make an RPM or DPKG package. If the project had been C, i'd say the author is more likely to have packaged it themselves for the OS directly. It's not even difficult to make an RPM of a cabal configured package |
| 2022-08-24 02:33:04 +0200 | <qrpnxz> | actually. (easy even!). But someone has to actually do it and get it submitted to the distro and so on. So the infrastructure and process is there, you just need to use it, and it's great. |
| 2022-08-24 02:36:35 +0200 | <qrpnxz> | one thing OS pkg managers suck at though is multiple versions of the same thing. Not even Nix apperently (I thought finally, but looks like no). |
| 2022-08-24 02:37:13 +0200 | <qrpnxz> | nix does finally gives us a pkg manager that does per user install though, which to this day i'm baffled is not a thing in dnf and apt |
| 2022-08-24 02:37:50 +0200 | <qrpnxz> | well, it's kind of a thing hypothetically in RPM, but not put to practice practically |
| 2022-08-24 02:39:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 02:42:01 +0200 | shailangsa | (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) |
| 2022-08-24 02:43:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-24 02:45:25 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 02:49:39 +0200 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Ping timeout: 248 seconds) |
| 2022-08-24 02:50:35 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-08-24 02:51:14 +0200 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) |
| 2022-08-24 02:52:09 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-24 02:52:17 +0200 | crns | (~netcrns@user/crns) (Ping timeout: 268 seconds) |
| 2022-08-24 02:52:42 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-08-24 02:53:11 +0200 | crns | (~netcrns@p5dc33cc7.dip0.t-ipconnect.de) |
| 2022-08-24 02:53:11 +0200 | crns | (~netcrns@p5dc33cc7.dip0.t-ipconnect.de) (Changing host) |
| 2022-08-24 02:53:11 +0200 | crns | (~netcrns@user/crns) |
| 2022-08-24 02:55:28 +0200 | <akegalj> | will /quit |
| 2022-08-24 02:55:30 +0200 | <akegalj> | ups |
| 2022-08-24 02:55:32 +0200 | akegalj | (~akegalj@135-40.dsl.iskon.hr) (Quit: leaving) |
| 2022-08-24 02:57:47 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-24 02:58:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 02:58:35 +0200 | mmhat | (~mmh@p200300f1c70860b0ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-08-24 02:59:45 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 03:00:29 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-24 03:01:12 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-24 03:02:02 +0200 | <qrpnxz> | fedora modules might be a solution? I have yet to explore that. Noting now that there's a ghc 9.2 module stream i could be pulling from. Neat! |
| 2022-08-24 03:02:13 +0200 | <qrpnxz> | solution to the multiple vers problem that is |
| 2022-08-24 03:07:14 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-24 03:07:51 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-24 03:07:57 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6) |
| 2022-08-24 03:09:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:19d1:e58d:306e:9622) (Ping timeout: 244 seconds) |
| 2022-08-24 03:10:03 +0200 | jargon | (~jargon@174-22-194-180.phnx.qwest.net) (Ping timeout: 252 seconds) |
| 2022-08-24 03:10:05 +0200 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-08-24 03:12:24 +0200 | notzmv | (~zmv@2804:431:c7f2:b0ff:e64c:216:881c:22ec) (Ping timeout: 244 seconds) |
| 2022-08-24 03:12:37 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-08-24 03:15:35 +0200 | jargon | (~jargon@184.101.169.20) |
| 2022-08-24 03:19:37 +0200 | fraznel | (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Quit: Leaving) |
| 2022-08-24 03:20:19 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-24 03:22:12 +0200 | Rumham347 | (~Rumham347@128-193-154-76.ptpg.oregonstate.edu) (Ping timeout: 252 seconds) |
| 2022-08-24 03:26:33 +0200 | luffy | (~chenqisu1@183.217.200.212) (Ping timeout: 252 seconds) |
| 2022-08-24 03:30:30 +0200 | <Bulby[m]> | is there any example of a haskell gui app |
| 2022-08-24 03:30:54 +0200 | <Bulby[m]> | desktop managers don't count |
| 2022-08-24 03:31:26 +0200 | <maerwald[m]> | Bulby: https://github.com/hasufell/hsfm |
| 2022-08-24 03:32:56 +0200 | <Bulby[m]> | hm it looks like high level libs don't get much use |
| 2022-08-24 03:34:10 +0200 | vglfr | (~vglfr@145.224.94.78) |
| 2022-08-24 03:34:29 +0200 | <Bulby[m]> | at least what I can glean from the wiki page |
| 2022-08-24 03:34:45 +0200 | <maerwald[m]> | High what? |
| 2022-08-24 03:34:56 +0200 | <Bulby[m]> | high level gui libs |
| 2022-08-24 03:35:00 +0200 | <maerwald[m]> | Like? |
| 2022-08-24 03:35:14 +0200 | <Bulby[m]> | https://wiki.haskell.org/Applications_and_libraries/GUI_libraries |
| 2022-08-24 03:35:20 +0200 | <maerwald[m]> | Yeah, which one |
| 2022-08-24 03:35:38 +0200 | <Bulby[m]> | i don't really know ☹️ |
| 2022-08-24 03:35:42 +0200 | <maerwald[m]> | Ok |
| 2022-08-24 03:37:40 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 03:41:21 +0200 | <Axman6> | segfaultfizzbuzz: why not just share what your dylib issue is? you're almost certainly not the first pertson to run into it, and ghcup should work fine on m1 |
| 2022-08-24 03:42:16 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-24 03:44:38 +0200 | <jackdk> | Bulby[m]: https://github.com/owickstrom/komposition is built on gi-gtk-declarative |
| 2022-08-24 03:45:03 +0200 | <jackdk> | Axman6: did you look up the Backwards applicative from transformers? |
| 2022-08-24 03:45:05 +0200 | <Axman6> | zI scrolled back, and saw segfaultfizzbuzz's error - if they come back, can someone let them know it looks like a broken homebrew install? they should brew uninstall ghc, and then install using ghcup |
| 2022-08-24 03:45:07 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 2022-08-24 03:45:36 +0200 | <Axman6> | yeah - it looks like what I'm after but I don't think it's actually that useful here, and reversing lists will probably be bet better option |
| 2022-08-24 03:46:42 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-08-24 03:46:50 +0200 | <[Leary]> | @help tell |
| 2022-08-24 03:46:50 +0200 | <lambdabot> | tell <nick> <message>. When <nick> shows activity, tell them <message>. |
| 2022-08-24 03:46:53 +0200 | <[Leary]> | Axman6: ^ |
| 2022-08-24 03:47:45 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-24 03:49:10 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-24 03:49:14 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-24 03:50:58 +0200 | <jackdk> | Axman6: even if you're in a strict dialect and have to rematerialise them before you start traversing? |
| 2022-08-24 03:53:57 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-24 03:54:13 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-24 03:55:28 +0200 | Hillman | (~Hillman@37.163.156.143) |
| 2022-08-24 03:58:36 +0200 | <Hillman> | Hello! Anybody here? I have a problem with exporting SVG (or XML) stream (content type) from Yesod. Something with types and conversion confuse me. Any Yesod expert here? Thanks! |
| 2022-08-24 04:01:29 +0200 | <jackdk> | I don't know how many people here are yesod people, or are willing to call themselves yesod experts. so you should try to pose your question (include error messages in a pastebin - I'll have a link for you in a sec), and see how you go? |
| 2022-08-24 04:01:31 +0200 | <jackdk> | @where paste |
| 2022-08-24 04:01:31 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-08-24 04:02:10 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-24 04:02:10 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-24 04:02:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-24 04:02:11 +0200 | motersen | (~motersen@user/motersen) (Remote host closed the connection) |
| 2022-08-24 04:02:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Write error: Broken pipe) |
| 2022-08-24 04:02:11 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-24 04:02:28 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-24 04:02:38 +0200 | <jackdk> | (It's also possible that your question is answerable by people who know Haskell but not Yesod, so see how you go) |
| 2022-08-24 04:02:40 +0200 | califax | (~califax@user/califx) |
| 2022-08-24 04:02:48 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-24 04:02:50 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-24 04:02:52 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-24 04:03:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-24 04:03:31 +0200 | <Hillman> | OK. I think its trivial but I cannot get it. I need to export XML (alterady generated as a SVG image. I get the list of [Node] but don't know how to get the stream (for HTML there id Handler HTML), but for XML? |
| 2022-08-24 04:04:15 +0200 | <Hillman> | I'd also like to export [Node] -> Text to see it rapidly dumped to the terminal, for testing purposes. |
| 2022-08-24 04:04:16 +0200 | ScRamble | (~S@na.altplay.net) |
| 2022-08-24 04:04:55 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-08-24 04:05:39 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-24 04:05:52 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-24 04:05:52 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-24 04:09:51 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 04:12:38 +0200 | Hillman | (~Hillman@37.163.156.143) (Quit: Leaving) |
| 2022-08-24 04:14:10 +0200 | <jackdk> | What is the stream type that you need to return? |
| 2022-08-24 04:14:18 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-24 04:14:20 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 268 seconds) |
| 2022-08-24 04:15:58 +0200 | ScRamble | (~S@na.altplay.net) (Möbius strip) |
| 2022-08-24 04:17:23 +0200 | td_ | (~td@muedsl-82-207-238-030.citykom.de) (Ping timeout: 268 seconds) |
| 2022-08-24 04:19:06 +0200 | td_ | (~td@94.134.91.14) |
| 2022-08-24 04:19:42 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 04:22:31 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-24 04:26:06 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 04:27:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-24 04:27:41 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-24 04:28:01 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-24 04:34:50 +0200 | Rumham347 | (~Rumham347@128-193-154-76.ptpg.oregonstate.edu) |
| 2022-08-24 04:37:59 +0200 | califax_ | (~califax@user/califx) |
| 2022-08-24 04:38:26 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-08-24 04:39:10 +0200 | califax_ | califax |
| 2022-08-24 04:43:12 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-08-24 04:49:14 +0200 | ddellacosta | (~ddellacos@89.45.224.196) |
| 2022-08-24 04:52:08 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-24 04:53:36 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-24 04:53:53 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 2022-08-24 04:56:53 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-24 04:57:01 +0200 | jamestmartin | (~james@jtmar.me) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2022-08-24 04:57:11 +0200 | jamestmartin | (~james@jtmar.me) |
| 2022-08-24 04:59:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-24 05:01:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-24 05:03:46 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-08-24 05:06:48 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-08-24 05:07:23 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) (Ping timeout: 252 seconds) |
| 2022-08-24 05:13:06 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-08-24 05:19:03 +0200 | aeka | (~aeka@user/hiruji) (Ping timeout: 268 seconds) |
| 2022-08-24 05:21:30 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-24 05:21:51 +0200 | vglfr | (~vglfr@145.224.94.78) (Ping timeout: 260 seconds) |
| 2022-08-24 05:24:37 +0200 | etra0 | (~quassel@186-78-139-217.baf.movistar.cl) (Remote host closed the connection) |
| 2022-08-24 05:27:46 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-08-24 05:28:41 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-24 05:32:19 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-08-24 05:33:31 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-24 05:36:51 +0200 | pragma- | (~chaos@user/pragmatic-chaos) (Bye!) |
| 2022-08-24 05:42:46 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:156b:fb3:e0c0:ae2) (Remote host closed the connection) |
| 2022-08-24 05:46:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-24 05:46:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 05:47:53 +0200 | vglfr | (~vglfr@145.224.94.75) |
| 2022-08-24 05:52:13 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-24 05:55:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-24 05:57:08 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 06:00:30 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-24 06:02:51 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-24 06:03:31 +0200 | raym | (~raym@user/raym) (Read error: Connection reset by peer) |
| 2022-08-24 06:04:21 +0200 | raym | (~raym@user/raym) |
| 2022-08-24 06:05:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 06:07:22 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-24 06:09:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-08-24 06:10:01 +0200 | ardell | (~ardell@user/ardell) (Quit: Leaving) |
| 2022-08-24 06:11:44 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-24 06:14:41 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 06:20:30 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-08-24 06:22:11 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-24 06:23:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 06:23:47 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 06:25:26 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 2022-08-24 06:27:10 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-24 06:28:29 +0200 | off^ | (~off@96.70.11.181) (Remote host closed the connection) |
| 2022-08-24 06:30:53 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-24 06:32:26 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-08-24 06:50:24 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 268 seconds) |
| 2022-08-24 06:55:34 +0200 | dsrt^ | (~dsrt@96.70.11.181) |
| 2022-08-24 06:57:24 +0200 | rbatty | (~rbatty@2600:4041:1e8:4e00:e80b:87f2:9186:df18) |
| 2022-08-24 07:02:16 +0200 | rbatty | (~rbatty@2600:4041:1e8:4e00:e80b:87f2:9186:df18) (Excess Flood) |
| 2022-08-24 07:03:01 +0200 | rbatty | (~rbatty@2600:4041:1e8:4e00:e80b:87f2:9186:df18) |
| 2022-08-24 07:04:45 +0200 | rbatty | (~rbatty@2600:4041:1e8:4e00:e80b:87f2:9186:df18) (Excess Flood) |
| 2022-08-24 07:05:04 +0200 | <tvandinther> | Can ghci run threaded? Are there specific options I need to set for that? |
| 2022-08-24 07:05:41 +0200 | <Axman6> | I think it does by default, but you can also use ghci +RTS -N |
| 2022-08-24 07:06:58 +0200 | Rumham347 | (~Rumham347@128-193-154-76.ptpg.oregonstate.edu) (Ping timeout: 252 seconds) |
| 2022-08-24 07:08:12 +0200 | <tvandinther> | I opened ghci with `stack ghci +RTS -N` and it doesn't appear to run the same as `stack run` with the ghc options set in the config |
| 2022-08-24 07:08:18 +0200 | rbatty | (~rbatty@2600:4041:1e8:4e00:e80b:87f2:9186:df18) |
| 2022-08-24 07:08:29 +0200 | rbatty | (~rbatty@2600:4041:1e8:4e00:e80b:87f2:9186:df18) () |
| 2022-08-24 07:08:40 +0200 | <tvandinther> | tbh the main thing I want from the ghci is the timer, but whats the easiest way to implement a run timer in the code itself? |
| 2022-08-24 07:10:21 +0200 | jargon | (~jargon@184.101.169.20) (Remote host closed the connection) |
| 2022-08-24 07:11:01 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) (Quit: Leaving.) |
| 2022-08-24 07:14:20 +0200 | <Axman6> | that wil tell stack to run using threads |
| 2022-08-24 07:16:01 +0200 | <Axman6> | try: stack ghci --ghci-options "+RTS -N -RTS" |
| 2022-08-24 07:22:43 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 07:23:32 +0200 | <tvandinther> | That did the trick, thanks |
| 2022-08-24 07:26:53 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-08-24 07:27:56 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-24 07:37:47 +0200 | famubu | (~famubu@user/famubu) |
| 2022-08-24 07:37:52 +0200 | <famubu> | I got two functions which are of different types. Would it be possible to have another function which based on an int input returns one of the other two functions? Something like: https://bpa.st/TLNA |
| 2022-08-24 07:38:52 +0200 | <Axman6> | no |
| 2022-08-24 07:39:09 +0200 | <Axman6> | a can't be both an Int and () |
| 2022-08-24 07:40:26 +0200 | <famubu> | Could `forall` be of any help here. Just saw about it in haskell wiki book where it says ' are a way of 'squashing' a group of types into one, single type' |
| 2022-08-24 07:40:32 +0200 | <famubu> | https://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types |
| 2022-08-24 07:42:11 +0200 | <Axman6> | no, if you used forall here, then you're saying that your function can work with absolutely any type at all, and the caller gets to decide what the type is - if you had bar :: forall a b c. Int -> a -> b -> c, you are saying "a can be absolutely anything, so can b and c" so I am allowed to call it with [Bool], make c Void, have b be a function, etc. |
| 2022-08-24 07:42:28 +0200 | <famubu> | Oh.. okay. |
| 2022-08-24 07:42:53 +0200 | <Axman6> | what you're looking for is related to dependent types, where the type of something can depend on runtime values. There are ways to do similar things, but if you are new to Haskell, you should assume the answer is a hard no right now |
| 2022-08-24 07:43:42 +0200 | <famubu> | I'm sort of new to haskell, but just to know, what are those ways? |
| 2022-08-24 07:44:25 +0200 | <Axman6> | I really don't think it would be helpful to your learning to tell you, because you need to unserstand the fundamentals of why this doesn't work first |
| 2022-08-24 07:44:27 +0200 | <famubu> | And speaking of `forall`, is it really needed? The wikibook says `a -> a` and `forall a . a -> a` are the same. |
| 2022-08-24 07:45:11 +0200 | <Axman6> | most functions have implicit foralls, but there are times where they need to be made explicit |
| 2022-08-24 07:45:41 +0200 | <jackdk> | most _polymorphic_ functions have implicit `forall`s |
| 2022-08-24 07:46:12 +0200 | <Axman6> | yeah I meant to write that but typed too fast |
| 2022-08-24 07:46:45 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds) |
| 2022-08-24 07:47:48 +0200 | <Axman6> | an example would be a natural transformation for a monad transformer: hoiseReaderT :: (forall a. m b -> n b) -> ReaderT r m a -> ReaderT r n a - that says that the function passed in explicitly cannot know anything at all about the type a, but gets to choose what the type n is |
| 2022-08-24 07:48:05 +0200 | <Axman6> | (I guess it also gets to chose the type m) |
| 2022-08-24 07:48:20 +0200 | <Axman6> | choose* |
| 2022-08-24 07:48:23 +0200 | <jackdk> | you meant `(forall b. m b -> n b)`, I think |
| 2022-08-24 07:48:49 +0200 | <Axman6> | uh yes, I went back to change a to be and forgot the forall |
| 2022-08-24 07:48:53 +0200 | <Axman6> | b* |
| 2022-08-24 07:51:05 +0200 | <Christoph[m]> | Axman6: But your bar should be the same as bar :: Int -> a -> b -> c with the implicit forall. |
| 2022-08-24 07:55:33 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 2022-08-24 07:55:42 +0200 | tomku | (~tomku@user/tomku) |
| 2022-08-24 08:00:07 +0200 | mastarija | (~mastarija@2a05:4f46:e03:6000:b0c6:6951:8666:c637) |
| 2022-08-24 08:01:42 +0200 | <mastarija> | When working on multiple packages at once, is it possible to tell GHCi to load certain packages as interpreted and follow their updates? |
| 2022-08-24 08:06:05 +0200 | <mastarija> | I can do something like `ghci -ipackage1:package2 path/to/package2/module.hs` however, it doesn't reinterpret changes from package1 on `:r` |
| 2022-08-24 08:11:36 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 260 seconds) |
| 2022-08-24 08:21:40 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-24 08:21:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-24 08:22:00 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-24 08:22:04 +0200 | <c_wraith> | no. Packages are considered to be static in the model ghci uses. |
| 2022-08-24 08:22:28 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-24 08:24:44 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-24 08:24:49 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-24 08:29:31 +0200 | mmhat | (~mmh@p200300f1c709e374ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-08-24 08:32:46 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-08-24 08:33:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-08-24 08:35:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-24 08:38:52 +0200 | famubu | (~famubu@user/famubu) (Quit: leaving) |
| 2022-08-24 08:40:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-24 08:41:44 +0200 | inversed | (~inversed@90.209.137.56) (Quit: Connection error?!) |
| 2022-08-24 08:46:11 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-08-24 08:49:34 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-24 08:53:38 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-24 08:54:22 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-08-24 08:56:01 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 08:56:27 +0200 | michalz | (~michalz@185.246.204.75) |
| 2022-08-24 08:59:12 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:49e3:1611:d095:6e42) |
| 2022-08-24 09:00:56 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-08-24 09:03:02 +0200 | <mastarija> | Is there a package like `neat-interpolation` but for `Symbol`? |
| 2022-08-24 09:03:48 +0200 | chele | (~chele@user/chele) |
| 2022-08-24 09:04:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-24 09:07:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-24 09:07:49 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) |
| 2022-08-24 09:10:58 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2022-08-24 09:11:10 +0200 | acidjnk | (~acidjnk@p200300d6e7137a36fd31d418e615b863.dip0.t-ipconnect.de) |
| 2022-08-24 09:12:16 +0200 | kannon | (~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds) |
| 2022-08-24 09:13:07 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 248 seconds) |
| 2022-08-24 09:13:32 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 255 seconds) |
| 2022-08-24 09:16:47 +0200 | biberu | (~biberu@user/biberu) |
| 2022-08-24 09:19:43 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) |
| 2022-08-24 09:21:00 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-24 09:21:01 +0200 | <Axman6> | I doubt it - what would you want it to look like? |
| 2022-08-24 09:23:55 +0200 | <mastarija> | Axman6: type MyTypeLevelString = [tts| Imagine I'm a multiline string... |] |
| 2022-08-24 09:25:29 +0200 | <mastarija> | It would be nice to have for writing the servant documentation. |
| 2022-08-24 09:26:09 +0200 | <lortabac> | @hackage symbols -- mastarija |
| 2022-08-24 09:26:09 +0200 | <lambdabot> | https://hackage.haskell.org/package/symbols -- mastarija |
| 2022-08-24 09:27:48 +0200 | <lortabac> | I don't think it does interpolation, but I guess something can be built on top of it |
| 2022-08-24 09:34:16 +0200 | lottaquestions_ | (~nick@2607:fa49:503e:7100:8f8a:99be:1f79:fe99) |
| 2022-08-24 09:35:46 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:2f5e:d7ba:dfa9:c7a7) (Ping timeout: 244 seconds) |
| 2022-08-24 09:35:57 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-08-24 09:40:01 +0200 | <mastarija> | lortabac: hm... doesn't seem like that can help me with avoiding escape characters when building multiline strings, maybe the `concat` on type level lists can be helpful, but I think this needs to be QQ of some sort. |
| 2022-08-24 09:46:01 +0200 | <Axman6> | symbols aren't type level strings btw |
| 2022-08-24 09:47:41 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-08-24 09:48:39 +0200 | <Axman6> | I'd hoped that https://hackage.haskell.org/package/type-errors-0.2.0.0/docs/Type-Errors.html would have some helpful stuff, but annoyingly all the type level error stuff is fairly closed - it'd be nice if it let you build symbols and then pass that to an error constructor |
| 2022-08-24 09:49:11 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-24 09:49:36 +0200 | <Axman6> | https://hackage.haskell.org/package/type-errors-pretty-0.0.1.2/docs/Type-Errors-Pretty.html is also really close |
| 2022-08-24 09:50:35 +0200 | <mastarija> | Hm... yes. Using a type operator to denote a newline seems like a good compromise. |
| 2022-08-24 09:50:59 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 248 seconds) |
| 2022-08-24 09:51:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-24 09:51:18 +0200 | <mastarija> | Thanks Axman6 |
| 2022-08-24 09:52:36 +0200 | cfricke | (~cfricke@user/cfricke) (Remote host closed the connection) |
| 2022-08-24 09:52:46 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-08-24 09:55:47 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-24 09:55:47 +0200 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 248 seconds) |
| 2022-08-24 09:56:15 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-08-24 09:59:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-08-24 10:00:01 +0200 | wolfshappen | (~waff@irc.furworks.de) (Client Quit) |
| 2022-08-24 10:01:59 +0200 | fserucas | (~fserucas@89.214.149.93) |
| 2022-08-24 10:03:03 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) |
| 2022-08-24 10:03:30 +0200 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-08-24 10:03:51 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-08-24 10:05:20 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-24 10:07:37 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-24 10:08:37 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-24 10:09:59 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-08-24 10:10:11 +0200 | remedan | (~remedan@octo.cafe) (Ping timeout: 248 seconds) |
| 2022-08-24 10:10:41 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-24 10:13:45 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-24 10:14:31 +0200 | Inst | (~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e) (Ping timeout: 244 seconds) |
| 2022-08-24 10:14:37 +0200 | remedan | (~remedan@octo.cafe) |
| 2022-08-24 10:18:39 +0200 | toeffel | (~toeffel@user/toeffel) |
| 2022-08-24 10:22:22 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-08-24 10:22:24 +0200 | odnes_ | (~odnes@5-203-171-254.pat.nym.cosmote.net) |
| 2022-08-24 10:23:18 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:6fbb:5547:6b96:ebdd) |
| 2022-08-24 10:24:43 +0200 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-08-24 10:26:09 +0200 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 268 seconds) |
| 2022-08-24 10:26:10 +0200 | elkcl_ | elkcl |
| 2022-08-24 10:27:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-24 10:28:10 +0200 | dsrt^ | (~dsrt@96.70.11.181) (Remote host closed the connection) |
| 2022-08-24 10:28:27 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-24 10:33:12 +0200 | zava | (~zava@ip5f5bdf97.dynamic.kabel-deutschland.de) |
| 2022-08-24 10:35:56 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-24 10:36:07 +0200 | zava | (~zava@ip5f5bdf97.dynamic.kabel-deutschland.de) (Client Quit) |
| 2022-08-24 10:36:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-24 10:36:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-24 10:36:31 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-24 10:36:46 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:6fbb:5547:6b96:ebdd) (Remote host closed the connection) |
| 2022-08-24 10:36:50 +0200 | zava | (~zava@ip5f5bdf97.dynamic.kabel-deutschland.de) |
| 2022-08-24 10:37:05 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:9712:80e6:e4f2:63ae) |
| 2022-08-24 10:37:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-24 10:37:48 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-24 10:40:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 10:42:56 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-24 10:50:48 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:9712:80e6:e4f2:63ae) (Remote host closed the connection) |
| 2022-08-24 10:52:14 +0200 | zava | (~zava@ip5f5bdf97.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.5) |
| 2022-08-24 10:52:42 +0200 | zava | (~zava@ip5f5bdf97.dynamic.kabel-deutschland.de) |
| 2022-08-24 11:01:44 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-08-24 11:03:15 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-24 11:03:30 +0200 | <absence> | the Alternative instance for ExceptT requires a Monoid instance for the error, but i don't want to aggregate the errors, i just need the last one. is there a less cumbersome way to express that than withExceptT getLast (withExceptT Last a <|> withExceptT Last b)? |
| 2022-08-24 11:06:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-24 11:09:56 +0200 | AlexNoo_ | AlexNoo |
| 2022-08-24 11:12:13 +0200 | <tomsmeding> | absence: I don't think so |
| 2022-08-24 11:12:35 +0200 | odnes_ | (~odnes@5-203-171-254.pat.nym.cosmote.net) (Ping timeout: 252 seconds) |
| 2022-08-24 11:12:55 +0200 | <tomsmeding> | well, or give your error type a monoid instance that mimics Last :p |
| 2022-08-24 11:13:19 +0200 | <tomsmeding> | though that only works if it's a custom type, not something like String which already has a Monoid instance |
| 2022-08-24 11:13:39 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 248 seconds) |
| 2022-08-24 11:14:30 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) |
| 2022-08-24 11:14:59 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Leaving) |
| 2022-08-24 11:16:28 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-08-24 11:17:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-08-24 11:17:25 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-24 11:17:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-24 11:17:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-24 11:22:21 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-08-24 11:23:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-24 11:24:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-24 11:32:00 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-08-24 11:34:31 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-24 11:37:58 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-24 11:43:27 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-24 11:45:00 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-24 11:48:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-24 11:48:55 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-24 11:51:15 +0200 | zava | (~zava@ip5f5bdf97.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds) |
| 2022-08-24 11:58:12 +0200 | eikke | (~NicolasT@88.126.78.98) |
| 2022-08-24 11:58:24 +0200 | eikke | (~NicolasT@88.126.78.98) (Quit: leaving) |
| 2022-08-24 11:59:03 +0200 | eikke | (~NicolasT@88.126.78.98) |
| 2022-08-24 12:00:26 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection) |
| 2022-08-24 12:00:43 +0200 | benin0 | (~benin@183.82.205.66) (Quit: Ping timeout (120 seconds)) |
| 2022-08-24 12:01:03 +0200 | benin0 | (~benin@49.206.96.5) |
| 2022-08-24 12:04:53 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-24 12:06:30 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-24 12:07:15 +0200 | akegalj | (~akegalj@135-40.dsl.iskon.hr) |
| 2022-08-24 12:10:36 +0200 | <akegalj> | Rust has profile guide optimization mechanism https://doc.rust-lang.org/1.41.1/rustc/profile-guided-optimization.html . Its like compile time JIT. Would something like this be possible and useful with haskell? RTS could generate some additional on multiple program runs and that could be feed back to GHC to guide better optimization |
| 2022-08-24 12:11:02 +0200 | <akegalj> | additional info* |
| 2022-08-24 12:14:51 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-08-24 12:15:56 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 244 seconds) |
| 2022-08-24 12:16:08 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) |
| 2022-08-24 12:18:24 +0200 | tvandinther | (~tvandinth@2404:4408:8740:3800:950f:d0b3:e0d9:5195) (Quit: Client closed) |
| 2022-08-24 12:20:06 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:35d:f0e7:df06:8eb4) |
| 2022-08-24 12:20:12 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-24 12:30:02 +0200 | Franciman | (~Franciman@mx1.fracta.dev) |
| 2022-08-24 12:31:00 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-24 12:34:25 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-08-24 12:39:05 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-24 12:41:43 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-24 12:45:42 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-08-24 12:46:17 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) (Ping timeout: 268 seconds) |
| 2022-08-24 12:46:50 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-08-24 12:48:34 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-08-24 12:53:22 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-24 12:56:19 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:35d:f0e7:df06:8eb4) (Remote host closed the connection) |
| 2022-08-24 12:57:33 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 12:58:48 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-24 13:02:49 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-24 13:09:51 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-24 13:12:47 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-08-24 13:12:58 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) (Ping timeout: 240 seconds) |
| 2022-08-24 13:15:03 +0200 | eikke | (~NicolasT@88.126.78.98) (Ping timeout: 252 seconds) |
| 2022-08-24 13:17:18 +0200 | JimL | (~quassel@89-162-2-132.fiber.signal.no) |
| 2022-08-24 13:17:55 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-24 13:19:27 +0200 | polyphem_ | (~rod@95.91.254.235) (Ping timeout: 252 seconds) |
| 2022-08-24 13:20:22 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3788:1bc5:ebdd:8f54) |
| 2022-08-24 13:20:53 +0200 | <dminuoso> | How would you express the property of near equivalence between "\0x48ello" and "Hello"? |
| 2022-08-24 13:20:58 +0200 | <dminuoso> | They are isomorphic up to.. <what>? |
| 2022-08-24 13:22:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-24 13:23:55 +0200 | <dminuoso> | In particular Im not talking about Haskell literals, but rather a string containing the that escape sequence as separate characters. |
| 2022-08-24 13:24:50 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-24 13:24:50 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-24 13:26:32 +0200 | <dminuoso> | Would "isomorphic up to escape sequence equivalence" be suitable? |
| 2022-08-24 13:34:27 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-24 13:35:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-24 13:38:11 +0200 | <tomsmeding> | unescape() maps them to the same value |
| 2022-08-24 13:38:24 +0200 | <tomsmeding> | (presumably) |
| 2022-08-24 13:38:46 +0200 | <tomsmeding> | dminuoso: not sure how to word that nicely in English :p |
| 2022-08-24 13:39:37 +0200 | <tomsmeding> | the relation defined by x ~ y <==> f x = f y is an equivalence relation for every total f |
| 2022-08-24 13:40:18 +0200 | <merijn> | Hold up! |
| 2022-08-24 13:40:27 +0200 | <tomsmeding> | did I go wrong there |
| 2022-08-24 13:40:28 +0200 | <merijn> | Hackage supports packages with multiple public libs now? |
| 2022-08-24 13:40:33 +0200 | <merijn> | :O |
| 2022-08-24 13:40:41 +0200 | <tomsmeding> | wasn't that still in beta or something |
| 2022-08-24 13:40:58 +0200 | <tomsmeding> | also if true then rip stack |
| 2022-08-24 13:41:13 +0200 | <merijn> | tomsmeding: multiple public libs in cabal were experimental, but you couldn't upload them to hackage |
| 2022-08-24 13:41:24 +0200 | <merijn> | but Cabal 3.8 release notes say it is no more: https://github.com/haskell/cabal/blob/master/release-notes/Cabal-3.8.1.0.md |
| 2022-08-24 13:41:36 +0200 | <merijn> | tomsmeding: What's stack got to do with that? |
| 2022-08-24 13:41:45 +0200 | <tomsmeding> | stack doesn't support that right? |
| 2022-08-24 13:42:08 +0200 | <merijn> | Stack doesn't support tons of shit, tbh :p |
| 2022-08-24 13:45:28 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-24 13:47:14 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-24 13:47:17 +0200 | <dminuoso> | Bah, hackage changelog is quite buggy when reuploading candidates with changed changelog. |
| 2022-08-24 13:47:25 +0200 | <dminuoso> | Stale cache it seems, the changelog.md just wont update.. |
| 2022-08-24 13:50:17 +0200 | <dminuoso> | Hah, even deleting the candidate and reuploading it wont update the CHANGELOG |
| 2022-08-24 13:50:41 +0200 | <merijn> | Probably cache by the CDN |
| 2022-08-24 13:50:43 +0200 | <merijn> | hmm |
| 2022-08-24 13:50:50 +0200 | <merijn> | The Hackage Matrix builder died? |
| 2022-08-24 13:53:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-24 13:54:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-24 13:56:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-24 13:56:56 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) (Ping timeout: 260 seconds) |
| 2022-08-24 13:58:17 +0200 | luffy | (~chenqisu1@183.217.200.212) (Ping timeout: 268 seconds) |
| 2022-08-24 13:59:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2022-08-24 14:01:32 +0200 | motersen | (~motersen@user/motersen) (Remote host closed the connection) |
| 2022-08-24 14:03:19 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-24 14:05:12 +0200 | luffy | (~chenqisu1@183.217.200.212) |
| 2022-08-24 14:07:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 14:09:59 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-24 14:11:50 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-24 14:21:06 +0200 | luffy | (~chenqisu1@183.217.200.212) (Ping timeout: 268 seconds) |
| 2022-08-24 14:22:18 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 240 seconds) |
| 2022-08-24 14:29:36 +0200 | acidjnk | (~acidjnk@p200300d6e7137a36fd31d418e615b863.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-24 14:31:18 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-08-24 14:33:29 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-24 14:35:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-08-24 14:41:01 +0200 | biberu\ | (~biberu@user/biberu) |
| 2022-08-24 14:45:09 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 268 seconds) |
| 2022-08-24 14:45:09 +0200 | biberu\ | biberu |
| 2022-08-24 14:46:30 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-08-24 14:47:50 +0200 | eikke | (~NicolasT@88.126.78.98) |
| 2022-08-24 14:49:19 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-24 14:49:36 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-24 14:51:08 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) |
| 2022-08-24 14:56:54 +0200 | benin0 | (~benin@49.206.96.5) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-24 14:58:47 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-08-24 15:00:52 +0200 | acidjnk | (~acidjnk@p200300d6e7137a365c791966a49af494.dip0.t-ipconnect.de) |
| 2022-08-24 15:01:50 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds) |
| 2022-08-24 15:05:11 +0200 | benin0 | (~benin@49.206.96.5) |
| 2022-08-24 15:05:26 +0200 | Alex_test | (~al_test@178.34.150.204) (Quit: ;-) |
| 2022-08-24 15:05:43 +0200 | AlexZenon | (~alzenon@178.34.150.204) (Quit: ;-) |
| 2022-08-24 15:06:26 +0200 | AlexNoo | (~AlexNoo@178.34.150.204) (Quit: Leaving) |
| 2022-08-24 15:06:31 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 252 seconds) |
| 2022-08-24 15:07:33 +0200 | ardell | (~ardell@user/ardell) |
| 2022-08-24 15:08:22 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2022-08-24 15:09:36 +0200 | mima | (~mmh@dhcp-138-246-3-43.dynamic.eduroam.mwn.de) |
| 2022-08-24 15:20:04 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-24 15:20:27 +0200 | ddellacosta | (~ddellacos@89.45.224.196) (Ping timeout: 268 seconds) |
| 2022-08-24 15:23:03 +0200 | AlexNoo | (~AlexNoo@178.34.150.204) |
| 2022-08-24 15:24:22 +0200 | AlexZenon | (~alzenon@178.34.150.204) |
| 2022-08-24 15:27:30 +0200 | Alex_test | (~al_test@178.34.150.204) |
| 2022-08-24 15:28:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-24 15:28:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 15:31:59 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2022-08-24 15:32:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-24 15:33:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-24 15:33:46 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 2022-08-24 15:34:24 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-24 15:35:34 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-24 15:38:11 +0200 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 248 seconds) |
| 2022-08-24 15:38:24 +0200 | ardell | (~ardell@user/ardell) (Quit: Leaving) |
| 2022-08-24 15:39:58 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2022-08-24 15:44:49 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-24 15:47:12 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer) |
| 2022-08-24 15:47:46 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-24 15:59:22 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-24 15:59:48 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-24 16:00:56 +0200 | benin0 | (~benin@49.206.96.5) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-24 16:02:32 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:49e3:1611:d095:6e42) (Quit: WeeChat 2.8) |
| 2022-08-24 16:02:45 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) (Ping timeout: 244 seconds) |
| 2022-08-24 16:03:25 +0200 | jpds1 | jpds |
| 2022-08-24 16:04:19 +0200 | ubert | (~Thunderbi@178.165.182.158.wireless.dyn.drei.com) (Ping timeout: 248 seconds) |
| 2022-08-24 16:04:21 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-24 16:05:16 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 260 seconds) |
| 2022-08-24 16:05:31 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-24 16:05:53 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) |
| 2022-08-24 16:06:01 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-24 16:07:33 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-24 16:08:31 +0200 | img | (~img@user/img) |
| 2022-08-24 16:11:05 +0200 | stef204 | (~stef204@user/stef204) |
| 2022-08-24 16:14:53 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-24 16:14:59 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-24 16:18:57 +0200 | GoldsteinQ | (~goldstein@goldstein.rs) |
| 2022-08-24 16:18:58 +0200 | mmhat | (~mmh@p200300f1c709e374ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-08-24 16:20:58 +0200 | zava | (~zava@ip5f5bdf97.dynamic.kabel-deutschland.de) |
| 2022-08-24 16:23:30 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-08-24 16:24:44 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-08-24 16:25:24 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-24 16:26:49 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-24 16:27:19 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-24 16:29:43 +0200 | img | (~img@user/img) |
| 2022-08-24 16:35:05 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 16:35:51 +0200 | akegalj | (~akegalj@135-40.dsl.iskon.hr) (Quit: leaving) |
| 2022-08-24 16:37:12 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:43db:419a:3d2f:4053) |
| 2022-08-24 16:38:09 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-08-24 16:38:34 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) |
| 2022-08-24 16:40:18 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Read error: Connection reset by peer) |
| 2022-08-24 16:40:28 +0200 | <merijn> | Man...don't you hate finishing a simple feature and then realising...shit, I gotta write tests... |
| 2022-08-24 16:40:40 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-24 16:42:15 +0200 | beteigeuze1 | (~Thunderbi@bl11-28-222.dsl.telepac.pt) |
| 2022-08-24 16:42:15 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Read error: Connection reset by peer) |
| 2022-08-24 16:42:16 +0200 | beteigeuze1 | beteigeuze |
| 2022-08-24 16:42:39 +0200 | stef204 | (~stef204@user/stef204) (Quit: WeeChat 3.6) |
| 2022-08-24 16:44:21 +0200 | acidjnk | (~acidjnk@p200300d6e7137a365c791966a49af494.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-24 16:45:00 +0200 | <segfaultfizzbuzz> | just model it in coq instead |
| 2022-08-24 16:47:02 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:43db:419a:3d2f:4053) (Ping timeout: 252 seconds) |
| 2022-08-24 16:51:27 +0200 | shapr | (~user@2601:7c0:c383:70:5395:f9cf:31e7:c609) |
| 2022-08-24 16:52:30 +0200 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) (Quit: WeeChat 3.6) |
| 2022-08-24 16:53:41 +0200 | zava | (~zava@ip5f5bdf97.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2022-08-24 16:58:41 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-08-24 16:59:04 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 16:59:35 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-24 16:59:40 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:125:afdc:8393:2327) |
| 2022-08-24 17:03:56 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-24 17:07:35 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-08-24 17:08:59 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 17:10:29 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-24 17:12:13 +0200 | rustisafungus | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 17:13:23 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-08-24 17:14:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-24 17:23:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-08-24 17:24:01 +0200 | CiaoSen | (~Jura@p200300c95738a5002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-08-24 17:24:07 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-24 17:25:07 +0200 | acidjnk | (~acidjnk@p200300d6e7137a442d4bcc663cf92581.dip0.t-ipconnect.de) |
| 2022-08-24 17:25:25 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:125:afdc:8393:2327) (Remote host closed the connection) |
| 2022-08-24 17:25:44 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:eac3:a8e7:41c2:1556) |
| 2022-08-24 17:26:42 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-24 17:27:20 +0200 | beteigeuze | (~Thunderbi@bl11-28-222.dsl.telepac.pt) (Ping timeout: 268 seconds) |
| 2022-08-24 17:32:21 +0200 | haskell_ | (~haskell@65-102-32-32.ptld.qwest.net) |
| 2022-08-24 17:32:41 +0200 | haskell_ | (~haskell@65-102-32-32.ptld.qwest.net) (Remote host closed the connection) |
| 2022-08-24 17:33:34 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 2022-08-24 17:33:36 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-24 17:35:13 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-24 17:37:59 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Quit: ccntrq) |
| 2022-08-24 17:40:55 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-08-24 17:42:02 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-24 17:42:41 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-24 17:43:18 +0200 | gustik | (~gustik@2a01:c844:2457:2220:475d:34f:d571:996f) |
| 2022-08-24 17:46:27 +0200 | rustisafungus | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-24 17:47:46 +0200 | motersen | (~motersen@user/motersen) (Ping timeout: 268 seconds) |
| 2022-08-24 17:48:58 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-24 17:51:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-24 17:51:52 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-24 17:54:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 17:54:43 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-08-24 17:55:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-24 18:00:41 +0200 | gustik | (~gustik@2a01:c844:2457:2220:475d:34f:d571:996f) (Quit: Leaving) |
| 2022-08-24 18:02:44 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) |
| 2022-08-24 18:04:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 18:08:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-24 18:11:28 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-24 18:11:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 18:12:29 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-24 18:15:36 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-24 18:15:48 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-24 18:16:07 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-24 18:22:24 +0200 | ccntrq | (~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection) |
| 2022-08-24 18:27:28 +0200 | yvan-sraka | (~yvan-srak@2a02:2788:224:71c:eac3:a8e7:41c2:1556) (Remote host closed the connection) |
| 2022-08-24 18:30:11 +0200 | eikke | (~NicolasT@88.126.78.98) (Ping timeout: 255 seconds) |
| 2022-08-24 18:30:35 +0200 | lyle | (~lyle@104.246.145.85) |
| 2022-08-24 18:31:50 +0200 | MajorBiscuit | (~MajorBisc@62-71-185.netrun.cytanet.com.cy) |
| 2022-08-24 18:35:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-24 18:35:26 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-08-24 18:36:46 +0200 | slack1256 | (~slack1256@191.126.227.212) |
| 2022-08-24 18:37:17 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-08-24 18:38:36 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-08-24 18:40:42 +0200 | <slack1256> | I got a module that compiles correctly but loads slowly (or doesn't event load) on ghci. How would I diagnose what is happening? the `--verbose` flag doesn't print per module output. |
| 2022-08-24 18:41:05 +0200 | fserucas | (~fserucas@89.214.149.93) (Quit: Leaving) |
| 2022-08-24 18:41:28 +0200 | <Rembane_> | slack1256: Remove half of it and see if it suddenly is fast. <- stupid way, I bet there are better ones. |
| 2022-08-24 18:41:44 +0200 | <sm> | slack1256: watch memory usage with top or ghci +RTS -s, maybe |
| 2022-08-24 18:41:56 +0200 | sm | likes Rembane_'s way |
| 2022-08-24 18:43:06 +0200 | <danso> | is there a name for flip at the type level? |
| 2022-08-24 18:43:31 +0200 | <danso> | e. g. something that turns [(Maybe(a)] into Maybe([a]) |
| 2022-08-24 18:43:56 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-08-24 18:44:35 +0200 | hays | (rootvegeta@fsf/member/hays) () |
| 2022-08-24 18:44:45 +0200 | <geekosaur> | there is type level Flip somewhere |
| 2022-08-24 18:44:58 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.5) |
| 2022-08-24 18:45:04 +0200 | <geekosaur> | it's not especially friendly iirc |
| 2022-08-24 18:45:10 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-24 18:45:35 +0200 | hays | (rootvegeta@fsf/member/hays) |
| 2022-08-24 18:47:30 +0200 | <geekosaur> | https://hackage.haskell.org/package/bifunctors/docs/Data-Bifunctor-Flip.html |
| 2022-08-24 18:48:16 +0200 | econo | (uid147250@user/econo) |
| 2022-08-24 18:51:07 +0200 | <geekosaur> | at least I think that's it. if not, try https://hackage.haskell.org/package/TypeCompose/docs/Control-Compose.html#t:Flip |
| 2022-08-24 18:51:11 +0200 | <albet70> | what's the different between 'return' and 'cont' in Cont |
| 2022-08-24 18:51:35 +0200 | <slack1256> | sm: Memory usage is constant. |
| 2022-08-24 18:52:26 +0200 | <albet70> | cont :: (a->r)->r :: Cont r a |
| 2022-08-24 18:52:42 +0200 | <sm> | try a different ghc version / check ghc changelog for compilation bugs your code might trigger ? |
| 2022-08-24 18:53:16 +0200 | <sm> | s/compilation// |
| 2022-08-24 18:53:17 +0200 | <albet70> | return :: a -> Cont r a |
| 2022-08-24 18:54:14 +0200 | <geekosaur> | albet70, looks to me from that that return lifts a value into a continuation, while cont defines one? |
| 2022-08-24 18:54:21 +0200 | <geekosaur> | @unmtl Cont r a |
| 2022-08-24 18:54:21 +0200 | <lambdabot> | (a -> r) -> r |
| 2022-08-24 18:55:54 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 18:55:56 +0200 | <geekosaur> | (`cont` would be the same as wrapping a `(a -> r) -> r` in a constructor, except that the actual constructor is `ContT` in `ContT r Identity a`. similarly there's `state` for `State s a`.) |
| 2022-08-24 18:57:05 +0200 | <geekosaur> | (so back in mtl1 it would have been `Cont ((a -> r) -> r)`m but there's no `Cont` constructor any more) |
| 2022-08-24 18:59:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-24 18:59:58 +0200 | ryantrinkle | (~ryan@2607:f00:3:14c0:7c6b:7160:d1ff:3f7) (Ping timeout: 244 seconds) |
| 2022-08-24 19:01:16 +0200 | <shapr> | @quote |
| 2022-08-24 19:01:16 +0200 | <lambdabot> | SnackThunder says: I told my actual dog I loved him and I was like it's gay marrige fault |
| 2022-08-24 19:01:23 +0200 | <shapr> | uh, what? |
| 2022-08-24 19:01:32 +0200 | <shapr> | ok then |
| 2022-08-24 19:01:44 +0200 | <shapr> | good morning? |
| 2022-08-24 19:01:47 +0200 | <Rembane_> | I wonder if there's a context there |
| 2022-08-24 19:01:49 +0200 | <Rembane_> | Hi shapr ! |
| 2022-08-24 19:01:57 +0200 | <shapr> | hi Rembane_ ! How's code treating you? |
| 2022-08-24 19:02:27 +0200 | <shapr> | I'm probably the one who added that quote, I just don't remember the context |
| 2022-08-24 19:03:08 +0200 | <Rembane_> | shapr: Code is fine, but a bit too much, I'm hacking Elixir at daytime and Python at night time! :D |
| 2022-08-24 19:03:12 +0200 | <Rembane_> | shapr: How's code treating you? |
| 2022-08-24 19:03:43 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-24 19:04:13 +0200 | <Rembane_> | shapr: I find that quote slightly offensive, so deleting it might not be a bad idea. :) |
| 2022-08-24 19:04:36 +0200 | <albet70> | k = (return $ \x -> x+3) <*> (return 3); runCont k id == 6 |
| 2022-08-24 19:05:26 +0200 | <albet70> | k = (cont $ \x -> x+3) <*> (cont $ \x -> x 3) is wrong |
| 2022-08-24 19:05:44 +0200 | <albet70> | return 3 == cont $ \x -> x 3? |
| 2022-08-24 19:08:29 +0200 | <shapr> | @forget SnackThunder I told my actual dog I loved him and I was like it's gay marrige fault |
| 2022-08-24 19:08:29 +0200 | <lambdabot> | Done. |
| 2022-08-24 19:08:38 +0200 | <shapr> | Rembane_: I also find it offensive, good idea |
| 2022-08-24 19:08:53 +0200 | <shapr> | Have I mentioned that I'm trying to rename cabal packages to CABBAGES? |
| 2022-08-24 19:09:02 +0200 | <shapr> | I think that needs to be the official name. |
| 2022-08-24 19:09:07 +0200 | <Rembane_> | shapr: Yay! |
| 2022-08-24 19:09:31 +0200 | <Rembane_> | shapr: That is the best idea! :D |
| 2022-08-24 19:09:45 +0200 | shapr | bounces cheerfully |
| 2022-08-24 19:09:46 +0200 | <shapr> | I think so too |
| 2022-08-24 19:09:56 +0200 | sm | 's head explodes at the alternate Haskell universe that just popped into the multiverse |
| 2022-08-24 19:10:05 +0200 | <shapr> | hi sm! How's code? |
| 2022-08-24 19:10:38 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-24 19:10:55 +0200 | <sm> | hi shapr! 5 days to find a name shadowing bug, but it's fine |
| 2022-08-24 19:11:00 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-24 19:11:05 +0200 | <shapr> | sm: wow, that sounds challenging |
| 2022-08-24 19:11:46 +0200 | <shapr> | sm: how'd you track it down? |
| 2022-08-24 19:12:03 +0200 | <sm> | but seriously.. if they had been called cabbages from the beginning, imagine the alternate timeline.. we'd have had cute logos, mascots, a whole different audience |
| 2022-08-24 19:12:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-24 19:12:53 +0200 | <shapr> | we can chance it now? |
| 2022-08-24 19:13:04 +0200 | <shapr> | lots of avatar memes about cabbages? |
| 2022-08-24 19:13:19 +0200 | <geekosaur[m]> | albet70: I'd say `cont` creates a continuation while `return` lifts a value into it, and trying to relate them that way is going to cause problems |
| 2022-08-24 19:13:52 +0200 | <geekosaur[m]> | But I'm not an expert on Cont |
| 2022-08-24 19:14:00 +0200 | <sm> | shapr: dimly, doggedly! did a bunch of work to add more debug logging to a brick application, used the new breakpoint library, inspected all kinds of things, studied brick internals.. finally noticed a refactor that had gone wrong |
| 2022-08-24 19:14:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-24 19:14:28 +0200 | <geekosaur[m]> | Every so often I rediscover how Cont works and then forget it again |
| 2022-08-24 19:14:40 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-24 19:15:36 +0200 | <shapr> | sm: do you think git bisect would have helped? |
| 2022-08-24 19:15:46 +0200 | <albet70> | geekosaur[m] , me too |
| 2022-08-24 19:16:03 +0200 | <albet70> | too difficult to use |
| 2022-08-24 19:16:31 +0200 | <sm> | too painful, as usual - at the very least it would have required installing a ton of ghc versions and deps. The bug was actually introduced 4 years ago |
| 2022-08-24 19:18:11 +0200 | MajorBiscuit | (~MajorBisc@62-71-185.netrun.cytanet.com.cy) (Quit: WeeChat 3.5) |
| 2022-08-24 19:18:25 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-08-24 19:19:14 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 255 seconds) |
| 2022-08-24 19:20:03 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-24 19:21:03 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-08-24 19:21:10 +0200 | <sm> | o well some lessons learned ? 1. enable the name-shadowing warning everywhere; 2. always test PRs, use a manual test script if necessary; 3. debug logging to a file is important for brick apps 4. breakpoint lib is good 5. debug with a fresh mind 6. try to make git bisect easier.. |
| 2022-08-24 19:21:49 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-24 19:22:33 +0200 | <dolio> | #1 just encourages the opposite bug. |
| 2022-08-24 19:23:13 +0200 | <sm> | yes git bisect would have been quicker, but I didn't know that then :) |
| 2022-08-24 19:23:23 +0200 | <sm> | how's that dolio ? |
| 2022-08-24 19:24:49 +0200 | <sm> | it creates some code noise, seems a bit ugly sometimes, but safer |
| 2022-08-24 19:24:50 +0200 | <dolio> | The opposite bug is where you reference something after it should not longer be used, because you didn't shadow it with the new, current value. |
| 2022-08-24 19:25:01 +0200 | <dolio> | Those bugs aren't uncommon, either. |
| 2022-08-24 19:25:03 +0200 | <sm> | hrm |
| 2022-08-24 19:26:16 +0200 | <pareto-optimal-d> | dolio: If it shouldn't be used, why is it in scope? |
| 2022-08-24 19:26:50 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) |
| 2022-08-24 19:26:52 +0200 | <geekosaur> | because there's no convenient way to "de-scope" something |
| 2022-08-24 19:26:55 +0200 | <pareto-optimal-d> | * If it shouldn't be used, why is it in scope? |
| 2022-08-24 19:26:55 +0200 | <pareto-optimal-d> | Having a hard time imaging an example is all. |
| 2022-08-24 19:26:59 +0200 | <pareto-optimal-d> | * If it shouldn't be used, why is it in scope? |
| 2022-08-24 19:26:59 +0200 | <pareto-optimal-d> | Having a hard time imagining an example is all. |
| 2022-08-24 19:27:04 +0200 | sm | thinks the intent will be clearer and bugs easier to spot with distinct names.. will have to find out |
| 2022-08-24 19:27:21 +0200 | <geekosaur> | except to exit a scope and lose everything in that scope, not just the one value that is now out of date |
| 2022-08-24 19:27:21 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 244 seconds) |
| 2022-08-24 19:27:31 +0200 | <dolio> | \x -> do x1 <- ... x ... ; e |
| 2022-08-24 19:27:50 +0200 | <dolio> | `x` doesn't go out of scope in `e` just because `x1` exists. |
| 2022-08-24 19:28:50 +0200 | <pareto-optimal-d> | Ah, I see. Thanks. Now to think on it for a bit... |
| 2022-08-24 19:28:54 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) |
| 2022-08-24 19:31:26 +0200 | <pareto-optimal-d> | x1 <- do ...; pure x; e x1 |
| 2022-08-24 19:31:26 +0200 | <pareto-optimal-d> | Descope like this? It can be tedious sometimes but is usually fine. |
| 2022-08-24 19:31:46 +0200 | <pareto-optimal-d> | s/;// |
| 2022-08-24 19:32:52 +0200 | <pareto-optimal-d> | * (x1,..., y4) <- do... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/d3f38b0e1419eec79ab4ce6aa26501024b4d…) |
| 2022-08-24 19:33:25 +0200 | <pareto-optimal-d> | * (x1,..., y4) <- do... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/bc6fa274cce75a25641b493132e4b4d8bdc3…) |
| 2022-08-24 19:33:48 +0200 | <pareto-optimal-d> | * (x1,..., y4) <- do... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/a13e39d5abf082bd8d266adcd98578550994…) |
| 2022-08-24 19:34:15 +0200 | <dolio> | Are you sending multiple messages, or is the matrix bridge just freaking out? |
| 2022-08-24 19:34:17 +0200 | <pareto-optimal-d> | Or I guess factoring into a function at that point might also work. |
| 2022-08-24 19:34:30 +0200 | <geekosaur> | that's the matrix bridge handling edits and code blocks poorly |
| 2022-08-24 19:34:40 +0200 | <pareto-optimal-d> | I edited the one 5 times |
| 2022-08-24 19:35:04 +0200 | <pareto-optimal-d> | Sorry, wasn't aware but will try avoiding that in the future. |
| 2022-08-24 19:36:13 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-24 19:39:21 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 2022-08-24 19:42:25 +0200 | Vajb | (~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) |
| 2022-08-24 19:42:28 +0200 | slac65557 | (~slack1256@186.11.101.181) |
| 2022-08-24 19:44:23 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-24 19:44:36 +0200 | slack1256 | (~slack1256@191.126.227.212) (Ping timeout: 260 seconds) |
| 2022-08-24 19:45:00 +0200 | slac65557 | (~slack1256@186.11.101.181) (Remote host closed the connection) |
| 2022-08-24 19:48:45 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.6) |
| 2022-08-24 19:49:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-24 19:50:39 +0200 | motersen | (~motersen@user/motersen) (Remote host closed the connection) |
| 2022-08-24 19:51:22 +0200 | motersen | (~motersen@user/motersen) |
| 2022-08-24 19:53:44 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-08-24 19:59:05 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) (Read error: Connection reset by peer) |
| 2022-08-24 19:59:18 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) |
| 2022-08-24 20:02:36 +0200 | hays | (rootvegeta@fsf/member/hays) () |
| 2022-08-24 20:06:35 +0200 | mima | (~mmh@dhcp-138-246-3-43.dynamic.eduroam.mwn.de) (Ping timeout: 268 seconds) |
| 2022-08-24 20:08:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-24 20:08:22 +0200 | hays | (rootvegeta@fsf/member/hays) |
| 2022-08-24 20:12:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-24 20:13:02 +0200 | ardell | (~ardell@user/ardell) |
| 2022-08-24 20:30:23 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds) |
| 2022-08-24 20:32:53 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-24 20:33:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-08-24 20:33:36 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-08-24 20:34:08 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-08-24 20:36:13 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-24 20:41:48 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b83b:5caf:dd47:72d1) |
| 2022-08-24 20:42:17 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-24 20:43:16 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 20:48:21 +0200 | ryantrinkle | (~ryan@2607:f00:3:14c0:7c6b:7160:d1ff:3f7) |
| 2022-08-24 20:50:42 +0200 | ardell_ | (~ardell@user/ardell) |
| 2022-08-24 20:51:10 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-24 20:53:26 +0200 | ardell | (~ardell@user/ardell) (Ping timeout: 260 seconds) |
| 2022-08-24 20:56:14 +0200 | shapr` | (~user@68.54.166.125) |
| 2022-08-24 20:57:38 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-24 20:57:46 +0200 | shapr | (~user@2601:7c0:c383:70:5395:f9cf:31e7:c609) (Ping timeout: 244 seconds) |
| 2022-08-24 20:59:32 +0200 | odnes | (~odnes@5-203-171-254.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-08-24 20:59:39 +0200 | odnes_ | (~odnes@5-203-171-254.pat.nym.cosmote.net) |
| 2022-08-24 21:00:37 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 21:01:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-24 21:05:29 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-24 21:13:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-24 21:14:59 +0200 | akegalj | (~akegalj@135-40.dsl.iskon.hr) |
| 2022-08-24 21:19:38 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-24 21:22:31 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-24 21:22:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b83b:5caf:dd47:72d1) (Quit: WeeChat 2.8) |
| 2022-08-24 21:23:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 268 seconds) |
| 2022-08-24 21:25:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-24 21:26:45 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-24 21:35:05 +0200 | ardell_ | (~ardell@user/ardell) (Quit: Leaving) |
| 2022-08-24 21:35:48 +0200 | shapr` | shapr |
| 2022-08-24 21:37:39 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-24 21:38:23 +0200 | kenran | (~kenran@200116b82befa500a901b287fe01061a.dip.versatel-1u1.de) |
| 2022-08-24 21:38:23 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-08-24 21:39:37 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-24 21:40:14 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-08-24 21:41:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-24 21:42:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-24 21:48:12 +0200 | odnes_ | (~odnes@5-203-171-254.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-08-24 21:52:40 +0200 | alternateved | (~user@staticline-31-183-146-203.toya.net.pl) (Read error: Connection reset by peer) |
| 2022-08-24 21:54:42 +0200 | toeffel | (~toeffel@user/toeffel) (Quit: quit) |
| 2022-08-24 21:57:05 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-24 22:02:22 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-24 22:04:13 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-24 22:05:51 +0200 | econo | (uid147250@user/econo) |
| 2022-08-24 22:07:46 +0200 | acarrico | (~acarrico@dhcp-68-142-48-19.greenmountainaccess.net) |
| 2022-08-24 22:07:53 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-24 22:07:54 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-24 22:12:35 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-24 22:14:15 +0200 | g | (x@libera/staff/glguy) (Quit: done) |
| 2022-08-24 22:15:24 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-08-24 22:15:47 +0200 | califax | (~califax@user/califx) |
| 2022-08-24 22:18:17 +0200 | jespada | (~jespada@181.28.113.105) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-08-24 22:18:56 +0200 | wonko | (~wjc@2a0e:1c80:2::130) |
| 2022-08-24 22:22:00 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-24 22:22:09 +0200 | <lyle> | geekosaur, monochrom, qrpnxz: I solved my problem. If you're interested, https://paste.tomsmeding.com/CucAJwLP |
| 2022-08-24 22:22:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-08-24 22:22:50 +0200 | <lyle> | It uses Conduit now instead of Pipes, but the solution is nearly identical for Pipes. |
| 2022-08-24 22:23:36 +0200 | <qrpnxz> | have you checked if it's better to lift conduit into state and then eval state from the outside? |
| 2022-08-24 22:23:41 +0200 | <qrpnxz> | congrats tho |
| 2022-08-24 22:23:50 +0200 | jargon | (~jargon@184.101.169.20) |
| 2022-08-24 22:23:59 +0200 | <qrpnxz> | (i think it would be better but it'd be nice to know for sure) |
| 2022-08-24 22:24:28 +0200 | <qrpnxz> | lyle: |
| 2022-08-24 22:26:09 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-24 22:28:03 +0200 | jespada | (~jespada@181.28.113.105) |
| 2022-08-24 22:28:04 +0200 | jespada | (~jespada@181.28.113.105) (Client Quit) |
| 2022-08-24 22:28:14 +0200 | bilegeek | (~bilegeek@2600:1008:b007:f584:c94c:3ef8:b0dd:8e8e) |
| 2022-08-24 22:30:43 +0200 | <lyle> | qrpnxz: I'm too much of a beginner in Haskell to judge whether that approach would be better, sorry. |
| 2022-08-24 22:31:33 +0200 | <qrpnxz> | dw even i'm not sure. Was hoping you had a benchmark ready and you could try both approaches, but if you don't wanna bother no problem. |
| 2022-08-24 22:33:09 +0200 | <qrpnxz> | the thing with hoist is that it has to reify the conduit pipe and then rebuild into CPS, but if you did it the other way then the conduit is never rebuilt unless i missed something |
| 2022-08-24 22:33:57 +0200 | <qrpnxz> | and you wouldn't be lifting your state operations, instead only liftIO and then lifting the yield |
| 2022-08-24 22:36:53 +0200 | <sshine> | the readme example from 'bincode' wraps a vector in a struct; is that so derived Serialize/Deserialize work better? |
| 2022-08-24 22:38:26 +0200 | wonko | (~wjc@2a0e:1c80:2::130) (Ping timeout: 260 seconds) |
| 2022-08-24 22:46:53 +0200 | nuh^ | (~nuh@96.70.11.181) |
| 2022-08-24 22:48:48 +0200 | kenran | (~kenran@200116b82befa500a901b287fe01061a.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-24 22:53:23 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 248 seconds) |
| 2022-08-24 22:59:58 +0200 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-08-24 23:00:57 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-24 23:01:35 +0200 | <akegalj> | what is the runtime complexity of Data.Vector.Unboxed.modify https://hackage.haskell.org/package/vector-0.13.0.0/docs/Data-Vector-Unboxed.html#v:modify . Is it O(n) as it has to copy the vector? |
| 2022-08-24 23:02:28 +0200 | bilegeek | (~bilegeek@2600:1008:b007:f584:c94c:3ef8:b0dd:8e8e) (Remote host closed the connection) |
| 2022-08-24 23:02:54 +0200 | bilegeek | (~bilegeek@2600:1008:b007:f584:c94c:3ef8:b0dd:8e8e) |
| 2022-08-24 23:03:07 +0200 | <akegalj> | "The operation will be performed in place if it is safe to do so" - when is it safe to do so? |
| 2022-08-24 23:03:26 +0200 | nuh^ | (~nuh@96.70.11.181) (Remote host closed the connection) |
| 2022-08-24 23:05:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Ping timeout: 268 seconds) |
| 2022-08-24 23:05:22 +0200 | zava | (~zava@ip5f5bdf97.dynamic.kabel-deutschland.de) |
| 2022-08-24 23:06:00 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 23:08:10 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) |
| 2022-08-24 23:08:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-24 23:08:43 +0200 | <geekosaur[m]> | When nothing else is holding a reference to it |
| 2022-08-24 23:08:45 +0200 | <qrpnxz> | ah nice. So looking at the implementation, it looks like in the worse case it will just make a copy, but in a streaming context it could be able to fuse with other operations or as it's consumed? |
| 2022-08-24 23:11:15 +0200 | <akegalj> | geekosaur[m]: my understanding that nothing is holding a reference at the end of the function, when it goes out of scope |
| 2022-08-24 23:11:26 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-24 23:11:33 +0200 | <geekosaur[m]> | I think so |
| 2022-08-24 23:12:19 +0200 | <qrpnxz> | vector has no way to know that though |
| 2022-08-24 23:18:39 +0200 | mima | (mmh@gateway/vpn/airvpn/mima) |
| 2022-08-24 23:20:06 +0200 | justache | justDeez |
| 2022-08-24 23:21:20 +0200 | bilegeek | (~bilegeek@2600:1008:b007:f584:c94c:3ef8:b0dd:8e8e) (Quit: Leaving) |
| 2022-08-24 23:27:28 +0200 | <qrpnxz> | oh, here is one example where it won't copy. If you created a new vector using `new`, then fed that into `modify`, the `clone . new` would fuse and never clone, simply feeding the vec directly into modify. akegalj |
| 2022-08-24 23:28:54 +0200 | <qrpnxz> | i think (clone (new p)) = p is the only rule that would get rid of the clone (but idk 100%) |
| 2022-08-24 23:42:47 +0200 | <qrpnxz> | oh i found a key place were `new` shows up: unstream! So yeah, if you have are doing a modify into a streamed vector, the rule will delete the clone |
| 2022-08-24 23:43:06 +0200 | <dolio> | Yes, it is a static phenomenon. |
| 2022-08-24 23:45:51 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-08-24 23:48:22 +0200 | <qrpnxz> | so for example reverse = unstream . streamR, unstream = new . New.unstream, so reverse = new . New.unstream . streamR. Then New.unstream . streamR . new = New.modify M.reverse. So reverse . new turns into new . New.modify M.reverse. So if you say created a new vector, then reversed it, then did G.modify on it, you'd end up with new . New.modify p . New.modify M.reverse. You create the vector once |
| 2022-08-24 23:48:24 +0200 | <qrpnxz> | modify twice in place. |
| 2022-08-24 23:48:26 +0200 | <qrpnxz> | pretty neat |
| 2022-08-24 23:50:10 +0200 | eikke | (~NicolasT@88.126.78.98) |
| 2022-08-24 23:51:22 +0200 | <qrpnxz> | so you'll get fusion with `reverse`, `update`, `scanl`, this kind of thing |
| 2022-08-24 23:51:44 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-08-24 23:51:58 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-24 23:53:37 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-24 23:53:46 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-24 23:57:11 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |