IRCBrowse

2020/11/10

2020-11-10 00:00:37 +0100reggie39(4953da9f@c-73-83-218-159.hsd1.wa.comcast.net)
2020-11-10 00:05:36 +0100reggie39(4953da9f@c-73-83-218-159.hsd1.wa.comcast.net) (Remote host closed the connection)
2020-11-10 00:08:26 +0100falafel_(~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds)
2020-11-10 00:09:17 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-10 00:11:04 +0100Guest8524(~AllahuAkb@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-10 00:14:16 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-10 00:14:54 +0100 <monochrom> I wouldn't object ThisThatThese or ThisOrThatOrBoth
2020-11-10 00:15:12 +0100 <monochrom> "These" alone? Where is "this" and "that" in that?
2020-11-10 00:15:37 +0100 <Axman6> AOrBOrAxB >_>
2020-11-10 00:16:07 +0100conal(~conal@64.71.133.70)
2020-11-10 00:16:11 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-11-10 00:16:19 +0100 <Axman6> also, I feel like These answers thew question of "Which of these do I have? A or B or Both?
2020-11-10 00:16:22 +0100 <Axman6> "
2020-11-10 00:17:05 +0100 <monochrom> You have a data type that has 3 cases, and in all likelihood, all 3 cases have equal probability. And you decide that the name of the whole data type is monopolized by only 33.3% of the cases. This I don't understand.
2020-11-10 00:17:33 +0100joehillen(~joehillen@unaffiliated/joehillen) (Ping timeout: 260 seconds)
2020-11-10 00:17:53 +0100falafel_(~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4)
2020-11-10 00:17:56 +0100 <monochrom> It also answers the question of "which of these do I have? A xor B?"
2020-11-10 00:17:57 +0100 <Axman6> nah, it's A x B / (A + B + AxB) of the values though "{
2020-11-10 00:18:13 +0100 <monochrom> It also answers the question of "which of these do I have? Just A or Nothing?"
2020-11-10 00:18:37 +0100 <monochrom> All of these could have equal claim to the name These.
2020-11-10 00:18:56 +0100 <dolio> The name reminds you that it's the type with the "This, That, These" constructors, and that's good enough, and isn't a huge waste of horizontal space.
2020-11-10 00:19:34 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 246 seconds)
2020-11-10 00:20:01 +0100joehillen(~joehillen@unaffiliated/joehillen)
2020-11-10 00:20:03 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-10 00:20:16 +0100 <monochrom> I would be OK with the contraction "Thiaese".
2020-11-10 00:20:16 +0100 <davean> monochrom: clearly the right name is NonEmptyCan or Can1
2020-11-10 00:21:18 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-10 00:21:26 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-10 00:21:39 +0100 <dolio> As an added advantage, it teaches people that the name of the type has nothing to do with 'probability' of constructor occurrence.
2020-11-10 00:21:55 +0100 <davean> dolio: Thats a thing to teach?
2020-11-10 00:22:00 +0100 <dolio> Apparently.
2020-11-10 00:22:22 +0100wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-11-10 00:22:39 +0100Feuermagier(~Feuermagi@213.178.26.41) (Remote host closed the connection)
2020-11-10 00:23:15 +0100hekkaidekapusproposes an inclusive Celleux :)
2020-11-10 00:23:16 +0100Varis(~Tadas@unaffiliated/varis)
2020-11-10 00:23:18 +0100 <Axman6> clearly the These constructor of These's probability approaches 1 as the inhabitants of a and b grow
2020-11-10 00:24:32 +0100 <hekkaidekapus> Bayes again? :p
2020-11-10 00:24:50 +0100jedws(~jedws@101.184.150.81)
2020-11-10 00:28:19 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 246 seconds)
2020-11-10 00:28:44 +0100GreeboSnabble(45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net)
2020-11-10 00:28:57 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-10 00:29:03 +0100 <GreeboSnabble> Hi all, quick question:
2020-11-10 00:29:20 +0100conal(~conal@64.71.133.70)
2020-11-10 00:29:24 +0100 <GreeboSnabble> Has anyone thought of making functions a typeclass?
2020-11-10 00:29:52 +0100 <GreeboSnabble> Lists, Data.Map, regular functions a -> b could all be instances
2020-11-10 00:30:05 +0100 <monochrom> I think that's what C++ did.
2020-11-10 00:30:10 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 00:30:13 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Client Quit)
2020-11-10 00:30:49 +0100 <Axman6> and Scala does some weird crap like that with its PartialFunction type
2020-11-10 00:30:50 +0100 <GreeboSnabble> Idk, but it seems like function notation would be nicer than (!!) or M.lookup
2020-11-10 00:30:51 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-11-10 00:31:44 +0100 <dibblego> scala.PartialFunction is pretty broken, but it is still used today in production systems
2020-11-10 00:31:53 +0100 <Axman6> it sure is -_-
2020-11-10 00:32:22 +0100 <monochrom> I bet it would be type inference really difficult, for both compilers and humans. C++ isn't affected because it has very limited type inference.
2020-11-10 00:32:32 +0100 <monochrom> s/it would be/it would make/
2020-11-10 00:32:54 +0100 <merijn> monochrom: Also, C++ compiler writers just said "fuck this, you sort it out" :p
2020-11-10 00:32:54 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds)
2020-11-10 00:33:01 +0100dan64(~dan64@dannyadam.com) (Quit: ZNC - http://znc.in)
2020-11-10 00:33:12 +0100texasmynsted(~texasmyns@2600:6c40:700:193f:153:816f:d64c:6f7d)
2020-11-10 00:33:27 +0100 <merijn> That's why I have to stupid stuff like calling object methods like "foo.template my_method(bar);" >.>
2020-11-10 00:33:51 +0100dan64(~dan64@dannyadam.com)
2020-11-10 00:34:09 +0100wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-10 00:34:48 +0100JohnnyL(~john@unaffiliated/johnnyl)
2020-11-10 00:35:17 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-vutaqggfkdwqzvto) (Quit: Connection closed for inactivity)
2020-11-10 00:36:07 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-10 00:36:16 +0100 <JohnnyL> What is the mosted complicated Category Theory structure in Haskell?
2020-11-10 00:36:37 +0100 <Axman6> Void
2020-11-10 00:36:42 +0100 <monochrom> Why?
2020-11-10 00:36:54 +0100 <dibblego> 12
2020-11-10 00:37:03 +0100 <merijn> JohnnyL: Define "in Haskell"
2020-11-10 00:37:22 +0100 <JohnnyL> merijn: Ability to use in Haskell.
2020-11-10 00:37:35 +0100 <Axman6> and complicated?
2020-11-10 00:37:37 +0100 <merijn> I would personally define the set of "category theory structures *in* Haskell" as empty >.>
2020-11-10 00:37:45 +0100 <JohnnyL> So functor would be more compliated than a morphism.
2020-11-10 00:37:55 +0100 <JohnnyL> complicated sorry.
2020-11-10 00:37:59 +0100elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 244 seconds)
2020-11-10 00:38:04 +0100 <Axman6> do we have a lattice of complications?
2020-11-10 00:38:06 +0100 <merijn> But functors are morphisms in the category of categories! >.<
2020-11-10 00:38:33 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-10 00:38:35 +0100 <dibblego> I can only imagine complicated to mean, those structures which most programmers look at and proclaim, rightly or wrongly, "that's complicated"
2020-11-10 00:38:46 +0100 <JohnnyL> You can say robust.
2020-11-10 00:38:52 +0100 <Axman6> I'm sure some horologists would like to know the answer to that...
2020-11-10 00:39:02 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-10 00:39:03 +0100 <JohnnyL> Or the ability to be more detailed without repetition.
2020-11-10 00:39:03 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-10 00:39:32 +0100 <monochrom> You know what, functors suffer more restrictions than other categories' morphisms, so actually I think functors are simpler, than say, morphisms in Set.
2020-11-10 00:39:36 +0100GreeboSnabble(45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net) (Remote host closed the connection)
2020-11-10 00:39:52 +0100DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 272 seconds)
2020-11-10 00:40:28 +0100goldfire(~anonymous@c-76-124-205-20.hsd1.pa.comcast.net) (Quit: goldfire)
2020-11-10 00:41:57 +0100lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce)
2020-11-10 00:43:05 +0100 <JohnnyL> monochrom: A morphism is *any* structure that preserve it's mapping.
2020-11-10 00:43:27 +0100kish(~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-11-10 00:43:34 +0100 <JohnnyL> Okay. Thank you for playing Jeopardy.
2020-11-10 00:43:35 +0100 <JohnnyL> hahaha.
2020-11-10 00:43:52 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 00:44:38 +0100kish(~oracle@unaffiliated/oracle)
2020-11-10 00:45:41 +0100 <Axman6> I'm not really sure what answer you were after with your question
2020-11-10 00:46:38 +0100jathan(~jathan@69.61.93.38) (Ping timeout: 265 seconds)
2020-11-10 00:46:44 +0100 <monochrom> This is why I asked why.
2020-11-10 00:48:43 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-10 00:49:04 +0100 <JohnnyL> Maybe this is a better for question for math since I am asking for what computational Categorical Structure that can be classified in CA exists in Haskell.
2020-11-10 00:50:42 +0100elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-10 00:50:43 +0100 <monochrom> Axman6: Actually, I'm now interested in how horologists come into this. What would some of them be interested in?
2020-11-10 00:51:06 +0100 <dolio> Set (or an analogue) is always the most complicated thing in a way, because it has all of the structure you ever want to talk about, and structure in any other category is defined by reflection from Set.
2020-11-10 00:51:38 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 00:52:11 +0100 <JohnnyL> dolio: Wow, are you way off.
2020-11-10 00:53:18 +0100jathan(~jathan@69.61.93.38)
2020-11-10 00:53:53 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds)
2020-11-10 00:55:52 +0100 <monochrom> No, dolio is right on.
2020-11-10 00:56:35 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 00:56:35 +0100 <monochrom> Instead, wrong descriptions such as "structure that preserve it's mapping" are the ones that are way off.
2020-11-10 00:57:07 +0100 <monochrom> even after, especially after, auto-correcting "it's" to "its"
2020-11-10 00:57:28 +0100 <JohnnyL> monochrom: Description of what?
2020-11-10 00:57:46 +0100 <dibblego> morphism
2020-11-10 00:57:49 +0100 <monochrom> You forgot what you wrote? Already?
2020-11-10 00:57:49 +0100 <JohnnyL> monochrom: How do you say monochrom is right about set?
2020-11-10 00:58:14 +0100 <JohnnyL> monochrom: Hm,the act of forgetting shouldn't be confused with the ability to scroll up.
2020-11-10 00:58:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-10 00:58:46 +0100 <JohnnyL> Common, you guys want to say Splunge.. Just say it. SPLUNGE! hahaha.
2020-11-10 00:58:54 +0100ChanServ+o monochrom
2020-11-10 00:58:59 +0100monochrom+b *!*@unaffiliated/johnnyl
2020-11-10 00:58:59 +0100JohnnyLmonochromJohnnyL
2020-11-10 00:59:50 +0100monochrom+b-bo $a:JohnnyL *!*@unaffiliated/johnnyl monochrom
2020-11-10 01:00:01 +0100armin76(~armin76@s91904426.blix.com) ()
2020-11-10 01:00:54 +0100ChanServ+o monochrom
2020-11-10 01:00:55 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-10 01:01:04 +0100monochrom-b+b-o $a:JohnnyL *!*@unaffiliated/johnnyl monochrom
2020-11-10 01:01:14 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2020-11-10 01:01:32 +0100 <MarcelineVQ> idk if that was neccesary :> you could just respond with a custom "oh no it's retarded" meme
2020-11-10 01:01:44 +0100 <monochrom> I don't know of that meme.
2020-11-10 01:01:53 +0100emptyflask(~jon@136.49.71.178)
2020-11-10 01:02:02 +0100 <monochrom> Actually I know very very few memes.
2020-11-10 01:02:13 +0100jmcarthur(~jmcarthur@2601:86:500:2a40:db56:5d66:5919:c95d)
2020-11-10 01:02:26 +0100conal(~conal@64.71.133.70)
2020-11-10 01:02:49 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-11-10 01:03:11 +0100 <MarcelineVQ> https://imgur.com/a/PqP3Lvv
2020-11-10 01:05:02 +0100christo(~chris@81.96.113.213)
2020-11-10 01:05:06 +0100 <dolio> Kickban seems more appropriate.
2020-11-10 01:05:53 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-10 01:12:43 +0100LKoen(~LKoen@77.174.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-11-10 01:21:57 +0100 <Axman6> monochrom: a lattice of complications
2020-11-10 01:22:49 +0100borne(~fritjof@200116b864d35e0021c47849b07375d7.dip.versatel-1u1.de) (Ping timeout: 272 seconds)
2020-11-10 01:23:49 +0100elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-10 01:25:03 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-10 01:25:17 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2020-11-10 01:26:54 +0100zaquest(~notzaques@5.128.210.178)
2020-11-10 01:27:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-10 01:27:23 +0100ilja(5b8169f5@m91-129-105-245.cust.tele2.ee)
2020-11-10 01:27:43 +0100hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-10 01:27:51 +0100 <Axman6> re: the horology comment
2020-11-10 01:28:28 +0100 <ilja> Hello! Does anybody knows why Elm don't provide public interface for type classes? Seems like it's so useful thing
2020-11-10 01:29:10 +0100xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 265 seconds)
2020-11-10 01:29:12 +0100 <dolio> My impression is they think they are 'too complicated' or something.
2020-11-10 01:31:20 +0100renzhi(~renzhi@2607:fa49:655f:e600::28da)
2020-11-10 01:31:55 +0100 <Axman6> Elm feels like the Go of the Haskell world to me, a simplification of things people already know how to use, which goes just a little too far and loses a lot of power
2020-11-10 01:32:13 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-10 01:32:50 +0100Entertainment(~entertain@104.246.132.210) (Quit: Leaving.)
2020-11-10 01:32:53 +0100jalumar(uid392211@gateway/web/irccloud.com/x-shdqsvwkocdcmfsf) (Quit: Connection closed for inactivity)
2020-11-10 01:33:02 +0100 <ilja> Interesting is that community and demand for Elm is pretty big in spite of inferior design decisions
2020-11-10 01:33:31 +0100 <Axman6> I wouldn't say inferior.
2020-11-10 01:34:00 +0100 <Axman6> it's supposed to a language aimed at people with no experience in FP, not those with plenty; it raises the skill of the community from the bottom
2020-11-10 01:34:50 +0100 <Axman6> I don't think it takes most people long to say "I just wrote the same thing half a dozen times, why can't I abstract this?" and then start looking at options like GHCJS or purescript
2020-11-10 01:35:51 +0100 <ilja> I'm just curious are there good Elm alternatives but with classes? I did tried replica/concur - looks cool, but I don't think it's ready for commercial usage
2020-11-10 01:36:11 +0100noteness(noteness@unaffiliated/nessessary129) (Quit: I'LL BE BACK)
2020-11-10 01:36:12 +0100 <Axman6> purescript?
2020-11-10 01:37:26 +0100 <ilja> Maybe, it looks pretty similar to Haskell, maybe it's a bit easier option for haskeller then elm
2020-11-10 01:38:11 +0100conal(~conal@64.71.133.70)
2020-11-10 01:40:32 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 01:40:59 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 01:42:34 +0100ilja(5b8169f5@m91-129-105-245.cust.tele2.ee) (Ping timeout: 245 seconds)
2020-11-10 01:43:27 +0100 <jackdk> so you know how many people can move from one imperative language to another because they're used to the idea that commands are executed in sequence and you break up your program using procedure calls? moving between haskell/ml/elm/purescript/nixlang/dhall starts to feel like that
2020-11-10 01:43:50 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds)
2020-11-10 01:44:03 +0100 <jackdk> it takes time, though, and is hard to see when you've just come through the paradigm shift into elm or into haskell or whatever
2020-11-10 01:48:09 +0100ilja(5b8169f5@m91-129-105-245.cust.tele2.ee)
2020-11-10 01:49:46 +0100 <jackdk> ilja: so you know how many people can move from one imperative language to another because they're used to the idea that commands are executed in sequence and you break up your program using procedure calls? moving between haskell/ml/elm/purescript/nixlang/dhall starts to feel like that. it takes time, though, and is hard to see when you've just come through the paradigm shift into elm or into haskell or whatever
2020-11-10 01:50:10 +0100m0rphism(~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 272 seconds)
2020-11-10 01:51:26 +0100Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Ping timeout: 272 seconds)
2020-11-10 01:52:19 +0100ccallahan(~ccallahan@185.204.1.185)
2020-11-10 01:52:43 +0100ccallahanGuest19037
2020-11-10 01:54:21 +0100 <ilja> jackdk well, maybe for me it's just better to use some client framework like miso - basically I'm looking for possibilities to write frontend with minimal friction
2020-11-10 01:54:48 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2020-11-10 01:54:55 +0100 <ilja> unfortunately elm looks like too much friction for me
2020-11-10 01:55:23 +0100 <ilja> maybe you can recommend me good client side frameworks just in haskell?
2020-11-10 01:56:29 +0100goldfire(~anonymous@c-76-124-205-20.hsd1.pa.comcast.net)
2020-11-10 01:58:22 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-11-10 01:58:43 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-10 01:59:51 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-10 02:00:34 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-10 02:03:49 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 264 seconds)
2020-11-10 02:05:40 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-11-10 02:06:11 +0100Cthalupa(~cthulhu@47.186.47.75)
2020-11-10 02:06:23 +0100fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Read error: Connection reset by peer)
2020-11-10 02:06:35 +0100da39a3ee5e6b4b0d(~textual@cm-171-98-91-242.revip7.asianet.co.th)
2020-11-10 02:07:23 +0100thc202(~thc202@unaffiliated/thc202) (Ping timeout: 268 seconds)
2020-11-10 02:07:26 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 02:08:24 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-10 02:08:35 +0100christo(~chris@81.96.113.213)
2020-11-10 02:09:37 +0100arahael(~arahael@125-209-166-120.tpgi.com.au) (Quit: WeeChat 2.7.1)
2020-11-10 02:09:49 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 256 seconds)
2020-11-10 02:11:17 +0100visage_(~visage_@unaffiliated/visage/x-6658724)
2020-11-10 02:11:24 +0100Guest_36(dfebda9c@223.235.218.156)
2020-11-10 02:11:55 +0100ilja11(5b8169f5@m91-129-105-245.cust.tele2.ee)
2020-11-10 02:12:04 +0100 <Guest_36> Getting this error message while building ghcup: "_eghcup --cache install ghc recommended" failed!. Can someone help?
2020-11-10 02:12:04 +0100lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection)
2020-11-10 02:12:26 +0100lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce)
2020-11-10 02:13:13 +0100Guest_36(dfebda9c@223.235.218.156) (Remote host closed the connection)
2020-11-10 02:13:24 +0100ilja(5b8169f5@m91-129-105-245.cust.tele2.ee) (Ping timeout: 245 seconds)
2020-11-10 02:15:10 +0100elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-11-10 02:16:40 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 02:17:05 +0100sud0(~Death@hackspaceuy/member/sud0) (Ping timeout: 246 seconds)
2020-11-10 02:17:56 +0100sud0(~Death@hackspaceuy/member/sud0)
2020-11-10 02:19:05 +0100plutoniix(~q@175.176.222.7)
2020-11-10 02:24:28 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-10 02:25:36 +0100xerox_(~xerox@unaffiliated/xerox)
2020-11-10 02:26:23 +0100ilja11(5b8169f5@m91-129-105-245.cust.tele2.ee) (Remote host closed the connection)
2020-11-10 02:26:35 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-10 02:26:58 +0100conal(~conal@64.71.133.70)
2020-11-10 02:27:08 +0100Lord_of_Life_(~Lord@46.217.218.3)
2020-11-10 02:27:10 +0100wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-11-10 02:27:27 +0100goldfire(~anonymous@c-76-124-205-20.hsd1.pa.comcast.net) (Quit: goldfire)
2020-11-10 02:27:48 +0100lazyshrk(~lazyshrk@128.199.58.13) (Ping timeout: 256 seconds)
2020-11-10 02:28:25 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 264 seconds)
2020-11-10 02:28:58 +0100arahael(~arahael@125-209-166-120.tpgi.com.au)
2020-11-10 02:30:29 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-10 02:30:38 +0100ilja(5b8169f5@m91-129-105-245.cust.tele2.ee)
2020-11-10 02:30:58 +0100conal(~conal@64.71.133.70) (Client Quit)
2020-11-10 02:31:04 +0100 <sm[m]> paging maerwald
2020-11-10 02:31:12 +0100Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 256 seconds)
2020-11-10 02:31:35 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 02:31:57 +0100jedws(~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 02:32:52 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-10 02:33:07 +0100lazyshrk(~lazyshrk@128.199.58.13)
2020-11-10 02:33:52 +0100ilja(5b8169f5@m91-129-105-245.cust.tele2.ee) (Remote host closed the connection)
2020-11-10 02:37:33 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-11-10 02:38:30 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-10 02:40:45 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-11-10 02:41:20 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2020-11-10 02:41:54 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-11-10 02:42:02 +0100falafel_(~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds)
2020-11-10 02:42:30 +0100hackagepredicate-typed 0.7.4.3 - Predicates, Refinement types and Dsl https://hackage.haskell.org/package/predicate-typed-0.7.4.3 (gbwey)
2020-11-10 02:45:30 +0100Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-10 02:46:10 +0100wei2912(~wei2912@unaffiliated/wei2912)
2020-11-10 02:46:53 +0100nados(~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 260 seconds)
2020-11-10 02:47:38 +0100Deide(~Deide@217.155.19.23)
2020-11-10 02:48:02 +0100Deide(~Deide@217.155.19.23) (Client Quit)
2020-11-10 02:49:29 +0100visage_(~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-10 02:52:21 +0100GreeboSnabble(45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net)
2020-11-10 02:53:16 +0100erisco(~erisco@d24-57-249-233.home.cgocable.net)
2020-11-10 02:53:30 +0100hackagehsaml2 0.1.1 - OASIS Security Assertion Markup Language (SAML) V2.0 https://hackage.haskell.org/package/hsaml2-0.1.1 (DylanSimon)
2020-11-10 02:53:51 +0100 <GreeboSnabble> Is there a way to put a constraint on a type parameter without using it up?
2020-11-10 02:54:20 +0100 <GreeboSnabble> Like (Ord k) => M.Map k
2020-11-10 02:54:26 +0100da39a3ee5e6b4b0d(~textual@cm-171-98-91-242.revip7.asianet.co.th) (Ping timeout: 256 seconds)
2020-11-10 02:55:00 +0100 <GreeboSnabble> Except I want it to be of kind * -> * -> *
2020-11-10 02:55:17 +0100jmcarthur(~jmcarthur@2601:86:500:2a40:db56:5d66:5919:c95d) (Ping timeout: 272 seconds)
2020-11-10 02:55:24 +0100Igloo(~igloo@81.2.99.210) (Ping timeout: 272 seconds)
2020-11-10 02:55:37 +0100 <erisco> no, constraints cannot be lifted
2020-11-10 02:56:04 +0100 <GreeboSnabble> Thanks :\
2020-11-10 02:58:03 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 02:59:26 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds)
2020-11-10 03:00:12 +0100tefter(~bmaxa@87.250.59.115)
2020-11-10 03:01:27 +0100zenifx(~zenifx3@2804:14d:baa2:5673:9971:fe58:169e:d449)
2020-11-10 03:01:30 +0100Igloo(~igloo@matrix.chaos.earth.li)
2020-11-10 03:02:39 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-10 03:05:27 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 03:05:43 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 03:06:39 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 03:09:26 +0100jmcarthur(~jmcarthur@104.206.206.195)
2020-11-10 03:11:09 +0100Rudd0^(~Rudd0@185.189.115.108) (Ping timeout: 265 seconds)
2020-11-10 03:11:34 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-11-10 03:11:52 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-10 03:12:01 +0100lolmac(sid171216@gateway/web/irccloud.com/x-gmqxaazsdhqnivnv)
2020-11-10 03:12:30 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 03:12:47 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2020-11-10 03:13:47 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Client Quit)
2020-11-10 03:14:28 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-11-10 03:14:48 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2020-11-10 03:15:54 +0100erisco(~erisco@d24-57-249-233.home.cgocable.net) (Quit: Leaving)
2020-11-10 03:17:47 +0100da39a3ee5e6b4b0d(~textual@cm-171-98-91-242.revip7.asianet.co.th)
2020-11-10 03:18:13 +0100shailangsa(~shailangs@host86-185-102-101.range86-185.btcentralplus.com) (Ping timeout: 258 seconds)
2020-11-10 03:18:44 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-11-10 03:20:40 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 03:21:04 +0100zenifx(~zenifx3@2804:14d:baa2:5673:9971:fe58:169e:d449) (Quit: Leaving)
2020-11-10 03:21:51 +0100GreeboSnabble(45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net) (Remote host closed the connection)
2020-11-10 03:24:34 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-10 03:25:25 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 246 seconds)
2020-11-10 03:25:52 +0100zebrag(~inkbottle@aaubervilliers-654-1-93-172.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-11-10 03:28:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-10 03:28:46 +0100zebrag(~inkbottle@aaubervilliers-654-1-93-172.w86-212.abo.wanadoo.fr)
2020-11-10 03:31:12 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 03:31:29 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 03:32:00 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 03:32:13 +0100drbean(~drbean@TC210-63-209-175.static.apol.com.tw)
2020-11-10 03:32:16 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 03:32:48 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 03:33:03 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds)
2020-11-10 03:33:05 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 03:33:06 +0100toorevitimirp(~tooreviti@117.182.180.38)
2020-11-10 03:33:31 +0100nuncanada(~dude@179.235.160.168) (Read error: Connection reset by peer)
2020-11-10 03:33:33 +0100ddellacosta(dd@gateway/vpn/mullvad/ddellacosta) (Quit: WeeChat 2.8)
2020-11-10 03:33:35 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 03:33:55 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 03:34:02 +0100jedws(~jedws@101.184.150.81)
2020-11-10 03:34:23 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 03:34:59 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas)
2020-11-10 03:36:25 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-11-10 03:37:23 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2020-11-10 03:39:05 +0100hololeap(~hololeap@unaffiliated/hololeap)
2020-11-10 03:39:26 +0100 <hololeap> % :t handle
2020-11-10 03:39:26 +0100 <yahb> hololeap: forall {e} {a}. Exception e => (e -> IO a) -> IO a -> IO a
2020-11-10 03:39:32 +0100 <hololeap> % :t handle print
2020-11-10 03:39:32 +0100 <yahb> hololeap: ; <interactive>:1:1: error:; * Ambiguous type variable `a0' arising from a use of `handle'; prevents the constraint `(Exception a0)' from being solved.; Probable fix: use a type annotation to specify what `a0' should be.; These potential instances exist:; instance Exception NestedAtomically -- Defined in `Control.Exception.Base'; instance Exception NoMethodError -- D
2020-11-10 03:39:42 +0100 <hololeap> i don't understand this
2020-11-10 03:39:58 +0100 <hololeap> any Exception is also an instance of Show
2020-11-10 03:40:50 +0100da39a3ee5e6b4b0d(~textual@cm-171-98-91-242.revip7.asianet.co.th) (Ping timeout: 256 seconds)
2020-11-10 03:42:45 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds)
2020-11-10 03:43:42 +0100 <glguy> hololeap: you have to pick one exception type in particular
2020-11-10 03:44:05 +0100 <glguy> and you've lost the ability to specify which one you're picking
2020-11-10 03:44:55 +0100servo(~servo@196.121.90.16)
2020-11-10 03:45:15 +0100jakob_(~textual@p200300f49f162200d485fdd402f900db.dip0.t-ipconnect.de) (Quit: My Laptop has gone to sleep. ZZZzzz…)
2020-11-10 03:47:08 +0100 <glguy> % :set -XAllowAmbiguousTypes
2020-11-10 03:47:08 +0100 <yahb> glguy:
2020-11-10 03:47:24 +0100 <glguy> % let f :: forall e. Exception e => IO () -> IO (); f = handle @e print
2020-11-10 03:47:24 +0100 <yahb> glguy:
2020-11-10 03:48:06 +0100 <glguy> % f @SomeException (fail "glguy")
2020-11-10 03:48:07 +0100 <yahb> glguy: user error (glguy)
2020-11-10 03:48:16 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 256 seconds)
2020-11-10 03:48:46 +0100dbmikus__(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-11-10 03:49:16 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2020-11-10 03:50:11 +0100xff0x(~fox@2001:1a81:531b:1600:cd3d:f483:4bd5:a4e5) (Ping timeout: 244 seconds)
2020-11-10 03:51:02 +0100alp(~alp@88.126.45.36) (Ping timeout: 256 seconds)
2020-11-10 03:51:21 +0100kotrcka(4e2917d3@78.41.23.211)
2020-11-10 03:52:00 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 03:52:06 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2020-11-10 03:52:06 +0100xff0x(~fox@2001:1a81:5351:7d00:6f2b:700e:59a0:6133)
2020-11-10 03:53:55 +0100 <hololeap> is there any way to do this without enabling AllowAmbiguousTypes for the whole module?
2020-11-10 03:53:59 +0100elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-11-10 03:56:03 +0100 <glguy> hololeap: put a type signature on print
2020-11-10 03:56:28 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-10 03:56:33 +0100 <glguy> % :t handle (print :: SomeException -> IO ())
2020-11-10 03:56:33 +0100 <yahb> glguy: IO () -> IO ()
2020-11-10 03:56:56 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds)
2020-11-10 03:57:01 +0100hackagevulkan 3.6.13 - Bindings to the Vulkan graphics API. https://hackage.haskell.org/package/vulkan-3.6.13 (jophish)
2020-11-10 03:57:39 +0100kotrcka(4e2917d3@78.41.23.211) ()
2020-11-10 04:00:01 +0100Guest19037(~ccallahan@185.204.1.185) ()
2020-11-10 04:02:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-10 04:03:08 +0100lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services)))
2020-11-10 04:03:16 +0100lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-11-10 04:04:37 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-10 04:06:44 +0100justsomeguy(~justsomeg@216.186.218.241)
2020-11-10 04:06:44 +0100justsomeguy(~justsomeg@216.186.218.241) (Changing host)
2020-11-10 04:06:44 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-11-10 04:07:10 +0100GreeboSnabble(45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net)
2020-11-10 04:07:30 +0100 <GreeboSnabble> Is there a type level version of const?
2020-11-10 04:07:45 +0100 <GreeboSnabble> like typeConst :: * -> * -> *
2020-11-10 04:08:19 +0100 <c_wraith> Control.Applicative.Const ?
2020-11-10 04:08:57 +0100 <c_wraith> Haskell doesn't have type-level lambdas, so newtypes like that are as close as you get
2020-11-10 04:09:37 +0100adm(~adm@43.229.88.236)
2020-11-10 04:10:20 +0100mu(~mu@unaffiliated/mu) (Quit: mu)
2020-11-10 04:10:28 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-10 04:10:38 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-10 04:10:43 +0100 <GreeboSnabble> Thanks, looks pretty good
2020-11-10 04:12:01 +0100 <hololeap> glguy: cool, seems to work
2020-11-10 04:12:17 +0100 <hololeap> ideally, i would also like to log the exception type
2020-11-10 04:13:25 +0100mmohammadi9812(~mmohammad@5.238.183.63) (Ping timeout: 264 seconds)
2020-11-10 04:13:58 +0100mmohammadi9812(~mmohammad@5.115.207.20)
2020-11-10 04:15:06 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-11-10 04:17:15 +0100mu(~mu@unaffiliated/mu)
2020-11-10 04:17:16 +0100 <jle`> hololeap: you can use SomeException for that
2020-11-10 04:17:22 +0100 <jle`> but that would catch all exceptions
2020-11-10 04:17:31 +0100 <jle`> which is sort of not recommended unless you know how it could go wrong
2020-11-10 04:17:53 +0100toorevitimirp(~tooreviti@117.182.180.38) (Ping timeout: 260 seconds)
2020-11-10 04:17:53 +0100jmcarthur(~jmcarthur@104.206.206.195) (Ping timeout: 260 seconds)
2020-11-10 04:17:55 +0100 <jle`> hololeap: remember the goal of `handle` is to "peel off" specific exception types; the function you give it will tell it which exception types to catch
2020-11-10 04:18:54 +0100toorevitimirp(~tooreviti@117.182.180.38)
2020-11-10 04:19:54 +0100macrover(~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-11-10 04:20:00 +0100hackagereflex-gadt-api 0.2.1.0 - Interact with a GADT API in your reflex-dom application. https://hackage.haskell.org/package/reflex-gadt-api-0.2.1.0 (abrar)
2020-11-10 04:21:43 +0100Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-11-10 04:22:43 +0100 <hololeap> jle`: my approach for right now is just to log the exception and have the program abort
2020-11-10 04:23:26 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 272 seconds)
2020-11-10 04:23:52 +0100 <hololeap> there aren't too many exceptions that would happen. IO is really the only one i can imagine
2020-11-10 04:26:41 +0100 <hololeap> and i don't have any plan currently for handling those, thus just log them and quit, which i should be able to do with any exception, assuming it happens within the `handle` block
2020-11-10 04:31:06 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-11-10 04:31:15 +0100borne(~fritjof@200116b864d35e0021c47849b07375d7.dip.versatel-1u1.de)
2020-11-10 04:31:27 +0100 <jle`> yeah, if you give `handle` a `SomeException -> IO a`, then it will handle all exceptions
2020-11-10 04:31:37 +0100 <jle`> if you give it a `IOException -> IO a`, it will handle only IOException
2020-11-10 04:31:40 +0100 <jle`> etc.
2020-11-10 04:31:53 +0100 <jle`> so handle is type-directed, like `read`
2020-11-10 04:34:10 +0100mu(~mu@unaffiliated/mu) (Quit: mu)
2020-11-10 04:35:30 +0100elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-10 04:36:01 +0100tefter(~bmaxa@87.250.59.115) (Quit: WeeChat 2.9)
2020-11-10 04:36:38 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 04:37:47 +0100gproto23(~gproto23@unaffiliated/gproto23)
2020-11-10 04:38:41 +0100nuncanada(~dude@179.235.160.168)
2020-11-10 04:38:46 +0100adm(~adm@43.229.88.236) (Remote host closed the connection)
2020-11-10 04:40:19 +0100adm(~adm@43.229.88.236)
2020-11-10 04:41:48 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-10 04:42:03 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds)
2020-11-10 04:45:54 +0100nuncanada(~dude@179.235.160.168) (Quit: Leaving)
2020-11-10 04:47:21 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 04:48:11 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2020-11-10 04:48:49 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-10 04:52:44 +0100xpika(~alan@2001:8003:5d32:1f00:51d0:5bbb:a565:c9fd) (Ping timeout: 240 seconds)
2020-11-10 04:52:56 +0100mu(~mu@unaffiliated/mu)
2020-11-10 04:53:15 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-11-10 04:53:37 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Client Quit)
2020-11-10 04:55:33 +0100dvratil(~dvratil@139.28.218.148)
2020-11-10 04:57:45 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-10 04:58:29 +0100adm(~adm@43.229.88.236) (Remote host closed the connection)
2020-11-10 04:59:31 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 05:00:57 +0100theDon(~td@muedsl-82-207-238-251.citykom.de) (Ping timeout: 258 seconds)
2020-11-10 05:01:59 +0100adm(~adm@43.229.88.236)
2020-11-10 05:02:57 +0100theDon(~td@muedsl-82-207-238-200.citykom.de)
2020-11-10 05:03:15 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-10 05:04:22 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-11-10 05:04:47 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 05:08:04 +0100lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection)
2020-11-10 05:08:12 +0100acidjnk_new2(~acidjnk@p200300d0c718f61059b80ee7df292ca6.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-10 05:08:26 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-10 05:09:06 +0100Rudd0(~Rudd0@185.189.115.98)
2020-11-10 05:10:30 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-11-10 05:18:01 +0100lululululu(3dded63f@61-222-214-63.HINET-IP.hinet.net)
2020-11-10 05:18:35 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 258 seconds)
2020-11-10 05:28:01 +0100subttle(~anonymous@unaffiliated/subttle)
2020-11-10 05:29:45 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 05:32:39 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 05:32:50 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2020-11-10 05:33:26 +0100conal(~conal@64.71.133.70)
2020-11-10 05:33:38 +0100borne(~fritjof@200116b864d35e0021c47849b07375d7.dip.versatel-1u1.de) (Ping timeout: 264 seconds)
2020-11-10 05:34:16 +0100adm(~adm@43.229.88.236) (Remote host closed the connection)
2020-11-10 05:34:25 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-10 05:34:34 +0100adm(~adm@43.229.88.236)
2020-11-10 05:36:20 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d)
2020-11-10 05:37:23 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds)
2020-11-10 05:39:53 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:7534:e8f4:dae4:831d) (Client Quit)
2020-11-10 05:40:23 +0100cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2020-11-10 05:46:08 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa)
2020-11-10 05:48:24 +0100conal(~conal@64.71.133.70) (Ping timeout: 256 seconds)
2020-11-10 05:49:16 +0100 <bqv> :t (.*)
2020-11-10 05:49:17 +0100 <lambdabot> error:
2020-11-10 05:49:17 +0100 <lambdabot> • Variable not in scope: .*
2020-11-10 05:49:17 +0100 <lambdabot> • Perhaps you meant one of these:
2020-11-10 05:49:31 +0100 <bqv> :t Data.Composition.(.*)
2020-11-10 05:49:32 +0100 <lambdabot> error:
2020-11-10 05:49:32 +0100 <lambdabot> Not in scope: data constructor ‘Data.Composition’
2020-11-10 05:49:32 +0100 <lambdabot> No module named ‘Data’ is imported.
2020-11-10 05:49:56 +0100 <bqv> Data.Composition (.*) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
2020-11-10 05:50:12 +0100 <bqv> What a goddamn specific function
2020-11-10 05:50:36 +0100 <bqv> (only came across it thanks to pointfree)
2020-11-10 05:51:41 +0100 <bqv> (but I think this pointfree transformation is too heinous even for me)
2020-11-10 05:51:47 +0100conal(~conal@198.8.81.208)
2020-11-10 05:52:09 +0100machinedgod(~machinedg@207.253.244.210) (Ping timeout: 260 seconds)
2020-11-10 05:54:10 +0100conal(~conal@198.8.81.208) (Client Quit)
2020-11-10 05:54:19 +0100adm(~adm@43.229.88.236) (Remote host closed the connection)
2020-11-10 05:54:47 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2020-11-10 05:55:22 +0100adm(~adm@43.229.88.236)
2020-11-10 05:56:48 +0100da39a3ee5e6b4b0d(~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th)
2020-11-10 05:56:59 +0100 <jle`> fwiw the syntax is (Data.Composition.*)
2020-11-10 05:57:27 +0100 <jle`> :t (Prelude.+)
2020-11-10 05:57:28 +0100 <lambdabot> Num a => a -> a -> a
2020-11-10 05:58:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-10 06:02:02 +0100jalumar(uid392211@gateway/web/irccloud.com/x-qysscwojbdelznmr)
2020-11-10 06:02:30 +0100jespada(~jespada@90.254.245.49) (Ping timeout: 256 seconds)
2020-11-10 06:04:19 +0100jedws(~jedws@101.184.150.81) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 06:05:26 +0100jespada(~jespada@90.254.245.49)
2020-11-10 06:06:37 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2020-11-10 06:06:57 +0100texasmynsted(~texasmyns@2600:6c40:700:193f:153:816f:d64c:6f7d) (Remote host closed the connection)
2020-11-10 06:07:46 +0100texasmynsted(~texasmyns@64.44.55.28)
2020-11-10 06:10:21 +0100renzhi(~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 272 seconds)
2020-11-10 06:10:48 +0100tsaka__(~torstein@ppp-2-84-29-23.home.otenet.gr) (Read error: Connection reset by peer)
2020-11-10 06:11:16 +0100tsaka__(~torstein@ppp-2-84-29-23.home.otenet.gr)
2020-11-10 06:12:03 +0100Sanchayan(~Sanchayan@106.201.103.181)
2020-11-10 06:12:30 +0100hackagehappy-hour 0.0.0.2 - Generate simple okay-looking bar plots without much effort https://hackage.haskell.org/package/happy-hour-0.0.0.2 (Monoid_Mary)
2020-11-10 06:13:04 +0100texasmynsted(~texasmyns@64.44.55.28) (Ping timeout: 246 seconds)
2020-11-10 06:14:09 +0100adm(~adm@43.229.88.236) (Remote host closed the connection)
2020-11-10 06:17:31 +0100Tario(~Tario@201.192.165.173)
2020-11-10 06:19:24 +0100 <siraben> Is there a Haskell library to automatically benchmark and compare two functions?
2020-11-10 06:20:16 +0100coot(~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-10 06:20:18 +0100 <ammar2> siraben: criterion
2020-11-10 06:21:10 +0100 <siraben> ammar2: thanks
2020-11-10 06:21:40 +0100 <Axman6> there's acouple of alternatives but criterion is still the goto
2020-11-10 06:27:46 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 244 seconds)
2020-11-10 06:33:12 +0100Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-11-10 06:33:53 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-10 06:34:45 +0100day_(~Unknown@unaffiliated/day)
2020-11-10 06:37:51 +0100day(~Unknown@unaffiliated/day) (Ping timeout: 256 seconds)
2020-11-10 06:37:52 +0100day_day
2020-11-10 06:38:07 +0100 <sm[m]> timeit is also good for simple timing
2020-11-10 06:40:19 +0100gproto023(~gproto23@unaffiliated/gproto23)
2020-11-10 06:41:36 +0100gproto23(~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds)
2020-11-10 06:44:58 +0100 <Axman6> just learned about https://hackage.haskell.org/package/bench, looks like a nice `time` replacement
2020-11-10 06:45:40 +0100gproto023(~gproto23@unaffiliated/gproto23) (Quit: Leaving)
2020-11-10 06:45:45 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 265 seconds)
2020-11-10 06:47:13 +0100monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2020-11-10 06:48:24 +0100Cthalupa(~cthulhu@47.186.47.75)
2020-11-10 06:49:18 +0100mu(~mu@unaffiliated/mu) (Quit: mu)
2020-11-10 06:57:12 +0100falafel_(~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4)
2020-11-10 07:00:02 +0100dvratil(~dvratil@139.28.218.148) ()
2020-11-10 07:02:10 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-11-10 07:05:07 +0100Iceland_jack(~user@95.149.219.123) (Read error: Connection reset by peer)
2020-11-10 07:05:25 +0100Iceland_jack(~user@95.149.219.123)
2020-11-10 07:05:30 +0100adm(~adm@43.229.88.236)
2020-11-10 07:05:37 +0100Iceland_jack(~user@95.149.219.123) (Read error: Connection reset by peer)
2020-11-10 07:06:28 +0100Iceland_jack(~user@95.149.219.123)
2020-11-10 07:12:15 +0100adm(~adm@43.229.88.236) (Remote host closed the connection)
2020-11-10 07:13:15 +0100adm(~adm@43.229.88.236)
2020-11-10 07:17:37 +0100danvet_(~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453)
2020-11-10 07:19:26 +0100Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 244 seconds)
2020-11-10 07:21:38 +0100elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-11-10 07:21:55 +0100xff0x(~fox@2001:1a81:5351:7d00:6f2b:700e:59a0:6133) (Ping timeout: 272 seconds)
2020-11-10 07:22:14 +0100falafel_(~falafel@2601:247:c400:1390:7811:313f:d0f3:f9f4) (Ping timeout: 264 seconds)
2020-11-10 07:22:15 +0100xff0x(~fox@2001:1a81:5351:7d00:ba3e:d041:f86d:6327)
2020-11-10 07:22:52 +0100thc202(~thc202@unaffiliated/thc202)
2020-11-10 07:23:05 +0100rprije(~rprije@124.148.131.132) (Remote host closed the connection)
2020-11-10 07:23:25 +0100SanchayanM(~Sanchayan@106.200.213.130)
2020-11-10 07:23:34 +0100rprije(~rprije@124.148.131.132)
2020-11-10 07:23:37 +0100Sanchayan(~Sanchayan@106.201.103.181) (Ping timeout: 260 seconds)
2020-11-10 07:23:58 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 07:24:00 +0100Geekingfrog(~geekingfr@li2156-64.members.linode.com) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-10 07:24:11 +0100Geekingfrog_(~geekingfr@li2156-64.members.linode.com)
2020-11-10 07:25:50 +0100sh9(~sh9@softbank060116136158.bbtec.net) (Ping timeout: 272 seconds)
2020-11-10 07:28:20 +0100adm(~adm@43.229.88.236) (Remote host closed the connection)
2020-11-10 07:29:57 +0100sh9(~sh9@softbank060116136158.bbtec.net)
2020-11-10 07:30:24 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-11-10 07:30:36 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 07:33:07 +0100adm(~adm@43.229.88.236)
2020-11-10 07:35:02 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 07:35:05 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-10 07:36:25 +0100mmohammadi9812(~mmohammad@5.115.207.20) (Ping timeout: 240 seconds)
2020-11-10 07:37:24 +0100mmohammadi9812(~mmohammad@5.238.183.63)
2020-11-10 07:37:53 +0100JiNCai(67582e95@103.88.46.149)
2020-11-10 07:42:18 +0100emptyflask(~jon@136.49.71.178) (Ping timeout: 256 seconds)
2020-11-10 07:43:38 +0100 <bqv> Why were affine traversals removed from lens?
2020-11-10 07:45:00 +0100JiNCai(67582e95@103.88.46.149) (Remote host closed the connection)
2020-11-10 07:45:50 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-11-10 07:46:34 +0100 <dibblego> they have no purpose
2020-11-10 07:49:07 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2020-11-10 07:51:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-10 07:57:58 +0100monochrom(trebla@216.138.220.146)
2020-11-10 08:00:59 +0100Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-11-10 08:02:28 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2020-11-10 08:02:48 +0100Tario(~Tario@201.192.165.173)
2020-11-10 08:04:13 +0100Codaraxis(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds)
2020-11-10 08:04:33 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 256 seconds)
2020-11-10 08:05:33 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2020-11-10 08:06:48 +0100 <bqv> Well, say I have an affinetraversal to an (index, value) pair, how do I make that into an indexed(affine)traversal?
2020-11-10 08:07:10 +0100 <bqv> I see withIndex, but it seems wrong
2020-11-10 08:07:31 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 246 seconds)
2020-11-10 08:07:50 +0100asheshambasta(~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be)
2020-11-10 08:09:19 +0100adm(~adm@43.229.88.236) (Remote host closed the connection)
2020-11-10 08:09:21 +0100Cthalupa(~cthulhu@47.186.47.75)
2020-11-10 08:10:59 +0100adm(~adm@43.229.88.236)
2020-11-10 08:11:27 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de)
2020-11-10 08:12:38 +0100dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-11-10 08:13:14 +0100GreeboSnabble(45ae8f08@1565318-v106.1628-static.lfytina2.metronetinc.net) (Remote host closed the connection)
2020-11-10 08:15:18 +0100Miroboru(~textual@89-162-24-238.fiber.signal.no) (Ping timeout: 260 seconds)
2020-11-10 08:17:11 +0100inkbottle(~inkbottle@aaubervilliers-654-1-157-172.w86-212.abo.wanadoo.fr)
2020-11-10 08:18:13 +0100zebrag(~inkbottle@aaubervilliers-654-1-93-172.w86-212.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-11-10 08:19:00 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-10 08:23:14 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 08:23:27 +0100recon_-(~quassel@2602:febc:0:b6::6ca2) (Ping timeout: 260 seconds)
2020-11-10 08:23:30 +0100recon_-_(~quassel@2602:febc:0:b6::6ca2)
2020-11-10 08:24:14 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-bmbzufjnykieegjo)
2020-11-10 08:28:40 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-10 08:30:01 +0100 <bqv> No, right, withIndex is the reverse of what I want
2020-11-10 08:30:45 +0100da39a3ee5e6b4b0d(~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th) (Ping timeout: 240 seconds)
2020-11-10 08:31:41 +0100danvet_(~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving)
2020-11-10 08:33:10 +0100lululululu(3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection)
2020-11-10 08:39:43 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2020-11-10 08:40:09 +0100ronbrz(~ronbrz@207.229.174.134) (Quit: WeeChat 2.9)
2020-11-10 08:41:38 +0100Geekingfrog_Geekingfrog
2020-11-10 08:46:00 +0100hackageukrainian-phonetics-basic 0.2.0.2 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.2.0.2 (OleksandrZhabenko)
2020-11-10 08:49:23 +0100subttle(~anonymous@unaffiliated/subttle) (Quit: leaving)
2020-11-10 08:52:11 +0100chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-11-10 08:54:19 +0100 <idnar> bqv: they need classes that are a bit tricky to fit in, so the hassle isn't worth the benefit
2020-11-10 08:54:55 +0100Franciman(~francesco@host-82-56-223-169.retail.telecomitalia.it)
2020-11-10 08:55:15 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-10 08:57:14 +0100 <bqv> Ah ok
2020-11-10 08:59:11 +0100 <idnar> bqv: I think you want https://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Indexed.html#v:indexing maybe
2020-11-10 08:59:45 +0100christo(~chris@81.96.113.213)
2020-11-10 09:00:20 +0100shoman94(~shoman94@139.28.218.148)
2020-11-10 09:00:21 +0100star_cloud(~star_clou@124.123.107.46)
2020-11-10 09:00:45 +0100 <idnar> bqv: or replace a traversed with an itraversed
2020-11-10 09:01:07 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-10 09:01:44 +0100alp(~alp@2a01:e0a:58b:4920:fd64:f55:f8d8:f7c1)
2020-11-10 09:03:55 +0100 <idnar> https://www.reddit.com/r/haskell/comments/60fha5/affine_traversal/
2020-11-10 09:03:57 +0100star_cloud(~star_clou@124.123.107.46) (Remote host closed the connection)
2020-11-10 09:04:11 +0100da39a3ee5e6b4b0d(~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th)
2020-11-10 09:05:25 +0100graf_blutwurst(~user@2001:171b:226e:adc0:9188:6330:acc3:229e)
2020-11-10 09:06:18 +0100 <dibblego> what is the operation on affine traversal that cannot be performed without it?
2020-11-10 09:08:45 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-10 09:14:56 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 09:15:22 +0100Varis(~Tadas@unaffiliated/varis)
2020-11-10 09:15:38 +0100 <bqv> idnar: currently constructed the traversal by composing a lens and a prism (hence affine), so no traversed to replace. I think I can get away with some dirty tricks if I fudge that lens hard, though
2020-11-10 09:17:37 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-11-10 09:17:59 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-10 09:20:14 +0100raichoo(~raichoo@213.240.178.58)
2020-11-10 09:20:49 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 09:22:48 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2020-11-10 09:23:25 +0100travisb_(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-11-10 09:23:35 +0100 <bqv> Ok yeah, got it. Made the lens indexed by Maybe idx, then applied the prism, then reindexed with fromJust
2020-11-10 09:23:44 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2020-11-10 09:24:58 +0100Sk01(~sky3@1aac.wls.metu.edu.tr)
2020-11-10 09:25:08 +0100lululululu(3dded63f@61-222-214-63.HINET-IP.hinet.net)
2020-11-10 09:25:18 +0100 <bqv> Feck, that doesn't work
2020-11-10 09:25:28 +0100 <bqv> Now I have imaginary functional dependencies
2020-11-10 09:25:50 +0100 <bqv> I should cut my losses and use optics…
2020-11-10 09:25:53 +0100tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-10 09:27:46 +0100borne(~fritjof@200116b8643da60021c47849b07375d7.dip.versatel-1u1.de)
2020-11-10 09:29:37 +0100macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 260 seconds)
2020-11-10 09:30:41 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-10 09:31:23 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 09:31:26 +0100christo(~chris@81.96.113.213)
2020-11-10 09:31:36 +0100BIG_JIMMY_D(~jim@108.61.185.76) (Ping timeout: 256 seconds)
2020-11-10 09:32:10 +0100BIG_JIMMY_D(~jim@108.61.185.76)
2020-11-10 09:32:38 +0100cfricke(~cfricke@unaffiliated/cfricke)
2020-11-10 09:33:02 +0100avdb(~avdb@ip-213-49-61-163.dsl.scarlet.be)
2020-11-10 09:36:49 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-10 09:39:00 +0100raichoo(~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-11-10 09:39:54 +0100solonarv(~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr)
2020-11-10 09:40:10 +0100raichoo(~raichoo@213.240.178.58)
2020-11-10 09:44:41 +0100Sk01(~sky3@1aac.wls.metu.edu.tr) (Quit: WeeChat 2.9)
2020-11-10 09:46:07 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 09:47:13 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-10 09:47:19 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 09:47:28 +0100xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-11-10 09:49:26 +0100 <bqv> Hm, got it.
2020-11-10 09:49:55 +0100 <bqv> If I use Data.Tuple.Lazy, I can do fromJust in the ilens
2020-11-10 09:50:25 +0100 <bqv> Never gets evaluated, but its enough to give me a sensible indexedlens
2020-11-10 09:50:39 +0100 <bqv> And the prism is index preserving
2020-11-10 09:52:10 +0100adm(~adm@43.229.88.236) (Remote host closed the connection)
2020-11-10 09:52:39 +0100 <dminuoso> 09:47:30 bqv | [06:43:38] Why were affine traversals removed from lens?
2020-11-10 09:53:03 +0100 <dminuoso> bqv: To implement affine traversals with the van laarhoven encoding, you'd need to split Applicative into Pointed and Ap, such that affine would use Pointed only
2020-11-10 09:53:06 +0100 <dminuoso> % :i Traversal
2020-11-10 09:53:07 +0100 <yahb> dminuoso: type role ReifiedTraversal representational nominal representational nominal; type ReifiedTraversal :: * -> * -> * -> * -> *; newtype ReifiedTraversal s t a b = Traversal {...}; -- Defined in `Control.Lens.Reified'; type Traversal :: * -> * -> * -> * -> *; type Traversal s t a b = forall (f :: * -> *). Applicative f => (a -> f b) -> s -> f t; -- Defined in `Control.Lens.Type'
2020-11-10 09:53:33 +0100 <dminuoso> So you'd have `type AffineTraversal s t a b = forall f. Pointed f => (a -> f b) -> s -> f t`
2020-11-10 09:55:00 +0100 <bqv> That doesn't seem prohibitive, surely have (Pointed, Ap) => Applicative and it's nondestructive?
2020-11-10 09:55:49 +0100 <dminuoso> Well, the usefulness depends on how many things have Pointed instances...
2020-11-10 09:56:41 +0100xerox_(~xerox@unaffiliated/xerox)
2020-11-10 09:57:03 +0100 <dminuoso> With profunctor this is SIMPLER since you can say: type AffineTraversal s t a b = forall p. (Strong p, Choice p) => a `p` b -> s `p` t
2020-11-10 09:57:45 +0100drbean(~drbean@TC210-63-209-175.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-11-10 09:58:06 +0100 <bqv> Hmm
2020-11-10 09:58:12 +0100 <dminuoso> bqv: So the issue with Pointed is just, you'd have to modify the Applicative class
2020-11-10 09:58:19 +0100kuribas(~user@ptr-25vy0i8gy1ukj7bjvez.18120a2.ip6.access.telenet.be)
2020-11-10 09:58:27 +0100 <bqv> Fair
2020-11-10 09:58:32 +0100 <dminuoso> such that `class Pointed f => Applicative f where (<*>) :: f (a -> b) -> f a -> f b`
2020-11-10 09:58:41 +0100 <dminuoso> so this is not a change you can simply ship in a library
2020-11-10 09:58:56 +0100 <dminuoso> You'd have to provide your own applicative class, which is then not compatible with Applicative, and so on..
2020-11-10 09:59:34 +0100 <bqv> Another FMA-level reshuffle
2020-11-10 10:00:01 +0100shoman94(~shoman94@139.28.218.148) ()
2020-11-10 10:00:10 +0100jalumar(uid392211@gateway/web/irccloud.com/x-qysscwojbdelznmr) (Quit: Connection closed for inactivity)
2020-11-10 10:00:21 +0100 <dminuoso> So if you dont do that superclass, then you cant compose an affine traversal with say a traversal and obtain a traversal.
2020-11-10 10:00:26 +0100daGrevis(~daGrevis@unaffiliated/dagrevis) (Quit: Ping timeout (120 seconds))
2020-11-10 10:00:32 +0100jhuizy7(~jhuizy@static.241.188.216.95.clients.your-server.de)
2020-11-10 10:00:35 +0100 <dminuoso> So you get a lot of inelegancy from that
2020-11-10 10:00:39 +0100daGrevis(~daGrevis@unaffiliated/dagrevis)
2020-11-10 10:00:42 +0100jhuizy(~jhuizy@static.241.188.216.95.clients.your-server.de) (Read error: Connection reset by peer)
2020-11-10 10:00:42 +0100jhuizy7jhuizy
2020-11-10 10:00:57 +0100chrpape`(~user@2a01:4f9:c010:632d::1)
2020-11-10 10:01:13 +0100m0rphism(~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de)
2020-11-10 10:01:23 +0100andreas31(~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
2020-11-10 10:02:33 +0100chrpape(~user@2a01:4f9:c010:632d::1) (Read error: Connection reset by peer)
2020-11-10 10:04:54 +0100 <dminuoso> bqv: For additional thoughts, refer to http://oleg.fi/gists/posts/2017-03-20-affine-traversal.html
2020-11-10 10:06:14 +0100apoc(~apoc@bridge.mattzq.com) (Ping timeout: 256 seconds)
2020-11-10 10:07:19 +0100jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-11-10 10:07:45 +0100kritzefitz(~kritzefit@p200300ecdf05be00f1ae985ba6d99bb3.dip0.t-ipconnect.de)
2020-11-10 10:07:58 +0100 <bqv> I was linked that earlier, interesting
2020-11-10 10:08:02 +0100lululululu(3dded63f@61-222-214-63.HINET-IP.hinet.net) (Remote host closed the connection)
2020-11-10 10:08:41 +0100 <dminuoso> bqv: phadej has quite a few entries on optics and profunctor optics, you should check the rest of his blog
2020-11-10 10:09:15 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 10:10:15 +0100andreas31(~andreas@gateway/tor-sasl/andreas303)
2020-11-10 10:11:03 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 10:12:02 +0100iqubic(~user@2601:602:9500:4870:f97f:76da:55:8502) (Ping timeout: 264 seconds)
2020-11-10 10:13:24 +0100xff0x(~fox@2001:1a81:5351:7d00:ba3e:d041:f86d:6327) (Ping timeout: 240 seconds)
2020-11-10 10:13:43 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-10 10:14:27 +0100xff0x(~fox@2001:1a81:5351:7d00:8f5e:c1d6:6c3b:a4b)
2020-11-10 10:15:16 +0100keep_learning(~keep_lear@43.231.26.152)
2020-11-10 10:15:29 +0100adm(~adm@43.229.88.236)
2020-11-10 10:15:54 +0100Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-11-10 10:17:14 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-11-10 10:17:25 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-10 10:17:36 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 10:17:38 +0100kritzefitz(~kritzefit@p200300ecdf05be00f1ae985ba6d99bb3.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-11-10 10:19:45 +0100adm(~adm@43.229.88.236) (Ping timeout: 240 seconds)
2020-11-10 10:20:16 +0100star_cloud(~star_clou@124.123.107.46)
2020-11-10 10:21:47 +0100hekkaidekapus_hekkaidekapus
2020-11-10 10:24:50 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-10 10:24:56 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-kmqwoegoouyrgklt) (Quit: Connection closed for inactivity)
2020-11-10 10:26:05 +0100star_cloud(~star_clou@124.123.107.46) (Remote host closed the connection)
2020-11-10 10:27:57 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 10:30:08 +0100siggard(michalc@gateway/shell/xshellz/x-jnqqvyhozxttnqkw) (Remote host closed the connection)
2020-11-10 10:30:34 +0100kritzefitz(~kritzefit@2003:5b:203b:200::10:49)
2020-11-10 10:33:35 +0100star_cloud(~star_clou@124.123.107.46)
2020-11-10 10:33:56 +0100apoc(~apoc@bridge.mattzq.com)
2020-11-10 10:33:58 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-10 10:39:37 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-11-10 10:40:00 +0100star_cloud(~star_clou@124.123.107.46) (Remote host closed the connection)
2020-11-10 10:41:27 +0100LKoen(~LKoen@77.174.9.109.rev.sfr.net)
2020-11-10 10:41:45 +0100Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2020-11-10 10:45:19 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-10 10:45:30 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 10:45:55 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-10 10:46:45 +0100invaser(~Thunderbi@31.148.23.125)
2020-11-10 10:48:29 +0100invaser1(~Thunderbi@31.148.23.125)
2020-11-10 10:49:09 +0100acidjnk_new2(~acidjnk@p200300d0c718f622419774f60b4b795d.dip0.t-ipconnect.de)
2020-11-10 10:50:36 +0100plakband(~plakband@softbank126126238105.bbtec.net) (Quit: WeeChat 2.9)
2020-11-10 10:51:03 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-11-10 10:51:03 +0100invaser1invaser
2020-11-10 10:51:16 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-10 10:52:34 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 10:54:22 +0100bitmagie(~Thunderbi@200116b806cd050085d57d49b88c0858.dip.versatel-1u1.de)
2020-11-10 10:54:34 +0100 <idnar> bqv, dminuoso: the laws are also awkward because `(Pointed f, Ap f) => f` doesn't necessarily follow the Applicative laws (see thread at <https://www.reddit.com/r/haskell/comments/60fha5/affine_traversal/>)
2020-11-10 10:55:24 +0100 <dminuoso> What laws?
2020-11-10 10:55:33 +0100da39a3ee5e6b4b0d(~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 10:55:54 +0100DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-11-10 10:57:48 +0100 <idnar> https://hackage.haskell.org/package/base-4.14.0.0/docs/Control-Applicative.html#t:Applicative
2020-11-10 10:58:25 +0100 <dminuoso> No I meant, in what sense wouldnt that follow the applicative laws?
2020-11-10 10:59:58 +0100__monty__(~toonn@unaffiliated/toonn)
2020-11-10 11:01:03 +0100lemmih(~lemmih@2406:3003:2072:44:c5fe:5b97:f10c:4e16) (Remote host closed the connection)
2020-11-10 11:01:23 +0100lemmih(~lemmih@2406:3003:2072:44:45cb:65e7:796d:adde)
2020-11-10 11:01:32 +0100christo(~chris@81.96.113.213)
2020-11-10 11:01:42 +0100 <idnar> in the sense that you can define lawful Pointed and Ap instances that don't combine to fulfil the Applicative laws
2020-11-10 11:02:00 +0100 <dminuoso> well that isnt really saying much
2020-11-10 11:02:17 +0100howdoi(uid224@gateway/web/irccloud.com/x-khfppfglbovlyqve) (Quit: Connection closed for inactivity)
2020-11-10 11:02:19 +0100 <merijn> idnar: lawful Pointed instances are trivial
2020-11-10 11:02:23 +0100 <merijn> There are no laws
2020-11-10 11:02:26 +0100 <dminuoso> laws are a contracts between the programmer and the compiler
2020-11-10 11:02:30 +0100 <dminuoso> its your job to ensure coherence
2020-11-10 11:02:46 +0100 <dminuoso> If you write Pointed an Ap instances that dont follow laws, that's on you
2020-11-10 11:02:49 +0100gkobele(~user@dslb-178-010-116-093.178.010.pools.vodafone-ip.de)
2020-11-10 11:02:50 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 11:03:18 +0100 <idnar> the thread covers the issues with various solutions to that, I don't think I can adequately summarize it
2020-11-10 11:04:00 +0100shatriff_(~vitaliish@176.52.219.10)
2020-11-10 11:04:01 +0100shatriff(~vitaliish@176.52.219.10) (Read error: Connection reset by peer)
2020-11-10 11:04:32 +0100 <idnar> err I meant to link https://www.reddit.com/r/haskell/comments/60fha5/affine_traversal/df6830k/
2020-11-10 11:12:49 +0100gkobele(~user@dslb-178-010-116-093.178.010.pools.vodafone-ip.de) ("ERC (IRC client for Emacs 27.1)")
2020-11-10 11:13:10 +0100christo(~chris@81.96.113.213)
2020-11-10 11:14:30 +0100hackagejs-chart 2.9.4 - Obtain minified chart.js code https://hackage.haskell.org/package/js-chart-2.9.4 (jonascarpay)
2020-11-10 11:17:07 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 11:18:51 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-10 11:20:15 +0100ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-11-10 11:21:58 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds)
2020-11-10 11:25:01 +0100typetetris(sid275937@gateway/web/irccloud.com/x-elrfbakatxxdutfl) (Read error: Connection reset by peer)
2020-11-10 11:25:07 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-ikddbqhpcfeoprgq) (Ping timeout: 272 seconds)
2020-11-10 11:25:13 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-erqemrkeinovsomm) (Read error: Connection reset by peer)
2020-11-10 11:25:15 +0100kyagrd__(sid102627@gateway/web/irccloud.com/x-nvlvexwuoontnaay) (Read error: Connection reset by peer)
2020-11-10 11:25:23 +0100dani-(sid341953@gateway/web/irccloud.com/x-otmdrxdrodgxrqxy) (Read error: Connection reset by peer)
2020-11-10 11:25:25 +0100graingert(sid128301@gateway/web/irccloud.com/x-adgvkrvifopojjaa) (Read error: Connection reset by peer)
2020-11-10 11:25:27 +0100m-renaud(sid333785@gateway/web/irccloud.com/x-ocbxggtmwbqjeteg) (Ping timeout: 260 seconds)
2020-11-10 11:25:27 +0100hazard-pointer(sid331723@gateway/web/irccloud.com/x-tiuqkpmdzxgnusmc) (Ping timeout: 260 seconds)
2020-11-10 11:25:27 +0100taktoa[c](sid282096@gateway/web/irccloud.com/x-omebbjqsjvyqmgkl) (Ping timeout: 260 seconds)
2020-11-10 11:25:38 +0100ghuntley(sid16877@gateway/web/irccloud.com/x-ptopsndeynpyjelv) (Read error: Connection reset by peer)
2020-11-10 11:25:57 +0100ghuntley(sid16877@gateway/web/irccloud.com/x-qztbkgafmugcryxi)
2020-11-10 11:25:59 +0100kyagrd__(sid102627@gateway/web/irccloud.com/x-fmxliclmtnkycstb)
2020-11-10 11:26:03 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-ywtzdmwgkfgphlzr)
2020-11-10 11:26:23 +0100milessabin(sid86799@gateway/web/irccloud.com/x-orwvqlcdkjbkblde) (Ping timeout: 272 seconds)
2020-11-10 11:26:37 +0100dani-(sid341953@gateway/web/irccloud.com/x-etuikjdqhtlxnikg)
2020-11-10 11:26:37 +0100kozowu(uid44796@gateway/web/irccloud.com/x-nvxmuuamyscqvacb) (Ping timeout: 260 seconds)
2020-11-10 11:26:40 +0100hazard-pointer(sid331723@gateway/web/irccloud.com/x-wwsxwkmcbnytyqgp)
2020-11-10 11:26:49 +0100m-renaud(sid333785@gateway/web/irccloud.com/x-juxddenpfgpoeigc)
2020-11-10 11:26:50 +0100kristjansson(sid126207@gateway/web/irccloud.com/x-rtjbrjzhlcogpoxy)
2020-11-10 11:27:01 +0100lolmac(sid171216@gateway/web/irccloud.com/x-gmqxaazsdhqnivnv) (Ping timeout: 272 seconds)
2020-11-10 11:27:02 +0100milessabin(sid86799@gateway/web/irccloud.com/x-ascncjvecpuyiyrz)
2020-11-10 11:27:17 +0100typetetris(sid275937@gateway/web/irccloud.com/x-hwvkvbbozbkfoprj)
2020-11-10 11:27:17 +0100taktoa[c](sid282096@gateway/web/irccloud.com/x-itxakgqwhnqkbebe)
2020-11-10 11:27:26 +0100rslima_____(sid26145@gateway/web/irccloud.com/x-sqmdtyjbxdggnirr) (Read error: Connection reset by peer)
2020-11-10 11:27:27 +0100kozowu(uid44796@gateway/web/irccloud.com/x-dylrnyglhpjycwlc)
2020-11-10 11:27:27 +0100graingert(sid128301@gateway/web/irccloud.com/x-vdjsitqmvxctmmid)
2020-11-10 11:27:39 +0100srhb(sid400352@NixOS/user/srhb) (Ping timeout: 272 seconds)
2020-11-10 11:27:41 +0100rslima_____(sid26145@gateway/web/irccloud.com/x-txddsksmhveehsrq)
2020-11-10 11:28:26 +0100lolmac(sid171216@gateway/web/irccloud.com/x-plzbdzhieclxlfgh)
2020-11-10 11:29:28 +0100gac410(~gac410@178.162.209.171)
2020-11-10 11:30:15 +0100daamien(84a6b753@132.166.183.83)
2020-11-10 11:31:10 +0100Kaivo(~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com) (Ping timeout: 256 seconds)
2020-11-10 11:32:00 +0100hackageghc-typelits-extra 0.4.1 - Additional type-level operations on GHC.TypeLits.Nat https://hackage.haskell.org/package/ghc-typelits-extra-0.4.1 (ChristiaanBaaij)
2020-11-10 11:32:14 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 11:32:53 +0100eyenx(~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: Bridge terminating on SIGTERM)
2020-11-10 11:33:20 +0100 <dminuoso> Well, these are just ergonomics and elegancy issues
2020-11-10 11:33:47 +0100Kaivo(~Kaivo@104-200-86-99.mc.derytele.com)
2020-11-10 11:33:48 +0100 <dminuoso> There could be things just Pointed, things just Ap, and things that are Applicative (which satisfy laws common to both)
2020-11-10 11:34:02 +0100 <dminuoso> or rather, there's an interaction between these laws
2020-11-10 11:34:14 +0100mmohammadi9812(~mmohammad@5.238.183.63) (Ping timeout: 256 seconds)
2020-11-10 11:35:11 +0100 <dminuoso> the thread is an interesting read tho
2020-11-10 11:36:44 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-10 11:36:45 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-10 11:38:27 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de)
2020-11-10 11:38:47 +0100 <dminuoso> % (:+) :: Char -> Int -> Char
2020-11-10 11:38:47 +0100 <yahb> dminuoso: ; <interactive>:36:1: error:; * Couldn't match type `Complex Int' with `Char'; Expected type: Char -> Int -> Char; Actual type: Int -> Int -> Complex Int; * In the expression: (:+) :: Char -> Int -> Char; In an equation for `it': it = (:+) :: Char -> Int -> Char
2020-11-10 11:38:52 +0100 <dminuoso> Huh
2020-11-10 11:38:57 +0100 <dminuoso> % (:+++++) :: Char -> Int -> Char
2020-11-10 11:38:57 +0100 <yahb> dminuoso: ; <interactive>:37:1: error: Data constructor not in scope: (:+++++) :: Char -> Int -> Char
2020-11-10 11:39:15 +0100 <dminuoso> Why is this looking in the data constructor namespace?
2020-11-10 11:39:40 +0100 <dminuoso> Or is value level : always understood to be constructors?
2020-11-10 11:39:44 +0100 <merijn> Because it starts with a :
2020-11-10 11:39:45 +0100 <merijn> Yes
2020-11-10 11:40:05 +0100srhb(sid400352@NixOS/user/srhb)
2020-11-10 11:40:43 +0100 <merijn> : is the "capital" operator symbol
2020-11-10 11:40:44 +0100 <dminuoso> Ah fair enough, +: it is then.
2020-11-10 11:40:58 +0100 <dminuoso> merijn: Ah I guess its similar to how : is for type constructors in the type level?
2020-11-10 11:41:40 +0100daamien(84a6b753@132.166.183.83) (Remote host closed the connection)
2020-11-10 11:43:58 +0100mmohammadi9812(~mmohammad@80.210.53.226)
2020-11-10 11:44:00 +0100mmohammadi9812(~mmohammad@80.210.53.226) (Read error: Connection reset by peer)
2020-11-10 11:44:56 +0100cosimone(~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a)
2020-11-10 11:45:28 +0100mmohammadi9812(~mmohammad@80.210.53.226)
2020-11-10 11:45:49 +0100rprije(~rprije@124.148.131.132) (Ping timeout: 264 seconds)
2020-11-10 11:46:43 +0100 <invaser> Hi! Does anyone have a good guide to project management with cabal and testing in Haskell?
2020-11-10 11:47:06 +0100 <dminuoso> invaser: What do you mean by project management exactly?
2020-11-10 11:47:37 +0100 <invaser> dminuoso: idk, probably some materials on how to work with cabal, best practices etc
2020-11-10 11:48:22 +0100 <dminuoso> invaser: cabal has a very comprehensive and good documentation
2020-11-10 11:48:42 +0100 <invaser> that's probably a good place to start
2020-11-10 11:48:52 +0100 <dminuoso> mmm, not as much for testing though it seems
2020-11-10 11:49:31 +0100cosimone(~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a) (Client Quit)
2020-11-10 11:49:40 +0100star_cloud(~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
2020-11-10 11:50:23 +0100 <invaser> i'm writing my coursework with haskell, so I'm quite excited to start working on it! Though it's the first time I needed to manage project that's more that a single file, so I thought I need to learn about stack before starting
2020-11-10 11:51:36 +0100hi(d4db086b@212.219.8.107)
2020-11-10 11:52:36 +0100hi(d4db086b@212.219.8.107) ()
2020-11-10 11:53:04 +0100 <dminuoso> invaser: so essentially a test-suite is similar to an executable component in cabal
2020-11-10 11:53:30 +0100hackager-glpk-phonetic-languages-ukrainian-durations 0.1.4.0 - Can be used to calculate the durations of the approximations of the Ukrainian phonemes. https://hackage.haskell.org/package/r-glpk-phonetic-languages-ukrainian-durations-0.1.4.0 (OleksandrZhabenko)
2020-11-10 11:53:36 +0100star_cloud(~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-11-10 11:54:32 +0100cosimone(~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a)
2020-11-10 11:54:55 +0100star_cloud(~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
2020-11-10 11:55:14 +0100gac410(~gac410@178.162.209.171) (Ping timeout: 264 seconds)
2020-11-10 11:55:32 +0100 <dminuoso> invaser: See also https://cabal.readthedocs.io/en/3.4/cabal-package.html?highlight=test-suite#test-suites
2020-11-10 11:55:45 +0100star_cloud(~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-11-10 11:56:37 +0100 <dminuoso> That's for configuring a test suite in .cabal files
2020-11-10 11:56:42 +0100 <dminuoso> You can execute them with `cabal test`
2020-11-10 11:57:16 +0100 <dminuoso> (Well, the linked section has it all)
2020-11-10 11:57:18 +0100 <dminuoso> It's not much though
2020-11-10 11:57:52 +0100travisb_(~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-10 11:58:42 +0100star_cloud(~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
2020-11-10 11:58:55 +0100tito_04(~taurux@net-188-152-78-21.cust.dsl.teletu.it) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-10 12:01:06 +0100star_cloud(~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-11-10 12:01:54 +0100wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-10 12:03:14 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-11-10 12:03:38 +0100AWizzArd(~code@gehrels.uberspace.de) (Remote host closed the connection)
2020-11-10 12:06:46 +0100star_cloud(~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
2020-11-10 12:08:25 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-11-10 12:10:56 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 12:13:07 +0100SanchayanM(~Sanchayan@106.200.213.130) (Quit: leaving)
2020-11-10 12:13:50 +0100Alleria_(~AllahuAkb@2604:2000:1484:26:1965:9c13:18a8:4b5c) (Ping timeout: 264 seconds)
2020-11-10 12:15:39 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-11-10 12:17:01 +0100Alleria_(~AllahuAkb@2604:2000:1484:26:e8c3:181c:d933:4dbd)
2020-11-10 12:21:38 +0100watt282(~watt282@124.123.107.46)
2020-11-10 12:21:58 +0100da39a3ee5e6b4b0d(~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th)
2020-11-10 12:24:01 +0100alp(~alp@2a01:e0a:58b:4920:fd64:f55:f8d8:f7c1) (Ping timeout: 272 seconds)
2020-11-10 12:25:24 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 12:25:50 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 12:26:42 +0100Iceland_jack(~user@95.149.219.123) (Remote host closed the connection)
2020-11-10 12:26:42 +0100Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 256 seconds)
2020-11-10 12:27:36 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 12:27:39 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-10 12:29:04 +0100carlomagno(~cararell@148.87.23.8)
2020-11-10 12:29:04 +0100carlomagno1(~cararell@148.87.23.6) (Remote host closed the connection)
2020-11-10 12:29:06 +0100christo(~chris@81.96.113.213)
2020-11-10 12:29:24 +0100koz_(~koz@121.99.240.58) (Ping timeout: 240 seconds)
2020-11-10 12:29:30 +0100hackagegeneric-aeson 0.2.0.11 - Derivation of Aeson instances using GHC generics. https://hackage.haskell.org/package/generic-aeson-0.2.0.11 (ErikHesselink)
2020-11-10 12:29:50 +0100jedws(~jedws@101.184.150.81)
2020-11-10 12:30:04 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-10 12:30:28 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-11-10 12:32:43 +0100plast1k_(~plast1k_@197.237.154.190)
2020-11-10 12:32:47 +0100 <merijn> invaser: You have seen https://cabal.readthedocs.io/en/latest/nix-local-build-overview.html already?
2020-11-10 12:33:53 +0100shailangsa(~shailangs@host86-186-196-208.range86-186.btcentralplus.com)
2020-11-10 12:35:36 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 12:36:13 +0100jonatanb_(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 12:36:24 +0100amiri(~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection)
2020-11-10 12:36:42 +0100jonatanb_(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Read error: No route to host)
2020-11-10 12:38:50 +0100koz(~koz@2404:4408:4309:2700:da5c:eaf0:b1a:194b)
2020-11-10 12:39:25 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-11-10 12:40:07 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-10 12:40:16 +0100ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net)
2020-11-10 12:40:16 +0100ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-11-10 12:40:16 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2020-11-10 12:40:44 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-10 12:40:56 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-10 12:41:04 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 12:42:25 +0100da39a3ee5e6b4b0d(~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th) (Ping timeout: 240 seconds)
2020-11-10 12:42:37 +0100amiri(~amiri@cpe-76-91-154-9.socal.res.rr.com)
2020-11-10 12:45:03 +0100amiri(~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection)
2020-11-10 12:45:58 +0100 <invaser> merijn: No, I haven't
2020-11-10 12:46:08 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 12:47:02 +0100 <merijn> invaser: In general the cabal docs there are quite complete, but you probably wanna distill it down to something more minimal and directly usable for a course
2020-11-10 12:47:38 +0100 <invaser> Ok, but I intend to use stack though. Are cabal docks relevant to it?
2020-11-10 12:47:46 +0100 <merijn> ah, then no :p
2020-11-10 12:47:56 +0100 <merijn> Or, well, a bit
2020-11-10 12:48:23 +0100 <merijn> invaser: Actually, if you're gonna write anything about Haskell tooling for others, make sure you read this first: https://gist.github.com/merijn/8152d561fb8b011f9313c48d876ceb07 :)
2020-11-10 12:50:04 +0100avdb(~avdb@ip-213-49-61-163.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-11-10 12:50:26 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2020-11-10 12:50:52 +0100 <merijn> invaser: Chapter 4/7/10 of those cabal docs are relevant to points 1 & 2 from that gist, and thus also relevant for stack users (if only as reference for .cabal files)
2020-11-10 12:50:57 +0100xff0x(~fox@2001:1a81:5351:7d00:8f5e:c1d6:6c3b:a4b) (Ping timeout: 260 seconds)
2020-11-10 12:51:13 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-10 12:51:40 +0100xff0x(~fox@2001:1a81:5351:7d00:cdad:5801:59ca:174)
2020-11-10 12:52:51 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-10 12:56:17 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 12:57:55 +0100jungnam(~jungnam@185.163.110.116)
2020-11-10 13:00:01 +0100jungnam(~jungnam@185.163.110.116) ()
2020-11-10 13:00:27 +0100plutoniix(~q@175.176.222.7) (Quit: Leaving)
2020-11-10 13:00:30 +0100hackagemagicbane 0.5.0 - A web framework that integrates Servant, RIO, EKG, fast-logger, wai-cli… https://hackage.haskell.org/package/magicbane-0.5.0 (myfreeweb)
2020-11-10 13:00:52 +0100grimgnr(~user@94.19.246.43) (Read error: Connection reset by peer)
2020-11-10 13:01:16 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-10 13:01:37 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de)
2020-11-10 13:03:51 +0100koz_(~koz@2404:4408:4309:2700:da5c:eaf0:b1a:194b)
2020-11-10 13:04:19 +0100 <dminuoso> Id like to see the transitive dependency tree on magicbane.
2020-11-10 13:04:37 +0100koz(~koz@2404:4408:4309:2700:da5c:eaf0:b1a:194b) (Ping timeout: 260 seconds)
2020-11-10 13:05:04 +0100 <merijn> You mispelled transitive dependency *forest* :p
2020-11-10 13:06:19 +0100 <dminuoso> heh
2020-11-10 13:07:50 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 13:08:10 +0100alp(~alp@2a01:e0a:58b:4920:477:18c2:7810:de44)
2020-11-10 13:10:38 +0100 <dminuoso> Does GHC haskell expose exit(2) somewhere?
2020-11-10 13:11:00 +0100wwwww(~wwwww@unaffiliated/wwwww) (Ping timeout: 272 seconds)
2020-11-10 13:11:17 +0100 <merijn> unix has it
2020-11-10 13:11:41 +0100christo(~chris@81.96.113.213)
2020-11-10 13:11:46 +0100 <dminuoso> https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-Process.html#v:exitImmediately
2020-11-10 13:11:48 +0100 <dminuoso> Perfect, thanks
2020-11-10 13:12:36 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds)
2020-11-10 13:12:44 +0100wwwww(~wwwww@unaffiliated/wwwww)
2020-11-10 13:14:18 +0100adm_(~adm@43.229.89.44)
2020-11-10 13:14:51 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 13:15:04 +0100christo(~chris@81.96.113.213)
2020-11-10 13:16:18 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa)
2020-11-10 13:16:38 +0100plast1k_(~plast1k_@197.237.154.190) (Ping timeout: 256 seconds)
2020-11-10 13:16:55 +0100adm_(~adm@43.229.89.44) (Remote host closed the connection)
2020-11-10 13:17:51 +0100adm_(~adm@43.229.89.44)
2020-11-10 13:18:23 +0100daaaamien(~damien@dra38-9-78-249-57-166.fbx.proxad.net)
2020-11-10 13:21:31 +0100ka6sox1(~ka6sox@154.13.1.56)
2020-11-10 13:21:49 +0100fendor_(~fendor@178.115.129.26.wireless.dyn.drei.com)
2020-11-10 13:22:10 +0100adm_(~adm@43.229.89.44) (Ping timeout: 246 seconds)
2020-11-10 13:22:29 +0100noctux(~noctux@unaffiliated/noctux) (Remote host closed the connection)
2020-11-10 13:22:49 +0100amiri(~amiri@cpe-76-91-154-9.socal.res.rr.com)
2020-11-10 13:22:56 +0100daaaamien(~damien@dra38-9-78-249-57-166.fbx.proxad.net) ()
2020-11-10 13:23:30 +0100hackager-glpk-phonetic-languages-ukrainian-durations 0.2.0.0 - Can be used to calculate the durations of the approximations of the Ukrainian phonemes. https://hackage.haskell.org/package/r-glpk-phonetic-languages-ukrainian-durations-0.2.0.0 (OleksandrZhabenko)
2020-11-10 13:24:05 +0100fendor(~fendor@178.165.129.0.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-11-10 13:24:24 +0100mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-11-10 13:24:51 +0100 <bqv> hey, the lens operator `^@?`
2020-11-10 13:25:00 +0100 <bqv> is there a non operator form of it
2020-11-10 13:25:05 +0100 <bqv> or do i have to manually fold and head
2020-11-10 13:26:13 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-10 13:26:19 +0100 <dminuoso> "non operator"?
2020-11-10 13:26:34 +0100 <dminuoso> You can use ^@?!
2020-11-10 13:26:45 +0100 <dminuoso> but you must use non yourself I guess?
2020-11-10 13:26:50 +0100Sanchayan(~Sanchayan@106.200.213.130)
2020-11-10 13:27:01 +0100 <dminuoso> so: f . non blah ^@?! s
2020-11-10 13:27:06 +0100 <bqv> i mean word form
2020-11-10 13:27:10 +0100 <bqv> trying to avoid the operators
2020-11-10 13:27:21 +0100 <bqv> e.g. ^. -> view
2020-11-10 13:27:24 +0100 <bqv> .~ -> set
2020-11-10 13:27:26 +0100 <dminuoso> well sure
2020-11-10 13:27:29 +0100 <dminuoso> you can just look at the implementation
2020-11-10 13:27:36 +0100 <dminuoso> they're just simple ifoldrOf
2020-11-10 13:27:44 +0100 <dminuoso> s ^@? l = ifoldrOf l (\i x _ -> Just (i,x)) Nothing s
2020-11-10 13:27:55 +0100 <dminuoso> Also, you can bind it to a name yourself if you want
2020-11-10 13:28:20 +0100alp(~alp@2a01:e0a:58b:4920:477:18c2:7810:de44) (Ping timeout: 244 seconds)
2020-11-10 13:28:26 +0100 <bqv> damn, that's a pretty spicy expression though
2020-11-10 13:30:19 +0100 <dminuoso> % :t foldr
2020-11-10 13:30:19 +0100 <yahb> dminuoso: forall {t :: * -> *} {a} {b}. Foldable t => (a -> b -> b) -> b -> t a -> b
2020-11-10 13:30:31 +0100 <dminuoso> % :t ifoldrOf
2020-11-10 13:30:31 +0100 <yahb> dminuoso: forall {i} {r} {s} {a}. IndexedGetting i (Endo r) s a -> (i -> a -> r -> r) -> r -> s -> r
2020-11-10 13:30:40 +0100 <dminuoso> % :t foldrOf
2020-11-10 13:30:41 +0100 <yahb> dminuoso: forall {r} {s} {a}. Getting (Endo r) s a -> (a -> r -> r) -> r -> s -> r
2020-11-10 13:30:44 +0100 <dminuoso> Do you see how they are similar?
2020-11-10 13:31:07 +0100 <dminuoso> % :t foldrOf id
2020-11-10 13:31:07 +0100 <yahb> dminuoso: forall {s} {r}. (s -> r -> r) -> r -> s -> r
2020-11-10 13:31:10 +0100 <dminuoso> % :t foldr
2020-11-10 13:31:11 +0100 <yahb> dminuoso: forall {t :: * -> *} {a} {b}. Foldable t => (a -> b -> b) -> b -> t a -> b
2020-11-10 13:31:37 +0100 <dminuoso> % :t foldrOf folded
2020-11-10 13:31:37 +0100 <yahb> dminuoso: forall {f :: * -> *} {a} {r}. Foldable f => (a -> r -> r) -> r -> f a -> r
2020-11-10 13:33:13 +0100aarvar(~foewfoiew@c.24.56.239.179.static.broadstripe.net) (Ping timeout: 260 seconds)
2020-11-10 13:36:35 +0100 <tomsmeding> are those hidden type parameters?
2020-11-10 13:37:29 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 13:38:14 +0100alp(~alp@2a01:e0a:58b:4920:78ec:f779:a35b:6830)
2020-11-10 13:41:26 +0100is_null(~jpic@pdpc/supporter/professional/is-null)
2020-11-10 13:41:41 +0100drbean(~drbean@TC210-63-209-46.static.apol.com.tw)
2020-11-10 13:41:55 +0100adm_(~adm@43.229.89.44)
2020-11-10 13:42:23 +0100noctux(~noctux@unaffiliated/noctux)
2020-11-10 13:42:57 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 13:45:15 +0100Sanchayan(~Sanchayan@106.200.213.130) (Quit: leaving)
2020-11-10 13:46:40 +0100noctux(~noctux@unaffiliated/noctux) (Ping timeout: 246 seconds)
2020-11-10 13:46:53 +0100enoq(~textual@194-208-146-143.lampert.tv)
2020-11-10 13:47:08 +0100Entertainment(~entertain@104.246.132.210)
2020-11-10 13:48:06 +0100pavonia(~user@unaffiliated/siracusa)
2020-11-10 13:49:38 +0100daaaamien(~damien@dra38-9-78-249-57-166.fbx.proxad.net)
2020-11-10 13:49:52 +0100nkly(~nkly@ip5b40d080.dynamic.kabel-deutschland.de) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in)
2020-11-10 13:50:29 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds)
2020-11-10 13:52:03 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 13:52:11 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-10 13:52:19 +0100daaaamien(~damien@dra38-9-78-249-57-166.fbx.proxad.net) ()
2020-11-10 13:52:20 +0100Lycurgus(~niemand@98.4.97.118)
2020-11-10 13:52:22 +0100daaaamien(~damien@dra38-9-78-249-57-166.fbx.proxad.net)
2020-11-10 13:52:26 +0100 <bqv> ah
2020-11-10 13:52:30 +0100 <bqv> i can use pre
2020-11-10 13:52:32 +0100 <bqv> and ipre
2020-11-10 13:52:35 +0100 <bqv> that's way nicer
2020-11-10 13:52:44 +0100daaaamien(~damien@dra38-9-78-249-57-166.fbx.proxad.net) (Quit: Leaving.)
2020-11-10 13:53:03 +0100daaaamien(~damien@dra38-9-78-249-57-166.fbx.proxad.net)
2020-11-10 13:53:22 +0100 <bqv> wait
2020-11-10 13:53:25 +0100 <bqv> that's what preview is
2020-11-10 13:53:31 +0100 <bqv> goddammit
2020-11-10 13:53:44 +0100 <bqv> dminuoso: ipreview
2020-11-10 13:55:46 +0100noctux(~noctux@unaffiliated/noctux)
2020-11-10 13:56:36 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 13:58:11 +0100adm_(~adm@43.229.89.44) (Remote host closed the connection)
2020-11-10 13:58:39 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 13:58:42 +0100daaaamien(~damien@dra38-9-78-249-57-166.fbx.proxad.net) ()
2020-11-10 13:59:00 +0100adm_(~adm@43.229.89.44)
2020-11-10 14:00:26 +0100knupfer(~Thunderbi@dynamic-046-114-147-079.46.114.pool.telefonica.de)
2020-11-10 14:00:59 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-10 14:02:34 +0100urodna(~urodna@unaffiliated/urodna)
2020-11-10 14:03:34 +0100adm_(~adm@43.229.89.44) (Ping timeout: 272 seconds)
2020-11-10 14:04:43 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-10 14:04:50 +0100knupfer(~Thunderbi@dynamic-046-114-147-079.46.114.pool.telefonica.de) (Client Quit)
2020-11-10 14:05:10 +0100knupfer(~Thunderbi@dynamic-046-114-147-079.46.114.pool.telefonica.de)
2020-11-10 14:09:34 +0100texasmynsted(~texasmyns@64.44.55.28)
2020-11-10 14:10:19 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-11-10 14:11:15 +0100da39a3ee5e6b4b0d(~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th)
2020-11-10 14:11:45 +0100 <tomsmeding> dminuoso: "Id like to see the transitive dependency tree on magicbane."
2020-11-10 14:11:47 +0100 <tomsmeding> https://tomsmeding.com/f/hackage-magicbane.png
2020-11-10 14:11:58 +0100Tops2(~Tobias@dyndsl-095-033-017-206.ewe-ip-backbone.de)
2020-11-10 14:12:07 +0100wei2912(~wei2912@unaffiliated/wei2912)
2020-11-10 14:12:37 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 14:13:01 +0100 <tomsmeding> (actual version resolution not performed, just taken the list of links on hackage.haskell.org/package/$pkgname/dependencies)
2020-11-10 14:13:04 +0100coot(~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-10 14:13:28 +0100 <merijn> That doesn't work for conditional ones :)
2020-11-10 14:13:59 +0100 <tomsmeding> also true
2020-11-10 14:14:03 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-10 14:14:17 +0100texasmynsted(~texasmyns@64.44.55.28) (Ping timeout: 265 seconds)
2020-11-10 14:14:51 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-11-10 14:15:23 +0100Lycurgus(~niemand@98.4.97.118) (Quit: Exeunt)
2020-11-10 14:15:46 +0100 <tomsmeding> the bash script has 42 lines though, not going to change that
2020-11-10 14:16:09 +0100avdb(~avdb@ip-213-49-61-163.dsl.scarlet.be)
2020-11-10 14:17:33 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-10 14:17:37 +0100 <int-e> "only" 160 packages
2020-11-10 14:17:49 +0100 <int-e> (but that's an actual install plan)
2020-11-10 14:17:58 +0100 <hekkaidekapus> You can build it locally and `cabal-plan dot-png`.
2020-11-10 14:18:26 +0100 <tomsmeding> I was attempting to get a graph _without_ building the thing :p
2020-11-10 14:18:35 +0100 <int-e> I don't find graphviz generated images all that useful at this scale
2020-11-10 14:18:45 +0100 <tomsmeding> int-e: the image is completely useless
2020-11-10 14:18:52 +0100 <tomsmeding> did I ever say it was useful? :)
2020-11-10 14:18:59 +0100 <int-e> did I write "completely useless"?
2020-11-10 14:19:16 +0100 <int-e> (two can play that game)
2020-11-10 14:19:22 +0100 <tomsmeding> fair point :)
2020-11-10 14:19:24 +0100 <hekkaidekapus> `cabal-plan dot` only then. And import the graph in any other former of your liking.
2020-11-10 14:20:01 +0100texasmynsted(~texasmyns@097-085-244-180.biz.spectrum.com)
2020-11-10 14:20:17 +0100 <int-e> tomsmeding: it's embarrassing how many edges end in ghc-prim at the bottom :P
2020-11-10 14:20:40 +0100 <tomsmeding> lots of packages that perform hacks? :p
2020-11-10 14:20:40 +0100 <int-e> Conclusion: Haskell sucks at abstraction.
2020-11-10 14:20:47 +0100 <maerwald> lol
2020-11-10 14:21:15 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa)
2020-11-10 14:21:15 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa) (Client Quit)
2020-11-10 14:21:24 +0100 <tomsmeding> 45 edges to be exact
2020-11-10 14:21:41 +0100 <tomsmeding> aeson base ghc-prim integer-gmp integer-simple bytestring deepseq binary hashable text template-haskell pretty integer-logarithms transformers semigroups tagged transformers-compat generic-deriving th-abstraction bifunctors base-orphans distributive contravariant void data-fix strict these vector haskell-src-exts th-orphans th-lift ekg-core cryptonite basement memory data-default-class psqueues
2020-11-10 14:21:41 +0100 <tomsmeding> zlib warp text-show http-client network-uri cereal clock QuickCheck
2020-11-10 14:22:00 +0100 <tomsmeding> I guess most make sense?
2020-11-10 14:22:22 +0100 <maerwald> are there any good resources on how to convert your haskell data appropriately for C?
2020-11-10 14:22:35 +0100 <maerwald> despite primitive types
2020-11-10 14:22:48 +0100da39a3ee5e6b4b0d(~da39a3ee5@cm-171-98-91-242.revip7.asianet.co.th) (Ping timeout: 260 seconds)
2020-11-10 14:22:50 +0100 <bqv> like storable or..?
2020-11-10 14:22:56 +0100 <maerwald> I'm thinking just string and use json under the hood :p
2020-11-10 14:23:16 +0100 <bqv> spicy modern marshalling
2020-11-10 14:23:19 +0100 <bqv> web scale
2020-11-10 14:23:30 +0100 <maerwald> yes, can also make it a microservice later
2020-11-10 14:23:34 +0100 <bqv> :D
2020-11-10 14:24:09 +0100 <dminuoso> tomsmeding: good lord
2020-11-10 14:24:19 +0100Tops21(~Tobias@dyndsl-095-033-017-206.ewe-ip-backbone.de)
2020-11-10 14:24:19 +0100TekShifter[m](tekshifter@gateway/shell/matrix.org/x-vmtswkcoigkpltha)
2020-11-10 14:24:59 +0100 <dminuoso> tomsmeding: to be fair, you should probabl do transitive reduction.
2020-11-10 14:25:32 +0100 <tomsmeding> meaning, if a->b->c and a->c, don't display a->c ?
2020-11-10 14:25:40 +0100 <dminuoso> yeah, cabal-plan can do that for you with -tred
2020-11-10 14:25:55 +0100 <dminuoso> (or rather, given those two a->b->c would be hidden)
2020-11-10 14:26:15 +0100avdb(~avdb@ip-213-49-61-163.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-11-10 14:26:20 +0100 <tomsmeding> with a->b->c I meant a->b and b->c
2020-11-10 14:26:25 +0100 <tomsmeding> hiding those loses information, right?
2020-11-10 14:26:34 +0100 <tomsmeding> can I use cabal-plan without actually building the thing?
2020-11-10 14:26:40 +0100 <dminuoso> well, so assume you have `a->c`, `a->b` and `b->c`
2020-11-10 14:26:48 +0100 <dminuoso> with transitive reductions the last would be gone
2020-11-10 14:27:07 +0100 <dminuoso> tomsmeding: you can abort as soon as it starts building
2020-11-10 14:27:10 +0100 <dminuoso> you just need the cabal plan
2020-11-10 14:27:35 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 14:27:56 +0100 <int-e> dminuoso: is that fair? you depend on a package explicitly if you use its functionality. with your suggestion, all the edges to ghc-prim would be gone... (I guess the question is what you want to express... for building plan purposes, transitive reduction is fine; for semantic dependencies, the transitive edges carry information)
2020-11-10 14:28:02 +0100 <tomsmeding> interesting choice to remove b->c, I guess it makes sense if you're not interested in the dependencies' subtrees, just where everything comes from in relation to the top package
2020-11-10 14:28:03 +0100Tops2(~Tobias@dyndsl-095-033-017-206.ewe-ip-backbone.de) (Ping timeout: 260 seconds)
2020-11-10 14:28:24 +0100 <int-e> (all -> all except the integer-gmp one, I'd guess)
2020-11-10 14:28:55 +0100adm_(~adm@43.229.89.44)
2020-11-10 14:28:57 +0100 <dminuoso> int-e: it depends on what knowledge you hope to gain. tred is usually helpful with dependency graphs because you don't necessarily care which packages exactly depend on integer-gmp, because as soon as *any* depends on it, you have it.
2020-11-10 14:29:13 +0100 <dminuoso> (so you might rather be interested which package "first" depends on it from top-to-bottom)
2020-11-10 14:29:16 +0100AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-11-10 14:29:49 +0100 <int-e> so yeah, it depends on what you're trying to do
2020-11-10 14:30:22 +0100christo(~chris@81.96.113.213)
2020-11-10 14:31:03 +0100 <tomsmeding> interesting, I can't even seem to get a build plan
2020-11-10 14:31:34 +0100 <int-e> I had to go back to ghc-8.6.5
2020-11-10 14:33:05 +0100 <bqv> goddammit, no wonder i've been getting cursed type errors
2020-11-10 14:33:11 +0100 <bqv> i've been using two lens libraries by accident
2020-11-10 14:33:35 +0100 <bqv> one of these optics is not like the other
2020-11-10 14:33:50 +0100kish`(~oracle@unaffiliated/oracle)
2020-11-10 14:33:58 +0100cosimone(~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a) (Quit: cosimone)
2020-11-10 14:34:02 +0100adm_(~adm@43.229.89.44) (Ping timeout: 258 seconds)
2020-11-10 14:34:09 +0100 <hekkaidekapus> tomsmeding, int-e: give stack2cabal a try, otherwise the package is not in a good shape. <https://matrix.hackage.haskell.org/#/package/magicbane>
2020-11-10 14:34:49 +0100 <int-e> meh
2020-11-10 14:34:49 +0100christo(~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-11-10 14:35:24 +0100shatriff_(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 14:35:49 +0100kish`(~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-11-10 14:36:09 +0100adm_(~adm@43.229.89.44)
2020-11-10 14:36:19 +0100kish`(~oracle@unaffiliated/oracle)
2020-11-10 14:36:21 +0100 <int-e> though tbf I wasn't going to compile it anyway
2020-11-10 14:36:23 +0100 <dminuoso> hekkaidekapus: what does stack2cabal do?
2020-11-10 14:36:25 +0100kish(~oracle@unaffiliated/oracle) (Ping timeout: 240 seconds)
2020-11-10 14:36:46 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-bxfwtutsrfijbzma) (Quit: Connection closed for inactivity)
2020-11-10 14:36:48 +0100 <dminuoso> I mean in order to find a build plan, it shouldnt be necessary
2020-11-10 14:36:54 +0100 <maerwald> dminuoso: it creates a cabal.project and cabal.project.freeze based on stack.yaml
2020-11-10 14:37:03 +0100 <hekkaidekapus> It converts a stack resolver into a cabal.freeze and creates a .cabal file.
2020-11-10 14:37:03 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 14:37:04 +0100 <dminuoso> For the above excercise, hpack should be fine
2020-11-10 14:37:18 +0100 <dminuoso> (because losing constraints actually would help)
2020-11-10 14:37:25 +0100 <maerwald> dminuoso: depends, if there are git repos defined in stack.yaml, hpack won't be enough
2020-11-10 14:37:37 +0100 <dminuoso> ah
2020-11-10 14:37:57 +0100 <int-e> mmm -- This file has been generated from package.yaml by hpack version 0.34.2.
2020-11-10 14:38:14 +0100 <int-e> (that's from the package description on hackage)
2020-11-10 14:39:27 +0100 <hekkaidekapus> int-e: Yeah, if you look at <https://github.com/myfreeweb/magicbane>, there is no magicbane.cabal. I guess it is generated as part of the upload process.
2020-11-10 14:39:31 +0100Rudd0(~Rudd0@185.189.115.98) (Ping timeout: 256 seconds)
2020-11-10 14:40:39 +0100 <tomsmeding> fwiw dependency graph using cabal-plan: https://tomsmeding.com/vang/Wsf6Q2/deps.png; I thought I could improve my graph by making it left-to-right as well but it's a similar mess
2020-11-10 14:41:18 +0100 <tomsmeding> (ghcup is cool)
2020-11-10 14:41:40 +0100kuribas(~user@ptr-25vy0i8gy1ukj7bjvez.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-11-10 14:42:14 +0100machinedgod(~machinedg@207.253.244.210)
2020-11-10 14:42:27 +0100 <hekkaidekapus> (Went down from 20.9M to 5344k.)
2020-11-10 14:43:12 +0100 <dminuoso> Mmm, I feel like there could be more transparency with regard to build plans and transitive dependencies.
2020-11-10 14:43:23 +0100 <dminuoso> It's too easy to lose track of how much you pull in time after time
2020-11-10 14:43:29 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-11-10 14:43:47 +0100renzhi(~renzhi@2607:fa49:655f:e600::28da)
2020-11-10 14:44:01 +0100 <tomsmeding> perhaps this kind of functionality should be more accessible? Confronting people with the transitive dep graph may be helpful
2020-11-10 14:44:22 +0100 <tomsmeding> though it's probably hard because the build plan may be different for any particular base version and such
2020-11-10 14:44:30 +0100hackagemorley 1.9 - Developer tools for the Michelson Language https://hackage.haskell.org/package/morley-1.9 (gromak)
2020-11-10 14:44:51 +0100 <dminuoso> Well you cant do that on hackage, because transitive dependencies depend on a particular build plan
2020-11-10 14:45:06 +0100 <dminuoso> right
2020-11-10 14:45:07 +0100kuribas(~user@ptr-25vy0i8gy1ukj7bjvez.18120a2.ip6.access.telenet.be)
2020-11-10 14:45:30 +0100hackagelorentz 0.7.1 - EDSL for the Michelson Language https://hackage.haskell.org/package/lorentz-0.7.1 (gromak)
2020-11-10 14:45:34 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-10 14:46:50 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 14:47:26 +0100drbean(~drbean@TC210-63-209-46.static.apol.com.tw) (Ping timeout: 264 seconds)
2020-11-10 14:47:39 +0100 <maerwald> well, start by telling me how I get a build plan with stack
2020-11-10 14:48:00 +0100 <maerwald> I actually need that. One reason would be to compare its build-plan with a cabal generated one
2020-11-10 14:50:47 +0100geekosaur74(82659a09@host154-009.vpn.uakron.edu)
2020-11-10 14:51:05 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds)
2020-11-10 14:51:08 +0100noctux(~noctux@unaffiliated/noctux) (Remote host closed the connection)
2020-11-10 14:51:12 +0100avdb(~avdb@ip-213-49-61-163.dsl.scarlet.be)
2020-11-10 14:51:28 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2020-11-10 14:52:59 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-11-10 14:53:18 +0100 <dminuoso> maerwald: hekkaidekapus linked a tool above to do that
2020-11-10 14:53:29 +0100 <dminuoso> or..
2020-11-10 14:53:31 +0100 <dminuoso> no mmm
2020-11-10 14:55:34 +0100 <maerwald> dminuoso: yes, I maintain that. But you still have no guarantee that you have the exact same build plan
2020-11-10 14:55:54 +0100 <maerwald> e.g. one problem is that cabal may treat git repos a little different
2020-11-10 14:56:20 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 265 seconds)
2020-11-10 14:57:33 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-10 14:57:41 +0100 <hekkaidekapus> In short, it would be good if there were a stack-lib published somewhere.
2020-11-10 14:58:01 +0100 <maerwald> that too
2020-11-10 15:02:23 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 15:02:36 +0100hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-11-10 15:03:13 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-11-10 15:03:18 +0100 <maerwald> and if stack and cabal can agree on an API :)
2020-11-10 15:03:25 +0100 <maerwald> (lolo)
2020-11-10 15:04:21 +0100xenon-(~bc8165ab@217.29.117.252)
2020-11-10 15:05:20 +0100 <tomsmeding> microsoft attempted to make windows and linux agree on an API
2020-11-10 15:05:30 +0100hackagepurescheme-wai-routing-core 0.1.1.0 - Simple Routing functions for Wai Applications https://hackage.haskell.org/package/purescheme-wai-routing-core-0.1.1.0 (frincon)
2020-11-10 15:05:37 +0100 <hekkaidekapus> You mean, update the Cabal spec?
2020-11-10 15:05:44 +0100 <tomsmeding> the thought may not be as ridiculous as it sounds
2020-11-10 15:05:48 +0100 <xenon-> hi. I'm trying to use aeson to reason third party json file, and I'm getting key not present error, because fields start with upper case letter, unlike fields in haskell object. how can I get around this?
2020-11-10 15:05:54 +0100geekosaur74(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-11-10 15:06:15 +0100 <xenon-> s/reason/read
2020-11-10 15:06:17 +0100 <dminuoso> xenon-: write out the instance manually
2020-11-10 15:06:33 +0100lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce)
2020-11-10 15:06:43 +0100 <xenon-> that is the only way?
2020-11-10 15:07:18 +0100 <dminuoso> Its possible you can tweak the generic options
2020-11-10 15:08:06 +0100 <xenon-> did some googling while asking the question.. this seems promising. http://hackage.haskell.org/package/aeson-casing-0.2.0.0/docs/Data-Aeson-Casing.html
2020-11-10 15:08:12 +0100watt282(~watt282@124.123.107.46) (Ping timeout: 256 seconds)
2020-11-10 15:08:16 +0100 <dminuoso> xenon-: Refer to https://hackage.haskell.org/package/aeson-1.5.4.1/docs/Data-Aeson.html#t:Options
2020-11-10 15:08:42 +0100 <dminuoso> xenon-: honestly, Id just write out the instance by hand
2020-11-10 15:09:02 +0100 <dminuoso> It's doesnt take much effort, and it makes this contract explicit
2020-11-10 15:09:25 +0100 <dminuoso> But, you can override fieldLabelModifier for the generic json parser options
2020-11-10 15:09:27 +0100 <dminuoso> To do what you want
2020-11-10 15:10:12 +0100 <dminuoso> There's a few reasons to do manual implementatoins
2020-11-10 15:10:35 +0100 <dminuoso> 1) Multiple versions. You cant do this trivially with the typeclass+generics approach, without a lot of inelegance
2020-11-10 15:11:10 +0100 <dminuoso> 2) It lets you decouple your haskell code from external representation (and codify this interface with Haskell, rather than implicit generics)
2020-11-10 15:12:05 +0100elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-10 15:13:02 +0100 <xenon-> I'm using older aeson version, there's no Data.Aeson.Casing
2020-11-10 15:13:03 +0100 <dminuoso> The latter can be done if you have separate data types for just the external representation, but this works better if you're the one defining the JSON API, rather than trying to conform to some outside format
2020-11-10 15:13:15 +0100 <xenon-> I'll try that option, if that fails I'll just write manual instance
2020-11-10 15:13:16 +0100jakob_(~textual@p200300f49f162200cdda70bf42567477.dip0.t-ipconnect.de)
2020-11-10 15:13:40 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 15:14:09 +0100andreas31(~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2020-11-10 15:14:14 +0100 <tomsmeding> xenon-: side note: "there's no Data.Aeson.Casing" might be because that's in a different package (aeson-casing)?
2020-11-10 15:14:55 +0100jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-11-10 15:15:12 +0100 <lortabac> dminuoso: IMHO both versioning and external representation should be dealt with by defining multiple data types
2020-11-10 15:15:32 +0100 <xenon-> tomsmeding, oh
2020-11-10 15:16:03 +0100 <lortabac> encoding any logic into the deserialization part means doing Python in Haskell (with worse syntax)
2020-11-10 15:16:04 +0100 <tomsmeding> though please heed dminuoso's recommendations :p
2020-11-10 15:17:01 +0100hackagepurescheme-wai-routing-core 0.1.2.0 - Simple Routing functions for Wai Applications https://hackage.haskell.org/package/purescheme-wai-routing-core-0.1.2.0 (frincon)
2020-11-10 15:17:14 +0100 <dminuoso> lortabac: Im willing to argue that this is incorrect. In case of python style code, you usually implicitly decode into Python structures, but it's still not really de-serialized.
2020-11-10 15:17:16 +0100andreas31(~andreas@gateway/tor-sasl/andreas303)
2020-11-10 15:17:38 +0100 <dminuoso> Either you have an additional layer where you transform your "jsonDeserializedIntoDict" data into some domain specific objects with error handling
2020-11-10 15:17:57 +0100 <dminuoso> Or, which is more common and much worse, you just use this the basis of control flow
2020-11-10 15:18:02 +0100 <dminuoso> Whatever the user specifies
2020-11-10 15:18:15 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 15:18:24 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-10 15:18:34 +0100 <dminuoso> We're better off in Haskell because we can actually meaningfully parse the data into domain specific data types and have error handling. In Python you get "whatever"
2020-11-10 15:18:55 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Read error: Connection reset by peer)
2020-11-10 15:19:26 +0100 <lortabac> dminuoso: what I meant is: it is better to keep the JSON instances straightforward and define one data type for each version (or each layer of the application)
2020-11-10 15:19:39 +0100 <dminuoso> JSON is not a protocol format, the act of "destructuring the payload" needs to be done either way. With Python you just do it on dicts/lists/numbers/whatever, in Haskell you do it on `data Value = ...`
2020-11-10 15:19:40 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-10 15:19:41 +0100 <lortabac> rather than encoding versioning logic into the JSON instances
2020-11-10 15:19:43 +0100 <dminuoso> Ah
2020-11-10 15:19:48 +0100 <cohn> speaking of DSLs, does Haskell have a good tokenizer library?
2020-11-10 15:19:57 +0100 <dminuoso> cohn: attoparsec/megaparsec?
2020-11-10 15:20:37 +0100 <dminuoso> Do you need it streaming?
2020-11-10 15:20:43 +0100 <xenon-> tomsmeding, thanks, that worked! I'll prolong learning how to write custom instance when I need it
2020-11-10 15:21:30 +0100hackagepurescheme-wai-routing-core 0.1.3.0 - Simple Routing functions for Wai Applications https://hackage.haskell.org/package/purescheme-wai-routing-core-0.1.3.0 (frincon)
2020-11-10 15:21:52 +0100coot(~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-10 15:22:54 +0100 <lortabac> dminuoso: I prefer implementing 'UserV1 -> UserV2' or 'DBUser -> APIUser' rather than 'Value -> Value'
2020-11-10 15:23:17 +0100 <dminuoso> lortabac: Not quite sure what you mean by that
2020-11-10 15:23:26 +0100 <cohn> dminuoso: nah, just curious
2020-11-10 15:24:03 +0100 <dminuoso> cohn: also, there's alex if you want something like flex
2020-11-10 15:24:44 +0100 <cohn> oh nice, thanks dminuoso!
2020-11-10 15:26:01 +0100eliocrat(~feliocrat@95.70.185.239)
2020-11-10 15:26:28 +0100Feuermagier(~Feuermagi@213.178.26.41)
2020-11-10 15:30:21 +0100 <lortabac> dminuoso: you gave two reasons not to use aeson's generic helpers, I'm saying it doesn't matter because deserialization is not the best place to achieve versioning or decoupling
2020-11-10 15:30:21 +0100knupfer(~Thunderbi@dynamic-046-114-147-079.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2020-11-10 15:31:26 +0100 <dminuoso> lortabac: It depends on the details, I guess. If you have just represntation format changes, then this is better done in code than extra data types.
2020-11-10 15:33:32 +0100 <lortabac> I don't know, generic aeson instances work in 95% of cases for me, if a field name changes I generally change it in the data type
2020-11-10 15:35:45 +0100tanksgiving(b2eb9397@178235147151.dynamic-3-poz-k-0-1-0.vectranet.pl)
2020-11-10 15:36:19 +0100sfvm(~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-11-10 15:36:35 +0100 <tanksgiving> hi
2020-11-10 15:36:58 +0100 <dminuoso> Amusing nickname. :>
2020-11-10 15:37:06 +0100 <dminuoso> Hi.
2020-11-10 15:37:20 +0100 <tanksgiving> how you mean?
2020-11-10 15:37:27 +0100 <dminuoso> I find your nickname amusing.
2020-11-10 15:37:40 +0100howdoi(uid224@gateway/web/irccloud.com/x-jdfuctcfzznmgtjm)
2020-11-10 15:37:57 +0100bahamas(~lucian@unaffiliated/bahamas)
2020-11-10 15:38:06 +0100 <tanksgiving> can you explain?
2020-11-10 15:38:23 +0100 <dminuoso> Explain amusement?
2020-11-10 15:38:30 +0100hackageaeson-commit 1.3 - Parse Aeson data with commitment https://hackage.haskell.org/package/aeson-commit-1.3 (jonascarpay)
2020-11-10 15:38:30 +0100 <tanksgiving> yes
2020-11-10 15:38:49 +0100 <dminuoso> amusement /əˈmjuːzm(ə)nt/
2020-11-10 15:38:51 +0100 <dminuoso> 1. the state or experience of finding something funny.
2020-11-10 15:38:59 +0100 <bahamas> is there any haskell library that models stochastic processes? I'm asking, because I'm hoping I will understand them better if I see them expressed as Haskell code rather than the mathematical notation
2020-11-10 15:39:47 +0100 <dminuoso> bahamas: There is https://hackage.haskell.org/package/stochastic
2020-11-10 15:40:06 +0100 <dminuoso> Also https://hackage.haskell.org/package/probability
2020-11-10 15:40:21 +0100machinedgod(~machinedg@207.253.244.210) (Quit: leaving)
2020-11-10 15:40:30 +0100hackagejs-chart 2.9.4.1 - Obtain minified chart.js code https://hackage.haskell.org/package/js-chart-2.9.4.1 (jonascarpay)
2020-11-10 15:40:35 +0100 <dminuoso> You might also find this of interest https://hackage.haskell.org/package/monad-bayes
2020-11-10 15:41:26 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-10 15:41:29 +0100 <bahamas> thanks. I knew about probability, but not stochastic
2020-11-10 15:41:35 +0100machinedgod(~machinedg@207.253.244.210)
2020-11-10 15:42:06 +0100 <bahamas> I think it might help me if I try to encode the concepts as Haskell myself
2020-11-10 15:42:30 +0100hackageelynx-markov 0.5.0 - Simulate molecular sequences along trees https://hackage.haskell.org/package/elynx-markov-0.5.0 (dschrempf)
2020-11-10 15:43:25 +0100tanksgiving(b2eb9397@178235147151.dynamic-3-poz-k-0-1-0.vectranet.pl) (Remote host closed the connection)
2020-11-10 15:43:30 +0100hackageelynx 0.5.0, tlynx 0.5.0, slynx 0.5.0, elynx-tree 0.5.0, elynx-tools 0.5.0, elynx-seq 0.5.0, elynx-nexus 0.5.0 (dschrempf)
2020-11-10 15:45:11 +0100tanksgiving(b2eb9397@178235147151.dynamic-3-poz-k-0-1-0.vectranet.pl)
2020-11-10 15:46:40 +0100eliocrat(~feliocrat@95.70.185.239) (Quit: Leaving)
2020-11-10 15:47:45 +0100 <tanksgiving> hi guys
2020-11-10 15:49:03 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa)
2020-11-10 15:53:00 +0100feliocrat(~feliocrat@95.70.185.239)
2020-11-10 15:58:58 +0100mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer)
2020-11-10 15:59:30 +0100hackagemcmc 0.3.0 - Sample from a posterior using Markov chain Monte Carlo https://hackage.haskell.org/package/mcmc-0.3.0 (dschrempf)
2020-11-10 15:59:43 +0100tanksgiving(b2eb9397@178235147151.dynamic-3-poz-k-0-1-0.vectranet.pl) (Remote host closed the connection)
2020-11-10 16:00:01 +0100ka6sox1(~ka6sox@154.13.1.56) ()
2020-11-10 16:00:13 +0100mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-11-10 16:01:52 +0100toorevitimirp(~tooreviti@117.182.180.38) (Remote host closed the connection)
2020-11-10 16:05:12 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-10 16:05:52 +0100alp(~alp@2a01:e0a:58b:4920:78ec:f779:a35b:6830) (Remote host closed the connection)
2020-11-10 16:06:14 +0100alp(~alp@2a01:e0a:58b:4920:d8c6:5298:3d79:a9e5)
2020-11-10 16:07:17 +0100noctux(~noctux@unaffiliated/noctux)
2020-11-10 16:10:38 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-10 16:15:22 +0100alp(~alp@2a01:e0a:58b:4920:d8c6:5298:3d79:a9e5) (Ping timeout: 260 seconds)
2020-11-10 16:17:53 +0100eliocrat(~feliocrat@95.70.185.239)
2020-11-10 16:18:02 +0100Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-11-10 16:20:12 +0100mmalecki(~mmalecki@185.163.110.116)
2020-11-10 16:21:02 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 16:23:52 +0100motherfsck(~motherfsc@unaffiliated/motherfsck) (Quit: quit)
2020-11-10 16:24:41 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2020-11-10 16:24:42 +0100nados(~dan@69-165-210-185.cable.teksavvy.com)
2020-11-10 16:25:07 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2020-11-10 16:25:11 +0100elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-10 16:25:55 +0100vicfred(~vicfred@unaffiliated/vicfred)
2020-11-10 16:26:15 +0100Deide(~Deide@217.155.19.23)
2020-11-10 16:27:20 +0100thir(~thir@pd9e1bd8a.dip0.t-ipconnect.de)
2020-11-10 16:28:19 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 256 seconds)
2020-11-10 16:28:47 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2020-11-10 16:29:50 +0100 <maerwald> https://www.sciencedirect.com/science/article/abs/pii/S0096055101000066 hmmm... I'm a poor student. Is there an open draft or a blog post explaining this?
2020-11-10 16:30:03 +0100 <maerwald> (lenient evaluation)
2020-11-10 16:30:05 +0100 <merijn> *cough* scihub
2020-11-10 16:30:18 +0100 <merijn> Also, did you try google scholar yet?
2020-11-10 16:30:38 +0100 <merijn> Google Scholar is usually pretty good at turning up PDFs strewn about the web
2020-11-10 16:30:49 +0100 <maerwald> well, I'm asking quite general... doesn't have to be this paper
2020-11-10 16:31:48 +0100christo(~chris@81.96.113.213)
2020-11-10 16:31:53 +0100cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-11-10 16:31:56 +0100 <merijn> Both recommendations still apply ;)
2020-11-10 16:32:02 +0100thir(~thir@pd9e1bd8a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds)
2020-11-10 16:32:52 +0100 <merijn> Also, even as non-poor non-student people shouldn't be paying for papers or I will haunt you for the rest of your life >.>
2020-11-10 16:33:22 +0100 <merijn> maerwald: Google immediately turns up a copy on psu.edu: https://scholar.google.com/scholar?q=%22Lenient+evaluation+is+neither+strict+nor+lazy%22
2020-11-10 16:34:10 +0100 <maerwald> oh
2020-11-10 16:34:53 +0100 <merijn> I have about 80% success rate turning up free PDFs by just copy pasting titles into Google Scholar
2020-11-10 16:35:23 +0100 <mniip> oh, you have to click "all 8 versions"
2020-11-10 16:35:24 +0100 <maerwald> I just completely missed the hanging pdf link
2020-11-10 16:35:45 +0100 <mniip> I was able to download a pdf off sciencedirect though
2020-11-10 16:35:55 +0100 <mniip> may or may not be because I'm on campus
2020-11-10 16:36:12 +0100 <merijn> mniip: Sometimes, depends on which version it lists first
2020-11-10 16:36:23 +0100christo(~chris@81.96.113.213) (Ping timeout: 260 seconds)
2020-11-10 16:36:53 +0100Gurkenglas_(~Gurkengla@unaffiliated/gurkenglas)
2020-11-10 16:38:08 +0100elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-11-10 16:40:06 +0100elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-10 16:43:43 +0100adm__(~adm@43.229.89.44)
2020-11-10 16:43:54 +0100adm__(~adm@43.229.89.44) (Remote host closed the connection)
2020-11-10 16:44:25 +0100adm_(~adm@43.229.89.44) (Ping timeout: 240 seconds)
2020-11-10 16:46:59 +0100isBEKaml(~isBEKaml@unaffiliated/isbekaml)
2020-11-10 16:48:30 +0100hackager-glpk-phonetic-languages-ukrainian-durations 0.2.1.0 - Can be used to calculate the durations of the approximations of the Ukrainian phonemes. https://hackage.haskell.org/package/r-glpk-phonetic-languages-ukrainian-durations-0.2.1.0 (OleksandrZhabenko)
2020-11-10 16:50:22 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-10 16:52:20 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2020-11-10 16:53:02 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de)
2020-11-10 16:54:21 +0100knupfer(~Thunderbi@200116b824445300d03c21fffe8b1536.dip.versatel-1u1.de)
2020-11-10 16:55:08 +0100knupfer(~Thunderbi@200116b824445300d03c21fffe8b1536.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-10 16:55:21 +0100knupfer(~Thunderbi@200116b824445300acdd28577d7689b3.dip.versatel-1u1.de)
2020-11-10 16:55:35 +0100isBEKaml(~isBEKaml@unaffiliated/isbekaml) (Quit: leaving)
2020-11-10 16:56:03 +0100Feuermagier_(~Feuermagi@213.178.26.41)
2020-11-10 16:56:26 +0100alp(~alp@2a01:e0a:58b:4920:d8c6:5298:3d79:a9e5)
2020-11-10 16:57:02 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 264 seconds)
2020-11-10 16:58:24 +0100acidjnk_new2(~acidjnk@p200300d0c718f622419774f60b4b795d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-10 16:58:56 +0100bahamas(~lucian@unaffiliated/bahamas) (Quit: leaving)
2020-11-10 16:59:16 +0100emptyflask(~jon@136.49.71.178)
2020-11-10 16:59:25 +0100Feuermagier(~Feuermagi@213.178.26.41) (Ping timeout: 240 seconds)
2020-11-10 16:59:31 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-11-10 17:00:19 +0100lawr3nce(~lawr3nce@gateway/tor-sasl/lawr3nce) (Quit: Leaving)
2020-11-10 17:00:24 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-10 17:01:16 +0100britva(~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f)
2020-11-10 17:02:10 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de)
2020-11-10 17:03:20 +0100mmalecki(~mmalecki@185.163.110.116) ()
2020-11-10 17:04:58 +0100Amras(~Amras@unaffiliated/amras0000)
2020-11-10 17:05:28 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 17:05:30 +0100Rudd0(~Rudd0@185.189.115.103)
2020-11-10 17:07:38 +0100britva(~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) (Quit: This computer has gone to sleep)
2020-11-10 17:07:52 +0100u0_a298(~user@47.206.148.226)
2020-11-10 17:07:55 +0100Vq(~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 246 seconds)
2020-11-10 17:08:17 +0100kritzefitz(~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2020-11-10 17:09:25 +0100star_cloud(~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2020-11-10 17:09:43 +0100britva(~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f)
2020-11-10 17:10:26 +0100Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 258 seconds)
2020-11-10 17:10:50 +0100star_cloud(~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com)
2020-11-10 17:11:25 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2020-11-10 17:12:13 +0100Cthalupa(~cthulhu@47.186.47.75)
2020-11-10 17:12:31 +0100emptyflask(~jon@136.49.71.178) (Ping timeout: 256 seconds)
2020-11-10 17:13:14 +0100wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-11-10 17:14:30 +0100emptyflask(~jon@66.64.40.21)
2020-11-10 17:14:36 +0100tenniscp25(~tenniscp2@134.196.209.118)
2020-11-10 17:17:25 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 17:17:51 +0100u0_a298(~user@47.206.148.226)
2020-11-10 17:18:53 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 17:21:09 +0100 <Ferdirand> base has Data.Complex, but does it has something for perplex numbers (aka split complex/hyperbolic numbers) ?
2020-11-10 17:21:09 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 17:21:18 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-10 17:22:08 +0100u0_a298(~user@47.206.148.226)
2020-11-10 17:22:29 +0100 <merijn> I've never heard of those, so probably not?
2020-11-10 17:23:06 +0100adm_(~adm@43.229.89.44)
2020-11-10 17:23:39 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 17:24:13 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-10 17:26:10 +0100p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-11-10 17:27:49 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2020-11-10 17:28:17 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-10 17:28:49 +0100ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection)
2020-11-10 17:31:14 +0100britva(~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) (Quit: This computer has gone to sleep)
2020-11-10 17:31:44 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 17:35:10 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 17:36:37 +0100fendor_fendor
2020-11-10 17:42:17 +0100 <tomsmeding> wouldn't be hard to build, wouldn't it?
2020-11-10 17:43:21 +0100mupf(~micha@v22017094964653601.ultrasrv.de) (Quit: WeeChat 2.9)
2020-11-10 17:44:11 +0100mupf(~micha@v22017094964653601.ultrasrv.de)
2020-11-10 17:44:22 +0100xff0x(~fox@2001:1a81:5351:7d00:cdad:5801:59ca:174) (Ping timeout: 260 seconds)
2020-11-10 17:44:36 +0100adm_(~adm@43.229.89.44) (Ping timeout: 256 seconds)
2020-11-10 17:44:52 +0100xff0x(~fox@2001:1a81:5351:7d00:ce67:d83b:bf0:863)
2020-11-10 17:46:34 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-10 17:46:39 +0100christo(~chris@81.96.113.213)
2020-11-10 17:47:02 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 17:47:19 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 17:47:51 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 17:47:56 +0100p8m_(p8m@gateway/vpn/protonvpn/p8m)
2020-11-10 17:48:00 +0100p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds)
2020-11-10 17:48:08 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 17:48:39 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 17:48:59 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 17:49:11 +0100PetitOrion(~edgardist@60.197-200-80.adsl-dyn.isp.belgacom.be)
2020-11-10 17:49:27 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 17:49:32 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 17:49:44 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 17:50:16 +0100shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-10 17:50:25 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-10 17:51:14 +0100jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-11-10 17:51:20 +0100adm_(~adm@43.229.89.44)
2020-11-10 17:51:39 +0100jb55(~jb55@gateway/tor-sasl/jb55)
2020-11-10 17:52:23 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2020-11-10 17:53:56 +0100ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-11-10 17:54:37 +0100alp(~alp@2a01:e0a:58b:4920:d8c6:5298:3d79:a9e5) (Ping timeout: 272 seconds)
2020-11-10 17:56:18 +0100raichoo(~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-11-10 17:56:22 +0100camlriot42(camlriotma@gateway/shell/matrix.org/x-ewwnkepahqtrgtjd)
2020-11-10 17:58:14 +0100Chi1thangoo(~Chi1thang@87.112.60.168)
2020-11-10 17:59:28 +0100enoq(~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-10 17:59:34 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-stoxazqgwprdeuly)
2020-11-10 18:00:45 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa)
2020-11-10 18:01:25 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 264 seconds)
2020-11-10 18:03:01 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:ea:1d89:7473:f57e)
2020-11-10 18:03:05 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 18:04:57 +0100Tario(~Tario@201.192.165.173)
2020-11-10 18:05:05 +0100jespada(~jespada@90.254.245.49) (Ping timeout: 240 seconds)
2020-11-10 18:05:14 +0100kuribas(~user@ptr-25vy0i8gy1ukj7bjvez.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2020-11-10 18:05:42 +0100conal(~conal@198.8.81.208)
2020-11-10 18:07:04 +0100jespada(~jespada@90.254.245.49)
2020-11-10 18:07:54 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds)
2020-11-10 18:09:00 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-10 18:12:20 +0100jakob_(~textual@p200300f49f162200cdda70bf42567477.dip0.t-ipconnect.de) (Quit: Textual IRC Client: www.textualapp.com)
2020-11-10 18:12:44 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-10 18:13:02 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-10 18:13:12 +0100knupfer(~Thunderbi@200116b824445300acdd28577d7689b3.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-11-10 18:14:55 +0100conal(~conal@198.8.81.208) (Quit: Computer has gone to sleep.)
2020-11-10 18:15:36 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-11-10 18:15:46 +0100Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-10 18:16:31 +0100graf_blutwurst(~user@2001:171b:226e:adc0:9188:6330:acc3:229e) (Remote host closed the connection)
2020-11-10 18:18:45 +0100 <dminuoso> maerwald: "poor student" meaning what exactly?
2020-11-10 18:18:57 +0100 <dminuoso> You have lost your bookmark to sci*cough*hub?
2020-11-10 18:19:46 +0100adm_(~adm@43.229.89.44) (Remote host closed the connection)
2020-11-10 18:21:58 +0100adm_(~adm@43.229.89.44)
2020-11-10 18:24:25 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 18:25:02 +0100dbmikus__(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-11-10 18:26:45 +0100adm_(~adm@43.229.89.44) (Ping timeout: 260 seconds)
2020-11-10 18:30:33 +0100alp(~alp@2a01:e0a:58b:4920:fc07:da88:2fc0:7924)
2020-11-10 18:30:35 +0100conal(~conal@198.8.81.208)
2020-11-10 18:30:44 +0100Vq(~vq@90-227-195-41-no77.tbcn.telia.com)
2020-11-10 18:31:02 +0100whatisRT(~whatisRT@2002:5b41:6a33:0:ea:1d89:7473:f57e) (Ping timeout: 260 seconds)
2020-11-10 18:33:10 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-10 18:34:34 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:39bc:b0d6:4899:c2fa) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 18:34:48 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 18:36:15 +0100bliminse(~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 265 seconds)
2020-11-10 18:36:47 +0100bliminse(~bliminse@host109-156-197-211.range109-156.btcentralplus.com)
2020-11-10 18:37:49 +0100borne(~fritjof@200116b8643da60021c47849b07375d7.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-11-10 18:38:05 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-10 18:38:32 +0100invaser(~Thunderbi@31.148.23.125)
2020-11-10 18:40:04 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-10 18:42:29 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 18:42:30 +0100servo(~servo@196.121.90.16) (Remote host closed the connection)
2020-11-10 18:42:59 +0100u0_a298(~user@47.206.148.226)
2020-11-10 18:44:02 +0100bitmapper(uid464869@gateway/web/irccloud.com/x-uttamgxxcsffgvha)
2020-11-10 18:44:03 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:9412:40af:8d00:a4de)
2020-11-10 18:44:42 +0100chele(~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-11-10 18:47:10 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 18:47:38 +0100u0_a298(~user@47.206.148.226)
2020-11-10 18:49:10 +0100neightchan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-11-10 18:49:16 +0100christo(~chris@81.96.113.213) (Ping timeout: 256 seconds)
2020-11-10 18:51:01 +0100natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-10 18:51:05 +0100asheshambasta(~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 246 seconds)
2020-11-10 18:52:04 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-10 18:52:56 +0100 <maerwald> I was just trying to trigger merijn into explaining it to me :p
2020-11-10 18:53:21 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2020-11-10 18:56:24 +0100alp(~alp@2a01:e0a:58b:4920:fc07:da88:2fc0:7924) (Ping timeout: 240 seconds)
2020-11-10 18:57:03 +0100conal(~conal@198.8.81.208) (Quit: Computer has gone to sleep.)
2020-11-10 18:57:05 +0100flatmap(~flatmap@p200300dd37119a0081177cf7b04d9cb9.dip0.t-ipconnect.de)
2020-11-10 18:57:23 +0100flatmap(~flatmap@p200300dd37119a0081177cf7b04d9cb9.dip0.t-ipconnect.de) (Client Quit)
2020-11-10 18:58:04 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 272 seconds)
2020-11-10 18:58:59 +0100bodisiw(~bodiskw@cpe-24-95-146-24.natcky.res.rr.com)
2020-11-10 18:59:27 +0100christo(~chris@81.96.113.213)
2020-11-10 18:59:28 +0100borne(~fritjof@200116b8643da60021c47849b07375d7.dip.versatel-1u1.de)
2020-11-10 19:00:08 +0100conal(~conal@198.8.81.208)
2020-11-10 19:00:16 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 246 seconds)
2020-11-10 19:02:19 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 19:02:56 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-10 19:03:01 +0100styledash7(~styledash@157.230.173.136) (Quit: The Lounge - https://thelounge.chat)
2020-11-10 19:03:33 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 19:03:34 +0100styledash7(~styledash@157.230.173.136)
2020-11-10 19:06:45 +0100styledash7styledash
2020-11-10 19:07:33 +0100christo(~chris@81.96.113.213)
2020-11-10 19:07:35 +0100christo(~chris@81.96.113.213) (Read error: Connection reset by peer)
2020-11-10 19:08:03 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 260 seconds)
2020-11-10 19:08:08 +0100christo(~chris@81.96.113.213)
2020-11-10 19:10:44 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 19:11:11 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 19:11:15 +0100u0_a298(~user@47.206.148.226)
2020-11-10 19:13:33 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 19:14:34 +0100mmohammadi9812(~mmohammad@80.210.53.226) (Quit: Quit)
2020-11-10 19:15:48 +0100christo(~chris@81.96.113.213)
2020-11-10 19:15:52 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-10 19:16:54 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-10 19:17:29 +0100eyenx(~eyenxeyen@unaffiliated/eye/x-1653358)
2020-11-10 19:18:18 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-11-10 19:19:06 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-10 19:19:12 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2020-11-10 19:20:06 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-10 19:20:53 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-11-10 19:22:30 +0100n8chan(~natechan@2600:1010:b041:82d4:398a:bebc:fddb:c7ea)
2020-11-10 19:22:41 +0100neightchan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-11-10 19:23:09 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 19:23:53 +0100conal(~conal@198.8.81.208) (Quit: Computer has gone to sleep.)
2020-11-10 19:24:28 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 19:24:38 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2020-11-10 19:26:13 +0100conal(~conal@198.8.81.208)
2020-11-10 19:27:43 +0100n8chan(~natechan@2600:1010:b041:82d4:398a:bebc:fddb:c7ea) (Ping timeout: 272 seconds)
2020-11-10 19:28:24 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de)
2020-11-10 19:28:49 +0100n8chan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-11-10 19:29:26 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-10 19:32:21 +0100nahcetan(~natechan@2600:1010:b04e:844f:a9a3:c296:b139:a7dc)
2020-11-10 19:33:31 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 19:33:58 +0100n8chan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-10 19:36:05 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 19:36:21 +0100keltono(~keltono@x-160-94-179-178.acm.umn.edu)
2020-11-10 19:36:36 +0100u0_a298(~user@47.206.148.226)
2020-11-10 19:37:57 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-10 19:38:43 +0100christo(~chris@81.96.113.213)
2020-11-10 19:40:53 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 19:41:17 +0100u0_a298(~user@47.206.148.226)
2020-11-10 19:41:25 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 19:43:01 +0100PetitOrion(~edgardist@60.197-200-80.adsl-dyn.isp.belgacom.be) (Quit: Quitte)
2020-11-10 19:43:16 +0100christo(~chris@81.96.113.213) (Ping timeout: 256 seconds)
2020-11-10 19:43:20 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-10 19:44:10 +0100juuandyy(~juuandyy@90.166.144.65)
2020-11-10 19:46:05 +0100eyenx(~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: Bridge terminating on SIGTERM)
2020-11-10 19:46:32 +0100nahcetan(~natechan@2600:1010:b04e:844f:a9a3:c296:b139:a7dc) (Ping timeout: 260 seconds)
2020-11-10 19:47:41 +0100eyenx(~eyenxeyen@unaffiliated/eye/x-1653358)
2020-11-10 19:47:42 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2020-11-10 19:47:50 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 19:48:40 +0100nahcetan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-11-10 19:49:17 +0100mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-11-10 19:50:20 +0100bodisiw(~bodiskw@cpe-24-95-146-24.natcky.res.rr.com) (Quit: Leaving)
2020-11-10 19:51:38 +0100borne(~fritjof@200116b8643da60021c47849b07375d7.dip.versatel-1u1.de) (Ping timeout: 246 seconds)
2020-11-10 19:52:25 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 264 seconds)
2020-11-10 19:54:14 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-11-10 19:55:09 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 19:57:59 +0100juuandyy(~juuandyy@90.166.144.65) (Ping timeout: 256 seconds)
2020-11-10 19:58:12 +0100Redrum020(~crack020@public-nat-08.vpngate.v4.open.ad.jp) ()
2020-11-10 19:58:48 +0100machinedgod(~machinedg@207.253.244.210) (Ping timeout: 260 seconds)
2020-11-10 19:59:23 +0100machinedgod(~machinedg@207.253.244.210)
2020-11-10 19:59:34 +0100plakband(~plakband@softbank126126238105.bbtec.net)
2020-11-10 19:59:36 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-10 20:00:41 +0100LKoen(~LKoen@77.174.9.109.rev.sfr.net) (Remote host closed the connection)
2020-11-10 20:01:44 +0100Kaivo(~Kaivo@104-200-86-99.mc.derytele.com) (Ping timeout: 256 seconds)
2020-11-10 20:02:10 +0100juuandyy(~juuandyy@90.166.144.65)
2020-11-10 20:02:16 +0100britva(~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f)
2020-11-10 20:03:26 +0100berberman(~berberman@unaffiliated/berberman)
2020-11-10 20:04:09 +0100Kaivo(~Kaivo@ec2-15-222-231-32.ca-central-1.compute.amazonaws.com)
2020-11-10 20:04:14 +0100berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds)
2020-11-10 20:04:31 +0100hackagepolysemy-extra 0.1.1.0 - Extra Input and Output functions for polysemy.. https://hackage.haskell.org/package/polysemy-extra-0.1.1.0 (locallycompact)
2020-11-10 20:05:24 +0100conal(~conal@198.8.81.208) (Quit: Computer has gone to sleep.)
2020-11-10 20:07:27 +0100conal(~conal@198.8.81.208)
2020-11-10 20:07:31 +0100kritzefitz(~kritzefit@212.86.56.80)
2020-11-10 20:10:50 +0100solonarv(~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2020-11-10 20:10:50 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-10 20:11:37 +0100britva(~britva@2a02:aa13:7240:2980:8973:b5bc:951d:7f1f) (Quit: This computer has gone to sleep)
2020-11-10 20:11:51 +0100conal(~conal@198.8.81.208) (Quit: Computer has gone to sleep.)
2020-11-10 20:12:01 +0100lucente(~lucente@141.98.255.154)
2020-11-10 20:12:47 +0100LKoen(~LKoen@77.174.9.109.rev.sfr.net)
2020-11-10 20:12:53 +0100juuandyy(~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-11-10 20:12:55 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9)
2020-11-10 20:13:08 +0100juuandyy(~juuandyy@90.166.144.65)
2020-11-10 20:13:14 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-11-10 20:13:30 +0100conal(~conal@198.8.81.208)
2020-11-10 20:14:30 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-11-10 20:15:33 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-10 20:17:50 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-10 20:20:06 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 20:20:13 +0100polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-11-10 20:20:28 +0100u0_a298(~user@47.206.148.226)
2020-11-10 20:22:42 +0100emptyflask(~jon@66.64.40.21) (Ping timeout: 256 seconds)
2020-11-10 20:22:43 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 20:23:09 +0100u0_a298(~user@47.206.148.226)
2020-11-10 20:24:44 +0100emptyflask(~jon@136.49.71.178)
2020-11-10 20:26:22 +0100elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer)
2020-11-10 20:28:07 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 20:28:29 +0100wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-10 20:31:02 +0100borne(~fritjof@200116b8643da60021c47849b07375d7.dip.versatel-1u1.de)
2020-11-10 20:32:44 +0100acidjnk_new2(~acidjnk@p200300d0c718f622419774f60b4b795d.dip0.t-ipconnect.de)
2020-11-10 20:33:05 +0100bitmagie(~Thunderbi@200116b806cd050085d57d49b88c0858.dip.versatel-1u1.de) (Quit: bitmagie)
2020-11-10 20:34:09 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 260 seconds)
2020-11-10 20:35:09 +0100samlamamma(~user@h188-122-129-70.cust.a3fiber.se)
2020-11-10 20:36:04 +0100dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-11-10 20:36:22 +0100conal(~conal@198.8.81.208) (Quit: Computer has gone to sleep.)
2020-11-10 20:36:55 +0100 <samlamamma> I currently install ghc through my distro's package manager. Can you instead use Cabal or Stackage to upgrade ghc? My ghc gets updated quite slowly
2020-11-10 20:37:15 +0100 <maerwald> samlamamma: https://www.haskell.org/ghcup/
2020-11-10 20:37:27 +0100conal(~conal@198.8.81.208)
2020-11-10 20:37:49 +0100 <geekosaur> not presently, but there's ghcup. or stack can install ghc for its own use, and you can get to it indirectly via stack exec
2020-11-10 20:39:11 +0100 <geekosaur> ghcup is probably the best way currently
2020-11-10 20:39:32 +0100 <maerwald> merijn: I'm not too convinced of lenient. So all it gives over strict is recursively defined data structures. Then again, I see papers solving that problem in strict languages anyway
2020-11-10 20:39:52 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-10 20:39:53 +0100cgfuh(~cgfuh@181.167.191.58)
2020-11-10 20:39:55 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
2020-11-10 20:41:37 +0100 <samlamamma> Thank you! Currently installing :-)
2020-11-10 20:41:58 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-10 20:42:09 +0100 <maerwald> and the paper makes a few good argument pro lazy, in fact
2020-11-10 20:42:48 +0100juuandyy(~juuandyy@90.166.144.65) (Ping timeout: 258 seconds)
2020-11-10 20:43:22 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 20:44:03 +0100thc202(~thc202@unaffiliated/thc202) (Remote host closed the connection)
2020-11-10 20:44:25 +0100 <maerwald> evaluating arguments in parallel sounds like a cool thing though
2020-11-10 20:44:44 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-10 20:45:03 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-10 20:46:27 +0100 <dminuoso> maerwald: In principle, that's non-strictness though.
2020-11-10 20:46:32 +0100 <maerwald> yes
2020-11-10 20:46:36 +0100 <maerwald> lenient is non-strict
2020-11-10 20:46:44 +0100 <dminuoso> Right, Im just saying GHC could do this as well
2020-11-10 20:46:50 +0100 <maerwald> potentially
2020-11-10 20:47:05 +0100 <dminuoso> The language has considerations for that, in fact.
2020-11-10 20:47:11 +0100 <maerwald> But the error behavior would be more like a strict language that a lazy one
2020-11-10 20:47:19 +0100 <maerwald> *than
2020-11-10 20:47:30 +0100 <dminuoso> The way seq is defined for instance, does not guarantee that in x `seq` y x is forced *before* y.
2020-11-10 20:47:44 +0100 <dminuoso> The report is very careful in that regard, as is the ghc/base implementation
2020-11-10 20:48:08 +0100 <dminuoso> (That was done to allow for implementations speculatively forcing x)
2020-11-10 20:48:14 +0100 <dminuoso> perhaps in parallel
2020-11-10 20:48:23 +0100ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net)
2020-11-10 20:48:57 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-10 20:51:02 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 20:51:25 +0100heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-10 20:51:27 +0100u0_a298(~user@47.206.148.226)
2020-11-10 20:52:02 +0100 <samlamamma> Quick question: ghcup asked me if I wanted haskell language server, I said YES. Then I updated my ghc using ghcup, do I then also need to update HLS through ghcup?
2020-11-10 20:52:46 +0100 <maerwald> samlamamma: it manages HLS too, yes
2020-11-10 20:52:58 +0100mputz(~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz)
2020-11-10 20:53:16 +0100 <maerwald> I don't think hls currently has a self-updater either
2020-11-10 20:53:40 +0100jamm_(~jamm@unaffiliated/jamm)
2020-11-10 20:54:07 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2020-11-10 20:55:37 +0100neiluj(~jco@167.198.204.77.rev.sfr.net)
2020-11-10 20:55:45 +0100neiluj(~jco@167.198.204.77.rev.sfr.net) (Changing host)
2020-11-10 20:55:45 +0100neiluj(~jco@unaffiliated/neiluj)
2020-11-10 20:56:47 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 20:56:59 +0100emptyflask(~jon@136.49.71.178) (Quit: WeeChat 2.9)
2020-11-10 20:57:42 +0100 <samlamamma> Yeah, I was just confused because it said the latest version was installed of HLS. Turns out it downloaded all of the binaries of HLS for the varying GHCs that it supports
2020-11-10 20:57:42 +0100tenniscp25(~tenniscp2@134.196.209.118) ()
2020-11-10 20:57:56 +0100 <maerwald> yes
2020-11-10 20:58:14 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2020-11-10 20:58:32 +0100juuandyy(~juuandyy@90.166.144.65)
2020-11-10 20:58:53 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2020-11-10 20:59:02 +0100 <samlamamma> OK, gonna restart Emacs and try out HLS :-)!
2020-11-10 20:59:04 +0100samlamamma(~user@h188-122-129-70.cust.a3fiber.se) (Remote host closed the connection)
2020-11-10 20:59:21 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
2020-11-10 20:59:58 +0100 <maerwald> this is why my IRC client doesn't run inside my editor :p
2020-11-10 21:00:38 +0100 <Uniaika> :'')
2020-11-10 21:01:42 +0100 <geekosaur> mine runs in my browser, which is almost as bad >.>
2020-11-10 21:01:52 +0100 <dminuoso> geekosaur: those three can be the same!
2020-11-10 21:02:30 +0100 <geekosaur> yes, which makes even less sense
2020-11-10 21:02:32 +0100 <maerwald> Yeah, I also prefer the github online editor
2020-11-10 21:02:43 +0100 <maerwald> with a fake gpg sig
2020-11-10 21:02:51 +0100 <geekosaur> admittedly most things in the browser only require reloading a page, not the whole browser
2020-11-10 21:03:00 +0100 <geekosaur> except once a week…
2020-11-10 21:05:16 +0100rprije(~rprije@124.148.131.132)
2020-11-10 21:05:16 +0100u0_a298(~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-10 21:05:33 +0100inkbottle(~inkbottle@aaubervilliers-654-1-157-172.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-11-10 21:05:40 +0100u0_a298(~user@47.206.148.226)
2020-11-10 21:05:54 +0100inkbottle(~inkbottle@aaubervilliers-654-1-157-172.w86-212.abo.wanadoo.fr)
2020-11-10 21:05:58 +0100 <monochrom> every software evolves until it contains an email client and an operating system
2020-11-10 21:06:33 +0100 <maerwald> systemd already has an email client right?
2020-11-10 21:06:44 +0100 <davean> Clearly the correct approach is for your editor and web client to run inside your IRC client.
2020-11-10 21:06:49 +0100 <monochrom> wait what? hahaha
2020-11-10 21:07:05 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds)
2020-11-10 21:07:39 +0100 <dminuoso> Microsoft went the other way, start with the browser and then build the editor inside it.
2020-11-10 21:07:54 +0100 <maerwald> davean: just need a tmux wrapper in weechat and you're good to go
2020-11-10 21:08:03 +0100goldfire(~anonymous@c-76-124-205-20.hsd1.pa.comcast.net)
2020-11-10 21:08:34 +0100 <monochrom> davean: That would be http://hackage.haskell.org/package/manatee
2020-11-10 21:09:19 +0100 <monochrom> The author believed that an IDE for Haskell needed: a web browser for the docs, an editor for the code, and an IRC client for #haskell
2020-11-10 21:10:03 +0100 <davean> They were mostly right. They just missunderstood IRC
2020-11-10 21:10:14 +0100 <davean> its for #ghc to report the compiler bugs
2020-11-10 21:10:20 +0100christo(~chris@81.96.113.213)
2020-11-10 21:10:23 +0100 <monochrom> haha
2020-11-10 21:10:39 +0100 <dminuoso> Love how manatee doesnt even come with haddocks on hackage.
2020-11-10 21:10:49 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-bmbzufjnykieegjo) (Quit: Connection closed for inactivity)
2020-11-10 21:11:00 +0100hackageprolude 0.0.0.7 - ITProTV's custom prelude https://hackage.haskell.org/package/prolude-0.0.0.7 (saramuse)
2020-11-10 21:11:10 +0100 <monochrom> perhaps because gtk build difficulty on hackage
2020-11-10 21:11:25 +0100 <monochrom> Plus it's also pretty old code.
2020-11-10 21:11:44 +0100 <monochrom> As usual, the author joined a bank and never showed up here again.
2020-11-10 21:12:35 +0100 <davean> Haskell does drive people to banking
2020-11-10 21:12:50 +0100 <dminuoso> We drive networking with haskell
2020-11-10 21:14:23 +0100 <monochrom> #haskell is like little colony depicting in the movie The Island
2020-11-10 21:14:38 +0100xenon-(~bc8165ab@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2020-11-10 21:15:00 +0100 <monochrom> Every once in a while, we welcome a beginner with "yay you're finally rescued from the poisonous imperative world outside! It's safe here."
2020-11-10 21:15:35 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 21:15:37 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 21:15:48 +0100 <Rembane> And then they get snatched up by a bank.
2020-11-10 21:15:49 +0100 <monochrom> Also every once in a while, a lottery sends one of us to "the FP banking paradise" and whoever are sent will be never seen here again.
2020-11-10 21:16:46 +0100aarvar(~foewfoiew@c.24.56.239.179.static.broadstripe.net)
2020-11-10 21:16:49 +0100Ariakenom(~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se)
2020-11-10 21:17:11 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-10 21:20:01 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-10 21:21:48 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-10 21:21:57 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-11-10 21:22:05 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-10 21:25:19 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 21:25:22 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:9412:40af:8d00:a4de) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 21:25:30 +0100hackageghc-check 0.5.0.2 - detect mismatches between compile-time and run-time versions of the ghc api https://hackage.haskell.org/package/ghc-check-0.5.0.2 (PepeIborra)
2020-11-10 21:27:45 +0100 <maerwald> xD
2020-11-10 21:28:35 +0100AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-11-10 21:28:43 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-11-10 21:28:53 +0100 <maerwald> haskell is just a way to get better salary now without 20 years of Java industry experience... true laziness?
2020-11-10 21:29:15 +0100 <pjb> Yes.
2020-11-10 21:29:45 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-10 21:29:51 +0100 <Uniaika> wonderful
2020-11-10 21:30:58 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:9412:40af:8d00:a4de)
2020-11-10 21:31:44 +0100Rembane(~Rembane@li346-36.members.linode.com) (Quit: It is time to reboot)
2020-11-10 21:32:02 +0100adm(~adm@43.229.89.44)
2020-11-10 21:36:22 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
2020-11-10 21:36:48 +0100adm(~adm@43.229.89.44) (Ping timeout: 260 seconds)
2020-11-10 21:40:33 +0100coot(~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-10 21:41:07 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:9412:40af:8d00:a4de) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 21:41:52 +0100juuandyy(~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-11-10 21:42:15 +0100 <merijn> monochrom: Are you sure that's not a secret sacrifice to the old ones?
2020-11-10 21:42:48 +0100conal(~conal@198.8.81.208) (Quit: Computer has gone to sleep.)
2020-11-10 21:43:46 +0100conal(~conal@198.8.81.208)
2020-11-10 21:44:04 +0100Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-11-10 21:47:18 +0100ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Read error: Connection reset by peer)
2020-11-10 21:47:22 +0100ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Read error: Connection reset by peer)
2020-11-10 21:47:36 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-11-10 21:47:53 +0100u0_a298(~user@47.206.148.226) (Ping timeout: 260 seconds)
2020-11-10 21:48:24 +0100feliocrat(~feliocrat@95.70.185.239) (Quit: Leaving)
2020-11-10 21:49:33 +0100conal(~conal@198.8.81.208) (Quit: Computer has gone to sleep.)
2020-11-10 21:49:51 +0100asnyx(~asnyx@brettgilio.com)
2020-11-10 21:50:53 +0100conal(~conal@198.8.81.208)
2020-11-10 21:51:07 +0100conal(~conal@198.8.81.208) (Client Quit)
2020-11-10 21:51:31 +0100shatriff(~vitaliish@176.52.219.10)
2020-11-10 21:53:03 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 21:55:00 +0100hackagephonetic-languages-examples 0.3.2.0 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.3.2.0 (OleksandrZhabenko)
2020-11-10 21:57:08 +0100knupfer(~Thunderbi@mue-88-130-61-051.dsl.tropolys.de)
2020-11-10 21:58:32 +0100nados(~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 256 seconds)
2020-11-10 21:58:48 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone)
2020-11-10 21:59:28 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 21:59:29 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:9412:40af:8d00:a4de)
2020-11-10 22:00:56 +0100conal(~conal@198.8.81.208)
2020-11-10 22:01:10 +0100daydaynatation(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2020-11-10 22:01:22 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 256 seconds)
2020-11-10 22:03:31 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-11-10 22:03:40 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com)
2020-11-10 22:04:06 +0100 <Feuermagier_> How hard is Djikstra in Haskell? - I've implemented it in other languages successfully, but am new to Haskell would like to try an implementation.
2020-11-10 22:04:14 +0100Kipras_(~Kipras@78-56-235-39.static.zebra.lt)
2020-11-10 22:04:20 +0100ransom(~c4264035@2601:285:201:6720:446:a45f:fd1d:62c1)
2020-11-10 22:05:32 +0100 <merijn> *Dijkstra
2020-11-10 22:05:39 +0100argent0(~argent0@168.227.98.80)
2020-11-10 22:05:58 +0100 <merijn> It depends on what data structure you wanna implement it on?
2020-11-10 22:06:41 +0100xff0x(~fox@2001:1a81:5351:7d00:ce67:d83b:bf0:863) (Ping timeout: 272 seconds)
2020-11-10 22:06:43 +0100todda7(~torstein@ppp-2-84-27-210.home.otenet.gr)
2020-11-10 22:06:49 +0100tsaka__(~torstein@ppp-2-84-29-23.home.otenet.gr) (Ping timeout: 246 seconds)
2020-11-10 22:07:05 +0100xff0x(~fox@2001:1a81:5351:7d00:b85:39de:f1a2:e86d)
2020-11-10 22:08:02 +0100christo(~chris@81.96.113.213)
2020-11-10 22:08:10 +0100justsomeguy(~justsomeg@2603:9000:960a:fc00:c4d2:5b73:c7b7:3a2b)
2020-11-10 22:08:10 +0100justsomeguy(~justsomeg@2603:9000:960a:fc00:c4d2:5b73:c7b7:3a2b) (Changing host)
2020-11-10 22:08:10 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-11-10 22:09:06 +0100 <Feuermagier_> merijn, I know barely anything about datastructures in haskell. I'll probably have to learn about them in the process.
2020-11-10 22:09:19 +0100christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-11-10 22:09:24 +0100 <merijn> What did you use in other languages?
2020-11-10 22:09:39 +0100 <koz_> Feuermagier_: I think what merijn wants to know is 'how did you want to represent your graph?'.
2020-11-10 22:09:45 +0100 <koz_> Like, adjacency matrix, adjacency list, some other thing?
2020-11-10 22:09:48 +0100 <merijn> That, yeah
2020-11-10 22:09:58 +0100 <koz_> (algebraic graph if you wanna flex)
2020-11-10 22:10:01 +0100 <merijn> koz_: Clearly CSR is superior :p
2020-11-10 22:10:05 +0100 <koz_> CSR?
2020-11-10 22:10:31 +0100 <merijn> Compressed Spare Row (usually a representation for sparse matrices, but then again, what is a graph if not a sparse matrix)
2020-11-10 22:10:43 +0100 <koz_> Ah, so 'not terrible adjaceny matrix'.
2020-11-10 22:11:02 +0100 <koz_> s/adjaceny/adjacency/
2020-11-10 22:11:15 +0100 <koz_> (that word's spelling annoys me)
2020-11-10 22:11:22 +0100 <koz_> (it should be 'ajasensy')
2020-11-10 22:12:25 +0100 <Feuermagier_> I'll probably go for an adjecenjy matrix or list
2020-11-10 22:12:43 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-10 22:12:56 +0100alp(~alp@2a01:e0a:58b:4920:8da6:37da:b1a5:2020)
2020-11-10 22:13:15 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 22:17:02 +0100PlasmaStar(plasma@unaffiliated/plasmastar) (Ping timeout: 260 seconds)
2020-11-10 22:17:27 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-10 22:17:29 +0100geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-10 22:18:25 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds)
2020-11-10 22:19:46 +0100 <justsomeguy> Is there something special about singly-linked lists that makes it easier to use without direct mutation than arrays or doubly-linked lists? There seems to be a special emphasis on the list type, and I'm trying to figure out why.
2020-11-10 22:19:59 +0100borne(~fritjof@200116b8643da60021c47849b07375d7.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-11-10 22:20:01 +0100 <koz_> justsomeguy: Mostly legacy. Lists were all the rage back then.
2020-11-10 22:20:13 +0100 <merijn> That's an oversimplification
2020-11-10 22:20:24 +0100 <merijn> Linked lists are basically "loops as data structure"
2020-11-10 22:20:34 +0100 <merijn> Loops are common, therefore lists are common
2020-11-10 22:20:37 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-11-10 22:20:41 +0100luke(~luke@bitnomial/staff/luke)
2020-11-10 22:20:47 +0100avdb(~avdb@ip-213-49-61-163.dsl.scarlet.be) (Ping timeout: 256 seconds)
2020-11-10 22:20:56 +0100kipras(~Kipras@78-56-235-39.static.zebra.lt)
2020-11-10 22:20:59 +0100crdrost(~crdrost@c-98-207-102-156.hsd1.ca.comcast.net)
2020-11-10 22:21:18 +0100 <koz_> Someone said (I think it was solonarv?) that lists are a great control structure, but a terrible data structure.
2020-11-10 22:21:21 +0100 <merijn> justsomeguy: doubly-linked lists are hard/annoying to build if you don't have mutation, because well, if how are you going to set all "next" *and* "previous" links simultaneously
2020-11-10 22:21:35 +0100xintron(~xintron@unaffiliated/xintron) (Quit: aoeu)
2020-11-10 22:22:07 +0100 <dolio> They're not a terrible data structure.
2020-11-10 22:22:33 +0100 <koz_> dolio: My quote may be lacking context.
2020-11-10 22:22:38 +0100 <koz_> (and in fact, likely is)
2020-11-10 22:22:46 +0100thir(~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-11-10 22:23:28 +0100Kipras_(~Kipras@78-56-235-39.static.zebra.lt) (Ping timeout: 260 seconds)
2020-11-10 22:23:33 +0100xintron(~xintron@unaffiliated/xintron)
2020-11-10 22:23:34 +0100thir(~thir@pd9e1bd8a.dip0.t-ipconnect.de)
2020-11-10 22:23:35 +0100Varis(~Tadas@unaffiliated/varis)
2020-11-10 22:26:57 +0100 <dolio> Well, that is the essence of the problem. It makes no sense to call something a "terrible data structure" without context. And lists are fine for a lot of common uses.
2020-11-10 22:27:56 +0100thir(~thir@pd9e1bd8a.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2020-11-10 22:28:15 +0100 <dolio> You don't always need to access both sides or index into or find something in a collection of things, or any number of other operations that are suboptimal on lists.
2020-11-10 22:28:26 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-10 22:28:52 +0100Rembane(~Rembane@li346-36.members.linode.com)
2020-11-10 22:30:04 +0100 <justsomeguy> I guess it may be easier to share parts of a list that are unchanged, since you don't have to keep them contiguously in memory, and you can just change the linkages between cons cells.
2020-11-10 22:30:12 +0100daydaynatation(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-11-10 22:30:19 +0100xintron(~xintron@unaffiliated/xintron) (Quit: Ping timeout (120 seconds))
2020-11-10 22:30:43 +0100 <crdrost> for that matter there is a duality between data structures and the control structures that consume them, it doesn't make sense to say that the control structure is great but the data structure is terrible, they're the same thing
2020-11-10 22:30:46 +0100xintron(~xintron@unaffiliated/xintron)
2020-11-10 22:31:55 +0100Sheilong(uid293653@gateway/web/irccloud.com/x-jmssjdeibemlfomz)
2020-11-10 22:32:05 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-10 22:32:09 +0100jmcarthur(~jmcarthur@2601:86:500:2a40:db56:5d66:5919:c95d)
2020-11-10 22:35:18 +0100lucente(~lucente@141.98.255.154) (Quit: Leaving)
2020-11-10 22:35:34 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-10 22:36:14 +0100jedws(~jedws@101.184.150.81) (Read error: Connection reset by peer)
2020-11-10 22:36:25 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-10 22:36:26 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:9412:40af:8d00:a4de) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 22:37:06 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 22:37:38 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
2020-11-10 22:40:09 +0100knupfer(~Thunderbi@mue-88-130-61-051.dsl.tropolys.de) (Ping timeout: 260 seconds)
2020-11-10 22:40:10 +0100 <dolio> Sharing is the definite difference between singly linked lists and the other two examples. Tails of immutable singly linked lists can be shared. Nothing in the structure of an immutable array or doubly linked list can be shared.
2020-11-10 22:40:14 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-10 22:40:31 +0100hackagephonetic-languages-examples 0.3.3.0 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.3.3.0 (OleksandrZhabenko)
2020-11-10 22:41:30 +0100hackageuniqueness-periods-vector-examples 0.14.3.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.14.3.0 (OleksandrZhabenko)
2020-11-10 22:41:33 +0100neiluj(~jco@unaffiliated/neiluj) (Ping timeout: 260 seconds)
2020-11-10 22:42:19 +0100neiluj(~jco@167.198.204.77.rev.sfr.net)
2020-11-10 22:43:14 +0100PlasmaStar(plasma@unaffiliated/plasmastar)
2020-11-10 22:43:15 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2020-11-10 22:43:30 +0100hackagesemibounded-lattices 0.1.1.0 - A Haskell implementation of semibounded lattices https://hackage.haskell.org/package/semibounded-lattices-0.1.1.0 (xuhao)
2020-11-10 22:44:44 +0100chaosmasttter(~chaosmast@p200300c4a7087201b9a0378611bb36f0.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-10 22:45:09 +0100wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-10 22:45:38 +0100wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-10 22:46:59 +0100borne(~fritjof@200116b8643da60021c47849b07375d7.dip.versatel-1u1.de)
2020-11-10 22:47:36 +0100 <justsomeguy> This is reminding me of how commits in git can be changed while still being mostly immutable.
2020-11-10 22:48:33 +0100argent0(~argent0@168.227.98.80) (Ping timeout: 260 seconds)
2020-11-10 22:48:45 +0100 <merijn> dolio: Sure it can, you just can never mutate it afterwards :p
2020-11-10 22:49:21 +0100 <merijn> And the use for a datastructure where you can never insert/delete something is rather small
2020-11-10 22:49:52 +0100 <justsomeguy> Do the "links" in a singly-linked list point backwards (or forwards)?
2020-11-10 22:49:56 +0100 <dolio> No sharing can happen with only one person.
2020-11-10 22:50:18 +0100 <merijn> justsomeguy: That's a matter of perspective :p
2020-11-10 22:51:38 +0100xff0x(~fox@2001:1a81:5351:7d00:b85:39de:f1a2:e86d) (Ping timeout: 264 seconds)
2020-11-10 22:52:15 +0100xff0x(~fox@2001:1a81:5351:7d00:ff4e:e2bf:70c0:a262)
2020-11-10 22:52:52 +0100jonatanb(~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-10 22:53:05 +0100 <dolio> 'I shared the cake with myself by eating the whole thing.' :P
2020-11-10 22:54:37 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 260 seconds)
2020-11-10 22:54:40 +0100leungbk(~user@cpe-104-33-52-83.socal.res.rr.com) (Ping timeout: 258 seconds)
2020-11-10 22:55:07 +0100neiluj(~jco@167.198.204.77.rev.sfr.net) (Ping timeout: 246 seconds)
2020-11-10 22:55:09 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2020-11-10 22:55:55 +0100 <pjb> Well, if you sell the cake to yourself, you can also have it, but not entirely, since then you'll have to pay to the state value added tax, and income tax.
2020-11-10 22:56:10 +0100neiluj(~jco@167.198.204.77.rev.sfr.net)
2020-11-10 22:58:03 +0100lucente(~lucente@141.98.255.154)
2020-11-10 22:58:16 +0100leungbk(~user@2605:e000:1315:706:c5ee:55b1:3703:cac)
2020-11-10 22:58:28 +0100 <monochrom> For Dijkstra's algorithm, the input graph format being as a bunch of adjacency lists is fairly uncontroversial, and it really doesn't matter what you use for "list" because you're just traversing it in one direction.
2020-11-10 22:59:16 +0100 <monochrom> The hard part though is what you use to track "has this vertex been visited?" and to track the priority queue.
2020-11-10 22:59:25 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2020-11-10 22:59:56 +0100bennofs1(~benno@dslb-094-222-086-095.094.222.pools.vodafone-ip.de)
2020-11-10 23:00:01 +0100 <monochrom> To be fair, the priority queue part is annoying even in imperative languages with mutable data structures.
2020-11-10 23:01:05 +0100 <monochrom> Because you have to support the operation "look up by vertex (emphatically not by priority) and bump down it's priority".
2020-11-10 23:01:31 +0100 <koz_> monochrom: Yeah, changeKey is something that I remember my own data structures course being incredibly glib about.
2020-11-10 23:01:33 +0100 <monochrom> Most textbooks, especially the imperative ones, simply gross over it.
2020-11-10 23:01:45 +0100 <koz_> monochrom: 'Gross' over it is 100% the right term.
2020-11-10 23:02:01 +0100neiluj(~jco@167.198.204.77.rev.sfr.net) (Ping timeout: 264 seconds)
2020-11-10 23:02:42 +0100 <monochrom> Well, they don't gross over "if you already have the address of the node, how to bump down its priority". But they simply refuse to mention "how to find that address in the first place". It's bordering on scamming.
2020-11-10 23:03:14 +0100 <monochrom> IMO only Ralf Hinze's "priority search queue" does justice to this topic.
2020-11-10 23:03:28 +0100thir(~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de)
2020-11-10 23:04:01 +0100mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 265 seconds)
2020-11-10 23:04:36 +0100wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-11-10 23:04:50 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-10 23:06:08 +0100 <koz_> monochrom: It goes beyond 'bordering'. I'd argue it's more 'crossing the border then setting up camp on the other side'.
2020-11-10 23:06:28 +0100 <koz_> The argument I saw amounts to basically yelling 'POINTERS LOL' and that's about it.
2020-11-10 23:07:52 +0100neiluj(~jco@167.198.204.77.rev.sfr.net)
2020-11-10 23:07:56 +0100 <justsomeguy> To insert an element into the middle of a list, don't you still have to do mutation (of previous cons cells link to the next element)? It seems to me that there is still some mutation, even though you can share more of the structure.
2020-11-10 23:08:06 +0100 <koz_> justsomeguy: You copy everything preceding it.
2020-11-10 23:08:13 +0100invaser(~Thunderbi@31.148.23.125)
2020-11-10 23:08:15 +0100 <koz_> Then tail-share the rest.
2020-11-10 23:08:58 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Ping timeout: 260 seconds)
2020-11-10 23:09:30 +0100 <justsomeguy> This is kind of fun :)
2020-11-10 23:11:05 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-10 23:11:17 +0100thir(~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-10 23:11:40 +0100mbomba(~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Client Quit)
2020-11-10 23:11:43 +0100conal(~conal@198.8.81.208) (Quit: Computer has gone to sleep.)
2020-11-10 23:12:49 +0100invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-11-10 23:14:23 +0100conal(~conal@198.8.81.208)
2020-11-10 23:14:25 +0100conal(~conal@198.8.81.208) (Client Quit)
2020-11-10 23:15:42 +0100ransom(~c4264035@2601:285:201:6720:446:a45f:fd1d:62c1) (Ping timeout: 260 seconds)
2020-11-10 23:16:27 +0100 <lucente> hey, I have completed tic-tac-toe, expect for some minor errors in loop. Could you give me a hand? Particular problem is explained right on the end of comment inside the code. Code: https://ideone.com/XuLTsy
2020-11-10 23:16:59 +0100jmcarthur(~jmcarthur@2601:86:500:2a40:db56:5d66:5919:c95d) (Ping timeout: 272 seconds)
2020-11-10 23:18:25 +0100ransom(~c4264035@c-67-176-3-106.hsd1.co.comcast.net)
2020-11-10 23:18:25 +0100neiluj(~jco@167.198.204.77.rev.sfr.net) (Ping timeout: 260 seconds)
2020-11-10 23:19:18 +0100neiluj(~jco@167.198.204.77.rev.sfr.net)
2020-11-10 23:20:09 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-10 23:21:53 +0100invaser(~Thunderbi@31.148.23.125)
2020-11-10 23:22:18 +0100britva(~britva@31.10.157.156)
2020-11-10 23:22:37 +0100 <hekkaidekapus> lucente: Add these 3 lines at the top of your file:
2020-11-10 23:22:39 +0100 <hekkaidekapus> module Main ( main ) where
2020-11-10 23:22:48 +0100 <hekkaidekapus> main :: IO ()
2020-11-10 23:22:56 +0100 <hekkaidekapus> main = pure ()
2020-11-10 23:25:12 +0100Franciman(~francesco@host-82-56-223-169.retail.telecomitalia.it) (Quit: Leaving)
2020-11-10 23:25:13 +0100 <merijn> lucente: 10 dollars says the missing 8,8 is due to lack of final newline and line-buffered stdout :p
2020-11-10 23:25:20 +0100 <merijn> Try using putStrLn instead of putStr
2020-11-10 23:25:21 +0100 <lucente> hekkaidekapus, done. I write haskell in emacs and load it to ghci.. so I don't get my hands on working with main
2020-11-10 23:26:07 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-10 23:26:58 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-10 23:27:05 +0100 <hekkaidekapus> lucente: Those lines are fixing this error: `The IO action ‘main’ is not defined in module ‘Main’` from your pasted code.
2020-11-10 23:28:14 +0100 <merijn> lucente: As for some general other tips: "ticktack" would probably look nicer if you ditch the if/then/else and use guards, the parentheses on line 59 are all redundant (although, even better would again be to get rid of the if/then/else)
2020-11-10 23:28:19 +0100ransom(~c4264035@c-67-176-3-106.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-10 23:29:05 +0100 <hekkaidekapus> And `concat . map = concatMap`.
2020-11-10 23:29:11 +0100luke(~luke@bitnomial/staff/luke) (Quit: sleep)
2020-11-10 23:29:21 +0100 <merijn> I'm guessing the inverted output is due to a logical error in the order you traverse the list, but I'm too lazy to be bothered to think it through
2020-11-10 23:31:05 +0100ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 265 seconds)
2020-11-10 23:32:02 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 256 seconds)
2020-11-10 23:33:10 +0100neiluj(~jco@167.198.204.77.rev.sfr.net) (Ping timeout: 256 seconds)
2020-11-10 23:33:21 +0100 <lucente> merijn, putStrLn gave me the same result
2020-11-10 23:34:05 +0100ransom(~c4264035@c-67-176-3-106.hsd1.co.comcast.net)
2020-11-10 23:34:17 +0100neiluj(~jco@167.198.204.77.rev.sfr.net)
2020-11-10 23:34:26 +0100 <lucente> hekkaidekapus, my def of concat works alright
2020-11-10 23:34:59 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:68e3:2348:6146:33b5)
2020-11-10 23:35:14 +0100 <hekkaidekapus> Yeah, it is just a superficial observation along the lines of redundant brackets.
2020-11-10 23:35:45 +0100 <lucente> thanks for the input guys, however the problem with reversed tic tacs and my under competence the lacks of borders still remains
2020-11-10 23:37:18 +0100argent0(~argent0@168.227.98.80)
2020-11-10 23:37:30 +0100hackageco-log-json 0.0.1.0 - Structured messages support in co-log ecosystem. https://hackage.haskell.org/package/co-log-json-0.0.1.0 (AlexanderVershilov)
2020-11-10 23:37:59 +0100 <lucente> I have added the main dec as you pointed out however it is not needed when compiled in ghci. The code doesn't look as something the authors had been dreaming of while they were creating it, but at the moment I just want to make it functional.
2020-11-10 23:38:43 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-10 23:38:54 +0100 <hekkaidekapus> Oh, someone else wrote the code?
2020-11-10 23:39:07 +0100britva(~britva@31.10.157.156) (Quit: This computer has gone to sleep)
2020-11-10 23:39:33 +0100 <hekkaidekapus> By the way, do: `main = pp (ticktack (8, 8) [(1, 1), (8, 8), (2, 2), (3, 3), (4, 2), (3, 2)])`
2020-11-10 23:40:02 +0100britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-10 23:40:20 +0100 <hekkaidekapus> to make main useful a bit. But if it is not your code, let’s stop here. Rather, ask what you don’t understand.
2020-11-10 23:40:35 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-10 23:41:15 +0100xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-11-10 23:41:58 +0100grumble(~Thunderbi@freenode/staff/grumble) (Quit: I /quit and all I got to keep was this lousy quit message!)
2020-11-10 23:42:18 +0100neiluj(~jco@167.198.204.77.rev.sfr.net) (Remote host closed the connection)
2020-11-10 23:42:25 +0100 <hekkaidekapus> Here is a question for you for instance: why did adding main::IO() fix the compilation error?
2020-11-10 23:42:35 +0100neiluj(~jco@167.198.204.77.rev.sfr.net)
2020-11-10 23:42:41 +0100fendor(~fendor@178.115.129.26.wireless.dyn.drei.com) (Remote host closed the connection)
2020-11-10 23:43:03 +0100 <koz_> Another question: is this homework?
2020-11-10 23:43:09 +0100 <hekkaidekapus> heh
2020-11-10 23:43:21 +0100 <lucente> hekkaidekapus, I meant authors of Haskell
2020-11-10 23:43:51 +0100grumble(~Thunderbi@freenode/staff/grumble)
2020-11-10 23:44:37 +0100Ariakenom(~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se) (Quit: Leaving)
2020-11-10 23:44:59 +0100 <lucente> hekkaidekapus, The very output from the input you posted above is shown in comment section in the code. Because for some reason the compiler won't process the input I give to it. The output shown in comment is equal to what my terminal pops out
2020-11-10 23:45:17 +0100cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Client Quit)
2020-11-10 23:45:38 +0100 <hekkaidekapus> lucente: You have 2 questions so far. We are waiting…
2020-11-10 23:46:25 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds)
2020-11-10 23:46:27 +0100 <lucente> It fixed the comp error, because the web compiler required it. Most likely because it doesn't use ghci, so it needs to be declared at the start
2020-11-10 23:46:28 +0100 <koz_> hekkaidekapus: Async (Answer, Maybe Answer) :P
2020-11-10 23:46:55 +0100 <lucente> Not gonna lie, it's a homework.
2020-11-10 23:47:41 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-10 23:48:06 +0100 <lucente> Have to point out I am more into structuraly interpreted languages such as C. Haskell really makes my life a hell for anything but math calculations.
2020-11-10 23:49:29 +0100 <hekkaidekapus> Let’s stick to Haskell. So, what is the web compiler? Is that how you are supposed to turn in the assignment?
2020-11-10 23:50:03 +0100 <davve> i learned erlang in my functional programming class
2020-11-10 23:50:06 +0100 <davve> good times
2020-11-10 23:51:02 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-10 23:51:14 +0100 <davve> haskell is something i stumbled onto by xmonad, which gave me an appreciation for it and i totally agree, it's easy to do math, but general programming is possible too: you came to the right place here! :)
2020-11-10 23:51:18 +0100neiluj(~jco@167.198.204.77.rev.sfr.net) (Ping timeout: 272 seconds)
2020-11-10 23:51:52 +0100MagBo(~sweater@207.154.238.218) (Ping timeout: 265 seconds)
2020-11-10 23:52:02 +0100 <hekkaidekapus> lucente: ghci is an interpreter (aka an interactor). It ‘evaluates’ stuff as you type in. The error you pasted comes from compilation (aka calling ghc one way or another).
2020-11-10 23:52:17 +0100 <lucente> hekkaidekapus, nah, don't play games. Although thanks guys for trying to help
2020-11-10 23:52:39 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-11-10 23:53:02 +0100 <lucente> not like I have been around computers since age 10
2020-11-10 23:53:38 +0100 <hekkaidekapus> Well then, I’m done.
2020-11-10 23:54:12 +0100eliocrat(~feliocrat@95.70.185.239) (Remote host closed the connection)
2020-11-10 23:54:13 +0100 <lucente> davve, I have to say that Haskell looks the most elegant from everything I have ever had my hands on
2020-11-10 23:54:21 +0100Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2020-11-10 23:56:01 +0100phaul(~phaul@ruby/staff/phaul) (Ping timeout: 246 seconds)
2020-11-10 23:57:01 +0100neiluj(~jco@167.198.204.77.rev.sfr.net)
2020-11-10 23:58:05 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-11-10 23:58:59 +0100 <lucente> I wish I could somehow teach myself to manage my time smarter and organize the week so I don't end up working on assignments a day before deadline or so. I have already started to use org-mode, but most of the time I lack to will to do things, mainly because I can't find a reason why to do them. Like if everything was meaningless and my life was leading to wrong direction.
2020-11-10 23:59:36 +0100phaul(~phaul@ruby/staff/phaul)
2020-11-10 23:59:41 +0100neiluj(~jco@167.198.204.77.rev.sfr.net) (Changing host)
2020-11-10 23:59:41 +0100neiluj(~jco@unaffiliated/neiluj)