2021/11/27

2021-11-27 00:00:54 +0100 <dsal> arahael: I believe it's Network.AWS
2021-11-27 00:01:20 +0100 <arahael> dsal: Curious - I happen to know it's in Amazonka, but how do we find that out?
2021-11-27 00:01:23 +0100 <dsal> Oh yeah, it's Credentials, exported from Network.AWS
2021-11-27 00:01:45 +0100 <geekosaur> make sure you didn't do something like import Network.AWS (Credentials)
2021-11-27 00:01:54 +0100 <sm> dsal: awesome
2021-11-27 00:01:56 +0100 <geekosaur> without the trailing (..) to get its constructors
2021-11-27 00:02:08 +0100 <arahael> I mean, "import Amazonka" works. I guess Amazonka might be doing a re-export.
2021-11-27 00:02:22 +0100 <dsal> I wasn't even aware of Amazonka as a module.
2021-11-27 00:02:44 +0100 <arahael> It's not a re-export.
2021-11-27 00:02:53 +0100 <arahael> https://github.com/brendanhay/amazonka/blob/main/lib/amazonka/src/Amazonka/Auth.hs#L258
2021-11-27 00:03:19 +0100 <arahael> I guess the method I should use when looking for "Foo.Bar.Baz" is to do a github search instead for "Foo.Bar"?
2021-11-27 00:03:22 +0100 <dsal> Amazonka has a lot of rexports.
2021-11-27 00:03:33 +0100 <arahael> dsal: That's the actual type.
2021-11-27 00:03:40 +0100 <dsal> Sure, but that's not how I got it.
2021-11-27 00:04:06 +0100 <dsal> Unless… did they move everything since the last 2.0 I tried?
2021-11-27 00:05:05 +0100MironZ(~MironZ@nat-infra.ehlab.uk)
2021-11-27 00:05:09 +0100 <dsal> Amazonka exports Credentials it imports from Amazonka.Auth
2021-11-27 00:05:51 +0100 <arahael> So I guess Network.AWS must be re-exporting the Amazonka one.
2021-11-27 00:06:17 +0100 <geekosaur> mm, that error says it's coming from Amazonka.Auth
2021-11-27 00:06:27 +0100 <geekosaur> how are you importing Amazonka?
2021-11-27 00:06:43 +0100deadmarshal(~deadmarsh@95.38.228.146)
2021-11-27 00:06:55 +0100 <arahael> "import Amazonka".
2021-11-27 00:07:05 +0100 <geekosaur> no list? that seems odd then
2021-11-27 00:07:06 +0100 <arahael> Or rather, I am now. :)
2021-11-27 00:07:13 +0100 <geekosaur> oh
2021-11-27 00:07:25 +0100 <arahael> geekosaur: The question was more: "How do I know that I need to do an Import Amazonka"?
2021-11-27 00:07:45 +0100 <arahael> geekosaur: As opposed to "Import Amazonka.Bazooka".
2021-11-27 00:07:45 +0100jstolarek(~jstolarek@137.220.120.162) (Ping timeout: 250 seconds)
2021-11-27 00:07:58 +0100 <arahael> Or even as dsal thought, "import Network.AWS".
2021-11-27 00:08:00 +0100 <geekosaur> I would look at the type it listed and start drilling down
2021-11-27 00:08:09 +0100 <arahael> geekosaur: Yeah, how would you find that type? :D
2021-11-27 00:08:10 +0100 <geekosaur> Amazonka, then Amazonka.Auth
2021-11-27 00:08:17 +0100 <geekosaur> it's in the error message
2021-11-27 00:08:26 +0100 <geekosaur> "Data Constructor not in scope: Discover :: Amazonka.Auth.Credentials"
2021-11-27 00:08:32 +0100lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 240 seconds)
2021-11-27 00:09:05 +0100 <arahael> geekosaur: Right, so I've since suggested that maybe the method I need is to chop that last term off, and search for "Amazonka.Auth".
2021-11-27 00:09:22 +0100lemonsnicks(~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net)
2021-11-27 00:09:23 +0100 <arahael> (Otherwise github will yield zero results)
2021-11-27 00:09:26 +0100 <geekosaur> I'd start from thre other end though, specifically to check for reexports
2021-11-27 00:09:39 +0100 <arahael> geekosaur: You'd search for "Amazonka"?
2021-11-27 00:09:43 +0100 <geekosaur> yes
2021-11-27 00:09:50 +0100 <arahael> That's a lot of github results.
2021-11-27 00:09:57 +0100 <geekosaur> on the assumption that it'd be reexporting the right module already
2021-11-27 00:10:14 +0100 <geekosaur> also I would not simply search github, I would search the source since I'm already targeted
2021-11-27 00:10:34 +0100 <arahael> Ah, "try it and see", import Amazonka, recomiple, if it fails, try "import Amazonka.Auth"?
2021-11-27 00:10:41 +0100 <geekosaur> you presumably know where you got amazonka 2.0 from so look in Amazonka.hs then Amazonka/Auth.hs
2021-11-27 00:10:46 +0100deadmarshal(~deadmarsh@95.38.228.146) (Ping timeout: 245 seconds)
2021-11-27 00:11:00 +0100 <arahael> Ah, I see, so actually read the source.
2021-11-27 00:11:07 +0100 <dsal> I think there are good uses for re-exports and bad uses. Just sticking everything everywhere so you can import whatever you want and it'll probably work *seems* kind of bad.
2021-11-27 00:11:23 +0100 <dsal> arahael: heh, that's what I was just doing. Reading source.
2021-11-27 00:11:31 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2021-11-27 00:11:35 +0100 <arahael> dsal: Now, for the next example... Variable not in scope: getRegion :: ASetter Env a3 a4 Region
2021-11-27 00:11:50 +0100 <geekosaur> it seems weird to do a full github search when you have the source code already
2021-11-27 00:11:51 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-11-27 00:11:53 +0100 <dsal> This environment parser reexports stuff like <=< and optional, so all this code was using Env.<=< and Env.optional which I thought were somehow special.
2021-11-27 00:12:07 +0100 <dsal> arahael: welcome to 2.0
2021-11-27 00:12:12 +0100 <arahael> dsal: :)
2021-11-27 00:12:24 +0100 <arahael> geekosaur: Well, no, I constrain it to the specific repo, of course. :)
2021-11-27 00:12:39 +0100 <geekosaur> even so.
2021-11-27 00:13:11 +0100 <geekosaur> the error tells you exactly where to start searching, so start searching there instead of poking the whole project
2021-11-27 00:13:20 +0100 <dsal> arahael: newEnv Discover <&> set (field @"envRegion") r
2021-11-27 00:14:57 +0100obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-11-27 00:15:02 +0100 <arahael> dsal: I'm trying to figure out how I would find out that particular incantation, but thanks for that, that also helps. :D
2021-11-27 00:15:40 +0100 <dsal> It's generic lens now. So you have to like, know the name of the field.
2021-11-27 00:15:45 +0100 <dsal> The compiler will tell you when you're wrong.
2021-11-27 00:16:02 +0100 <dsal> So just keep guessing strings until you're right, or find the object and see what fields exist on it and try to guess based on those.
2021-11-27 00:16:04 +0100[itchyjunk]riphair
2021-11-27 00:16:55 +0100 <arahael> dsal: I've loaded this into ghci: newEnv Discover <&> set _ NorthVirginia -- That does get me the ASetter Env b a0 Region ... Oh, wait, GTG - back in a moment...
2021-11-27 00:16:58 +0100 <arahael> Visitor.
2021-11-27 00:18:18 +0100 <[itchyjunk]> omg, i knew i had the signature wrong
2021-11-27 00:18:27 +0100 <[itchyjunk]> i removed the signature line and it compiled
2021-11-27 00:18:56 +0100 <geekosaur> now ask it for the correct signature
2021-11-27 00:19:01 +0100 <geekosaur> foo :: _
2021-11-27 00:19:16 +0100 <[itchyjunk]> and now that i :t myFunc, *facepalm*
2021-11-27 00:19:46 +0100 <dsal> arahael: Yeah, the setter is (field @"[field name]") -- I don't think you're going to get a lens hole working there, though I think there might be another module with more explicit things.
2021-11-27 00:20:06 +0100burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk)
2021-11-27 00:20:28 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 00:22:16 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-11-27 00:22:28 +0100 <[itchyjunk]> I have a convoluted question about this : https://bpa.st/6Q4Q
2021-11-27 00:22:47 +0100 <[itchyjunk]> my function `i` does what i want but i have to manually compose it with h
2021-11-27 00:22:54 +0100 <[itchyjunk]> is `j` the best solution to it?
2021-11-27 00:23:03 +0100 <[itchyjunk]> j "this is a test"
2021-11-27 00:23:03 +0100 <[itchyjunk]> ["this","is","a","test"]
2021-11-27 00:23:09 +0100 <[itchyjunk]> j does what i was intending it to do
2021-11-27 00:24:32 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-11-27 00:25:01 +0100namkeleser(~namkelese@101.175.102.188) (Quit: Client closed)
2021-11-27 00:25:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-11-27 00:26:51 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-11-27 00:29:03 +0100 <[exa]> [itchyjunk]: so `f` and `g` are take/drop word, h is "one word and rest", i iterates that, right?
2021-11-27 00:29:17 +0100namkeleser(~namkelese@101.175.102.188)
2021-11-27 00:29:30 +0100hololeap(~hololeap@user/hololeap) (Excess Flood)
2021-11-27 00:30:28 +0100 <[itchyjunk]> yes i think so
2021-11-27 00:30:36 +0100 <[exa]> [itchyjunk]: anyway, normally I'd go with `h s = f s:h (g s)`, generating a list of words, which kinda captures the recursion you have there right in the data
2021-11-27 00:30:45 +0100 <[itchyjunk]> f gets the first word, g gets everything but the first word
2021-11-27 00:30:55 +0100hololeap(~hololeap@user/hololeap)
2021-11-27 00:31:11 +0100 <[itchyjunk]> hmm
2021-11-27 00:31:44 +0100 <[exa]> you might notice that you will have either [] or (head:rest) instead of ([],[]) and (head,rest), which may be a bit more convenient
2021-11-27 00:31:54 +0100max22-(~maxime@2a01cb0883359800b686e733ae8fbdbc.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-27 00:31:56 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2021-11-27 00:32:01 +0100AlexNoo(~AlexNoo@178.34.162.8) (Ping timeout: 245 seconds)
2021-11-27 00:32:01 +0100Alex_test(~al_test@178.34.162.8) (Ping timeout: 245 seconds)
2021-11-27 00:32:08 +0100 <[exa]> e.g. you can distinguish between empty word on beginning vs no word on beginning
2021-11-27 00:32:26 +0100AlexZenon(~alzenon@178.34.162.8) (Ping timeout: 245 seconds)
2021-11-27 00:32:28 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-11-27 00:33:03 +0100qwedfg(~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in)
2021-11-27 00:34:29 +0100obfusk(~quassel@a82-161-150-56.adsl.xs4all.nl)
2021-11-27 00:34:30 +0100cosimone`(~user@93-47-228-243.ip115.fastwebnet.it) (Ping timeout: 268 seconds)
2021-11-27 00:34:55 +0100qwedfg(~qwedfg@user/qwedfg)
2021-11-27 00:35:15 +0100dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.3)
2021-11-27 00:37:39 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection)
2021-11-27 00:37:39 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 00:38:21 +0100 <[itchyjunk]> hmm
2021-11-27 00:38:26 +0100CiaoSen(~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-11-27 00:38:52 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-27 00:40:53 +0100emf(~emf@2620:10d:c090:400::5:acc4)
2021-11-27 00:42:21 +0100emf(~emf@2620:10d:c090:400::5:acc4) (Client Quit)
2021-11-27 00:43:22 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 260 seconds)
2021-11-27 00:45:17 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 00:45:19 +0100 <[itchyjunk]> I forgot how to reverse list. the one i am writing compiles but gives me a "Non exhaustive pattern"
2021-11-27 00:45:21 +0100 <[itchyjunk]> https://bpa.st/SEZA
2021-11-27 00:45:35 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 00:45:36 +0100 <[itchyjunk]> i went through an example [1, 2, 3] and i don't see where it goes wrong
2021-11-27 00:46:28 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 00:46:39 +0100 <[itchyjunk]> last [1] = 1 and init [1] = [] so reverseList (init [1]) = reverseList [] = []
2021-11-27 00:46:45 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 00:48:19 +0100 <arahael> dsal: Back. Ok, so basically once I see "ASetter", I should assume "lens", but then how do I know what teh field name should be?
2021-11-27 00:48:47 +0100 <arahael> (Also: Why the @string?)
2021-11-27 00:49:49 +0100 <arahael> dsal: Hmm, using that syntax it says it's illegal, this is using new extensions I'm not familiar with!
2021-11-27 00:49:58 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-11-27 00:50:59 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 00:51:50 +0100 <dsal> arahael: That's generic lens.
2021-11-27 00:52:06 +0100 <dsal> DataKinds and TypeApplications
2021-11-27 00:52:29 +0100 <arahael> dsal: I've already got Control.Lens imported. Ah, ok, I'll just enable those extensions then.
2021-11-27 00:53:16 +0100 <arahael> dsal: Somehow feel that I didn't need those extensions before with simple lens stuff.
2021-11-27 00:53:24 +0100 <dsal> No, this is generic lens.
2021-11-27 00:53:36 +0100 <dsal> the generic-lens package
2021-11-27 00:53:43 +0100 <dsal> @hackage generic-lens
2021-11-27 00:53:43 +0100 <lambdabot> https://hackage.haskell.org/package/generic-lens
2021-11-27 00:53:57 +0100 <arahael> Oh!
2021-11-27 00:54:01 +0100namkeleser(~namkelese@101.175.102.188) (Quit: Client closed)
2021-11-27 00:54:04 +0100 <dsal> field is import Data.Generics.Product (field)
2021-11-27 00:54:39 +0100 <dsal> Instead of TH generating everything you might possibly do at compile time, we just add generics and sort it out when you need it.
2021-11-27 00:55:05 +0100 <arahael> Nice.
2021-11-27 00:55:50 +0100 <dsal> [itchyjunk]: I think you have a typo in that code you pasted.
2021-11-27 00:55:59 +0100 <dsal> Or something... it shouldn't compile
2021-11-27 00:56:28 +0100 <arahael> Ok, seems I need to sort out the versions for generic-lens, will do that later in the arvo.
2021-11-27 00:56:37 +0100 <arahael> dsal: Thanks for your guidance :)
2021-11-27 00:56:48 +0100 <dsal> Yeah, I went through all this on a couple of projects. :)
2021-11-27 00:57:03 +0100 <dsal> Glad that time was more useful than just me playing around.
2021-11-27 00:57:42 +0100MrNobody_0000000(~MrNobody@user/mrnobody-0000000/x-9129771) (Ping timeout: 276 seconds)
2021-11-27 00:57:43 +0100 <arahael> Heh. This has taught me a LOT about the haskell package ecosystem, most of it seems quite reasonable, particularly considering 9.2.1 isn't even a "recommended version" yet.
2021-11-27 00:58:14 +0100 <dsal> This is me converting my s3up project to amazonka2: import Data.Generics.Product (field)
2021-11-27 00:58:16 +0100 <dsal> damnit
2021-11-27 00:58:22 +0100 <dsal> https://github.com/dustin/s3up/commit/796f65cc2cc6bb92b1127f35d122972908b7f888
2021-11-27 00:59:44 +0100 <arahael> Nice. I'm trying to abandon stackage, these days, but that looks helpful! Somehow generic-lens doesn't build for me, but it's probably due to some package conflict or yet another arch-specific bug.
2021-11-27 01:00:11 +0100 <dsal> I'm using stack on nix on M1. If it builds for me, it should build for anyone.
2021-11-27 01:00:36 +0100 <arahael> Which llvm version?
2021-11-27 01:00:53 +0100 <dsal> no clue. heh
2021-11-27 01:01:00 +0100 <arahael> I'm using clang --version: Apple clang version 13.0.0 (clang-1300.0.29.3)
2021-11-27 01:01:35 +0100 <dsal> something between stack and nix figure that out for me.
2021-11-27 01:01:43 +0100 <[itchyjunk]> oh i see the typo
2021-11-27 01:01:47 +0100 <[itchyjunk]> it also compiles
2021-11-27 01:01:49 +0100 <[itchyjunk]> wth?
2021-11-27 01:02:03 +0100 <dsal> I get all these cool errors, though: sqlite-simple > 'apple-a7' is not a recognized processor for this target (ignoring processor)
2021-11-27 01:02:08 +0100 <arahael> It's out of stack's hands. Might be nix, but I thought nix on macos defers to the system xcode because of apple's shenagins.
2021-11-27 01:02:08 +0100 <[itchyjunk]> it doesnt compile after i fix the typo
2021-11-27 01:02:10 +0100 <[itchyjunk]> lmfao
2021-11-27 01:02:32 +0100 <dsal> arahael: It might. *shrug* I just bang on keyboard until it stops fighting back.
2021-11-27 01:03:20 +0100 <arahael> dsal: I'd be very interested to find out, because whilst i do actually have nix installed, I'm generally currently avoiding nix as I find it's sometimes more trouble than it's worth imho in my case. (Especially as most of the time, I'm actually doing iOS dev).
2021-11-27 01:03:29 +0100 <arahael> dsal: And that iOS dev means I tend to be always on the very very latest. :(
2021-11-27 01:03:56 +0100 <dsal> I don't think I'm behind on anything in particular. I like my edges bloody.
2021-11-27 01:04:00 +0100 <arahael> dsal: If you can enter a nix-shell for that project, then type 'clang --version', that would be illuminating.
2021-11-27 01:04:48 +0100 <arahael> dsal: The other problem with nix is that it does not implement --pure on macos. :(
2021-11-27 01:05:09 +0100 <arahael> (So it's difficult to tell if your nix build really is correct or if you're still missing something. :( )
2021-11-27 01:05:11 +0100 <dsal> I don't even use nix shells... stack manages that. I actually have no clue how all those pieces work.
2021-11-27 01:05:16 +0100 <arahael> Ah.
2021-11-27 01:05:31 +0100 <arahael> Yeah, for me... I started stripping out stack when stack basically fell apart for me.
2021-11-27 01:06:00 +0100 <arahael> stack and nix seems to have a fairly convoluted history for me, especially on nixos.
2021-11-27 01:06:08 +0100 <dsal> I never managed to get a project migrated away from stack because every time I try something annoying gets in the way. I never remember what, so I try again thinking it's going to be easy, but then I don't manage to finish.
2021-11-27 01:06:31 +0100 <dsal> Sure, stack and nix and macos should be the hardest thing to get working, but I am trapped in here.
2021-11-27 01:09:48 +0100 <arahael> It does feel that way. :(
2021-11-27 01:14:21 +0100 <[itchyjunk]> this does what i want other than adding an extra space at the end :(
2021-11-27 01:14:22 +0100 <[itchyjunk]> https://bpa.st/WFKA
2021-11-27 01:14:59 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 01:15:04 +0100 <dsal> @src intercalate
2021-11-27 01:15:04 +0100 <lambdabot> intercalate xs xss = concat (intersperse xs xss)
2021-11-27 01:15:19 +0100 <dsal> There, now you're smarter. heh
2021-11-27 01:15:22 +0100 <dsal> @src intersperse
2021-11-27 01:15:22 +0100 <lambdabot> intersperse _ [] = []
2021-11-27 01:15:22 +0100 <lambdabot> intersperse _ [x] = [x]
2021-11-27 01:15:22 +0100 <lambdabot> intersperse sep (x:xs) = x : sep : intersperse sep xs
2021-11-27 01:15:31 +0100 <[itchyjunk]> i knew concat was a keyword, i tried using that and got in trouble
2021-11-27 01:15:31 +0100 <dsal> Yeah, that makes sense.
2021-11-27 01:15:37 +0100 <dsal> It's not a keyword.
2021-11-27 01:15:44 +0100 <[itchyjunk]> hmm
2021-11-27 01:15:48 +0100 <dsal> :t concat
2021-11-27 01:15:49 +0100 <lambdabot> Foldable t => t [a] -> [a]
2021-11-27 01:15:59 +0100 <dsal> It's just a function. A less generic fold.
2021-11-27 01:16:00 +0100 <dsal> :t fold
2021-11-27 01:16:01 +0100 <lambdabot> (Foldable t, Monoid m) => t m -> m
2021-11-27 01:16:17 +0100 <[itchyjunk]> oh yeah i guess keyword is the wrong term
2021-11-27 01:16:20 +0100 <[itchyjunk]> reverved word?
2021-11-27 01:16:23 +0100 <dsal> nope
2021-11-27 01:16:27 +0100 <dsal> It's just a function
2021-11-27 01:16:31 +0100 <dsal> from a library
2021-11-27 01:16:35 +0100 <[itchyjunk]> what do you call it when a string is already taken?
2021-11-27 01:16:41 +0100 <geekosaur> just a convenient predefined function
2021-11-27 01:16:46 +0100 <[itchyjunk]> "concat" is already taken
2021-11-27 01:16:48 +0100 <dsal> a namespace collision?
2021-11-27 01:16:50 +0100 <[itchyjunk]> just like "if"
2021-11-27 01:16:55 +0100 <[itchyjunk]> hmmm
2021-11-27 01:16:55 +0100 <dsal> if is a reserved word
2021-11-27 01:17:01 +0100 <geekosaur> if is a keyword. concat is a predefined function
2021-11-27 01:17:26 +0100 <[itchyjunk]> i didn't realize reserved word and namespace collision weren't more or less the same.
2021-11-27 01:17:32 +0100 <geekosaur> you can redefine it in your code if you don't want the original (or are okay with saying Prelude.concat)
2021-11-27 01:17:36 +0100 <[itchyjunk]> i guess reserved word is stronger condition
2021-11-27 01:17:37 +0100 <dsal> > let concat x = "with cat" in concat ["this", "list", "of", "things"]
2021-11-27 01:17:39 +0100 <lambdabot> "with cat"
2021-11-27 01:18:14 +0100 <geekosaur> you can't redefine "if" in the same way
2021-11-27 01:18:16 +0100 <[itchyjunk]> ah i can override inbuilt (?) functions
2021-11-27 01:18:21 +0100 <[itchyjunk]> right, makes sense
2021-11-27 01:18:34 +0100 <dsal> It's just a library function. Much less special than you think. :)
2021-11-27 01:18:42 +0100 <[itchyjunk]> i think i'll count my solution as valid (even though it has that extra " " at the end)
2021-11-27 01:18:47 +0100 <dsal> Prelude dumps a bunch of those into your namespace by default.
2021-11-27 01:18:51 +0100 <geekosaur> Haskell provides a bunch of predefined functions in the Prelude
2021-11-27 01:18:55 +0100 <dsal> Did you see what intersperse does?
2021-11-27 01:19:20 +0100 <[itchyjunk]> i didn't understand it :s
2021-11-27 01:19:43 +0100 <dsal> Well, the important part is that it just has an extra special case which you're missing.
2021-11-27 01:20:16 +0100 <dsal> > intercalate "," (words "insert commas here")
2021-11-27 01:20:17 +0100 <lambdabot> "insert,commas,here"
2021-11-27 01:20:38 +0100 <dsal> It avoids the one on the end by special case.
2021-11-27 01:21:21 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-11-27 01:21:29 +0100 <[itchyjunk]> ah
2021-11-27 01:23:38 +0100 <[itchyjunk]> i too inspiration from it and added a special case
2021-11-27 01:23:45 +0100 <[itchyjunk]> concatation (x:[]) = x
2021-11-27 01:23:56 +0100 <[itchyjunk]> hurrah! \o/
2021-11-27 01:23:58 +0100 <dsal> (x:[]) == [x]
2021-11-27 01:24:02 +0100dpratt__(sid193493@helmsley.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:24:02 +0100rune(sid21167@ilkley.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:24:30 +0100zzzzero
2021-11-27 01:24:32 +0100kaizen(sid501599@helmsley.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:24:32 +0100iphy(sid67735@lymington.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:24:32 +0100degraafk(sid71464@lymington.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:25:02 +0100NemesisD(sid24071@lymington.irccloud.com) (Ping timeout: 265 seconds)
2021-11-27 01:25:18 +0100 <[itchyjunk]> hmm
2021-11-27 01:25:52 +0100 <dsal> > (x:[])
2021-11-27 01:25:53 +0100 <lambdabot> [x]
2021-11-27 01:25:56 +0100 <[itchyjunk]> right, its saying if the list only has 1 element left, don't add " " to it
2021-11-27 01:26:00 +0100 <dsal> lambdabot agrees.
2021-11-27 01:26:12 +0100 <[itchyjunk]> i agree too, i think
2021-11-27 01:26:32 +0100conjunctive(sid433686@helmsley.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:26:32 +0100hubvu(sid495858@user/hubvu) (Ping timeout: 240 seconds)
2021-11-27 01:26:32 +0100_0x47_(sid508683@tinside.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:26:32 +0100grfn(sid449115@helmsley.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:26:32 +0100parseval(sid239098@helmsley.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:26:32 +0100gregberns__(sid315709@helmsley.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:26:54 +0100kaizen(sid501599@id-501599.helmsley.irccloud.com)
2021-11-27 01:26:59 +0100ephemient(uid407513@lymington.irccloud.com) (Read error: Connection reset by peer)
2021-11-27 01:27:00 +0100tritlo(sid58727@user/tritlo) (Read error: Connection reset by peer)
2021-11-27 01:27:01 +0100Adeon(sid418992@lymington.irccloud.com) (Read error: Connection reset by peer)
2021-11-27 01:27:01 +0100hubvu(sid495858@user/hubvu)
2021-11-27 01:27:02 +0100angerman(sid209936@ilkley.irccloud.com) (Read error: Connection reset by peer)
2021-11-27 01:27:02 +0100kristjansson_(sid126207@tinside.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:27:03 +0100ehamberg(sid18208@hampstead.irccloud.com) (Read error: Connection reset by peer)
2021-11-27 01:27:07 +0100gregberns__(sid315709@id-315709.helmsley.irccloud.com)
2021-11-27 01:27:09 +0100teehemkay_(sid14792@lymington.irccloud.com) (Read error: Connection reset by peer)
2021-11-27 01:27:11 +0100degraafk(sid71464@id-71464.lymington.irccloud.com)
2021-11-27 01:27:11 +0100NemesisD(sid24071@id-24071.lymington.irccloud.com)
2021-11-27 01:27:11 +0100tritlo(sid58727@user/tritlo)
2021-11-27 01:27:11 +0100grfn(sid449115@id-449115.helmsley.irccloud.com)
2021-11-27 01:27:11 +0100ephemient(uid407513@id-407513.lymington.irccloud.com)
2021-11-27 01:27:12 +0100rune(sid21167@id-21167.ilkley.irccloud.com)
2021-11-27 01:27:13 +0100Adeon(sid418992@id-418992.lymington.irccloud.com)
2021-11-27 01:27:13 +0100angerman(sid209936@id-209936.ilkley.irccloud.com)
2021-11-27 01:27:14 +0100conjunctive(sid433686@id-433686.helmsley.irccloud.com)
2021-11-27 01:27:15 +0100ehamberg(sid18208@id-18208.hampstead.irccloud.com)
2021-11-27 01:27:16 +0100teehemkay_(sid14792@id-14792.lymington.irccloud.com)
2021-11-27 01:27:18 +0100dpratt__(sid193493@id-193493.helmsley.irccloud.com)
2021-11-27 01:27:27 +0100awpr(uid446117@lymington.irccloud.com) (Read error: Connection reset by peer)
2021-11-27 01:27:32 +0100meinside(uid24933@helmsley.irccloud.com) (Ping timeout: 240 seconds)
2021-11-27 01:27:34 +0100kristjansson_(sid126207@id-126207.tinside.irccloud.com)
2021-11-27 01:27:36 +0100awpr(uid446117@id-446117.lymington.irccloud.com)
2021-11-27 01:27:38 +0100whez(sid470288@lymington.irccloud.com) (Read error: Connection reset by peer)
2021-11-27 01:27:45 +0100whez(sid470288@id-470288.lymington.irccloud.com)
2021-11-27 01:27:48 +0100_0x47_(sid508683@id-508683.tinside.irccloud.com)
2021-11-27 01:28:11 +0100iphy(sid67735@id-67735.lymington.irccloud.com)
2021-11-27 01:30:18 +0100 <zero> when to go for haskell vs for idris?
2021-11-27 01:30:21 +0100meinside(uid24933@id-24933.helmsley.irccloud.com)
2021-11-27 01:30:48 +0100parseval(sid239098@id-239098.helmsley.irccloud.com)
2021-11-27 01:31:36 +0100obviyus(sid415299@user/obviyus) (Ping timeout: 245 seconds)
2021-11-27 01:32:02 +0100mcfilib(sid302703@user/mcfilib) (Ping timeout: 240 seconds)
2021-11-27 01:32:26 +0100astra`(sid289983@user/amish) (Ping timeout: 245 seconds)
2021-11-27 01:32:26 +0100dsal(sid13060@lymington.irccloud.com) (Ping timeout: 245 seconds)
2021-11-27 01:32:26 +0100hook54321(sid149355@user/hook54321) (Ping timeout: 245 seconds)
2021-11-27 01:32:26 +0100taktoa[c](sid282096@tinside.irccloud.com) (Ping timeout: 245 seconds)
2021-11-27 01:32:26 +0100hamishmack_(sid389057@hampstead.irccloud.com) (Ping timeout: 245 seconds)
2021-11-27 01:32:51 +0100jmct_(sid160793@tinside.irccloud.com) (Ping timeout: 245 seconds)
2021-11-27 01:32:51 +0100joel135(sid136450@hampstead.irccloud.com) (Ping timeout: 245 seconds)
2021-11-27 01:33:16 +0100pjlsergeant(sid143467@hampstead.irccloud.com) (Ping timeout: 245 seconds)
2021-11-27 01:33:16 +0100amir(sid22336@user/amir) (Ping timeout: 245 seconds)
2021-11-27 01:33:19 +0100hamishmack_(sid389057@id-389057.hampstead.irccloud.com)
2021-11-27 01:33:25 +0100taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2021-11-27 01:33:31 +0100obviyus(sid415299@user/obviyus)
2021-11-27 01:34:07 +0100amir(sid22336@user/amir)
2021-11-27 01:34:10 +0100astra`(sid289983@user/amish)
2021-11-27 01:34:11 +0100mcfilib(sid302703@user/mcfilib)
2021-11-27 01:34:30 +0100pjlsergeant(sid143467@id-143467.hampstead.irccloud.com)
2021-11-27 01:36:12 +0100jmct_(sid160793@id-160793.tinside.irccloud.com)
2021-11-27 01:36:35 +0100dsal(sid13060@id-13060.lymington.irccloud.com)
2021-11-27 01:36:49 +0100joel135(sid136450@id-136450.hampstead.irccloud.com)
2021-11-27 01:37:20 +0100hook54321(sid149355@user/hook54321)
2021-11-27 01:39:35 +0100DNH(~DNH@2a02:8108:1100:16d8:6057:883c:398d:9dbd) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-11-27 01:40:18 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 260 seconds)
2021-11-27 01:41:19 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-11-27 01:41:42 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi)
2021-11-27 01:50:55 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2021-11-27 01:51:15 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 01:51:37 +0100 <EvanR> zero, haskell, probably xD
2021-11-27 01:53:01 +0100 <EvanR> so record fields get used in 4 ways all of which are affected by extensions... fields generate field selector functions for getting, fields are used in initial record construction, fields are used in pattern matching, and fields are used in update syntax
2021-11-27 01:53:16 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
2021-11-27 01:53:23 +0100 <EvanR> what was the good, the bad, and the very bad wrt Wildcards again xD
2021-11-27 01:53:47 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-27 01:53:47 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2021-11-27 01:55:23 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-27 01:56:05 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 250 seconds)
2021-11-27 01:56:10 +0100mmhat(~mmh@55d426e2.access.ecotel.net) (Quit: WeeChat 3.3)
2021-11-27 01:58:15 +0100gdown(~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net)
2021-11-27 01:59:00 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.)
2021-11-27 01:59:16 +0100 <EvanR> because it seems pretty spiffy on construction
2021-11-27 01:59:32 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2021-11-27 02:01:12 +0100renzhi(~xp@2607:fa49:6500:b100::5cef)
2021-11-27 02:02:23 +0100 <geekosaur> dminuoso didn't like its use in patterns because it'[s unhygienic, but liked use in construction
2021-11-27 02:03:04 +0100 <geekosaur> (and I couldn't find that in scrollback because I spelled "unhygienic" correctly…)
2021-11-27 02:03:41 +0100 <EvanR> what does that mean again
2021-11-27 02:04:10 +0100namkeleser(~namkelese@101.175.102.188)
2021-11-27 02:04:40 +0100 <geekosaur> (silently) pollutes the namespace
2021-11-27 02:05:08 +0100acidjnk_new(~acidjnk@p200300d0c7271e35059025bf8f5e09b5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-27 02:05:39 +0100 <monochrom> Consider foo Sum{..} = getSum + 1
2021-11-27 02:06:19 +0100 <EvanR> oh yeah, that's weird
2021-11-27 02:06:38 +0100 <EvanR> now I feel bad using in construction again
2021-11-27 02:06:45 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-11-27 02:06:58 +0100 <geekosaur> construction is fine, the namespace it would be "polluting" is that of fields
2021-11-27 02:07:09 +0100 <geekosaur> it's when it pollutes the bindings namespace that things get weird
2021-11-27 02:07:55 +0100 <geekosaur> that is, you still control the bindings during construction. wildcards *consume* part of your namespace in oatterns
2021-11-27 02:08:04 +0100 <geekosaur> *patterns
2021-11-27 02:10:40 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-11-27 02:13:04 +0100 <geekosaur> moreover, almost always your pattern in construction is something like let {field1 = …; field2 = …; …} in Record(..) (or where equivalent) so you can see which names are in use. with pattern wildcards you have to go hunt down the data definition to see what it's shoving into your bindings
2021-11-27 02:14:04 +0100 <geekosaur> granting that a good editor/IDE would let you mouseover the wildcard and see that, you shouldn't need to
2021-11-27 02:15:55 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:16:06 +0100 <EvanR> yeah, since the bindings originate at that spot but aren't visible anywhere close sucks
2021-11-27 02:16:24 +0100 <EvanR> unlike e.g. imports which originate at the import itself
2021-11-27 02:16:35 +0100 <ozzloy> https://paste.tomsmeding.com/NC7mkLIe how do i do multiple clauses in a helper function defined in a where clause?
2021-11-27 02:16:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-11-27 02:16:55 +0100 <ozzloy> line 18 shows the error i'm getting
2021-11-27 02:17:16 +0100 <EvanR> helper 0 _:_ _ = Nothing
2021-11-27 02:17:20 +0100 <EvanR> you need parens around _:_
2021-11-27 02:17:25 +0100 <geekosaur> your problem is you're missing parentheses around :
2021-11-27 02:17:36 +0100 <ozzloy> ah
2021-11-27 02:17:41 +0100 <geekosaur> so it thinks you're defining : and helper is a syntax error
2021-11-27 02:17:57 +0100 <geekosaur> same thing on the next line also
2021-11-27 02:18:31 +0100 <ozzloy> oh, also the code is wrong
2021-11-27 02:18:41 +0100 <ozzloy> thanks for the help
2021-11-27 02:18:47 +0100 <ozzloy> geekosaur, and EvanR
2021-11-27 02:19:09 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:19:11 +0100 <ozzloy> i basically coded up takeMaybe instead of split
2021-11-27 02:20:12 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2021-11-27 02:20:41 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:21:06 +0100jgeerds(~jgeerds@55d45b75.access.ecotel.net) (Ping timeout: 265 seconds)
2021-11-27 02:21:11 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:21:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-27 02:21:27 +0100 <EvanR> split is a good one
2021-11-27 02:21:59 +0100gdown(~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2021-11-27 02:22:39 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:23:11 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:24:42 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:25:09 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:26:37 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:26:48 +0100Guest4609(~cat@user/sudden) (Ping timeout: 256 seconds)
2021-11-27 02:27:08 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:27:12 +0100sudden(~cat@h-98-128-128-173.A351.priv.bahnhof.se)
2021-11-27 02:27:36 +0100suddenGuest6872
2021-11-27 02:28:37 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:29:19 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 02:30:27 +0100 <ozzloy> https://paste.tomsmeding.com/rsu9GWol now i'm trying to construct an infinite type?
2021-11-27 02:30:49 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:31:27 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:31:27 +0100 <ozzloy> i want to grab the first list out of accumulator, and make a new accumulator that has x at the front of that list, then put that new list and the remaining lists from the original accumulator into the accumulator for the next recursion
2021-11-27 02:31:51 +0100 <EvanR> elper 0 (x:xs) (a:as) = helper n xs ([x]:as) looks suspicious
2021-11-27 02:31:58 +0100 <dsal> infinite type is suggesting you're trying to have a type that's an `a` and a `[a]` at the same time
2021-11-27 02:31:58 +0100 <EvanR> are you sure you don't mean (x:as)
2021-11-27 02:32:16 +0100 <EvanR> where x is an item, as is a list
2021-11-27 02:32:27 +0100 <ozzloy> oh, yeah, i actually just changed that one
2021-11-27 02:32:42 +0100 <ozzloy> er...
2021-11-27 02:32:58 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:33:20 +0100 <ozzloy> so line 16, i want to create a new list
2021-11-27 02:33:27 +0100 <ozzloy> in the accumulator
2021-11-27 02:33:58 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:34:07 +0100 <ozzloy> the accumulator is a list of lists... so i think when n is 0, but there are still more elements in x, that means start a new inner list in the list of lists
2021-11-27 02:34:14 +0100 <ozzloy> maybe that's off-by-one?
2021-11-27 02:34:30 +0100 <dsal> Off by one won't give you a type error.
2021-11-27 02:35:03 +0100 <ozzloy> true, i agree. i was thinking maybe there was also a semantic error
2021-11-27 02:35:08 +0100 <EvanR> you start a new list regardless it looks like
2021-11-27 02:35:12 +0100 <EvanR> on 15 and 16
2021-11-27 02:35:23 +0100 <EvanR> maybe you want to append to the list on 15
2021-11-27 02:35:29 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:35:30 +0100 <ozzloy> oh, i should renew the code
2021-11-27 02:36:18 +0100 <ozzloy> https://paste.tomsmeding.com/LbovQ5hn
2021-11-27 02:36:25 +0100 <ozzloy> still infinite type error
2021-11-27 02:36:31 +0100 <ozzloy> i'm asking something to be a and [a]
2021-11-27 02:36:40 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 02:37:06 +0100 <EvanR> what I was talking about is still there on 15 and 16
2021-11-27 02:37:45 +0100 <EvanR> as appears to be full of singleton lists xD
2021-11-27 02:37:50 +0100 <ozzloy> ah, then that must be what i'm not understanding!
2021-11-27 02:38:10 +0100 <dsal> (a:as) is taking an `a` out of a list of `as` and you're later doing `([x:a]:as)` which makes a new list that includes `a` and putting it in `as`.
2021-11-27 02:38:10 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:38:54 +0100 <dsal> > let f (x:xs) = [x]:xs in f "not possible"
2021-11-27 02:38:56 +0100 <lambdabot> error:
2021-11-27 02:38:58 +0100 <lambdabot> • Occurs check: cannot construct the infinite type: a ~ [a]
2021-11-27 02:39:00 +0100 <lambdabot> Expected type: [[a]]
2021-11-27 02:39:19 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:39:51 +0100CiaoSen(~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-11-27 02:40:09 +0100 <EvanR> specifically make sure you know what [x:a]:as means before you insist on trying it xD
2021-11-27 02:40:26 +0100 <ozzloy> so ... i'd like for the accumulator to be a list of lists. i'd like to grab the first of those inner lists and cons x onto it, then make a new accumulator that is a list with members including that newly created list, and all the other lists the accumulator used to have
2021-11-27 02:40:48 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:40:50 +0100 <EvanR> to cons use :
2021-11-27 02:41:01 +0100 <EvanR> to make a singleton list of x, use [x]
2021-11-27 02:41:05 +0100 <EvanR> or x:[]
2021-11-27 02:41:27 +0100 <dsal> > ['a',b']:[]
2021-11-27 02:41:29 +0100 <lambdabot> error:
2021-11-27 02:41:29 +0100 <lambdabot> • Variable not in scope: b' :: Char
2021-11-27 02:41:29 +0100 <lambdabot> • Perhaps you meant one of these:
2021-11-27 02:41:37 +0100 <dsal> > ['a','b']:[]
2021-11-27 02:41:38 +0100 <lambdabot> ["ab"]
2021-11-27 02:41:50 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:42:18 +0100 <dsal> chars always muddy the water... But when you do that, you're making each element in the list be a list.
2021-11-27 02:42:31 +0100 <EvanR> > [0:[1,2]]:[[3,4,5], [6,7,8]] -- this what you're trying to do right now it seems
2021-11-27 02:42:32 +0100 <lambdabot> error:
2021-11-27 02:42:32 +0100 <lambdabot> • No instance for (Num [Integer])
2021-11-27 02:42:32 +0100 <lambdabot> arising from a use of ‘e_1012345678’
2021-11-27 02:42:34 +0100 <ozzloy> so for line 15
2021-11-27 02:42:53 +0100 <EvanR> it's wrong but don't worry about the reason lambdabot gave xD
2021-11-27 02:43:03 +0100 <EvanR> numbers can't be lists normally
2021-11-27 02:43:18 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:43:24 +0100 <ozzloy> my intent is: x is a single element, a is the first list in the list of lists
2021-11-27 02:43:31 +0100 <EvanR> yeah I got that
2021-11-27 02:43:36 +0100 <ozzloy> xs is all the remaining elements
2021-11-27 02:43:38 +0100 <EvanR> I just don't wanna solve it for you xD
2021-11-27 02:43:46 +0100 <ozzloy> that makes sense
2021-11-27 02:44:09 +0100 <ozzloy> hopefully i can explain what i'm thinking and maybe it's just a syntactical thing
2021-11-27 02:44:19 +0100 <EvanR> yeah sounds like it
2021-11-27 02:44:23 +0100 <ozzloy> or maybe it's a thinking error
2021-11-27 02:44:24 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:44:28 +0100namkeleser(~namkelese@101.175.102.188) (Quit: Client closed)
2021-11-27 02:44:35 +0100 <EvanR> no you just typed the wrong code xD
2021-11-27 02:44:41 +0100 <ozzloy> ...
2021-11-27 02:45:01 +0100 <dsal> `([x:a]:as)` is kind of weird. If you read what that does, you might realize it's probably not what you meat.
2021-11-27 02:45:09 +0100 <EvanR> on 15 you introduced a new set of [ ]
2021-11-27 02:45:16 +0100 <EvanR> inappropriate
2021-11-27 02:45:26 +0100 <dsal> NSFW
2021-11-27 02:45:54 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:46:24 +0100 <ozzloy> ok, let's say x = 1, a = 2, as = [3,4]. does ([x:a]:as) = [1,2,3,4]?
2021-11-27 02:46:35 +0100 <EvanR> now a is not a list
2021-11-27 02:46:35 +0100 <dsal> ask lambdabot
2021-11-27 02:46:41 +0100 <EvanR> you can't cons onto it
2021-11-27 02:46:46 +0100 <ozzloy> i know, i'm asking about the syntax
2021-11-27 02:46:48 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:46:50 +0100 <ozzloy> oh right
2021-11-27 02:46:59 +0100 <dsal> > let x = 1; a = 2; as = [3,4] in ([x:a]:as)
2021-11-27 02:47:00 +0100 <lambdabot> error:
2021-11-27 02:47:00 +0100 <lambdabot> • No instance for (Num [[Integer]]) arising from a use of ‘e_11234’
2021-11-27 02:47:01 +0100 <lambdabot> • In the expression: e_11234
2021-11-27 02:47:06 +0100 <dsal> well, nevermind. Don't ask lambdabot
2021-11-27 02:47:15 +0100 <EvanR> yeah, shut up lambdabot
2021-11-27 02:47:20 +0100 <EvanR> sorry lambdabot
2021-11-27 02:47:23 +0100 <EvanR> @botsnack
2021-11-27 02:47:23 +0100 <lambdabot> :)
2021-11-27 02:47:27 +0100 <ozzloy> ok, so let's say x = 1, a = [], as = [3,4], does ([x:a]:as) = [1,3,4] ?
2021-11-27 02:47:47 +0100 <ozzloy> > let x = 1; a = []; as = [3,4] in ([x:a]:as)
2021-11-27 02:47:48 +0100 <lambdabot> error:
2021-11-27 02:47:48 +0100 <lambdabot> • No instance for (Num [[Integer]]) arising from a use of ‘e_1134’
2021-11-27 02:47:48 +0100 <lambdabot> • In the expression: e_1134
2021-11-27 02:47:54 +0100 <EvanR> work it out yourself
2021-11-27 02:48:18 +0100 <EvanR> [x:a]:as ===> [[1]]:as
2021-11-27 02:48:18 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:48:20 +0100 <EvanR> etc
2021-11-27 02:48:22 +0100 <dsal> What type is [x:a] ?
2021-11-27 02:49:09 +0100 <ozzloy> if x = 1, a = [], then [x:a] = [[1]], so list of list of int... so i have extraneous []?
2021-11-27 02:49:26 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:49:27 +0100 <EvanR> [[1]] won't fit into [3,4]
2021-11-27 02:49:33 +0100 <EvanR> not a number
2021-11-27 02:49:36 +0100 <dsal> You've gone too far.
2021-11-27 02:49:53 +0100 <dsal> What's the easiest way to shed the extra [ and ] ?
2021-11-27 02:49:55 +0100 <ozzloy> ok, so now i have ((x:a):as) and it type checks
2021-11-27 02:49:57 +0100jkaye(~jkaye@2601:281:8300:7530:968d:4a00:8e7b:fc05)
2021-11-27 02:50:04 +0100 <dsal> You don't need those parens, but yeah.
2021-11-27 02:50:15 +0100 <EvanR> > 0:1:2:3:4:[]
2021-11-27 02:50:16 +0100 <lambdabot> [0,1,2,3,4]
2021-11-27 02:50:34 +0100 <ozzloy> but i want accumulator to be a list of lists of integers
2021-11-27 02:50:48 +0100 <EvanR> your example didn't have that
2021-11-27 02:50:58 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:51:43 +0100 <EvanR> or in the words of linus torvalds, if it compiles, ship it (paraphrased)
2021-11-27 02:51:44 +0100 <ozzloy> sorry, i should have been more clear earlier when i was giving values to x, a, and as. i was asking syntax questions, not specifically about x, a, and as in the problem
2021-11-27 02:52:03 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:52:07 +0100 <ozzloy> for the problem, i expect x to be an integer, a to be a list of integers, and as to be a list of lists of integers
2021-11-27 02:52:20 +0100 <dsal> OK, then try it that way. :)
2021-11-27 02:53:03 +0100 <EvanR> write down every expression in sight with the type you think it has, then verify
2021-11-27 02:53:11 +0100 <ozzloy> so i want x:a to be a list of integers, and to put that list of integers onto as.
2021-11-27 02:53:13 +0100burnsidesLlama(~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection)
2021-11-27 02:53:34 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:53:56 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-27 02:53:56 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-27 02:53:56 +0100wroathe(~wroathe@user/wroathe)
2021-11-27 02:54:07 +0100 <ozzloy> > let x = 1; a = []; as = [] in x:a:as
2021-11-27 02:54:08 +0100 <lambdabot> error:
2021-11-27 02:54:08 +0100 <lambdabot> • No instance for (Num [()]) arising from a use of ‘e_11’
2021-11-27 02:54:08 +0100 <lambdabot> • In the expression: e_11
2021-11-27 02:54:12 +0100 <EvanR> bzzz
2021-11-27 02:54:28 +0100 <hololeap> % :i (:)
2021-11-27 02:54:28 +0100 <yahb> hololeap: type [] :: * -> *; data [] a = ... | a : [a]; -- Defined in `GHC.Types'; infixr 5 :
2021-11-27 02:54:45 +0100 <EvanR> your x:a:as was parsed as x:(a:as)
2021-11-27 02:54:46 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:54:47 +0100 <dsal> My irc client rendered that code with a giant red box with an A on it.
2021-11-27 02:54:58 +0100 <ozzloy> > let x = 1; a = []; as = [] in (x:a):as
2021-11-27 02:54:59 +0100 <lambdabot> [[1]]
2021-11-27 02:55:05 +0100 <EvanR> \o/
2021-11-27 02:55:16 +0100 <ozzloy> great
2021-11-27 02:55:21 +0100 <hololeap> that infixr 5 means (:) is right-associative
2021-11-27 02:55:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-11-27 02:55:34 +0100 <hololeap> so a:b:c == a:(b:c)
2021-11-27 02:55:34 +0100 <ozzloy> so ... what are the words i could have searched that pertain to this?
2021-11-27 02:56:09 +0100 <EvanR> just trying stuff like let x = 1; a = []; as = [] in (x:a):as in ghci helps me at least
2021-11-27 02:56:19 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:56:21 +0100 <EvanR> sanity checks
2021-11-27 02:56:22 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2021-11-27 02:56:42 +0100 <hololeap> hm, associativity of infix operators?
2021-11-27 02:56:55 +0100 <ozzloy> i feel like "figure it out" doesn't really apply here. the syntax for expressing that idea _could_ have been different. how would i reason my way to figuring it out?
2021-11-27 02:56:59 +0100 <hololeap> and how to check them using ghci
2021-11-27 02:57:09 +0100 <hololeap> that's one thing you could search for
2021-11-27 02:57:10 +0100 <EvanR> the precedence of : didn't really come up until the very end
2021-11-27 02:57:16 +0100 <EvanR> the first issue was putting too many [ ]
2021-11-27 02:57:29 +0100 <dsal> ozzloy: It helps to have an understanding of the infinite type error. It's not the most user friendly thing because what it means and what causes it are often seemingly unrelated.
2021-11-27 02:57:32 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 02:58:14 +0100 <EvanR> "infinite type error" does lead you to stuff you can technically read xD
2021-11-27 02:58:26 +0100 <ozzloy> it also sounds neat
2021-11-27 02:58:33 +0100 <EvanR> it's pretty neat
2021-11-27 02:58:34 +0100 <dsal> Yeah, a lot of the results seem to be "you probably just made this mistake"
2021-11-27 02:58:46 +0100 <ozzloy> "what are you working on?" "oh, just got an infinite type error. nothing i can't handle."
2021-11-27 02:58:56 +0100 <dsal> > let f (x:xs) = [x]:xs in f "not possible" -- this is a simple case
2021-11-27 02:58:57 +0100ozzloyputs on sunglasses
2021-11-27 02:58:58 +0100 <lambdabot> error:
2021-11-27 02:58:58 +0100 <lambdabot> • Occurs check: cannot construct the infinite type: a ~ [a]
2021-11-27 02:58:58 +0100 <lambdabot> Expected type: [[a]]
2021-11-27 02:59:03 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 02:59:14 +0100 <EvanR> it's an infinite type error because the type checker saw you tried to put [a] into itself
2021-11-27 02:59:26 +0100 <EvanR> kind of like "put bag in bag" in old MUD servers
2021-11-27 02:59:32 +0100 <EvanR> which potentially crashes the server
2021-11-27 02:59:45 +0100 <dsal> GHC is just a mud server with that bug fixed.
2021-11-27 02:59:49 +0100 <EvanR> ^
2021-11-27 03:00:04 +0100 <dsal> Nobody's ever thinking type theory when they write that bug, though.
2021-11-27 03:00:13 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:00:32 +0100 <EvanR> a = [a] = [[a]] = [[[a]]] = ...
2021-11-27 03:00:38 +0100 <EvanR> wall of mirrors
2021-11-27 03:00:55 +0100 <dsal> It's usually making a type that recurses on itself infinitely like your list, or leaving off a function argument or something.
2021-11-27 03:01:21 +0100 <dsal> "You made a dumb mistake, but I'll try to make you sound smart with this error." -- GHC
2021-11-27 03:01:45 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:02:57 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:03:07 +0100namkeleser(~namkelese@101.175.102.188)
2021-11-27 03:03:24 +0100exbios(~ri@2806:2f0:90a0:876c:3f02:6e97:3cf3:656)
2021-11-27 03:04:27 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:05:40 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:07:11 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:08:19 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:09:17 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2021-11-27 03:09:49 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:09:52 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 03:11:17 +0100 <Square> Anyone got a good approach removing unused imports from a semi large project?
2021-11-27 03:11:27 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:12:58 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:14:16 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:14:32 +0100notzmv(~zmv@user/notzmv)
2021-11-27 03:15:48 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:17:14 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:18:45 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:20:14 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 03:21:47 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:22:52 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-11-27 03:23:02 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:24:33 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:24:55 +0100 <dsal> Turn on warnings and put on a movie.
2021-11-27 03:25:51 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:25:56 +0100zebrag(~chris@user/zebrag)
2021-11-27 03:26:02 +0100jkaye(~jkaye@2601:281:8300:7530:968d:4a00:8e7b:fc05) (Ping timeout: 240 seconds)
2021-11-27 03:27:24 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:28:40 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:30:07 +0100 <EvanR> isn't that something handled by an IDE?
2021-11-27 03:30:12 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:31:30 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:33:01 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:34:26 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 03:35:08 +0100 <Square> EvanR, idk really know how well my vscode + haskell-language-server setup is, but if the function is there. Its well hidden
2021-11-27 03:35:58 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 03:37:07 +0100 <hololeap> it underlines the unused imports as a warning in my IDE, but it might be because I have ghc-options: -Wall in my cabal file
2021-11-27 03:37:29 +0100xff0x(~xff0x@2001:1a81:53bb:9600:5031:992:22e6:cca9) (Ping timeout: 250 seconds)
2021-11-27 03:38:15 +0100neurocyte0132889(~neurocyte@user/neurocyte) (Ping timeout: 268 seconds)
2021-11-27 03:39:34 +0100xff0x(~xff0x@2001:1a81:53f8:4700:f84d:9d7f:7b09:bb62)
2021-11-27 03:39:52 +0100 <hololeap> there is also -Wunused-packages, although it seems a bit unreliable
2021-11-27 03:40:54 +0100 <hololeap> it seems like it will spit out a different list of unused packages at different times during the compilation process
2021-11-27 03:42:29 +0100Cajun(~Cajun@user/cajun)
2021-11-27 03:43:06 +0100 <hololeap> that particular warning has no location info so you only see it when you build your project
2021-11-27 03:45:56 +0100 <hololeap> it would be cool if it gave location info inside your .cabal file, but alas
2021-11-27 03:46:42 +0100 <hololeap> I'm still on GHC 8.10 so I dunno if that's been improved at all
2021-11-27 03:48:17 +0100 <hololeap> I assume it would require more communication between GHC and cabal to have that kind of functionality
2021-11-27 03:49:06 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 245 seconds)
2021-11-27 03:50:30 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.3)
2021-11-27 03:52:02 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-27 03:52:08 +0100matijja(~matijja@193.77.181.201) (Quit: ZNC 1.8.1 - https://znc.in)
2021-11-27 03:56:54 +0100matijja(~matijja@193.77.181.201)
2021-11-27 03:58:57 +0100 <hololeap> I've been seeing a lot of these kind of errors as packages work their way toward GHC 9.2. what was the breaking change?
2021-11-27 03:59:01 +0100 <hololeap> Couldn't match expected type ‘Word#’ with actual type ‘Word16#’
2021-11-27 03:59:12 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2021-11-27 04:02:22 +0100ubert1(~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de)
2021-11-27 04:02:30 +0100slice(~slice@user/slice) (Quit: cya)
2021-11-27 04:04:02 +0100ubert(~Thunderbi@p200300ecdf0ba285e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-11-27 04:04:02 +0100ubert1ubert
2021-11-27 04:11:00 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2021-11-27 04:14:46 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 04:15:31 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2021-11-27 04:22:59 +0100td_(~td@94.134.91.33) (Ping timeout: 250 seconds)
2021-11-27 04:24:51 +0100td_(~td@94.134.91.117)
2021-11-27 04:24:56 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-11-27 04:41:12 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3)
2021-11-27 04:42:22 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-27 04:47:11 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 260 seconds)
2021-11-27 04:49:58 +0100hiruji(~hiruji@user/hiruji) (Ping timeout: 265 seconds)
2021-11-27 04:50:04 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-27 04:51:50 +0100harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2021-11-27 04:52:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-27 04:55:38 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving)
2021-11-27 05:00:06 +0100 <Square> hololeap, thanks! When you mentioned the compiler flags i saw that i had suppression on unused imports. When i turned it on VSCode would show me all unused and shave them by file.
2021-11-27 05:00:41 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 05:02:16 +0100hiruji(~hiruji@user/hiruji)
2021-11-27 05:03:41 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 245 seconds)
2021-11-27 05:05:50 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-11-27 05:06:30 +0100hiruji(~hiruji@user/hiruji) (Read error: Connection reset by peer)
2021-11-27 05:06:33 +0100hiruji`(~hiruji@pool-100-4-208-71.albyny.fios.verizon.net)
2021-11-27 05:10:29 +0100jmorris(uid433911@id-433911.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-27 05:12:28 +0100hiruji`(~hiruji@pool-100-4-208-71.albyny.fios.verizon.net) (Read error: Connection reset by peer)
2021-11-27 05:18:16 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-11-27 05:19:30 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 05:20:43 +0100 <hololeap> np
2021-11-27 05:24:19 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 250 seconds)
2021-11-27 05:26:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-11-27 05:26:47 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Ping timeout: 268 seconds)
2021-11-27 05:26:53 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-27 05:27:12 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 05:27:28 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 05:31:25 +0100 <EvanR> is there special magic required to use type applications in a pattern other than TypeApplications ?
2021-11-27 05:31:37 +0100 <EvanR> it keeps telling me Expression syntax in pattern
2021-11-27 05:32:01 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-11-27 05:32:02 +0100MrNobody_0000000(~MrNobody@user/mrnobody-0000000/x-9129771)
2021-11-27 05:35:07 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-11-27 05:36:40 +0100ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2021-11-27 05:41:24 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 05:42:58 +0100hiruji(~hiruji@user/hiruji)
2021-11-27 05:55:05 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-11-27 05:58:14 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
2021-11-27 05:58:52 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-27 06:00:21 +0100aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2021-11-27 06:00:52 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-27 06:01:27 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 06:01:43 +0100superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4)
2021-11-27 06:02:26 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 06:02:58 +0100deadmarshal(~deadmarsh@95.38.228.146)
2021-11-27 06:04:38 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 06:05:46 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-11-27 06:06:17 +0100 <superstar64> Where can I learn about least / greatest fixed points?
2021-11-27 06:06:39 +0100 <superstar64> I've tried looking at https://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt but it's a bit too category theory heavy for me at the moment.
2021-11-27 06:11:39 +0100shailangsa(~shailangs@host86-186-133-114.range86-186.btcentralplus.com) (Ping timeout: 260 seconds)
2021-11-27 06:13:43 +0100 <c_wraith> fixed points are more part of domain theory
2021-11-27 06:14:00 +0100 <c_wraith> at least in this context
2021-11-27 06:14:49 +0100Jing(~hedgehog@2604:a840:3::1065)
2021-11-27 06:16:19 +0100 <hololeap> superstar64: section 24.1 in milewski's category theory for programmers goes into it a bit
2021-11-27 06:16:50 +0100 <hololeap> and very briefly in 24.6
2021-11-27 06:16:57 +0100 <superstar64> thanks, i've been meaning to finish that book
2021-11-27 06:17:40 +0100 <hololeap> but it doesn't really go into what least vs greatest fixed point means
2021-11-27 06:18:11 +0100 <superstar64> c_wraith, any resources on domain theory then?
2021-11-27 06:18:26 +0100 <superstar64> at least things usable from the functional programming prospective.
2021-11-27 06:18:36 +0100 <hololeap> > The initial algebra is the so called least fixed point, and the terminal coalgebra is the greatest fixed point. In Haskell, though, both are defined by the same formula, and they coincide.
2021-11-27 06:20:28 +0100 <c_wraith> superstar64: https://www.cs.nott.ac.uk/~pszgmh/domains.html
2021-11-27 06:22:56 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 06:23:00 +0100rkrishnan(~user@171.48.57.101)
2021-11-27 06:24:47 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-11-27 06:28:16 +0100hololeap_(~hololeap@user/hololeap)
2021-11-27 06:28:47 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-11-27 06:29:04 +0100img(~img@user/img)
2021-11-27 06:31:09 +0100hololeap(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-11-27 06:32:19 +0100hololeap_hololeap
2021-11-27 06:32:30 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-27 06:32:30 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-27 06:32:30 +0100wroathe(~wroathe@user/wroathe)
2021-11-27 06:33:06 +0100 <hololeap> really, anything beyond Data.Fix isn't relevant to functional programming, AFAIK
2021-11-27 06:33:28 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-11-27 06:33:42 +0100 <hololeap> but catamorphisms/anamorphisms are a useful abstraction
2021-11-27 06:33:56 +0100namkeleser(~namkelese@101.175.102.188) (Quit: Client closed)
2021-11-27 06:34:01 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2021-11-27 06:34:19 +0100 <hololeap> generalized folds/unfolds
2021-11-27 06:34:46 +0100betelgeuse(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 06:35:44 +0100 <hololeap> they let you reason about a recursive data structures at a single level of recursion
2021-11-27 06:36:02 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-27 06:36:18 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 06:37:29 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 06:37:44 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-11-27 06:38:10 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-27 06:38:29 +0100reumeth(~reumeth@user/reumeth)
2021-11-27 06:39:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 06:39:27 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 06:40:07 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…)
2021-11-27 06:40:18 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 06:41:40 +0100 <monochrom> haha scott domain = "a c3po"
2021-11-27 06:41:48 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 06:42:07 +0100hololeapwonders if there is any recursive data structure "larger" than rose trees expressible in haskell
2021-11-27 06:43:05 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 06:44:06 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-11-27 06:44:37 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 06:45:06 +0100deadmarshal(~deadmarsh@95.38.228.146) (Ping timeout: 268 seconds)
2021-11-27 06:47:56 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-11-27 06:48:11 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-11-27 06:48:42 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2021-11-27 06:51:15 +0100 <c_wraith> hololeap: I'm not sure what you mean by large, there.
2021-11-27 06:51:37 +0100shailangsa(~shailangs@host86-186-136-24.range86-186.btcentralplus.com)
2021-11-27 06:51:56 +0100 <c_wraith> In another sense of large, you get things like newtype Hyper a b = Hyper (Hyper b a -> b)
2021-11-27 06:54:15 +0100deadmarshal(~deadmarsh@95.38.228.146)
2021-11-27 06:55:15 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-11-27 06:56:32 +0100 <EvanR> once you include functions it gets... uh large
2021-11-27 06:57:02 +0100 <EvanR> normally wouldn't think of those as recursive though
2021-11-27 06:57:06 +0100 <c_wraith> apparently hyperfunctions aren't even a proper set - you need domain theory to model them. though I'm just taking this from the paper
2021-11-27 06:58:22 +0100 <dolio> You might be able to have them constructively. But classical set theoretic models don't have them.
2021-11-27 06:58:47 +0100renzhi(~xp@2607:fa49:6500:b100::5cef) (Ping timeout: 260 seconds)
2021-11-27 06:59:16 +0100 <dolio> For instance, there are constructive models where `Hyper Bool Bool` is the natural numbers.
2021-11-27 07:00:03 +0100 <dolio> Assuming this is some better behaved type theory, not Haskell.
2021-11-27 07:04:21 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-11-27 07:04:54 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2021-11-27 07:08:16 +0100 <hololeap> c_wraith: what I meant was that all other recursive data structures could be expressed as (some form of) rose trees, but I wasn't thinking of structures with sum types
2021-11-27 07:09:42 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi)
2021-11-27 07:10:03 +0100 <hololeap> that Hyper type is interesting, although I don't see a terminal case for its recursion
2021-11-27 07:10:27 +0100 <EvanR> newtype U = U (U -> U) or something
2021-11-27 07:16:11 +0100Vajb(~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2021-11-27 07:17:35 +0100 <hololeap> at some point, to run the thing, you would need a Hyper b a, but the only way to construct and run that is if you have a Hyper b a. I would guess leveraging laziness comes into play here
2021-11-27 07:17:47 +0100exbios(~ri@2806:2f0:90a0:876c:3f02:6e97:3cf3:656) (Remote host closed the connection)
2021-11-27 07:18:08 +0100 <dolio> You can make a hyperfunction with `const b`.
2021-11-27 07:18:38 +0100rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds)
2021-11-27 07:19:34 +0100 <hololeap> right, that makes sense
2021-11-27 07:20:38 +0100 <hololeap> what is the other type variable for?
2021-11-27 07:21:00 +0100 <hololeap> oh, because of the flip
2021-11-27 07:21:19 +0100 <dolio> Yeah, Hyper a b ~ ((Hyper a b -> a) -> b)
2021-11-27 07:22:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-27 07:23:32 +0100deadmarshal(~deadmarsh@95.38.228.146) (Ping timeout: 240 seconds)
2021-11-27 07:24:21 +0100mvk(~mvk@2607:fea8:5cc1:fa00::4702) (Ping timeout: 250 seconds)
2021-11-27 07:25:04 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 07:27:01 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-11-27 07:27:20 +0100mbuf(~Shakthi@122.174.185.81)
2021-11-27 07:28:32 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-11-27 07:29:19 +0100deadmarshal(~deadmarsh@95.38.228.146)
2021-11-27 07:29:35 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-27 07:33:45 +0100 <hololeap> % newtype Hyper a b = Hyper { runHyper :: Hyper b a -> b }
2021-11-27 07:33:45 +0100 <yahb> hololeap:
2021-11-27 07:33:53 +0100 <hololeap> % let z = Hyper (const True) in runHyper (Hyper (\(Hyper f) -> f undefined)) z
2021-11-27 07:33:54 +0100 <yahb> hololeap: True
2021-11-27 07:34:06 +0100 <hololeap> I am so confused by this thing
2021-11-27 07:36:35 +0100 <EvanR> my god it's full of lambdas
2021-11-27 07:37:04 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-11-27 07:38:13 +0100mvk(~mvk@2607:fea8:5cc1:fa00::4702)
2021-11-27 07:38:41 +0100Cajun(~Cajun@user/cajun) (Quit: Ping timeout (120 seconds))
2021-11-27 07:41:27 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection)
2021-11-27 07:45:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-27 07:45:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-27 07:45:55 +0100wroathe(~wroathe@user/wroathe)
2021-11-27 07:46:33 +0100 <hololeap> % let z = Hyper (const True) in runHyper (Hyper (\(Hyper f) -> f (Hyper (\(Hyper g) -> g (Hyper (\(Hyper _) -> False)))))) z
2021-11-27 07:46:33 +0100 <yahb> hololeap: True
2021-11-27 07:46:41 +0100 <hololeap> what is the point of this thing
2021-11-27 07:47:01 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-11-27 07:47:48 +0100 <hololeap> % let z = Hyper (const True) in runHyper (Hyper (\(Hyper f) -> f (Hyper (\(Hyper g) -> g undefined)))) z
2021-11-27 07:47:49 +0100 <yahb> hololeap: True
2021-11-27 07:49:12 +0100 <hololeap> I guess it could become useful if you add another field to the Hyper constructor
2021-11-27 07:50:00 +0100 <hololeap> so it carries something other than just more of these bare Hyper functions
2021-11-27 07:50:50 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-11-27 07:51:29 +0100 <hololeap> and then you would be getting into "largeness" territory due to the exponential types
2021-11-27 07:54:29 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 07:56:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 07:56:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-11-27 07:57:17 +0100 <ozzloy> https://paste.tomsmeding.com/2FGxpKiE the prompt says to use map/filter. i'm using it on line 40, but it seems clunky.
2021-11-27 07:57:22 +0100superstar64(~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving)
2021-11-27 07:57:47 +0100 <ozzloy> the prompt also says to use foldr, and i am on line 52, but again, it feels clunky
2021-11-27 07:57:50 +0100 <EvanR> oh hold on, this was all supposed to be useful? xD
2021-11-27 07:58:24 +0100 <ozzloy> is there some clever thing i'm missing, or is it just kinda clunky?
2021-11-27 07:58:53 +0100 <ozzloy> i'm using filter and map to check if all the elements in a list are all the same as each other
2021-11-27 07:59:35 +0100 <xsperry> ozzloy, I'd use all instead of filter and map
2021-11-27 07:59:42 +0100 <xsperry> :t all
2021-11-27 07:59:43 +0100 <lambdabot> Foldable t => (a -> Bool) -> t a -> Bool
2021-11-27 07:59:43 +0100 <ozzloy> by mapping all the elements to whether they're equal to the first element, then filtering
2021-11-27 08:00:06 +0100 <ozzloy> xsperry, oh cool, sounds good. i'll keep that in mind
2021-11-27 08:00:06 +0100 <xsperry> > all (==1) [1,1,1]
2021-11-27 08:00:07 +0100 <EvanR> I mean, you could just filter by (/=x)
2021-11-27 08:00:09 +0100 <lambdabot> True
2021-11-27 08:00:22 +0100 <ozzloy> i'm guessing there's a 'some' too?
2021-11-27 08:00:26 +0100 <EvanR> any
2021-11-27 08:00:37 +0100 <ozzloy> i was in the middle of typing that out!
2021-11-27 08:00:39 +0100 <EvanR> > any (==0) [1,1,1]
2021-11-27 08:00:40 +0100 <lambdabot> False
2021-11-27 08:00:57 +0100 <ozzloy> EvanR, oooh, i like that (==0)
2021-11-27 08:01:06 +0100 <ozzloy> i'll use that instead of the lambda
2021-11-27 08:01:17 +0100 <EvanR> (==x) in your case right
2021-11-27 08:01:40 +0100 <EvanR> @src all
2021-11-27 08:01:40 +0100 <lambdabot> all p = and . map p
2021-11-27 08:01:56 +0100 <ozzloy> what is dot?
2021-11-27 08:02:04 +0100 <EvanR> :t (.)
2021-11-27 08:02:05 +0100 <ozzloy> argument-goes-here ?
2021-11-27 08:02:05 +0100 <lambdabot> (b -> c) -> (a -> b) -> a -> c
2021-11-27 08:02:11 +0100 <EvanR> function composition
2021-11-27 08:02:19 +0100jollygood2(~bc8165b6@217.29.117.252)
2021-11-27 08:02:20 +0100 <ozzloy> ah, like center-dot
2021-11-27 08:02:53 +0100 <EvanR> f ∘ g like that
2021-11-27 08:02:59 +0100 <ozzloy> cool
2021-11-27 08:03:50 +0100 <EvanR> > (∘) = (.) in (and ∘ map (==0)) [1,1,1]
2021-11-27 08:03:51 +0100 <lambdabot> <hint>:1:5: error: parse error on input ‘=’
2021-11-27 08:03:55 +0100 <ozzloy> so is there some other way of using map and filter to determine if a list has repeating subsequences, that is more slick than what i'm doing?
2021-11-27 08:03:57 +0100 <EvanR> > let (∘) = (.) in (and ∘ map (==0)) [1,1,1]
2021-11-27 08:03:58 +0100 <lambdabot> False
2021-11-27 08:04:03 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-11-27 08:04:14 +0100 <EvanR> heh
2021-11-27 08:04:22 +0100 <EvanR> by slick you mean already implemented for you
2021-11-27 08:04:25 +0100 <EvanR> yeah
2021-11-27 08:04:43 +0100 <xsperry> @src and
2021-11-27 08:04:43 +0100 <lambdabot> and = foldr (&&) True
2021-11-27 08:04:49 +0100 <EvanR> > group [0,1,2,2,1,0]
2021-11-27 08:04:50 +0100 <lambdabot> [[0],[1],[2,2],[1],[0]]
2021-11-27 08:05:08 +0100 <ozzloy> oh interesting
2021-11-27 08:05:54 +0100 <ozzloy> > group [[1],[1],[2],[2],[2],[3]]
2021-11-27 08:05:55 +0100 <lambdabot> [[[1],[1]],[[2],[2],[2]],[[3]]]
2021-11-27 08:06:24 +0100 <ozzloy> > group [[1,2],[1,2],[2],[2],[2],[3]]
2021-11-27 08:06:25 +0100 <lambdabot> [[[1,2],[1,2]],[[2],[2],[2]],[[3]]]
2021-11-27 08:06:31 +0100 <ozzloy> ooOOooh
2021-11-27 08:06:37 +0100 <ozzloy> neat
2021-11-27 08:07:25 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-27 08:08:04 +0100 <ozzloy> i mean specifically using map and filter, or foldr in isRepeats''
2021-11-27 08:08:30 +0100 <EvanR> foldr is so general that you probably use it no matter what
2021-11-27 08:08:35 +0100 <EvanR> on some level
2021-11-27 08:08:41 +0100xff0x(~xff0x@2001:1a81:53f8:4700:f84d:9d7f:7b09:bb62) (Ping timeout: 245 seconds)
2021-11-27 08:08:54 +0100 <EvanR> see the code for `and' up there
2021-11-27 08:09:15 +0100 <ozzloy> i made a more generic version of it
2021-11-27 08:09:28 +0100 <EvanR> a ... more generic version of foldr ? xD
2021-11-27 08:09:40 +0100 <ozzloy> it takes in a function for "head" and "cons" as well
2021-11-27 08:09:46 +0100xff0x(~xff0x@2001:1a81:53f8:4700:341b:dd7e:779b:cbe2)
2021-11-27 08:09:57 +0100 <EvanR> that doesn't sound right
2021-11-27 08:10:03 +0100 <EvanR> foldr already does that
2021-11-27 08:10:32 +0100 <hololeap> foldr has to be implemented like that for any Foldable
2021-11-27 08:11:04 +0100 <EvanR> :t head
2021-11-27 08:11:05 +0100 <lambdabot> [a] -> a
2021-11-27 08:11:06 +0100 <ozzloy> hold on, i'll see if i can find the code. might be better than trying to write it in words
2021-11-27 08:11:24 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-11-27 08:11:39 +0100 <hololeap> it sounds like you defined Foldable using functions instead of a typeclass
2021-11-27 08:12:13 +0100 <hololeap> defined/reinvented
2021-11-27 08:12:46 +0100 <ozzloy> possibly, that sounds plausible
2021-11-27 08:12:56 +0100 <ozzloy> so foldr assumes it's working on a list
2021-11-27 08:13:06 +0100 <ozzloy> (can't find it at the moment)
2021-11-27 08:13:17 +0100 <jollygood2> :t foldr
2021-11-27 08:13:18 +0100 <lambdabot> Foldable t => (a -> b -> b) -> b -> t a -> b
2021-11-27 08:13:19 +0100 <ozzloy> i wrote a version that doesn't assume that
2021-11-27 08:13:40 +0100 <ozzloy> i see
2021-11-27 08:14:05 +0100 <ozzloy> Foldable is something that has a "head"-like operation and a "cons"-like operation?
2021-11-27 08:14:12 +0100 <hololeap> no, it assumes it's working with a Foldable. more accurately, a Foldable is defined by the way it implements foldr
2021-11-27 08:14:38 +0100 <hololeap> yes, any foldable can be converted to a list, althought not necessarily the other way around
2021-11-27 08:14:48 +0100 <hololeap> :t toList
2021-11-27 08:14:49 +0100 <lambdabot> Foldable t => t a -> [a]
2021-11-27 08:14:56 +0100 <EvanR> head can be defined by foldr
2021-11-27 08:14:58 +0100 <ozzloy> can a number be converted to a Foldable?
2021-11-27 08:15:21 +0100 <EvanR> numbers don't have a type parameter
2021-11-27 08:15:23 +0100 <c_wraith> things aren't converted to Foldable - they either are or aren't
2021-11-27 08:15:27 +0100 <hololeap> no, it needs a type variable, for one
2021-11-27 08:15:31 +0100 <c_wraith> Foldable is a class, not a type
2021-11-27 08:16:01 +0100 <hololeap> it has to be (Something a) to be a Foldle, where it works with any a
2021-11-27 08:16:06 +0100 <hololeap> *Foldable
2021-11-27 08:16:08 +0100 <ozzloy> oh, that's interesting, what is the difference in haskell between a class and a type?
2021-11-27 08:16:20 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-11-27 08:16:25 +0100 <c_wraith> a class is a set of behaviors a type can have
2021-11-27 08:16:26 +0100 <EvanR> a type class
2021-11-27 08:16:41 +0100 <ozzloy> i should say the function i wrote was in scheme, not haskell, so maybe the terms don't quite carry over
2021-11-27 08:16:55 +0100 <c_wraith> like, the Eq class allows things that implement it to be compared for equality
2021-11-27 08:16:56 +0100 <ozzloy> i used it to convert a number into a list of 1s and 0s
2021-11-27 08:17:44 +0100 <ozzloy> so Foldable is a set of behaviors?
2021-11-27 08:17:57 +0100 <hololeap> really just one
2021-11-27 08:18:09 +0100 <ozzloy> or rather, a ... specification of the existence of behaviors?
2021-11-27 08:18:10 +0100 <EvanR> whatever you know about scheme, you can comprehend it in haskell by using a big sum type to represent the scheme values
2021-11-27 08:18:35 +0100 <EvanR> call it, that scheme over there
2021-11-27 08:18:47 +0100 <hololeap> if you want to define an instance of Foldable, you have to give it an implementation of foldr
2021-11-27 08:19:10 +0100 <ozzloy> i see
2021-11-27 08:21:30 +0100 <ozzloy> so that makes me think of the Enumerable mixin for ruby, where a (ruby) class has to implement #each
2021-11-27 08:21:57 +0100 <ozzloy> and then can mixin Enumerable, and gets a bunch of behavior defined in terms of #each
2021-11-27 08:22:05 +0100 <c_wraith> that aspect is similar - you get to implement a couple functions and opt in to a bigger ecosystem from it.
2021-11-27 08:22:19 +0100 <c_wraith> The way it plays out in a typed language has a lot of differences in details, though
2021-11-27 08:22:36 +0100 <ozzloy> makes sense
2021-11-27 08:22:44 +0100 <hololeap> % data TheTwo a = TheTwo { getOne :: a, getTwo :: a }
2021-11-27 08:22:44 +0100 <yahb> hololeap:
2021-11-27 08:22:53 +0100 <hololeap> % instance Foldable TheTwo where foldr f b (TheTwo a1 a2) = f a1 (f a2 b)
2021-11-27 08:22:54 +0100 <yahb> hololeap:
2021-11-27 08:23:04 +0100 <hololeap> toList (TheTwo 2 3)
2021-11-27 08:23:08 +0100 <hololeap> % toList (TheTwo 2 3)
2021-11-27 08:23:09 +0100 <yahb> hololeap: [2,3]
2021-11-27 08:23:16 +0100 <hololeap> (just a small example)
2021-11-27 08:23:50 +0100 <hololeap> and I did kind of lie, you can also define a Foldable instance in terms of foldMap. you can choose to define it either way
2021-11-27 08:24:22 +0100 <hololeap> they are just two different ways of thinking about the same concept
2021-11-27 08:24:39 +0100 <jollygood2> ozzloy, take Eq as an example, minimal complete definition requires defining either (==) or (/=). so when you make a function Eq a => f :: a -> [a] -> [a], and do f x xs, compiler is implicitly passing (==) and (/=) functions to f for the type of x
2021-11-27 08:25:39 +0100 <jollygood2> it is basically doing something like this for you: f :: (a -> a -> Bool) -> a -> [a] -> [a]
2021-11-27 08:25:47 +0100 <EvanR> it's easy to reach for custom type classes too early though
2021-11-27 08:26:02 +0100 <EvanR> like a replacement for classes, or interfaces from another language
2021-11-27 08:26:25 +0100 <ozzloy> very much feels like java interfaces, yeah
2021-11-27 08:26:39 +0100 <EvanR> yeah but its more than that
2021-11-27 08:27:15 +0100 <c_wraith> The type system details let you say things you can't say in an interface.
2021-11-27 08:27:25 +0100 <EvanR> you can do interfaces other ways in haskell that may be more convenient
2021-11-27 08:27:36 +0100 <ozzloy> closer to an abstract class from java, where a bunch of concrete methods are implemented in terms of an abstract method
2021-11-27 08:27:59 +0100 <ozzloy> yeah, and it sounds like you can add it in after-the-fact
2021-11-27 08:28:37 +0100 <ozzloy> like after defining the class(what's it called in haskell?) TheTwo
2021-11-27 08:28:57 +0100 <EvanR> TheTwo is a data type
2021-11-27 08:29:06 +0100 <ozzloy> then, _after_, you provided a definition of foldr
2021-11-27 08:29:18 +0100 <EvanR> potentially way after
2021-11-27 08:29:24 +0100 <ozzloy> that's cool
2021-11-27 08:29:38 +0100 <EvanR> after TheTwo was finished, compiled, packaged shipped without being Foldable
2021-11-27 08:29:52 +0100 <EvanR> somebody can ship a Foldable instance separately if necessary
2021-11-27 08:30:00 +0100 <ozzloy> also, TheTwo was just data, and not also methods thrown in
2021-11-27 08:30:10 +0100 <ozzloy> i like that
2021-11-27 08:30:29 +0100 <ozzloy> data is just data, even if it has a shape
2021-11-27 08:31:07 +0100 <ozzloy> thanks for the firehose to drink from
2021-11-27 08:31:10 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 08:31:40 +0100 <ozzloy> EvanR, hololeap, c_wraith, jollygood2, thanks
2021-11-27 08:32:26 +0100deadmarshal(~deadmarsh@95.38.228.146) (Ping timeout: 245 seconds)
2021-11-27 08:34:28 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-27 08:36:13 +0100JimL(~quassel@89-162-2-132.fiber.signal.no)
2021-11-27 08:36:59 +0100 <jollygood2> ozzloy, np
2021-11-27 08:40:11 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 08:40:29 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 08:42:02 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2021-11-27 08:44:43 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 08:45:01 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 08:45:41 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-27 08:45:56 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 08:46:02 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-27 08:48:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 08:48:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 08:50:37 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 08:50:53 +0100deadmarshal(~deadmarsh@95.38.228.146)
2021-11-27 08:50:55 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 08:52:35 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 08:52:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 08:54:33 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 08:54:50 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 08:56:30 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 08:56:48 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 08:58:15 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 08:58:32 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 09:02:43 +0100qrpnxz(~qrpnxz@user/qrpnxz)
2021-11-27 09:04:22 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 09:04:40 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 09:08:29 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 09:14:28 +0100qrpnxz(~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-11-27 09:14:28 +0100qrpnxz(~qrpnxz@user/qrpnxz)
2021-11-27 09:14:36 +0100mmhat(~mmh@55d430d9.access.ecotel.net)
2021-11-27 09:15:06 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 09:15:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-27 09:15:56 +0100ishutin(~ishutin@89-186-118-211.pool.digikabel.hu) (Ping timeout: 256 seconds)
2021-11-27 09:17:43 +0100ishutin(~ishutin@87-97-82-128.pool.digikabel.hu)
2021-11-27 09:17:56 +0100drdo(~drdo@roach0.drdo.eu) (Quit: Ping timeout (120 seconds))
2021-11-27 09:18:13 +0100drdo(~drdo@roach0.drdo.eu)
2021-11-27 09:19:51 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 09:22:51 +0100boxscape_(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-11-27 09:23:35 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Ping timeout: 268 seconds)
2021-11-27 09:25:00 +0100mikoto-chan(~mikoto-ch@esm-84-240-99-143.netplaza.fi)
2021-11-27 09:32:33 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-11-27 09:37:53 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-11-27 09:38:27 +0100acidjnk_new(~acidjnk@p200300d0c7271e35059025bf8f5e09b5.dip0.t-ipconnect.de)
2021-11-27 09:41:02 +0100rkrishnan(~user@171.48.57.101) (Ping timeout: 240 seconds)
2021-11-27 09:43:16 +0100img(~img@user/img)
2021-11-27 09:43:56 +0100gehmehgeh(~user@user/gehmehgeh)
2021-11-27 09:44:07 +0100max22-(~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr)
2021-11-27 09:47:14 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 09:52:03 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 265 seconds)
2021-11-27 09:53:26 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-11-27 09:57:13 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection)
2021-11-27 09:59:02 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-11-27 10:00:09 +0100fakehacker[m](~fakehacke@2001:470:69fc:105::b5f0) (Quit: You have been kicked for being idle)
2021-11-27 10:00:42 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-27 10:05:00 +0100Lycurgus(~juan@98.4.112.204)
2021-11-27 10:08:19 +0100notzmv(~zmv@user/notzmv)
2021-11-27 10:09:15 +0100hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2021-11-27 10:10:34 +0100hololeap(~hololeap@user/hololeap)
2021-11-27 10:15:10 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-11-27 10:17:37 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-11-27 10:17:40 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2021-11-27 10:17:43 +0100allbery_bgeekosaur
2021-11-27 10:19:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-11-27 10:19:54 +0100Tuplanolla(~Tuplanoll@91-159-69-50.elisa-laajakaista.fi)
2021-11-27 10:27:20 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-11-27 10:35:17 +0100TMA(tma@twin.jikos.cz)
2021-11-27 10:36:31 +0100ubert(~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-11-27 10:36:46 +0100ubert(~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de)
2021-11-27 10:37:54 +0100mvk(~mvk@2607:fea8:5cc1:fa00::4702) (Ping timeout: 260 seconds)
2021-11-27 10:39:21 +0100kuribas(~user@ptr-25vy0i9092f7cof0r9n.18120a2.ip6.access.telenet.be)
2021-11-27 10:44:39 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-11-27 10:47:31 +0100 <tom__> Does it make sense to write a test for each PBT generator to ensure it produces valid output?
2021-11-27 10:48:04 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 10:50:18 +0100Sgeo_(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-11-27 10:52:32 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-11-27 10:52:57 +0100 <[exa]> tom__: if the correctness is not obvious from the way the generator is coded, yes
2021-11-27 10:53:28 +0100 <[exa]> tom__: you may though hit an infinite loop on testing if the correctness test tests the correctness properly, etc
2021-11-27 10:57:43 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-27 11:00:32 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-11-27 11:00:54 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:00:54 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-11-27 11:02:01 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 245 seconds)
2021-11-27 11:02:05 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds)
2021-11-27 11:02:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:02:29 +0100fef(~thedawn@user/thedawn)
2021-11-27 11:03:14 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:03:43 +0100Lord_of_Life_Lord_of_Life
2021-11-27 11:04:47 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:05:21 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:06:54 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:07:32 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:08:41 +0100kadir(~user@88.251.54.110)
2021-11-27 11:09:01 +0100Guest6872(~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Changing host)
2021-11-27 11:09:01 +0100Guest6872(~cat@user/sudden)
2021-11-27 11:09:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:09:07 +0100Guest6872sudden
2021-11-27 11:09:50 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:11:21 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:12:08 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:13:28 +0100smunix(~smunix@static.26.70.12.49.clients.your-server.de)
2021-11-27 11:13:39 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:13:50 +0100smunix(~smunix@static.26.70.12.49.clients.your-server.de) (Client Quit)
2021-11-27 11:14:21 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:14:35 +0100smunix(~smunix@static.26.70.12.49.clients.your-server.de)
2021-11-27 11:14:59 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-11-27 11:15:51 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:16:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:18:05 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:18:57 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:20:31 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:21:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:22:26 +0100reumeth(~reumeth@user/reumeth) (Ping timeout: 245 seconds)
2021-11-27 11:22:47 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:23:37 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:25:11 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:25:47 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 11:25:57 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:26:18 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2021-11-27 11:26:33 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-11-27 11:26:35 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-11-27 11:27:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:28:15 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:29:31 +0100qrpnxz(~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-11-27 11:29:32 +0100qrpnxz(~qrpnxz@user/qrpnxz)
2021-11-27 11:29:46 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:29:56 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2021-11-27 11:30:02 +0100qrpnxz(~qrpnxz@user/qrpnxz) (Disconnected: closed)
2021-11-27 11:30:14 +0100qrpnxz(~qrpnxz@user/qrpnxz)
2021-11-27 11:30:16 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-11-27 11:30:42 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:31:59 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-11-27 11:32:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:33:11 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:34:42 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:35:42 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:37:11 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:37:36 +0100Guest17(~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-11-27 11:37:57 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:38:30 +0100 <Guest17> why does haskell accept `1 : [2, 3]` but not `: 1 [2]` ?
2021-11-27 11:38:55 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 250 seconds)
2021-11-27 11:39:06 +0100 <Guest17> `: 1 [2, 3]` but you get the point
2021-11-27 11:39:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:39:36 +0100jakalx(~jakalx@base.jakalx.net)
2021-11-27 11:40:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:40:27 +0100 <gehmehgeh> Guest17: ":" is an infix operator
2021-11-27 11:40:39 +0100 <gehmehgeh> try (:) 1 [2,3]
2021-11-27 11:40:44 +0100 <gehmehgeh> :-)
2021-11-27 11:41:04 +0100 <gehmehgeh> (if you really want to use it that way)
2021-11-27 11:41:21 +0100 <Guest17> I know (:) is supposed to work, but I want to know if this is a limitation in the grammar or something else
2021-11-27 11:41:47 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:41:56 +0100 <gehmehgeh> No, you use parentheses if you want to employ an infix operator the normal way. You can also use normal functions infix-style
2021-11-27 11:41:58 +0100 <gehmehgeh> with backtics
2021-11-27 11:42:03 +0100 <gehmehgeh> 10 `div` 2
2021-11-27 11:42:08 +0100 <gehmehgeh> instead of: div 10 2
2021-11-27 11:42:42 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:43:09 +0100 <[exa]> Guest17: the parentheses are there to turn the operator from a grammatical thing into a normal identifier. E.g. these 2 things do something different: `id (:) [id]`, `id : [id]`
2021-11-27 11:43:36 +0100 <[exa]> (both have valid semantics)
2021-11-27 11:44:12 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:44:18 +0100 <[exa]> to reduce the amount of danger&surprise, it's kinda natural to avoid reinterpreting the binary operator with a missing argument as a function
2021-11-27 11:45:01 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:46:26 +0100 <[exa]> example: when parsing `+ 1`, is it a function for incrementing numbers by 1, or did someone forget to write the left argument?
2021-11-27 11:46:30 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:47:16 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:47:57 +0100 <Guest17> [exa]: well if someone forgot to write the left argument that would be a type error down the line, I don't really see why that's dangerous or suprising
2021-11-27 11:48:46 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:49:11 +0100 <Guest17> I'm asking not to pick on haskell, but I'm laying out a parser for a toy-lang™ and I'm not so sure how to handle infix operators
2021-11-27 11:49:31 +0100deadmarshal(~deadmarsh@95.38.228.146) (Ping timeout: 245 seconds)
2021-11-27 11:49:39 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:50:13 +0100 <zincy> [exa] Thanks
2021-11-27 11:51:11 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:52:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:53:01 +0100deadmarshal(~deadmarsh@95.38.228.146)
2021-11-27 11:53:30 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:54:21 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:55:34 +0100 <[exa]> Guest17: if you want to support custom operators, the best option is to parse expressions as lists of things first, then run a specialized algorithm for making sense of the priorities
2021-11-27 11:55:52 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:56:26 +0100 <[exa]> re the "corner operator", the semantics of the expression would change dramatically if someone would (by error) infer the wrong type, which I don't see as a very welcome behavior but ymmv
2021-11-27 11:56:44 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 11:56:51 +0100 <[exa]> might make better sense elsewhere
2021-11-27 11:58:16 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 11:59:00 +0100LittleLemon(~AdiIRC@170.55.34.132)
2021-11-27 11:59:19 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:00:50 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:00:57 +0100 <[exa]> Guest17: example, you have an expression like "f + g h + (c d)", that you parse to something like [f, +, g, h, +, [c, d]]; at that point you are usually able to source the infix declarations from the file, so you can guess which things are operators and which are not, getting something like [f, op +, app g h, op +, app c d], and then you just run the shunting yard alg.
2021-11-27 12:01:43 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:02:07 +0100 <Guest17> [exa]: crystal clear!
2021-11-27 12:02:50 +0100 <Guest17> [exa]: something puzzling me is: https://stackoverflow.com/questions/54726221/parsing-custom-infix-operators-implementation-with-fp…
2021-11-27 12:03:16 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:03:56 +0100 <[exa]> nah, parsing is puzzling if you're doing too many things at once
2021-11-27 12:04:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:04:18 +0100 <Guest17> the OP talked about something like: `takeOpAndOther + x`, how would the Shunting yard algorithm apply here?
2021-11-27 12:04:41 +0100 <[exa]> the usual way of doign robust parsers of such stuff is to tokenize first, then parse
2021-11-27 12:04:41 +0100LittleLemon(~AdiIRC@170.55.34.132) (Quit: Going offline, see ya! (www.adiirc.com))
2021-11-27 12:05:34 +0100 <Guest17> I'm doing that, I'm just not sure if I should parse `+` and `add` as identifiers or reserve a `Operator` token
2021-11-27 12:05:43 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:05:45 +0100 <[exa]> anyway, this is an ambiguous parse, precisely the reason why we have the parens around (+)
2021-11-27 12:06:13 +0100 <[exa]> do you allow user-defined operators?
2021-11-27 12:06:28 +0100 <Guest17> That's what I intend to do yes
2021-11-27 12:06:44 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:06:47 +0100 <[exa]> okay, then you first need to know what are all the operators _before_ you are even able to parse this right
2021-11-27 12:06:51 +0100 <Guest17> it's proving to be a bit paralyzing but I'm interested in implementing it
2021-11-27 12:06:58 +0100jgeerds(~jgeerds@55d45b75.access.ecotel.net)
2021-11-27 12:07:37 +0100 <Guest17> [exa]: I suppose I could build a list of declared operators pre-parsing
2021-11-27 12:07:44 +0100 <[exa]> yes
2021-11-27 12:08:12 +0100 <[exa]> hm actually let's have a look at how haskells do
2021-11-27 12:08:14 +0100LittleLemon(~AdiIRC@170.55.34.132)
2021-11-27 12:08:14 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:08:51 +0100 <Guest17> and if I encounter + I treat it as an operator in the SY algorithm otherwise if it's (+) it behaves the same as a normal idnetifier
2021-11-27 12:08:54 +0100Moyst_(~moyst@user/moyst)
2021-11-27 12:09:09 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:09:22 +0100 <Guest17> [exa]: by all means let's do that x)
2021-11-27 12:10:03 +0100boxscape_(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de)
2021-11-27 12:10:09 +0100ub(~Thunderbi@p200300ecdf0ba253489968441493cf16.dip0.t-ipconnect.de)
2021-11-27 12:10:41 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:11:13 +0100Moyst(~moyst@user/moyst) (Ping timeout: 250 seconds)
2021-11-27 12:11:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:11:39 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 12:13:04 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:13:15 +0100 <Guest17> and in terms of the lexer, I could first try recognizing a keyword (`type`), then a normal `abc_123'` identifier, then a reserved operator like `->` and finally a user defined operator
2021-11-27 12:13:20 +0100zer0bitz(~zer0bitz@2001:2003:f6bc:f00:9d34:9ef:e98a:2cbe)
2021-11-27 12:13:34 +0100 <[exa]> Guest17: so anyway they have a pretty generous definition of an operator here: https://github.com/ghc/ghc/blob/master/compiler/GHC/Parser/Lexer.x#L182
2021-11-27 12:13:41 +0100Moyst_(~moyst@user/moyst) (Ping timeout: 245 seconds)
2021-11-27 12:14:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:14:48 +0100Moyst_(~moyst@user/moyst)
2021-11-27 12:14:50 +0100fef(~thedawn@user/thedawn) (Quit: Leaving)
2021-11-27 12:15:07 +0100 <[exa]> and I see the .y file with parser somehow disappeared from ghc 9 :]
2021-11-27 12:15:25 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 12:15:33 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-27 12:15:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:15:42 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 12:16:20 +0100 <Guest17> `$unisymbol = \x04 -- Trick Alex into handling Unicode.` is the funniest comment I've seen
2021-11-27 12:16:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:16:57 +0100 <Hecate> :')
2021-11-27 12:18:05 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:19:03 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:19:15 +0100 <[exa]> Guest17: older version of the parser here: https://github.com/ghc/ghc/blob/ghc-8.10/compiler/parser/Parser.y#L3538
2021-11-27 12:19:38 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.3)
2021-11-27 12:19:47 +0100ub1(~Thunderbi@p548c9fcb.dip0.t-ipconnect.de)
2021-11-27 12:19:57 +0100ub(~Thunderbi@p200300ecdf0ba253489968441493cf16.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-27 12:20:34 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:21:23 +0100 <[exa]> Guest17: and then somewhere around infixexp roughly here https://github.com/ghc/ghc/blob/ghc-8.10/compiler/parser/Parser.y#L2576 you can find that they are parsing basically lists of [exp, op, exp, op, exp, op, ...]
2021-11-27 12:21:29 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 12:22:04 +0100ub1ub
2021-11-27 12:22:12 +0100 <boxscape_> [exa] https://github.com/ghc/ghc/blob/master/compiler/GHC/Parser.y
2021-11-27 12:22:44 +0100 <boxscape_> module names follow modern haskell practice now
2021-11-27 12:22:50 +0100 <boxscape_> GHC.Parser
2021-11-27 12:22:54 +0100 <boxscape_> GHC.Parser.Lexer
2021-11-27 12:23:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:23:27 +0100 <[exa]> o nice thanks
2021-11-27 12:24:08 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:25:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:26:43 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:27:12 +0100 <Square> can i create Proxy (b a) from Proxy a ?
2021-11-27 12:27:13 +0100DNH(~DNH@2a02:8108:1100:16d8:d16e:d5f5:18a5:65d5)
2021-11-27 12:27:53 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-11-27 12:28:15 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:28:41 +0100 <boxscape_> % :t fmap @Proxy
2021-11-27 12:28:41 +0100 <yahb> boxscape_: (a -> b) -> Proxy a -> Proxy b
2021-11-27 12:29:15 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:29:18 +0100 <boxscape_> Square I think you can but why not just create a new Proxy of type `Proxy (b a)`?
2021-11-27 12:30:08 +0100 <Square> boxscape_, im afraid i dont have "a" available other than as a proxy
2021-11-27 12:30:46 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:30:56 +0100 <boxscape_> Square you can probabaly use ScopedTypeVariables to get access to it, and then write `Proxy :: Proxy (b a)` (or `Proxy @(b a)`)
2021-11-27 12:30:57 +0100haskl[error](~haskl@user/haskl) (Read error: Connection reset by peer)
2021-11-27 12:31:46 +0100 <boxscape_> % foo :: forall a b . Proxy a -> Proxy (b a); foo Proxy = (Proxy :: Proxy (b a))
2021-11-27 12:31:46 +0100 <yahb> boxscape_:
2021-11-27 12:31:50 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:33:04 +0100haskl(~haskl@user/haskl)
2021-11-27 12:33:21 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:33:40 +0100 <[exa]> Guest17: the parser code there is complicated so I didn't find the priority-solving part yet, maybe someone other will know
2021-11-27 12:34:21 +0100 <Guest17> [exa]: as far as I know its handled through infix statements yes?
2021-11-27 12:34:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:34:31 +0100 <[exa]> likely
2021-11-27 12:35:49 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 12:35:54 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:36:06 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 12:36:53 +0100 <Square> boxscape_, thanks for the advice! Appreciated
2021-11-27 12:37:01 +0100 <boxscape_> np
2021-11-27 12:37:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:38:34 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:39:36 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 12:40:27 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 12:41:08 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:42:00 +0100ymherklotz(~ymherklot@2a0c:5bc0:40:107b:fdfc:4d2d:898a:f9f5) (Read error: Connection reset by peer)
2021-11-27 12:42:12 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:43:39 +0100kadir(~user@88.251.54.110) (ERC (IRC client for Emacs 27.1))
2021-11-27 12:43:45 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:44:00 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 12:44:10 +0100namkeleser(~namkelese@101.175.102.188)
2021-11-27 12:44:45 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:46:12 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-27 12:46:18 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:46:26 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 12:46:33 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-27 12:47:06 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 12:47:32 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:48:23 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 12:49:05 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:49:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-11-27 12:50:10 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:51:24 +0100_xor(~xor@72.49.199.147) (Ping timeout: 268 seconds)
2021-11-27 12:51:43 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:52:01 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-11-27 12:52:51 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:53:33 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-11-27 12:54:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:55:29 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:56:08 +0100curiousgay(~curiousga@77-120-141-90.kha.volia.net)
2021-11-27 12:56:14 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b)
2021-11-27 12:57:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 12:57:58 +0100jakalx(~jakalx@base.jakalx.net)
2021-11-27 12:58:10 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 12:59:42 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:01:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:02:36 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:03:40 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:03:44 +0100stefan-_(~cri@42dots.de) (Ping timeout: 256 seconds)
2021-11-27 13:05:07 +0100kayprish(~kayprish@185.37.27.218)
2021-11-27 13:05:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:06:14 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:07:14 +0100LittleLemon(~AdiIRC@170.55.34.132) (Quit: Going offline, see ya! (www.adiirc.com))
2021-11-27 13:07:32 +0100stefan-_(~cri@42dots.de)
2021-11-27 13:07:38 +0100LittleLemon(~AdiIRC@170.55.34.132)
2021-11-27 13:07:46 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:08:37 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-11-27 13:08:51 +0100DNH(~DNH@2a02:8108:1100:16d8:d16e:d5f5:18a5:65d5) (Quit: Textual IRC Client: www.textualapp.com)
2021-11-27 13:08:59 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:10:32 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:11:39 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:11:40 +0100kayprish(~kayprish@185.37.27.218) (Ping timeout: 256 seconds)
2021-11-27 13:11:52 +0100FragByte(~christian@user/fragbyte) (Quit: Quit)
2021-11-27 13:12:22 +0100Moyst_(~moyst@user/moyst) (Ping timeout: 268 seconds)
2021-11-27 13:13:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:13:39 +0100FragByte(~christian@user/fragbyte)
2021-11-27 13:14:21 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:14:57 +0100Moyst_(~moyst@user/moyst)
2021-11-27 13:15:53 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:17:14 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:17:40 +0100machinedgod(~machinedg@24.105.81.50)
2021-11-27 13:18:46 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:19:54 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:21:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:22:33 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:24:06 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:24:06 +0100Moyst(~moyst@user/moyst)
2021-11-27 13:25:21 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:25:21 +0100neurocyte0132889(~neurocyte@195.80.52.229)
2021-11-27 13:25:21 +0100neurocyte0132889(~neurocyte@195.80.52.229) (Changing host)
2021-11-27 13:25:21 +0100neurocyte0132889(~neurocyte@user/neurocyte)
2021-11-27 13:26:49 +0100Moyst_(~moyst@user/moyst) (Ping timeout: 250 seconds)
2021-11-27 13:26:53 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:28:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:28:48 +0100ph88^(~ph88@2a02:8109:9e00:71d0:fd99:6e74:1b49:af22)
2021-11-27 13:29:34 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:30:46 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:31:18 +0100LittleLemon(~AdiIRC@170.55.34.132) (Quit: Going offline, see ya! (www.adiirc.com))
2021-11-27 13:31:57 +0100LittleLemon(~AdiIRC@170.55.34.132)
2021-11-27 13:32:18 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:32:32 +0100ph88_(~ph88@2a02:8109:9e00:71d0:15f2:638c:7ed7:4999) (Ping timeout: 240 seconds)
2021-11-27 13:33:18 +0100jumper149(~jumper149@static.6.71.203.116.clients.your-server.de)
2021-11-27 13:33:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:34:59 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:35:21 +0100Organizers|Robin(~Robin_Jad@152.67.64.160)
2021-11-27 13:36:05 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:37:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:38:44 +0100LittleLemon(~AdiIRC@170.55.34.132) (Ping timeout: 265 seconds)
2021-11-27 13:38:51 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:40:24 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:41:37 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:43:10 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:43:45 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 13:44:26 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:45:59 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:47:09 +0100Neuromancer(~Neuromanc@user/neuromancer)
2021-11-27 13:47:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:48:50 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:49:16 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 13:49:55 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:51:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:52:40 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:53:36 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-11-27 13:54:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:54:46 +0100Moyst_(~moyst@user/moyst)
2021-11-27 13:55:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:55:51 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 13:56:08 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 13:56:47 +0100Moyst(~moyst@user/moyst) (Ping timeout: 268 seconds)
2021-11-27 13:57:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 13:57:45 +0100Guest17(~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed)
2021-11-27 13:58:14 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 13:58:40 +0100Moyst_Moyst
2021-11-27 13:58:54 +0100Guest17(~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-11-27 13:59:35 +0100Guest17(~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Client Quit)
2021-11-27 13:59:43 +0100max22-(~maxime@2a01cb0883359800761b1c69d9198b7f.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2021-11-27 13:59:47 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:00:21 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 14:00:58 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:02:31 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:02:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 14:03:52 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:05:03 +0100zero(~z@user/zero) ()
2021-11-27 14:05:10 +0100zzz(~z@user/zero)
2021-11-27 14:05:25 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:05:49 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…)
2021-11-27 14:06:37 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:07:14 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b)
2021-11-27 14:08:09 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:08:19 +0100 <zzz> for the past few year i've been learning haskell on my spare time and enjoying it with the help of books and this channel alone to the point of being very productive with it. you guy are awesome, thank you
2021-11-27 14:09:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:09:21 +0100jollygood2(~bc8165b6@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-11-27 14:09:51 +0100 <zzz> my 's' key is failing me today but you get the point
2021-11-27 14:10:49 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:11:06 +0100 <Axman6> that must uck zzz :)
2021-11-27 14:11:54 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:12:08 +0100 <zzz> it' very trful
2021-11-27 14:12:53 +0100 <zzz> *treful. oh no...
2021-11-27 14:13:30 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:14:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:16:10 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:17:20 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:18:32 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-11-27 14:18:53 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:19:59 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds))
2021-11-27 14:20:08 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:20:42 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-11-27 14:21:41 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:22:45 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:23:26 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (Client Quit)
2021-11-27 14:23:54 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-11-27 14:24:18 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:25:40 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:26:03 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com) (Client Quit)
2021-11-27 14:27:14 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:27:21 +0100Flonk(~Flonk@vps-zap441517-1.zap-srv.com)
2021-11-27 14:28:02 +0100jgeerds(~jgeerds@55d45b75.access.ecotel.net) (Ping timeout: 240 seconds)
2021-11-27 14:28:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:30:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:31:25 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:32:58 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:34:04 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2021-11-27 14:34:05 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:34:10 +0100ph88_(~ph88@2a02:8109:9e00:71d0:4444:8213:8d5f:108f)
2021-11-27 14:35:37 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:36:57 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:38:06 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 14:38:08 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-11-27 14:38:30 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:38:43 +0100ph88^(~ph88@2a02:8109:9e00:71d0:fd99:6e74:1b49:af22) (Ping timeout: 268 seconds)
2021-11-27 14:39:51 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:41:21 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:41:32 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2021-11-27 14:41:48 +0100lagash(lagash@lagash.shelltalk.net) (Ping timeout: 268 seconds)
2021-11-27 14:42:36 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 14:42:54 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 260 seconds)
2021-11-27 14:43:04 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 14:43:22 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 14:44:09 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:44:33 +0100waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-11-27 14:45:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 14:46:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-27 14:46:55 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:47:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 14:48:04 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2021-11-27 14:48:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:49:49 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:51:03 +0100max22-(~maxime@2a01cb08833598000bfe347d6ecb53d2.ipv6.abo.wanadoo.fr)
2021-11-27 14:51:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 14:51:09 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:51:39 +0100azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds)
2021-11-27 14:52:41 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:53:53 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:55:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:56:34 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 14:58:07 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 14:59:19 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:00:52 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:01:06 +0100lagash(lagash@lagash.shelltalk.net)
2021-11-27 15:02:16 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:03:50 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:05:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:05:25 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2)
2021-11-27 15:05:46 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…)
2021-11-27 15:06:33 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:07:53 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:09:25 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:09:57 +0100gdown(~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net)
2021-11-27 15:10:17 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 15:10:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:11:28 +0100kennyd(~bc8165b6@cerf.good1.com)
2021-11-27 15:12:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:13:24 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:13:27 +0100dsrt^(~dsrt@68.101.58.90) (Ping timeout: 260 seconds)
2021-11-27 15:14:55 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:15:03 +0100_xor(~xor@72.49.199.147)
2021-11-27 15:15:12 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-11-27 15:15:24 +0100hueso_(~root@user/hueso) (Ping timeout: 265 seconds)
2021-11-27 15:16:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 15:17:50 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:18:56 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:19:02 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 15:20:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:20:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-11-27 15:21:51 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:23:24 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:23:35 +0100nucranium(~nucranium@2a02:8010:6173:0:2164:de0d:a8d4:46df)
2021-11-27 15:23:42 +0100shriekingnoise(~shrieking@186.137.144.80) (Ping timeout: 256 seconds)
2021-11-27 15:24:31 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:26:05 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:27:16 +0100CiaoSen(~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-11-27 15:27:17 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:27:39 +0100dsrt^(~dsrt@68.101.58.90)
2021-11-27 15:27:43 +0100 <L29Ah> is there a public service or a script that i can utilize to check whether my haskell projects build against the latest libs' releases?
2021-11-27 15:28:52 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:29:15 +0100 <fendor[m]> Can I avoid using 'makeLens' without writing it myself? E.g. Can I achieve the same as 'makeLens' without TH and not writing it myself? Or is this eating my cake and having it too?
2021-11-27 15:29:24 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-27 15:30:04 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:31:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:32:13 +0100kayprish(~kayprish@185.37.27.218)
2021-11-27 15:32:52 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:33:59 +0100 <[exa]> L29Ah: if the thing is on hackage, you can have a look at the build matrix which is there for this purpose
2021-11-27 15:34:09 +0100 <Rembane_> fendor[m]: There are generics, I have never tried them myself though: https://github.com/kcsongor/generic-lens
2021-11-27 15:34:14 +0100CiaoSen(~Jura@p200300c9570204002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2021-11-27 15:34:25 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:34:51 +0100 <[exa]> L29Ah: other than that I'm not sure but you might be happy with just having a CI on github that triggers regularly and tries it.
2021-11-27 15:35:00 +0100Axman6(~Axman6@user/axman6) (Ping timeout: 260 seconds)
2021-11-27 15:35:36 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:35:56 +0100lbseale(~ep1ctetus@user/ep1ctetus)
2021-11-27 15:36:12 +0100 <[exa]> wow, generic-lens claims almost zero overhead, good
2021-11-27 15:37:10 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:37:29 +0100 <Rembane_> I haven't really thought about it, but what's the overhead of the other approaches?
2021-11-27 15:37:50 +0100 <kennyd> oh, 9.2 became stable! that's the Record Dot Syntax release, isn't it
2021-11-27 15:38:04 +0100 <geekosaur> yes
2021-11-27 15:38:35 +0100 <fendor[m]> Rembane_: Template Haskell? It affects recompilation checks
2021-11-27 15:38:44 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 15:39:34 +0100deadmarshal(~deadmarsh@95.38.228.146) (Ping timeout: 256 seconds)
2021-11-27 15:40:18 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:40:33 +0100 <Rembane_> fendor[m]: It does indeed. Everything is always recompiled. :/
2021-11-27 15:41:07 +0100 <fendor[m]> yeah, it sucks a bit.
2021-11-27 15:41:34 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:41:41 +0100kennyd(~bc8165b6@cerf.good1.com) (Quit: CGI:IRC)
2021-11-27 15:41:55 +0100kennyd(~bc8165b6@cerf.good1.com)
2021-11-27 15:42:16 +0100xsperry(~xs@user/xsperry) ()
2021-11-27 15:42:39 +0100xsperry(~xs@user/xsperry)
2021-11-27 15:43:08 +0100shriekingnoise(~shrieking@186.137.144.80)
2021-11-27 15:43:08 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:43:37 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b)
2021-11-27 15:44:20 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 15:44:42 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 15:45:54 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:46:20 +0100 <L29Ah> [exa]: is it possible to subscribe to failures or no-ip?
2021-11-27 15:47:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:48:33 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:48:59 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection)
2021-11-27 15:49:02 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-11-27 15:49:31 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-27 15:50:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:51:37 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:52:39 +0100Moyst_(~moyst@user/moyst)
2021-11-27 15:52:51 +0100Moyst(~moyst@user/moyst) (Ping timeout: 245 seconds)
2021-11-27 15:52:52 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:54:25 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:55:21 +0100justsomeguy(~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds)
2021-11-27 15:55:47 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 15:57:20 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 15:58:43 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:00:15 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:01:22 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:02:22 +0100reumeth(~reumeth@user/reumeth)
2021-11-27 16:02:30 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-27 16:02:55 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:04:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:04:11 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-11-27 16:05:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:05:46 +0100deadmarshal(~deadmarsh@95.38.228.146)
2021-11-27 16:06:43 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 250 seconds)
2021-11-27 16:07:01 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:07:05 +0100xkuru(~xkuru@user/xkuru)
2021-11-27 16:08:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:08:37 +0100exbios(~ri@2806:2f0:90a0:876c:954a:4038:b756:10de)
2021-11-27 16:10:01 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:11:34 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:12:42 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:13:04 +0100Axman6(~Axman6@user/axman6)
2021-11-27 16:13:58 +0100 <Axman6> fendor[m]: I disconnected for a bit, but did anyone suggest generic-lens?
2021-11-27 16:14:16 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:14:25 +0100 <fendor[m]> Axman6: Yep, Rembane did
2021-11-27 16:15:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:15:42 +0100 <Axman6> great
2021-11-27 16:17:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:18:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 16:18:19 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:18:27 +0100ph88^(~ph88@ip5f5af068.dynamic.kabel-deutschland.de)
2021-11-27 16:18:27 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 16:19:31 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 245 seconds)
2021-11-27 16:19:54 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:21:01 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:21:46 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection)
2021-11-27 16:22:18 +0100ph88_(~ph88@2a02:8109:9e00:71d0:4444:8213:8d5f:108f) (Ping timeout: 260 seconds)
2021-11-27 16:22:19 +0100acidjnk_new(~acidjnk@p200300d0c7271e35059025bf8f5e09b5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-11-27 16:22:35 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:23:59 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:24:31 +0100deadmarshal(~deadmarsh@95.38.228.146) (Ping timeout: 245 seconds)
2021-11-27 16:25:33 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:25:59 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 16:26:48 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:27:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-27 16:27:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-27 16:27:27 +0100wroathe(~wroathe@user/wroathe)
2021-11-27 16:28:22 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:28:31 +0100GurkenglasGureknglas
2021-11-27 16:29:40 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:29:40 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk)
2021-11-27 16:31:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:32:24 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:32:44 +0100kayprish(~kayprish@185.37.27.218) (Ping timeout: 265 seconds)
2021-11-27 16:33:59 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:34:44 +0100rk04(~rk04@user/rajk)
2021-11-27 16:35:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:36:57 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:38:25 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:38:45 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 16:39:58 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:41:26 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:41:39 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-27 16:42:59 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:42:59 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 16:43:47 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-11-27 16:43:53 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2021-11-27 16:44:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 16:45:08 +0100zaquest(~notzaques@5.130.79.72)
2021-11-27 16:45:46 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Ping timeout: 245 seconds)
2021-11-27 16:45:56 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:46:37 +0100deadmarshal(~deadmarsh@95.38.228.146)
2021-11-27 16:47:05 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:48:39 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:50:03 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:51:03 +0100jakalx(~jakalx@base.jakalx.net)
2021-11-27 16:51:36 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:52:50 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:54:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:55:36 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 16:57:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 16:57:12 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 16:58:31 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:00:06 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:00:18 +0100jstolarek(~jstolarek@137.220.120.162)
2021-11-27 17:01:03 +0100shailangsa(~shailangs@host86-186-136-24.range86-186.btcentralplus.com) (Remote host closed the connection)
2021-11-27 17:01:18 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:02:50 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:03:55 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:03:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 17:05:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:05:56 +0100jgeerds(~jgeerds@55d45b75.access.ecotel.net)
2021-11-27 17:06:51 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:07:27 +0100qrpnxz(~qrpnxz@user/qrpnxz) (Disconnected: closed)
2021-11-27 17:07:41 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-11-27 17:08:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:09:46 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:10:42 +0100mc47(~mc47@xmonad/TheMC47)
2021-11-27 17:11:03 +0100Lycurgus(~juan@98.4.112.204) (Quit: Exeunt)
2021-11-27 17:11:19 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:12:08 +0100 <iphy> where are the new yaml files for stack? https://github.com/commercialhaskell/lts-haskell only goes up to 14.27
2021-11-27 17:12:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:12:29 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2021-11-27 17:13:58 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:14:21 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 17:15:16 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:16:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-27 17:16:49 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:18:04 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:18:06 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-27 17:18:08 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 17:18:41 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 245 seconds)
2021-11-27 17:18:53 +0100 <zzz> "in the beginning, the universe and record syntax were created. this had made many people very angry and has been widely regarded as a bad move"
2021-11-27 17:19:33 +0100Guest17(~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-11-27 17:19:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:20:06 +0100 <Rembane_> zzz: What's the source of that quote? :)
2021-11-27 17:20:16 +0100 <zzz> Haskeller's Guide to the GHC?
2021-11-27 17:20:52 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:22:25 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:22:34 +0100 <zzz> (it's the opening of The Restaurant at the End of the Universe (the 2nd book in hitchiker's guide to the galaxy), i just added record syntax)
2021-11-27 17:22:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 17:22:44 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Ping timeout: 268 seconds)
2021-11-27 17:22:54 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2021-11-27 17:23:51 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:24:31 +0100kayprish(~kayprish@185.37.26.208)
2021-11-27 17:25:25 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:26:53 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:28:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:29:32 +0100kayprish(~kayprish@185.37.26.208) (Ping timeout: 240 seconds)
2021-11-27 17:29:49 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:30:27 +0100kayprish(~kayprish@77.243.23.219)
2021-11-27 17:31:24 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:32:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:34:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:35:08 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:36:01 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 17:36:41 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:38:09 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:39:44 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:40:13 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 17:40:59 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:41:05 +0100shailangsa(~shailangs@host86-186-136-24.range86-186.btcentralplus.com)
2021-11-27 17:42:32 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:43:16 +0100jgeerds(~jgeerds@55d45b75.access.ecotel.net) (Ping timeout: 245 seconds)
2021-11-27 17:43:51 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:43:59 +0100hiruji(~hiruji@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in)
2021-11-27 17:44:46 +0100hiruji(~hiruji@user/hiruji)
2021-11-27 17:45:22 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:45:56 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-11-27 17:46:49 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:48:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:49:28 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:51:01 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:51:11 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-11-27 17:51:26 +0100kayprish(~kayprish@77.243.23.219) (Ping timeout: 260 seconds)
2021-11-27 17:52:13 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-27 17:52:19 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:52:30 +0100Guest9947(~Guest99@90-224-172-26-no129.tbcn.telia.com)
2021-11-27 17:53:25 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 17:53:53 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:55:10 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:55:26 +0100Organizers|Robin(~Robin_Jad@152.67.64.160) (Ping timeout: 268 seconds)
2021-11-27 17:56:43 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 17:56:47 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Ping timeout: 260 seconds)
2021-11-27 17:58:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 17:58:27 +0100fef(~thedawn@user/thedawn)
2021-11-27 17:59:04 +0100mvk(~mvk@2607:fea8:5cc1:fa00::4702)
2021-11-27 17:59:33 +0100alzgh(~alzgh@user/alzgh)
2021-11-27 17:59:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:00:03 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds)
2021-11-27 18:00:47 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:01:43 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 3.3)
2021-11-27 18:02:21 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:02:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-27 18:02:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-27 18:02:54 +0100wroathe(~wroathe@user/wroathe)
2021-11-27 18:03:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:03:57 +0100superbil(~superbil@1-34-176-171.hinet-ip.hinet.net)
2021-11-27 18:05:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:05:21 +0100max22-(~maxime@2a01cb08833598000bfe347d6ecb53d2.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-11-27 18:06:16 +0100max22-(~maxime@2a01cb08833598002d178c07f23bab16.ipv6.abo.wanadoo.fr)
2021-11-27 18:06:22 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:07:37 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2021-11-27 18:07:56 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:09:04 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:10:39 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:11:43 +0100lbseale_(~ep1ctetus@user/ep1ctetus)
2021-11-27 18:11:57 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:13:04 +0100lbseale_(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2021-11-27 18:13:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 18:13:32 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:14:53 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:15:42 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Ping timeout: 260 seconds)
2021-11-27 18:15:54 +0100 <janus> iphy: they were moved to a repo that contains both lts and nightly
2021-11-27 18:16:06 +0100 <janus> iphy: you can find it in the same org. if you can't find it, let me know
2021-11-27 18:16:17 +0100 <iphy> ah
2021-11-27 18:16:24 +0100 <iphy> janus: thanks
2021-11-27 18:16:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:16:39 +0100 <iphy> yup, found it: https://raw.githubusercontent.com/commercialhaskell/stackage-snapshots/master/lts/17/2.yaml
2021-11-27 18:17:41 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:19:15 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:20:18 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:20:27 +0100 <EvanR> https://paste.tomsmeding.com/pEkhiK4j
2021-11-27 18:20:47 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-11-27 18:21:52 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:23:06 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:23:06 +0100 <dsal> When someone asks if you're a god, you say yes.
2021-11-27 18:23:14 +0100fjmorazan_fjmorazan
2021-11-27 18:24:40 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:25:55 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:27:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:27:48 +0100 <janus> god is not great enough, needs to be capitalized :P
2021-11-27 18:28:37 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:30:11 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:31:25 +0100 <dsal> Depends on whether we're talking about what type of person EvanR is, or whether it's just a value judgment.
2021-11-27 18:31:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:31:44 +0100 <EvanR> no I agree with dsal
2021-11-27 18:33:01 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:33:26 +0100rk04(~rk04@user/rajk) (Ping timeout: 260 seconds)
2021-11-27 18:34:02 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:34:29 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2) (Ping timeout: 250 seconds)
2021-11-27 18:35:36 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:36:56 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:38:29 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:38:45 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-11-27 18:39:37 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:41:12 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:41:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-27 18:41:46 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-27 18:41:46 +0100wroathe(~wroathe@user/wroathe)
2021-11-27 18:41:46 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-27 18:42:20 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2)
2021-11-27 18:42:21 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:43:57 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:45:06 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:46:08 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Ping timeout: 265 seconds)
2021-11-27 18:46:39 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:47:42 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:48:07 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2) (Ping timeout: 260 seconds)
2021-11-27 18:48:15 +0100oxide(~lambda@user/oxide)
2021-11-27 18:49:16 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:50:30 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:52:04 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:52:48 +0100retro_(~retro@97e2ba2e.skybroadband.com)
2021-11-27 18:53:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:54:00 +0100retroid_(~retro@97e2ba2e.skybroadband.com) (Ping timeout: 268 seconds)
2021-11-27 18:55:00 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:55:14 +0100boxscape_(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-11-27 18:56:07 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 18:56:11 +0100\dev\ice(~benner@2a01:4f8:1c1c:2178::1) ()
2021-11-27 18:57:42 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 18:58:53 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 19:00:19 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2)
2021-11-27 19:00:27 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 19:01:44 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 19:02:08 +0100 <mjrosenb> has anyone been able to get stack traces with ghjcs? I've added some HasCallStack contexts, but I'm not seeing anything in the error messages.
2021-11-27 19:03:19 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 19:04:38 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 19:06:13 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 19:07:37 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 19:08:38 +0100SquidDev(~SquidDev@autoclave.squiddev.cc) (Quit: Bye!)
2021-11-27 19:09:11 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 19:09:26 +0100SquidDev(~SquidDev@autoclave.squiddev.cc)
2021-11-27 19:10:30 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 19:11:58 +0100kspalaiologos(~kspalaiol@user/kspalaiologos)
2021-11-27 19:12:06 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 19:13:12 +0100deadmarshal(~deadmarsh@95.38.228.146) (Ping timeout: 256 seconds)
2021-11-27 19:13:34 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 19:13:54 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-11-27 19:15:09 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 19:15:26 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2021-11-27 19:16:01 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 19:16:30 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 19:18:05 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 19:19:23 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 19:19:33 +0100econo(uid147250@user/econo)
2021-11-27 19:20:28 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-11-27 19:20:47 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2021-11-27 19:20:57 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 19:22:18 +0100MrNobody_0000000(~MrNobody@user/mrnobody-0000000/x-9129771) (Quit: MrNobody_0000000)
2021-11-27 19:22:22 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer)
2021-11-27 19:23:01 +0100kspalaiologos(~kspalaiol@user/kspalaiologos) (Quit: Leaving)
2021-11-27 19:23:58 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be)
2021-11-27 19:27:17 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 19:27:35 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 19:27:37 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-11-27 19:29:17 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 19:29:35 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 19:29:42 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-11-27 19:31:03 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-11-27 19:31:12 +0100gdown(~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) (Read error: Connection reset by peer)
2021-11-27 19:33:14 +0100 <EvanR> Ah whitespace mattering in haskell (t':ts) vs (t ': ts)
2021-11-27 19:33:39 +0100bliminse(~bliminse@host86-188-36-178.range86-188.btcentralplus.com) (Quit: leaving)
2021-11-27 19:34:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 19:34:21 +0100 <Rembane_> EvanR: Didn't GHC like your new and fancy operator?
2021-11-27 19:34:24 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 19:36:04 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 19:37:01 +0100deadmarshal(~deadmarsh@95.38.228.146)
2021-11-27 19:37:06 +0100x88x88x(~x88x88x@gateway/vpn/pia/x88x88x)
2021-11-27 19:37:39 +0100fef(~thedawn@user/thedawn) (Ping timeout: 276 seconds)
2021-11-27 19:38:28 +0100synthmeat(~synthmeat@user/synthmeat)
2021-11-27 19:42:19 +0100bliminse(~bliminse@host86-188-36-178.range86-188.btcentralplus.com)
2021-11-27 19:42:25 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-11-27 19:44:52 +0100 <hpc> you can name operators with '?
2021-11-27 19:45:47 +0100 <hpc> or just a typo?
2021-11-27 19:45:54 +0100 <Rembane_> hpc: Nope, I was wrong. It becomes a syntax error.
2021-11-27 19:46:56 +0100 <int-e> :t Proxy :: Proxy ('() ': '[])
2021-11-27 19:46:57 +0100 <lambdabot> Proxy '['()]
2021-11-27 19:47:00 +0100Sgeo(~Sgeo@user/sgeo)
2021-11-27 19:47:24 +0100 <Rembane_> Is that a type level list?
2021-11-27 19:47:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-27 19:47:48 +0100 <int-e> yes
2021-11-27 19:47:59 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-27 19:47:59 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-27 19:47:59 +0100wroathe(~wroathe@user/wroathe)
2021-11-27 19:48:53 +0100 <EvanR> t':ts it thinks t' is a variable, I think
2021-11-27 19:49:57 +0100 <EvanR> the poor lexer
2021-11-27 19:50:17 +0100kuribas(~user@ptr-25vy0i9092f7cof0r9n.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-11-27 19:50:21 +0100Gureknglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 245 seconds)
2021-11-27 19:51:33 +0100 <int-e> :t Proxy :: Proxy ('True':'[])
2021-11-27 19:51:34 +0100 <lambdabot> error:
2021-11-27 19:51:34 +0100 <lambdabot> Not in scope: data constructor ‘True'’
2021-11-27 19:51:34 +0100 <lambdabot> Perhaps you meant ‘True’ (imported from Data.Bool)
2021-11-27 19:51:46 +0100 <int-e> :t Proxy :: Proxy ('True ': '[])
2021-11-27 19:51:47 +0100 <lambdabot> Proxy '[ 'True]
2021-11-27 19:51:50 +0100 <int-e> unsurprising
2021-11-27 19:52:20 +0100 <awpr> another reason for https://gitlab.haskell.org/ghc/ghc/-/issues/20531
2021-11-27 19:52:38 +0100 <awpr> no single quote = no whitespace weirdness
2021-11-27 19:53:12 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2021-11-27 19:53:38 +0100 <int-e> 't' might also be a character literal, hmm
2021-11-27 19:53:39 +0100gdown(~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net)
2021-11-27 19:53:49 +0100zer0bitz(~zer0bitz@2001:2003:f6bc:f00:9d34:9ef:e98a:2cbe) (Read error: Connection reset by peer)
2021-11-27 19:54:42 +0100 <EvanR> oh jeez
2021-11-27 19:56:29 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-11-27 19:58:09 +0100zer0bitz(~zer0bitz@2001:2003:f6bc:f00:9d34:9ef:e98a:2cbe)
2021-11-27 20:02:28 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 20:02:30 +0100rk04(~rk04@user/rajk)
2021-11-27 20:04:10 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 20:04:27 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 20:05:07 +0100x88x88x(~x88x88x@gateway/vpn/pia/x88x88x) (Quit: Using Circe, the loveliest of all IRC clients)
2021-11-27 20:06:17 +0100x88x88x(~x88x88x@gateway/vpn/pia/x88x88x)
2021-11-27 20:08:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 20:08:22 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 20:11:27 +0100 <EvanR> awpr, wow... I don't even need the ' xD
2021-11-27 20:13:41 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-27 20:14:11 +0100koz(~koz@121.99.240.58) (Ping timeout: 268 seconds)
2021-11-27 20:16:35 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 20:16:52 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 20:16:59 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…)
2021-11-27 20:19:13 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 20:19:35 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-11-27 20:20:57 +0100koz(~koz@121.99.240.58)
2021-11-27 20:21:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-11-27 20:22:38 +0100 <EvanR> is there something like a kind synonym
2021-11-27 20:23:23 +0100 <EvanR> or is the type synonym syntax supposed to work for that
2021-11-27 20:23:52 +0100 <geekosaur> type synonyms should work but you may need an extension
2021-11-27 20:23:55 +0100random-jellyfish(~random-je@user/random-jellyfish)
2021-11-27 20:25:35 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 20:25:51 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 20:25:56 +0100jespada(~jespada@87.74.37.56)
2021-11-27 20:26:35 +0100 <hskpractice> when i build with stack i want to somehow inline a few text files that are basically non-code libraries, so that i don't have to ship with those libraries, but just have one self-contained binary. am i thinking about it in the wrong way?
2021-11-27 20:26:43 +0100 <hskpractice> any idea on how i would accomplish that?
2021-11-27 20:26:55 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-27 20:27:03 +0100jespada(~jespada@87.74.37.56) (Read error: Connection reset by peer)
2021-11-27 20:27:04 +0100 <EvanR> I tried to establish a sort of schema for a record like type X = [("symbol", Float)]
2021-11-27 20:27:13 +0100 <EvanR> it complains that "symbol" is a Symbol not a *
2021-11-27 20:27:21 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 20:27:32 +0100deadmarshal(~deadmarsh@95.38.228.146) (Ping timeout: 240 seconds)
2021-11-27 20:27:35 +0100x88x88x(~x88x88x@gateway/vpn/pia/x88x88x) (Quit: Using Circe, the loveliest of all IRC clients)
2021-11-27 20:27:37 +0100jespada(~jespada@87.74.37.56)
2021-11-27 20:28:04 +0100 <awpr> :kind! (,)
2021-11-27 20:28:17 +0100 <awpr> > :kind! (,)
2021-11-27 20:28:18 +0100 <geekosaur> % :kind! (,)
2021-11-27 20:28:18 +0100 <yahb> geekosaur: * -> * -> *; = (,)
2021-11-27 20:28:19 +0100 <lambdabot> <hint>:1:1: error: parse error on input ‘:’
2021-11-27 20:28:27 +0100 <EvanR> oh dang
2021-11-27 20:28:52 +0100 <awpr> that one would actually need a quote, since a promoted tuple is different from the type of tuples
2021-11-27 20:28:54 +0100 <EvanR> how is that working then... I'm using a pair of Symbol and * in the implementation of the record
2021-11-27 20:29:15 +0100 <geekosaur> % :set -XPolyKinds
2021-11-27 20:29:16 +0100 <yahb> geekosaur:
2021-11-27 20:29:23 +0100 <geekosaur> % :kind! (,)
2021-11-27 20:29:23 +0100 <yahb> geekosaur: * -> * -> *; = (,)
2021-11-27 20:29:27 +0100 <geekosaur> feh
2021-11-27 20:29:39 +0100 <awpr> % :kind! '(,
2021-11-27 20:29:39 +0100 <yahb> awpr: ; <interactive>:1:4: error: parse error (possibly incorrect indentation or mismatched brackets)
2021-11-27 20:29:40 +0100 <awpr> % :kind! '(,)
2021-11-27 20:29:41 +0100 <yahb> awpr: a -> b -> (a, b); = '(,)
2021-11-27 20:29:54 +0100 <EvanR> ah it was the quote... and maybe also polykinds
2021-11-27 20:31:32 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-11-27 20:33:20 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2021-11-27 20:33:39 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-11-27 20:33:58 +0100 <hpc> why is yahb formatting it like that?
2021-11-27 20:35:03 +0100 <hpc> oh, normalized type
2021-11-27 20:36:48 +0100 <EvanR> :kind (,)
2021-11-27 20:36:55 +0100 <EvanR> i see
2021-11-27 20:37:08 +0100 <sm> hskpractice: file-embed package ?
2021-11-27 20:37:25 +0100Guest17(~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed)
2021-11-27 20:38:16 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 245 seconds)
2021-11-27 20:39:01 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
2021-11-27 20:41:54 +0100 <geekosaur> I think LB only understands it as :k and doesn't support :k!
2021-11-27 20:41:58 +0100 <geekosaur> :k (,)
2021-11-27 20:41:59 +0100 <lambdabot> * -> * -> *
2021-11-27 20:42:16 +0100kennyd(~bc8165b6@cerf.good1.com) (Quit: CGI:IRC (Session timeout))
2021-11-27 20:44:21 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 20:44:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 20:46:19 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 20:46:37 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 20:47:49 +0100mbuf(~Shakthi@122.174.185.81) (Quit: Leaving)
2021-11-27 20:48:57 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x)
2021-11-27 20:49:31 +0100rk04(~rk04@user/rajk) (Ping timeout: 245 seconds)
2021-11-27 20:50:54 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 20:51:11 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 20:51:45 +0100Everything(~Everythin@37.115.210.35)
2021-11-27 20:54:14 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
2021-11-27 20:56:15 +0100Guest9947(~Guest99@90-224-172-26-no129.tbcn.telia.com) (Quit: Client closed)
2021-11-27 20:59:42 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 20:59:52 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x) (Quit: Using Circe, the loveliest of all IRC clients)
2021-11-27 21:00:50 +0100ub(~Thunderbi@p548c9fcb.dip0.t-ipconnect.de) (Quit: ub)
2021-11-27 21:03:56 +0100rk04(~rk04@user/rajk)
2021-11-27 21:05:19 +0100juhp(~juhp@128.106.188.82) (Ping timeout: 260 seconds)
2021-11-27 21:05:22 +0100jstolarek(~jstolarek@137.220.120.162) (Ping timeout: 268 seconds)
2021-11-27 21:06:43 +0100juhp(~juhp@128.106.188.82)
2021-11-27 21:09:50 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-27 21:09:50 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-27 21:09:51 +0100wroathe(~wroathe@user/wroathe)
2021-11-27 21:15:43 +0100pavonia(~user@user/siracusa)
2021-11-27 21:18:00 +0100lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-11-27 21:21:42 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 21:25:43 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 21:26:01 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 21:27:41 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 21:27:59 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 21:28:40 +0100rk04(~rk04@user/rajk) (Quit: rk04)
2021-11-27 21:28:53 +0100 <hololeap> /usr/lib64/x86_64-linux-ghc-9.2.1/libHSnetwork-uri-2.6.4.1-LtJsElfesy1349BRswtapk-ghc9.2.1.so
2021-11-27 21:29:04 +0100 <hololeap> anyone know what the string LtJsElfesy1349BRswtapk is?
2021-11-27 21:29:13 +0100 <geekosaur> ABI hash
2021-11-27 21:29:25 +0100 <hololeap> oh, how does that get calculated?
2021-11-27 21:29:31 +0100 <geekosaur> ghc computes it during compilation
2021-11-27 21:30:31 +0100 <geekosaur> it also includes things like compile options that can change generated object code or inlineable source in the .hi file, since that also produces binary incompatibility between builds
2021-11-27 21:30:39 +0100 <hololeap> I'm running into something where it changes depending on whether or not --enable-tests is turned on
2021-11-27 21:31:12 +0100 <geekosaur> @where paste
2021-11-27 21:31:12 +0100 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2021-11-27 21:31:18 +0100 <geekosaur> show your cabal file?
2021-11-27 21:31:41 +0100 <geekosaur> (and/or stack.yaml if applicable)
2021-11-27 21:32:14 +0100 <hololeap> so in gentoo, all the dependency resolution is through the package manager. sometimes you get circular dependencies with the tests and the only way to break them is to compile a package with tests off, finish compiling the other packages, then go back and turn tests on for the first package if you want
2021-11-27 21:32:30 +0100 <EvanR> this is funny, type F a = G X a won't let me use F unapplied but type F = G X will
2021-11-27 21:32:30 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2021-11-27 21:32:40 +0100 <hololeap> this changes that ABI hash, and so you then have to recompile the reverse-dependencies of that package
2021-11-27 21:33:28 +0100 <geekosaur> that implies the tests do something like "ghc-options: -O0" or some other flag that affects the shared library ABI
2021-11-27 21:33:33 +0100werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-11-27 21:33:52 +0100 <hololeap> I'll look into it, but I think the only difference is --enable-tests or not
2021-11-27 21:34:25 +0100 <geekosaur> although sometimes cabal flips a flag that it thinks won't affect the ABI but does (use -v3 during the build, then ask in #hackage)
2021-11-27 21:34:48 +0100 <hololeap> so yeah, I'd like to figure out how to toggle tests and keep that ABI hash from changing. anyway, thanks for telling me the name of it
2021-11-27 21:35:06 +0100 <geekosaur> this is I think still shaking down because ghc has a ridiculous number of options and figuring out which ones affect shlib ABI is painful
2021-11-27 21:35:35 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-11-27 21:35:59 +0100 <geekosaur> also sometimes ghc thinks one flag affects ABI when it doesn't, and hashes it inappropriately. but --enable-tests is not passed to ghc as such
2021-11-27 21:36:44 +0100 <geekosaur> so cabal is changing some option, which is why you need to compare cabal -v3 output to see what ghc-passed flags change with --enable-tests
2021-11-27 21:37:10 +0100 <hololeap> ok
2021-11-27 21:37:21 +0100 <hololeap> thanks
2021-11-27 21:37:26 +0100Everything(~Everythin@37.115.210.35) (Ping timeout: 268 seconds)
2021-11-27 21:37:42 +0100 <geekosaur> then you ask in #hackage, and they may redirect you to #ghc
2021-11-27 21:37:57 +0100 <geekosaur> (#hackage being where the cabal devs hang out)
2021-11-27 21:38:16 +0100 <hololeap> cool
2021-11-27 21:39:07 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-27 21:39:28 +0100exbios(~ri@2806:2f0:90a0:876c:954a:4038:b756:10de) (Remote host closed the connection)
2021-11-27 21:40:03 +0100ubert(~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-11-27 21:40:21 +0100ubert(~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de)
2021-11-27 21:43:42 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 21:43:59 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 21:46:07 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 21:46:51 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-11-27 21:46:58 +0100 <sclv> my guess is enable tests or not calculates a different build plan if there’s test deps not in the main lib
2021-11-27 21:47:13 +0100 <sclv> so eg a different version of bytestring is picked
2021-11-27 21:47:28 +0100 <sclv> all of which is correct and as designed
2021-11-27 21:48:18 +0100betelgeuse9(~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection)
2021-11-27 21:51:10 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x)
2021-11-27 21:51:18 +0100justachejustBOOMER
2021-11-27 21:55:32 +0100jgeerds(~jgeerds@55d45b75.access.ecotel.net)
2021-11-27 21:55:46 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection)
2021-11-27 21:56:06 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186)
2021-11-27 21:56:18 +0100zzz(~z@user/zero) ()
2021-11-27 21:56:47 +0100yin(~z@user/zero)
2021-11-27 21:58:03 +0100random-jellyfish(~random-je@user/random-jellyfish) (Ping timeout: 256 seconds)
2021-11-27 21:58:18 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x) (Remote host closed the connection)
2021-11-27 21:59:03 +0100oxide(~lambda@user/oxide) (Quit: oxide)
2021-11-27 22:03:11 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-27 22:03:11 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-27 22:03:11 +0100wroathe(~wroathe@user/wroathe)
2021-11-27 22:03:43 +0100 <smunix> hey, is anyone else having troubles accessing github here?
2021-11-27 22:04:36 +0100 <yushyin> https://www.githubstatus.com/
2021-11-27 22:04:55 +0100 <smunix> yeah, just saw it too. It's currently down
2021-11-27 22:06:49 +0100x88x88x(~chee@gateway/vpn/pia/x88x88x)
2021-11-27 22:08:06 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2021-11-27 22:09:29 +0100Guest17(~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net)
2021-11-27 22:13:24 +0100 <EvanR> yep
2021-11-27 22:14:31 +0100acidjnk_new(~acidjnk@p200300d0c7271e120859696da5d9d189.dip0.t-ipconnect.de)
2021-11-27 22:14:54 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 22:15:24 +0100x88x88x(~chee@gateway/vpn/pia/x88x88x) (Remote host closed the connection)
2021-11-27 22:15:45 +0100 <EvanR> code only a haskeller could love, what I came up with to make sure I don't put the wrong thing in the wrong field, i.e. show the field name even though it's unnecessary https://paste.tomsmeding.com/Unv4xE8D
2021-11-27 22:15:45 +0100 <yin> after cabal init, where do i put my persnal modules? ./app/MyModule/MyMdule.hs ?
2021-11-27 22:16:10 +0100jgeerds(~jgeerds@55d45b75.access.ecotel.net) (Remote host closed the connection)
2021-11-27 22:18:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-11-27 22:18:15 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x)
2021-11-27 22:20:26 +0100 <yushyin> yin: depends on the cabal file, but usually ./src/ for the lib and ./app/ for the executable. Check the hs-source-dirs fields in your cabal file
2021-11-27 22:20:35 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-11-27 22:20:39 +0100evocatus(~evocatus@213.193.2.105)
2021-11-27 22:21:33 +0100 <yin> i mean extra modules i want to import in my Main.hs
2021-11-27 22:22:28 +0100 <yin> cabal init created ./app/Main.hs
2021-11-27 22:25:11 +0100deadmarshal(~deadmarsh@95.38.228.146)
2021-11-27 22:25:21 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 276 seconds)
2021-11-27 22:25:41 +0100 <yushyin> then under ./app/ is ok, but as said, you can check it when you are in cabal. hs-source-dirs is the field that sets the source directories. https://cabal.readthedocs.io/en/3.6/cabal-package.html?highlight=hs-source-dirs#pkg-field-hs-sourc…
2021-11-27 22:25:47 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2021-11-27 22:25:53 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-11-27 22:26:13 +0100 <yushyin> check it in your cabal file*
2021-11-27 22:26:46 +0100 <EvanR> there's a funny pattern where your entire program is implemented as a library in src/ and Main.hs is your only app/ file, and it boots the lib xD
2021-11-27 22:26:51 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2021-11-27 22:27:53 +0100 <geekosaur> which is useful when you want a test suite that tests your app's logic, since it can't load your Main but has access to the library
2021-11-27 22:28:42 +0100Guest|17(~Guest|17@80.89.73.139)
2021-11-27 22:28:46 +0100 <hpc> or just in general
2021-11-27 22:29:04 +0100 <hpc> imagine a stack/cabal situation where you're enhancing an existing utility, and you don't want to have to rewrite the whole thing yourself
2021-11-27 22:29:47 +0100deadmarshal(~deadmarsh@95.38.228.146) (Ping timeout: 250 seconds)
2021-11-27 22:29:50 +0100 <int-e> this happened to ghci I believe
2021-11-27 22:30:09 +0100Guest|17(~Guest|17@80.89.73.139) (Client Quit)
2021-11-27 22:30:14 +0100 <int-e> (which only recently became packaged as a library so the amount of code that people have to copy is signficantly reduced)
2021-11-27 22:30:24 +0100 <yin> i'll be back with questions. the docs are confusing me, need t reread them
2021-11-27 22:31:31 +0100 <int-e> fsvo "recently"... did it happen with ghc-8.0?
2021-11-27 22:32:52 +0100 <hpc> sometimes i still think ghc 7 is recent :P
2021-11-27 22:33:12 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net)
2021-11-27 22:34:52 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 22:36:09 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2021-11-27 22:37:55 +0100bollu(uid233390@id-233390.helmsley.irccloud.com)
2021-11-27 22:38:28 +0100yauhsien(~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-11-27 22:38:45 +0100zer0bitz(~zer0bitz@2001:2003:f6bc:f00:9d34:9ef:e98a:2cbe) (Read error: Connection reset by peer)
2021-11-27 22:44:34 +0100Eoco_(~ian@x-160-94-179-157.acm.umn.edu) (Ping timeout: 256 seconds)
2021-11-27 22:44:34 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-11-27 22:46:58 +0100xcmw(~textual@dyn-72-33-0-245.uwnet.wisc.edu)
2021-11-27 22:47:37 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 22:50:54 +0100lavaman(~lavaman@98.38.249.169)
2021-11-27 22:51:25 +0100reumeth(~reumeth@user/reumeth) (Ping timeout: 268 seconds)
2021-11-27 22:52:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-11-27 22:52:31 +0100Pickchea(~private@user/pickchea)
2021-11-27 22:52:32 +0100boxscape_(~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de)
2021-11-27 22:53:46 +0100n8ess163(~b@pool-72-80-171-162.nycmny.fios.verizon.net)
2021-11-27 22:55:27 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 260 seconds)
2021-11-27 22:55:28 +0100zebrag(~chris@user/zebrag)
2021-11-27 22:58:05 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 22:58:23 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 23:04:22 +0100slack1256(~slack1256@181.42.48.169)
2021-11-27 23:06:35 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 23:06:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 23:10:12 +0100hololeap(~hololeap@user/hololeap) (Ping timeout: 276 seconds)
2021-11-27 23:10:21 +0100hololeap_(~hololeap@user/hololeap)
2021-11-27 23:10:40 +0100 <oats> is there no "not" combinator in megaparsec
2021-11-27 23:12:35 +0100 <dsal> What do you mean?
2021-11-27 23:12:38 +0100 <monochrom> notFollowedBy comes as close to "not" as sensible in parsing.
2021-11-27 23:14:29 +0100xcmw(~textual@dyn-72-33-0-245.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-11-27 23:14:42 +0100 <oats> mm, thanks
2021-11-27 23:15:01 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b)
2021-11-27 23:16:10 +0100 <monochrom> This is where theoretical education helps debunk certain intuitions.
2021-11-27 23:16:30 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection)
2021-11-27 23:16:46 +0100 <oats> how so? notFollowedBy seems to do what I had in mind
2021-11-27 23:17:13 +0100 <monochrom> "not" looks intuitive because the complement of a regular language is still a regular language, and the complement of a decidable language is still a decidable language.
2021-11-27 23:17:46 +0100 <monochrom> But the complement of a context-free language is usually not a context-free language. "not" is nonsense in CFG parsing.
2021-11-27 23:17:55 +0100narendraj9(~user@2a02:8109:b63f:ff7c::57b2) (Remote host closed the connection)
2021-11-27 23:18:17 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-11-27 23:18:18 +0100 <monochrom> Clearly puny humans take inspirations from a few regexes and decidable languages only.
2021-11-27 23:18:21 +0100 <oats> huh, I did not realize that
2021-11-27 23:18:32 +0100 <monochrom> And just think it generalizes.
2021-11-27 23:18:34 +0100 <oats> I need better familiarize myself with The Hierarchy
2021-11-27 23:19:20 +0100 <hpc> while you're at it, put context-sensitive languages on that list
2021-11-27 23:19:26 +0100 <hpc> not for any practical reason, it's just neat :P
2021-11-27 23:20:15 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-11-27 23:20:45 +0100 <oats> I'm excited to recognize some of these words though, I'm currently taking a discrete math class
2021-11-27 23:21:16 +0100 <oats> we just finished up regular languages, NFAs, and have touched on decidability
2021-11-27 23:22:07 +0100ec(~ec@gateway/tor-sasl/ec)
2021-11-27 23:24:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 23:24:27 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 23:26:03 +0100slac59050(~slack1256@181.42.48.169)
2021-11-27 23:26:39 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1))
2021-11-27 23:27:05 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…)
2021-11-27 23:27:35 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2021-11-27 23:27:38 +0100ees(~user@pool-108-18-30-46.washdc.fios.verizon.net)
2021-11-27 23:27:59 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-11-27 23:28:09 +0100slack1256(~slack1256@181.42.48.169) (Ping timeout: 256 seconds)
2021-11-27 23:28:32 +0100x88x88x(~cheeg@gateway/vpn/pia/x88x88x) (Ping timeout: 240 seconds)
2021-11-27 23:30:23 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 23:30:41 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 23:31:14 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-11-27 23:31:14 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-11-27 23:31:14 +0100wroathe(~wroathe@user/wroathe)
2021-11-27 23:36:37 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 23:36:55 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 23:38:35 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 23:38:53 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 23:39:55 +0100ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2021-11-27 23:41:21 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51)
2021-11-27 23:43:01 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 23:43:15 +0100ubert1(~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de)
2021-11-27 23:43:19 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 23:43:32 +0100ubert(~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-11-27 23:43:32 +0100ubert1ubert
2021-11-27 23:44:53 +0100nucranium(~nucranium@2a02:8010:6173:0:2164:de0d:a8d4:46df) (Remote host closed the connection)
2021-11-27 23:45:43 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-11-27 23:46:33 +0100ec(~ec@gateway/tor-sasl/ec)
2021-11-27 23:49:39 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 23:49:56 +0100xff0x(~xff0x@2001:1a81:53f8:4700:341b:dd7e:779b:cbe2) (Ping timeout: 245 seconds)
2021-11-27 23:49:57 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 23:50:59 +0100xff0x(~xff0x@2001:1a81:53f8:4700:e80:8ab6:f849:2190)
2021-11-27 23:52:06 +0100Clint_Clint
2021-11-27 23:53:07 +0100pfurla(~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b)
2021-11-27 23:55:32 +0100zincy_(~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection)
2021-11-27 23:58:09 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection)
2021-11-27 23:58:27 +0100hskpractice(~hskpracti@94-255-217-215.cust.bredband2.com)
2021-11-27 23:59:54 +0100burnsidesLlama(~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection)