IRCBrowse

2020/10/15

2020-10-15 00:00:22 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-15 00:02:43 +0200 <christo> monochrom this worked for you? allowed it to work with haskell-language-server in vs code?
2020-10-15 00:02:50 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl) (Ping timeout: 272 seconds)
2020-10-15 00:03:14 +0200 <monochrom> I don't use HLS. But "cabal build" succeeds.
2020-10-15 00:03:25 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2020-10-15 00:05:07 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-15 00:05:45 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 240 seconds)
2020-10-15 00:05:53 +0200natim87(sid286962@gateway/web/irccloud.com/x-hbpjyobuzuhwywke) (Ping timeout: 272 seconds)
2020-10-15 00:06:19 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-15 00:06:25 +0200 <yushyin> proofofme: you may try, but it may go wrong and will not succeed
2020-10-15 00:06:31 +0200darthThorik(sid39589@gateway/web/irccloud.com/x-sosblkkrlevwimaq) (Ping timeout: 272 seconds)
2020-10-15 00:06:31 +0200aizen_s(sid462968@gateway/web/irccloud.com/x-gdqrmywyttbvydrx) (Ping timeout: 272 seconds)
2020-10-15 00:06:33 +0200natim87(sid286962@gateway/web/irccloud.com/x-ceyxlbqjhgkntuzg)
2020-10-15 00:07:09 +0200ajmcmiddlin(sid284402@gateway/web/irccloud.com/x-dxnlzmgwciwnrbqd) (Ping timeout: 272 seconds)
2020-10-15 00:07:31 +0200 <proofofme> it didn't succeed ...
2020-10-15 00:07:47 +0200d0liver(sid363046@gateway/web/irccloud.com/x-fdwlevtfjmrlsqqx) (Ping timeout: 272 seconds)
2020-10-15 00:07:50 +0200 <proofofme> figuring out how to set ghc to older version with base-4.12 rn
2020-10-15 00:07:55 +0200 <yushyin> sometimes upper bounds have a valid raison d'etre :)
2020-10-15 00:07:56 +0200d0liver(sid363046@gateway/web/irccloud.com/x-rjnvymcoomahofrn)
2020-10-15 00:08:04 +0200 <proofofme> ha true
2020-10-15 00:08:04 +0200 <christo> monochrom thx, trying now
2020-10-15 00:08:06 +0200whiteline(~whiteline@unaffiliated/whiteline) (Remote host closed the connection)
2020-10-15 00:08:23 +0200 <monochrom> "ghcup list" lists GHC versions with base versions.
2020-10-15 00:08:25 +0200JSharp(sid4580@wikia/JSharp) (Ping timeout: 272 seconds)
2020-10-15 00:08:29 +0200whiteline(~whiteline@unaffiliated/whiteline)
2020-10-15 00:08:33 +0200darthThorik(sid39589@gateway/web/irccloud.com/x-dsmbkpzrbucgxzyp)
2020-10-15 00:08:34 +0200xintron(~xintron@unaffiliated/xintron) (Quit: Ping timeout (120 seconds))
2020-10-15 00:08:36 +0200 <christo> monochrom what version of cabal did you use?
2020-10-15 00:08:39 +0200 <christo> and ghc
2020-10-15 00:08:39 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-15 00:08:39 +0200aizen_s(sid462968@gateway/web/irccloud.com/x-vlashjkdcwnruduz)
2020-10-15 00:08:49 +0200fendor(~fendor@91.141.0.198.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-15 00:08:59 +0200 <monochrom> GHC 8.8.4, cabal-install 3.2.0.0
2020-10-15 00:09:00 +0200xintron(~xintron@unaffiliated/xintron)
2020-10-15 00:09:03 +0200dmj`(sid72307@gateway/web/irccloud.com/x-dnfsjoctvikduaei) (Ping timeout: 272 seconds)
2020-10-15 00:09:03 +0200cemerick(sid54985@gateway/web/irccloud.com/x-wpgypdybdslyvzys) (Ping timeout: 272 seconds)
2020-10-15 00:09:08 +0200ajmcmiddlin(sid284402@gateway/web/irccloud.com/x-qluzsktjtgrefogm)
2020-10-15 00:09:18 +0200hekkaidekapus_hekkaidekapus
2020-10-15 00:09:23 +0200oisdk(~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a)
2020-10-15 00:09:27 +0200 <christo> ok
2020-10-15 00:09:30 +0200 <christo> thx
2020-10-15 00:09:53 +0200JSharp(sid4580@wikia/JSharp)
2020-10-15 00:10:19 +0200jackdk(sid373013@gateway/web/irccloud.com/x-xzvlvnjtehxxtifm) (Ping timeout: 272 seconds)
2020-10-15 00:10:36 +0200 <hekkaidekapus> proofofme: If you don’t want to patch mysql-haskell like the patched package in the parallel thread, use ghc-8.6.5. <https://matrix.hackage.haskell.org/#/package/mysql-haskell>
2020-10-15 00:11:22 +0200 <koz_> I would recommend using ghc-8.6.5 unless you really need something which demands 8.8.
2020-10-15 00:11:24 +0200 <koz_> It's easier.
2020-10-15 00:11:29 +0200 <proofofme> yup, used `ghcup set 8.6.5` just now. now trying to figure out how to install it ... I'm pretty new to non-trivial classroom Haskell lol
2020-10-15 00:11:35 +0200AndreasK(sid320732@gateway/web/irccloud.com/x-hkkwdrhutkwmrhne) (Ping timeout: 272 seconds)
2020-10-15 00:11:41 +0200 <monochrom> proofofme: "cabal build -w ghc-4.2" is the syntax
2020-10-15 00:11:45 +0200AndreasK(sid320732@gateway/web/irccloud.com/x-rxqfxdsbssdfwfxd)
2020-10-15 00:12:06 +0200cemerick(sid54985@gateway/web/irccloud.com/x-ykavyokceegcyoba)
2020-10-15 00:12:06 +0200 <monochrom> in case you don't want to statefully do "ghcup set"
2020-10-15 00:12:29 +0200russruss8(~russruss@my.russellmcc.com) (Quit: Ping timeout (120 seconds))
2020-10-15 00:12:40 +0200relrod(~relrod@redhat/ansible.staff.relrod) (Excess Flood)
2020-10-15 00:12:46 +0200jackdk(sid373013@gateway/web/irccloud.com/x-xnbaqmiqnfknxnjx)
2020-10-15 00:12:47 +0200relrod(~relrod@origin.elrod.me)
2020-10-15 00:12:50 +0200relrod(~relrod@origin.elrod.me) (Changing host)
2020-10-15 00:12:50 +0200relrod(~relrod@redhat/ansible.staff.relrod)
2020-10-15 00:12:50 +0200russruss8(~russruss@my.russellmcc.com)
2020-10-15 00:12:51 +0200sgraf(sid326656@gateway/web/irccloud.com/x-xhygnbznyfdcpzbn) (Ping timeout: 272 seconds)
2020-10-15 00:12:51 +0200bjs(sid190364@gateway/web/irccloud.com/x-aabmdlfloeindmzc) (Ping timeout: 272 seconds)
2020-10-15 00:13:33 +0200 <hekkaidekapus> proofofme: monochrom is saying `cabal build clay-sniper:exe:clay-sniper -w ghc-8.6.5` when you will be done the ghcup command.
2020-10-15 00:13:33 +0200 <monochrom> To be sure, "cabal ... -w ghc-4.2" is an oxymoron in itself :)
2020-10-15 00:13:56 +0200 <christo> monochrom it seems to be working with haskell-language-server in vs code now, thx
2020-10-15 00:14:02 +0200 <christo> what exactly did your changes do/mean?
2020-10-15 00:14:03 +0200 <monochrom> Oh if you have done "ghcup set ..." then you don't need the -w thing.
2020-10-15 00:14:13 +0200 <monochrom> See the diff
2020-10-15 00:14:14 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-15 00:14:23 +0200 <christo> i saw the diff
2020-10-15 00:14:24 +0200sgraf(sid326656@gateway/web/irccloud.com/x-fbrdkuvcuoubeycg)
2020-10-15 00:14:24 +0200dmj`(sid72307@gateway/web/irccloud.com/x-qflxzvuqiztidpuf)
2020-10-15 00:14:33 +0200 <monochrom> Ah OK.
2020-10-15 00:14:37 +0200 <christo> but how did you/why did you find to add teh setup thing
2020-10-15 00:14:55 +0200 <monochrom> HCodec needs a newer version, 0.5.1 is no longer compatible with today's libraries.
2020-10-15 00:15:23 +0200benwr____(sid372383@gateway/web/irccloud.com/x-dtntmljhkmrdmshh) (Ping timeout: 272 seconds)
2020-10-15 00:15:27 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-15 00:15:32 +0200 <monochrom> the "custom-setup" section says to not insist on using old libraries for Setup.hs
2020-10-15 00:15:49 +0200 <monochrom> (instead, implicitly, whatever comes with the compiler)
2020-10-15 00:16:30 +0200benwr____(sid372383@gateway/web/irccloud.com/x-grifljzptgiftdzy)
2020-10-15 00:16:39 +0200SrPx(sid108780@gateway/web/irccloud.com/x-bqvgfhxhnnsgldcg) (Ping timeout: 272 seconds)
2020-10-15 00:16:39 +0200ibloom(sid350277@gateway/web/irccloud.com/x-tcspdyzziimwvrpe) (Ping timeout: 272 seconds)
2020-10-15 00:16:50 +0200 <monochrom> Ah how did I find out I needed them.
2020-10-15 00:17:03 +0200 <christo> ye, that aswell
2020-10-15 00:17:06 +0200bjs(sid190364@gateway/web/irccloud.com/x-vnofeissxqqkjger)
2020-10-15 00:17:13 +0200 <monochrom> I started with a very blunt --allow-newer to check that something succeeds.
2020-10-15 00:17:33 +0200 <larou> well, i have checked every language - and i cant express cyclic trees in any of them
2020-10-15 00:17:39 +0200conal(~conal@64.71.133.70)
2020-10-15 00:17:41 +0200 <larou> how fruitless
2020-10-15 00:17:55 +0200drbrule(sid395654@gateway/web/irccloud.com/x-gvmrwhzqddqcyzbg) (Ping timeout: 272 seconds)
2020-10-15 00:17:55 +0200fiadliel(sid399568@gateway/web/irccloud.com/x-rcssxagrxaenrwkf) (Ping timeout: 272 seconds)
2020-10-15 00:17:55 +0200kip(sid71464@gateway/web/irccloud.com/x-fjkihcelyqagzxka) (Ping timeout: 272 seconds)
2020-10-15 00:18:05 +0200fiadliel(sid399568@gateway/web/irccloud.com/x-ymacoburpwrvlgcx)
2020-10-15 00:18:07 +0200 <monochrom> Well one thing I know from the error messages is that cabal-install was trying an old Cabal lib version for Setup.hs.
2020-10-15 00:18:33 +0200edmundnoble(sid229620@gateway/web/irccloud.com/x-ncisbgjfxiscqmtx) (Ping timeout: 272 seconds)
2020-10-15 00:18:35 +0200ibloom(sid350277@gateway/web/irccloud.com/x-ujlqpebtpaqafaor)
2020-10-15 00:18:35 +0200 <larou> all i learned is how haskell is the best / only language that even comes close
2020-10-15 00:18:47 +0200 <monochrom> After I got past that, I noticed that HCodec-0.5.1 had an incompatibility.
2020-10-15 00:18:50 +0200kip(sid71464@gateway/web/irccloud.com/x-omvgxpcumzxoitoj)
2020-10-15 00:19:08 +0200 <monochrom> And those were the only two obstacles, it turned out.
2020-10-15 00:19:09 +0200SrPx(sid108780@gateway/web/irccloud.com/x-bqucgfmlfmdjtbdg)
2020-10-15 00:19:29 +0200 <monochrom> So, observations, hypotheses, observations again, repeat
2020-10-15 00:19:54 +0200drbrule(sid395654@gateway/web/irccloud.com/x-xwxitsjzvaryowda)
2020-10-15 00:20:09 +0200 <monochrom> Yeah I know right, nothing can express cyclic trees.
2020-10-15 00:20:18 +0200edmundnoble(sid229620@gateway/web/irccloud.com/x-gvfutybyprjhwlxz)
2020-10-15 00:20:22 +0200 <hekkaidekapus> larou: The standard list type in Haskell is a linked list. You don’t need to extend anything, just use it. (I’m referring to your post in #ghc.)
2020-10-15 00:20:23 +0200 <larou> i also learned that in a world of 10 billion people, and a plethora of computing languages - there is not that many people on IRC
2020-10-15 00:20:23 +0200sajith(~sajith@fsf/member/nonzen) (Ping timeout: 258 seconds)
2020-10-15 00:20:42 +0200sajith(~sajith@fsf/member/nonzen)
2020-10-15 00:20:59 +0200 <larou> on #ghc i wrote;
2020-10-15 00:21:00 +0200 <larou> is there any way to extend the keyword "data" to include cyclic references, such as for expressing linked lists?
2020-10-15 00:21:06 +0200 <monochrom> or an unmovable unstoppable data structure for that matter in the same genre.
2020-10-15 00:21:08 +0200 <larou> i meant doubly linked lists
2020-10-15 00:21:48 +0200zebrag(~inkbottle@aaubervilliers-654-1-4-38.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-10-15 00:22:13 +0200 <proofofme> it's still building ... so I think it's going to work. why did this `cabal build clay-sniper:exe:clay-sniper -w ghc-8.6.5` end up working?
2020-10-15 00:22:13 +0200 <larou> monochrom: nothing compelling anyway
2020-10-15 00:22:28 +0200dhil(~dhil@195.213.192.122) (Ping timeout: 272 seconds)
2020-10-15 00:22:45 +0200 <monochrom> probably because ghc-8.6.5
2020-10-15 00:23:08 +0200 <monochrom> an older base version that your dependencies insist
2020-10-15 00:24:07 +0200 <hekkaidekapus> larou: In that case too, you don’t need to ‘extend data’.
2020-10-15 00:24:10 +0200 <larou> im not sure what to do now...
2020-10-15 00:24:28 +0200 <monochrom> I guess I should write an updated tutorial on the cabal model so people don't just treat it as a black box.
2020-10-15 00:24:28 +0200 <larou> hekkaidekapus: you do, if you want to express that fucntionality at type level
2020-10-15 00:24:37 +0200 <hekkaidekapus> Did you try Hackage?
2020-10-15 00:24:40 +0200 <larou> otherwise its just a record filed
2020-10-15 00:24:46 +0200 <larou> field*
2020-10-15 00:25:04 +0200 <larou> hekkaidekapus: for an alternative data keyword!?
2020-10-15 00:25:18 +0200zebrag(~inkbottle@aaubervilliers-654-1-4-38.w83-200.abo.wanadoo.fr)
2020-10-15 00:25:38 +0200 <hekkaidekapus> Okay, I get it. You’re not very familiar with Haskell.
2020-10-15 00:25:54 +0200 <hekkaidekapus> @hackage data-cycle
2020-10-15 00:25:54 +0200 <lambdabot> https://hackage.haskell.org/package/data-cycle
2020-10-15 00:26:00 +0200 <christo> monochrom cool man, cheers
2020-10-15 00:26:06 +0200 <hekkaidekapus> larou: ^^^
2020-10-15 00:26:09 +0200 <larou> hekkaidekapus: any time i want to "tie the knot" i can only do so using a function. nothing at type level
2020-10-15 00:26:26 +0200 <larou> hekkaidekapus: its literally impossible that could be doing what im describing
2020-10-15 00:26:35 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:898b:a67a:695d:4361) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 00:26:41 +0200 <hekkaidekapus> larou: paste what you have so far.
2020-10-15 00:26:53 +0200 <hekkaidekapus> @where paste -- larou
2020-10-15 00:26:53 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com
2020-10-15 00:27:04 +0200 <larou> data Cycle a = MkCycle Int (DList a)
2020-10-15 00:27:13 +0200 <larou> data DList a = MkDList (DList a) a (DList a)
2020-10-15 00:27:29 +0200 <larou> what differentiates the usage of those 2 DLists in data DList?
2020-10-15 00:28:12 +0200 <larou> always we have "downwards" references, and any time we want to make it seem like a "backwards" or "upwards" reference, this has to be done by a mechanism at value level
2020-10-15 00:28:16 +0200 <larou> not at type level
2020-10-15 00:28:23 +0200 <larou> thats why i asked in #ghc
2020-10-15 00:28:27 +0200ericsagnes(~ericsagne@2405:6580:0:5100:f5c6:c62b:43fd:4aa2) (Ping timeout: 260 seconds)
2020-10-15 00:29:15 +0200alp(~alp@2a01:e0a:58b:4920:64b8:ef78:ddd5:6ed9)
2020-10-15 00:29:20 +0200 <larou> hekkaidekapus: i dont use anything except pastebin.com and github after i lost about a years worth of references on lpaste
2020-10-15 00:29:28 +0200 <monochrom> Then you can give up now. For at least 5 more years Haskell won't have cyclic data structures at the type level.
2020-10-15 00:29:43 +0200 <larou> exactly!
2020-10-15 00:29:45 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-15 00:29:51 +0200 <larou> so wft am i supposed to do!?
2020-10-15 00:30:13 +0200 <larou> just prepare abstractions that it will satisfy in the mean time?
2020-10-15 00:30:20 +0200 <monochrom> That's a question better posed to a counsellor or life coach.
2020-10-15 00:31:00 +0200 <larou> yeah, they could prescribe me some dank nugs to help me cope with this existential nightmare
2020-10-15 00:31:34 +0200 <larou> well, one other thing i wanted was something like ListT done right but for graphs...
2020-10-15 00:31:59 +0200 <larou> so i could have something like IOGraph for emulating interacting servers in the ST monad
2020-10-15 00:32:42 +0200 <larou> oh yeah, thats still graphs... i *suppose* i could use Int lookup graphs. but i have done *so much work* to avoid doing that!
2020-10-15 00:33:25 +0200 <larou> though i suppose it world force me to get the abstractions, like stencil convolutions, nearest neighbour access, etc. formulated
2020-10-15 00:33:52 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Quit: Lost terminal)
2020-10-15 00:34:07 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-15 00:34:17 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 00:35:27 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-15 00:35:56 +0200Thompson(~Thompson@2603-6000-9945-c66d-0000-0000-0000-1000.res6.spectrum.com) (Quit: Thompson)
2020-10-15 00:37:23 +0200RusAlex(~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds)
2020-10-15 00:38:51 +0200RusAlex(~Chel@unaffiliated/rusalex)
2020-10-15 00:39:14 +0200Patrick24(4881905c@cpe-72-129-144-92.new.res.rr.com) (Ping timeout: 245 seconds)
2020-10-15 00:41:04 +0200ericsagnes(~ericsagne@2405:6580:0:5100:c0a:1139:7023:580f)
2020-10-15 00:51:13 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-15 00:51:48 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-15 00:52:43 +0200Thompson(~Thompson@cpe-72-129-144-92.new.res.rr.com)
2020-10-15 00:52:57 +0200hackageformatting 7.1.1 - Combinator-based type-safe formatting (like printf() or FORMAT) https://hackage.haskell.org/package/formatting-7.1.1 (AlexChapman)
2020-10-15 00:54:39 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-15 00:56:02 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 272 seconds)
2020-10-15 00:57:08 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 00:57:40 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2020-10-15 00:58:07 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 00:58:41 +0200taurux(~taurux@net-188-152-69-142.cust.dsl.teletu.it) (Ping timeout: 256 seconds)
2020-10-15 00:59:08 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-15 00:59:49 +0200taurux(~taurux@net-93-151-203-230.cust.vodafonedsl.it)
2020-10-15 01:00:21 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-15 01:00:38 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 258 seconds)
2020-10-15 01:00:55 +0200christo(516071d5@81.96.113.213) (Remote host closed the connection)
2020-10-15 01:01:28 +0200hackagechurros 0.1.1.0 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.1.0 (LyndonMaydwell)
2020-10-15 01:02:33 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 258 seconds)
2020-10-15 01:03:25 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-15 01:03:51 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-15 01:10:01 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-15 01:13:28 +0200Thompson(~Thompson@cpe-72-129-144-92.new.res.rr.com) (Quit: Thompson)
2020-10-15 01:13:50 +0200wroathe_(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-15 01:13:50 +0200wroathe_(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Client Quit)
2020-10-15 01:14:04 +0200wroathe_(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-15 01:14:24 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-15 01:14:28 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 01:14:29 +0200wroathe_wroathe
2020-10-15 01:14:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-15 01:14:43 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 01:14:44 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 01:14:44 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 01:15:45 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-10-15 01:16:17 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds)
2020-10-15 01:16:49 +0200frdg(47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-15 01:17:42 +0200christo(516071d5@81.96.113.213)
2020-10-15 01:18:07 +0200 <christo> monochrom why & what do you use haskell for?
2020-10-15 01:18:18 +0200 <christo> i'm obviously completely new to it
2020-10-15 01:18:42 +0200 <christo> i'm learning it because of "haskell school of music" for my dissertation project
2020-10-15 01:18:57 +0200 <christo> which is about learning computer music concepts and Euterpea Haskell Lib
2020-10-15 01:19:25 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 258 seconds)
2020-10-15 01:23:47 +0200chris(~chris@81.96.113.213)
2020-10-15 01:24:11 +0200chrisGuest34530
2020-10-15 01:24:49 +0200 <Guest34530> hello
2020-10-15 01:25:25 +0200 <yushyin> hello Guest34530
2020-10-15 01:25:38 +0200 <christo> it's me, just testing a mac irc client
2020-10-15 01:25:53 +0200 <yushyin> hello christo :)
2020-10-15 01:25:55 +0200 <christo> what do ya'll guys use haskell for?
2020-10-15 01:25:57 +0200 <christo> hey !
2020-10-15 01:26:26 +0200 <peutri> most everything
2020-10-15 01:26:31 +0200 <Axman6> christo: not that you asked, but I've been using Haskell professionally for about 6 years (with a few shorter jobs using it before that) I've used it in finance, on a high frequency trading system, made web services with it for geospacial data, and plenty of data processing along with that, I've used it for large scale data processing on the cloud with a lambda-and-queues architecture, and now work on a system in a Haskell derived language to
2020-10-15 01:26:32 +0200 <Axman6> replace a critical part of one of the largest stock exchanges infrastructure
2020-10-15 01:26:45 +0200 <Axman6> (ok, in the time I took me to write that you did ask)
2020-10-15 01:27:53 +0200 <christo> cool
2020-10-15 01:28:05 +0200minne(~minne@4e69b241.skybroadband.com) (Ping timeout: 240 seconds)
2020-10-15 01:28:07 +0200jespada(~jespada@90.254.245.15) (Ping timeout: 246 seconds)
2020-10-15 01:28:11 +0200 <christo> why would it be good for computer music? and why use it atall over other languages
2020-10-15 01:28:34 +0200 <christo> i've seen a lot of people use it for computer music
2020-10-15 01:28:47 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 265 seconds)
2020-10-15 01:29:11 +0200 <christo> Axman6 on enterprise/commercial scale haskell projects, what build tools/tools do u use?
2020-10-15 01:29:13 +0200 <Axman6> I don't think there's anything in particulaar that makes it good for computer music specifically. but overall, the incredibly powerful type system lets you get your thoughts in order, in a way that can be reliably checked
2020-10-15 01:30:05 +0200 <frdg> christo: Here is a nice video about making music with haskell: https://www.youtube.com/watch?v=FYTZkE5BZ-0
2020-10-15 01:30:21 +0200 <Axman6> in the past I used stack mostly, but it is(or was) somewhat more optimised for app development, as opposed to library development, which worked well in a commercial setting
2020-10-15 01:30:51 +0200minne(~minne@4e69b241.skybroadband.com)
2020-10-15 01:30:55 +0200jespada(~jespada@90.254.245.15)
2020-10-15 01:31:02 +0200 <christo> Axman6 why should i learn haskell? does it allow me to do things say Java couldn't?
2020-10-15 01:32:01 +0200 <christo> or is it purely because people like the way it forces you to write code
2020-10-15 01:32:12 +0200 <Axman6> no, most languages are turing complete and therefore equivalent, by sme definition. but the pleasure of doing it will be quite different, and some languages let you express a lot more with a lot less text
2020-10-15 01:32:31 +0200son0p(~son0p@181.136.122.143) (Quit: leaving)
2020-10-15 01:32:53 +0200 <Axman6> there are many many things which are much nicer in Haskell than other languages though.
2020-10-15 01:33:13 +0200 <Axman6> writing reusable code is a pleasure, since the type system allows us to be very generic about our types
2020-10-15 01:33:16 +0200 <christo> so haskell is about the elegance of the code that is being written itself
2020-10-15 01:33:31 +0200 <Axman6> I wouldn't say that's what it's about
2020-10-15 01:34:10 +0200 <christo> i'll have to look into it more :)
2020-10-15 01:34:31 +0200 <christo> can i do multi-threading n' stuff in haskell?
2020-10-15 01:34:51 +0200 <Axman6> Haskell is probably one of the best languages for doing concurrent programming in
2020-10-15 01:35:24 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 01:36:32 +0200 <Axman6> for two reasons - the purity of functions and lack of mutability mean that a lot of the problems with concurrency are eliminated unless you are explicit about them. GHC's multithreading system is one of the most lightweight implementations of any languages, you can happily run hundreds, thousands, or even tens of thousands of threads - network servers are usually implemented by just making a new thread per connection
2020-10-15 01:37:50 +0200dmiles(dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-10-15 01:39:07 +0200 <christo> cool
2020-10-15 01:39:32 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 01:39:42 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-15 01:39:42 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-15 01:39:42 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 01:39:56 +0200 <christo> in haskell do you have the notion of instances (objects) like in java?
2020-10-15 01:40:13 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Ping timeout: 260 seconds)
2020-10-15 01:40:22 +0200 <Axman6> we just have data, which is immutable. we do not have objects
2020-10-15 01:40:27 +0200 <christo> thx frdg
2020-10-15 01:40:36 +0200 <Axman6> @sec Bool
2020-10-15 01:40:36 +0200 <lambdabot> data Bool = False | True deriving (Eq, Ord)
2020-10-15 01:40:48 +0200 <Axman6> @src Maybe
2020-10-15 01:40:48 +0200 <lambdabot> data Maybe a = Nothing | Just a
2020-10-15 01:41:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 01:41:44 +0200 <koz_> Is there something like 'foldMapA :: (Applicative m, Monoid n, Traversable t) => (a -> m n) -> t a -> m n
2020-10-15 01:41:45 +0200Axman6(is in a meeting and will be back later)
2020-10-15 01:41:46 +0200 <koz_> '
2020-10-15 01:41:47 +0200 <christo> cause' i was thinking how would one use haskell to write a game with 20 instances of Frog for example. but i'm sure there's a way
2020-10-15 01:42:06 +0200 <koz_> christo: An instance is just a data value.
2020-10-15 01:42:14 +0200 <koz_> So you'd just have 20 things of type Frog.
2020-10-15 01:42:19 +0200 <christo> cheers for info Axman6 appreciate it
2020-10-15 01:42:40 +0200 <christo> i see
2020-10-15 01:43:35 +0200 <koz_> I mean, I guess it's just 'foldMapA f = unAp . foldMap (Ap . f)'.
2020-10-15 01:44:18 +0200max_(~max@bzq-110-168-31-106.red.bezeqint.net)
2020-10-15 01:46:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-15 01:46:23 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-15 01:46:25 +0200 <MarcelineVQ> koz_: fold where Monoid (m n)
2020-10-15 01:47:01 +0200 <koz_> MarcelineVQ: Yeah, which is easiest to get here when we use Ap, rite?
2020-10-15 01:47:13 +0200alp(~alp@2a01:e0a:58b:4920:64b8:ef78:ddd5:6ed9) (Ping timeout: 272 seconds)
2020-10-15 01:47:42 +0200 <MarcelineVQ> seems like it, and foldMap as you did since you wanted to apply some f as well which I overlooked somewhow
2020-10-15 01:48:27 +0200 <hekkaidekapus> @hoogle (Applicative m, Monoid n, Traversable t) => (a -> m n) -> t a -> m n
2020-10-15 01:48:28 +0200 <lambdabot> Universum.Monad.Container concatMapM :: (Applicative f, Monoid m, Container (l m), Element (l m) ~ m, Traversable l) => (a -> f m) -> l a -> f m
2020-10-15 01:48:28 +0200 <lambdabot> Util foldMapA :: (Applicative p, Monoid b, Foldable f) => (a -> p b) -> f a -> p b
2020-10-15 01:48:28 +0200 <lambdabot> Data.FMList foldMapA :: (Foldable t, Applicative f, Monoid m) => (a -> f m) -> t a -> f m
2020-10-15 01:48:32 +0200 <MarcelineVQ> iow I added nothing of value :>>
2020-10-15 01:48:46 +0200 <frdg> would `otherwise` be considered a global variable?
2020-10-15 01:49:00 +0200 <hekkaidekapus> koz_: Let’s call it foldMapA :)
2020-10-15 01:50:04 +0200jneira(501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) (Quit: Connection closed)
2020-10-15 01:50:20 +0200 <koz_> @hoogle Ap
2020-10-15 01:50:21 +0200 <lambdabot> Data.Monoid newtype Ap f a
2020-10-15 01:50:21 +0200 <lambdabot> Data.Monoid Ap :: f a -> Ap f a
2020-10-15 01:50:21 +0200 <lambdabot> Test.Tasty.Runners newtype Ap f a
2020-10-15 01:50:43 +0200 <MarcelineVQ> frdg: interesting question, a global constant might be a better label, but even then I'm not sure I'd say that.
2020-10-15 01:51:06 +0200 <MarcelineVQ> *I wouldn't say that.
2020-10-15 01:51:31 +0200 <frdg> right, its not much of a variable.
2020-10-15 01:55:32 +0200polyrain(~polyrain@2001:8003:e501:6901:65d3:a281:acef:914d)
2020-10-15 01:55:37 +0200 <frdg> `f :: a -> Bool; f _ = otherwise`. I never thought to do this :)
2020-10-15 01:55:57 +0200 <frdg> could by my own style
2020-10-15 01:57:38 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-15 01:59:05 +0200Tops22(~Tobias@dyndsl-095-033-019-173.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2020-10-15 01:59:58 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:d49a:a728:b92:c358)
2020-10-15 02:00:02 +0200ermau(~ermau@s91904426.blix.com) ()
2020-10-15 02:01:48 +0200oisdk(~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a) (Quit: oisdk)
2020-10-15 02:03:49 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 246 seconds)
2020-10-15 02:04:50 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 02:04:51 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 02:04:51 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 02:05:35 +0200pjb(~t@2a01cb04063ec50000393c8482ae9564.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds)
2020-10-15 02:08:43 +0200nshepperd_(nshepperd@gateway/vpn/mullvad/nshepperd) (Ping timeout: 246 seconds)
2020-10-15 02:12:25 +0200nineonine(~nineonine@216.81.48.202) (Remote host closed the connection)
2020-10-15 02:14:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 02:15:14 +0200minne(~minne@4e69b241.skybroadband.com) (Ping timeout: 260 seconds)
2020-10-15 02:17:01 +0200nshepperd_(nshepperd@gateway/vpn/mullvad/nshepperd)
2020-10-15 02:17:09 +0200minne(~minne@4e69b241.skybroadband.com)
2020-10-15 02:17:49 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-15 02:21:53 +0200zyga(~zyga@185.163.110.116)
2020-10-15 02:25:45 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-15 02:26:58 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Read error: Connection reset by peer)
2020-10-15 02:27:12 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-15 02:28:30 +0200spew(uid195861@gateway/web/irccloud.com/x-dvgldqlsrlwtfayn) (Quit: Connection closed for inactivity)
2020-10-15 02:32:32 +0200 <larou> im not sure, maybe there is some way of using the parameters to provide the lower parts
2020-10-15 02:33:07 +0200 <larou> like, the constructor would be self referential, but that one of the parameters gave a variable that then you could also pass down the other branch
2020-10-15 02:33:13 +0200larou(5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183) (Quit: Connection closed)
2020-10-15 02:36:09 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2020-10-15 02:39:16 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds)
2020-10-15 02:42:29 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-15 02:42:31 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-15 02:43:39 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:d49a:a728:b92:c358) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 02:46:19 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:e531:b955:8b3c:f641)
2020-10-15 02:46:28 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 02:48:53 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a)
2020-10-15 02:50:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-15 02:50:45 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-15 02:51:55 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
2020-10-15 02:52:55 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 240 seconds)
2020-10-15 02:53:08 +0200frdg(47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-10-15 02:54:28 +0200ystael(~ystael@209.6.50.55) (Ping timeout: 272 seconds)
2020-10-15 02:59:33 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-15 02:59:38 +0200jalumar(uid392211@gateway/web/irccloud.com/x-pyjvlyahgokzopwq) (Quit: Connection closed for inactivity)
2020-10-15 03:00:27 +0200hackageco-log-polysemy-formatting 0.1.0.0 - A Polysemy logging effect for high quality (unstructured) logs. https://hackage.haskell.org/package/co-log-polysemy-formatting-0.1.0.0 (AlexChapman)
2020-10-15 03:06:23 +0200xff0x(~fox@2001:1a81:531c:4c00:c40a:58bd:2676:630d) (Ping timeout: 272 seconds)
2020-10-15 03:07:08 +0200unlink2(~unlink2@p57b852f3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 03:07:59 +0200xff0x(~fox@2001:1a81:5350:d900:c40a:58bd:2676:630d)
2020-10-15 03:08:26 +0200pjb(~t@2a01cb04063ec500259c126a59c35166.ipv6.abo.wanadoo.fr)
2020-10-15 03:11:17 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection)
2020-10-15 03:11:34 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 272 seconds)
2020-10-15 03:14:30 +0200machinedgod(~machinedg@24.105.81.50)
2020-10-15 03:16:38 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-15 03:19:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-15 03:20:28 +0200falafel(~falafel@2605:e000:1527:d491:c9d2:9986:8bf7:dec8)
2020-10-15 03:21:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 03:24:34 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 03:26:08 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer)
2020-10-15 03:26:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-15 03:30:11 +0200dddddd(~dddddd@unaffiliated/dddddd) (Ping timeout: 240 seconds)
2020-10-15 03:30:47 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection)
2020-10-15 03:31:38 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-10-15 03:32:46 +0200goepsilongo(~textual@2604:2000:1201:442c:cd68:73db:804e:6df0)
2020-10-15 03:36:49 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 03:38:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-15 03:39:56 +0200dddddd(~dddddd@unaffiliated/dddddd)
2020-10-15 03:41:32 +0200MattMareo(~mattl@unaffiliated/mattmareo)
2020-10-15 03:43:25 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9)
2020-10-15 03:45:09 +0200mirrorbird(~psutcliff@m83-187-163-53.cust.tele2.se) (Quit: Leaving)
2020-10-15 03:45:29 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-10-15 03:45:59 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-15 03:46:32 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 03:49:15 +0200tzh(~tzh@2601:448:c500:5300::d4be) (Remote host closed the connection)
2020-10-15 03:49:38 +0200tzh(~tzh@2601:448:c500:5300::d4be)
2020-10-15 03:50:39 +0200proofofm_(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 03:54:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 04:00:28 +0200nineonine(~nineonine@216.81.48.202)
2020-10-15 04:02:44 +0200twk-(~thewormki@unaffiliated/twk-) (Ping timeout: 246 seconds)
2020-10-15 04:03:27 +0200marek(~mmahut@209.250.249.245) (Ping timeout: 265 seconds)
2020-10-15 04:04:01 +0200TheScoop(~TheScoop@unaffiliated/tryte) (Ping timeout: 272 seconds)
2020-10-15 04:06:38 +0200dmiles(dmiles@c-73-67-179-188.hsd1.wa.comcast.net)
2020-10-15 04:12:15 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-15 04:12:55 +0200lagothrixGuest64940
2020-10-15 04:12:55 +0200Guest64940(~lagothrix@unaffiliated/lagothrix) (Killed (rothfuss.freenode.net (Nickname regained by services)))
2020-10-15 04:13:02 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-15 04:18:43 +0200marek(~mmahut@209.250.249.245)
2020-10-15 04:20:16 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-15 04:20:33 +0200proofofm_(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 04:22:11 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-15 04:23:25 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 258 seconds)
2020-10-15 04:24:34 +0200plutoniix(~q@175.176.222.7)
2020-10-15 04:24:43 +0200theDon(~td@94.134.91.134) (Ping timeout: 265 seconds)
2020-10-15 04:25:40 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 272 seconds)
2020-10-15 04:26:11 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a) (Ping timeout: 246 seconds)
2020-10-15 04:26:32 +0200theDon(~td@muedsl-82-207-238-240.citykom.de)
2020-10-15 04:28:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-15 04:30:13 +0200shailangsa(~shailangs@host165-120-169-97.range165-120.btcentralplus.com) (Ping timeout: 264 seconds)
2020-10-15 04:31:04 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-15 04:34:02 +0200tzh(~tzh@2601:448:c500:5300::d4be) (Ping timeout: 260 seconds)
2020-10-15 04:34:38 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 04:35:32 +0200emmanuel_erc(~user@2604:2000:1382:ce03:4cd9:b90b:27ea:9c15) (Ping timeout: 260 seconds)
2020-10-15 04:35:47 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 04:37:46 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
2020-10-15 04:39:16 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com) (Quit: Leaving)
2020-10-15 04:39:20 +0200sleblanc(~sleblanc@unaffiliated/sebleblanc)
2020-10-15 04:39:29 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-15 04:39:36 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-15 04:41:07 +0200emmanuel_erc(~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1)
2020-10-15 04:41:48 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 04:42:23 +0200tzh(~tzh@c-73-94-222-143.hsd1.mn.comcast.net)
2020-10-15 04:45:02 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-10-15 04:45:49 +0200ericsagnes(~ericsagne@2405:6580:0:5100:c0a:1139:7023:580f) (Ping timeout: 272 seconds)
2020-10-15 04:49:07 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-15 04:49:25 +0200ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net)
2020-10-15 04:50:16 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-15 04:50:49 +0200tzh(~tzh@c-73-94-222-143.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-15 04:50:51 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:e531:b955:8b3c:f641) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 04:53:36 +0200tzh(~tzh@c-73-94-222-143.hsd1.mn.comcast.net)
2020-10-15 04:53:37 +0200gawen_(~gawen@movzbl.root.sx)
2020-10-15 04:53:38 +0200gawen(~gawen@movzbl.root.sx) (Ping timeout: 256 seconds)
2020-10-15 04:53:38 +0200hodapp(~hodapp@react-ams-119225.antiddos.solutions) (Ping timeout: 256 seconds)
2020-10-15 04:53:38 +0200Uniaika(~uniaika@163.172.211.189) (Ping timeout: 256 seconds)
2020-10-15 04:53:38 +0200samebchase(~samebchas@51.15.68.182) (Ping timeout: 256 seconds)
2020-10-15 04:53:45 +0200Uniaika(~uniaika@163.172.211.189)
2020-10-15 04:54:07 +0200samebchase(~samebchas@51.15.68.182)
2020-10-15 04:54:12 +0200nekomune(~nekomune@comfy.moe) (Ping timeout: 256 seconds)
2020-10-15 04:55:03 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Ping timeout: 260 seconds)
2020-10-15 04:55:43 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:e531:b955:8b3c:f641)
2020-10-15 04:56:46 +0200twk-(~thewormki@unaffiliated/twk-)
2020-10-15 04:58:01 +0200ericsagnes(~ericsagne@2405:6580:0:5100:1953:d20a:d6bd:698)
2020-10-15 04:58:31 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-15 04:58:41 +0200goepsilongo(~textual@2604:2000:1201:442c:cd68:73db:804e:6df0) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-15 04:58:49 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-15 04:59:20 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-15 04:59:52 +0200tzh(~tzh@c-73-94-222-143.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-10-15 05:00:01 +0200zyga(~zyga@185.163.110.116) ()
2020-10-15 05:00:03 +0200haasn(~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2020-10-15 05:00:16 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-15 05:01:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 05:03:01 +0200max_(~max@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 246 seconds)
2020-10-15 05:04:00 +0200nekomune(~nekomune@comfy.moe)
2020-10-15 05:04:00 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-15 05:04:29 +0200hodapp(~hodapp@react-ams-119225.antiddos.solutions)
2020-10-15 05:04:39 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-15 05:05:27 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-15 05:06:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-15 05:06:31 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl) (Read error: Connection reset by peer)
2020-10-15 05:07:19 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-15 05:09:25 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 240 seconds)
2020-10-15 05:09:58 +0200tzh(~tzh@c-73-94-222-143.hsd1.mn.comcast.net)
2020-10-15 05:16:22 +0200tzh(~tzh@c-73-94-222-143.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-15 05:18:15 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-15 05:22:45 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds)
2020-10-15 05:26:04 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 05:29:45 +0200tzh(~tzh@2601:448:c500:5300::691b)
2020-10-15 05:31:12 +0200falafel(~falafel@2605:e000:1527:d491:c9d2:9986:8bf7:dec8) (Ping timeout: 260 seconds)
2020-10-15 05:37:27 +0200tzh(~tzh@2601:448:c500:5300::691b) (Remote host closed the connection)
2020-10-15 05:37:31 +0200conal_(~conal@64.71.133.70)
2020-10-15 05:40:05 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2020-10-15 05:41:24 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 05:46:00 +0200tzh(~tzh@2601:448:c500:5300::c7f6)
2020-10-15 05:48:23 +0200unlink2(~unlink2@p200300ebcf17c500f1cd4c5efbdddd1e.dip0.t-ipconnect.de)
2020-10-15 05:51:45 +0200Tario(~Tario@201.192.165.173)
2020-10-15 05:57:39 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-15 05:57:42 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-15 05:57:49 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca) (Ping timeout: 264 seconds)
2020-10-15 06:02:16 +0200solonarv(~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-10-15 06:02:23 +0200Rudd0(~Rudd0@185.189.115.103)
2020-10-15 06:06:29 +0200drbean(~drbean@TC210-63-209-70.static.apol.com.tw)
2020-10-15 06:06:45 +0200joeytwiddle(~joeytwidd@162.243.115.31) (Quit: ZNC - http://znc.in)
2020-10-15 06:06:45 +0200plast1k_(~plast1k@196.207.181.246)
2020-10-15 06:07:57 +0200polyrain(~polyrain@2001:8003:e501:6901:65d3:a281:acef:914d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 06:09:03 +0200joeytwiddle(~joeytwidd@162.243.115.31)
2020-10-15 06:09:25 +0200polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 240 seconds)
2020-10-15 06:09:29 +0200Buntspecht(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-15 06:10:01 +0200ryjm_matrix(~matrixirc@pool-74-105-197-68.nwrknj.fios.verizon.net) (Quit: killed)
2020-10-15 06:10:13 +0200balbirs(~balbirs__@ozlabs.org) (Ping timeout: 246 seconds)
2020-10-15 06:10:45 +0200balbirs(~balbirs__@bilbo.ozlabs.org)
2020-10-15 06:11:12 +0200christo(516071d5@81.96.113.213) (Remote host closed the connection)
2020-10-15 06:11:12 +0200Guest34530(~chris@81.96.113.213) (Read error: Connection reset by peer)
2020-10-15 06:12:21 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 06:12:54 +0200alp(~alp@2a01:e0a:58b:4920:4dc1:e34a:e4c0:3af7)
2020-10-15 06:13:01 +0200chris(~chris@81.96.113.213)
2020-10-15 06:13:24 +0200chrisGuest34369
2020-10-15 06:13:25 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 240 seconds)
2020-10-15 06:13:55 +0200Guest34369(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 06:15:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-15 06:16:07 +0200ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Ping timeout: 258 seconds)
2020-10-15 06:16:18 +0200Sanchayan(~Sanchayan@171.61.90.104)
2020-10-15 06:19:06 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 06:20:20 +0200nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 256 seconds)
2020-10-15 06:20:28 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 06:20:59 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 06:24:17 +0200tzh(~tzh@2601:448:c500:5300::c7f6) (Ping timeout: 260 seconds)
2020-10-15 06:27:47 +0200chendo_(~chendo_@217.146.82.202)
2020-10-15 06:28:06 +0200day_(~Unknown@unaffiliated/day)
2020-10-15 06:28:08 +0200eruditass(uid248673@gateway/web/irccloud.com/x-kedemcdusxhenall) (Quit: Connection closed for inactivity)
2020-10-15 06:29:48 +0200 <plast1k_> /msg NickServ VERIFY REGISTER plast1k_ rdynhuxvqnec
2020-10-15 06:29:58 +0200 <plast1k_> oop
2020-10-15 06:30:22 +0200 <Stanley00> oops :3
2020-10-15 06:31:18 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 260 seconds)
2020-10-15 06:31:19 +0200day_day
2020-10-15 06:31:39 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-15 06:32:24 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-15 06:33:55 +0200emmanuel_erc(~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1) (Ping timeout: 240 seconds)
2020-10-15 06:35:14 +0200nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com)
2020-10-15 06:37:05 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-15 06:37:24 +0200emmanuel_erc(~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1)
2020-10-15 06:41:54 +0200tzh(~tzh@2601:448:c500:5300::c7f6)
2020-10-15 06:43:13 +0200 <proofofme> https://pastebin.com/E97L9507 How do I make sense of these error files? Everything was working until I tried to add imap to my cabal file. I messed around with versions of base ... but no success
2020-10-15 06:43:49 +0200plast1k(~plast1k@196.207.181.246)
2020-10-15 06:43:59 +0200plast1k(~plast1k@196.207.181.246) (Remote host closed the connection)
2020-10-15 06:43:59 +0200plast1k_(~plast1k@196.207.181.246) (Quit: Leaving)
2020-10-15 06:44:50 +0200 <lemmih> proofofme: Looks like the 'imap' package is broken.
2020-10-15 06:45:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 06:45:18 +0200 <proofofme> which part do you look at to know this?
2020-10-15 06:45:40 +0200 <lemmih> rejecting: base-4.12.0.0/installed-4.12.0.0 (conflict: imap => base>=4.8
2020-10-15 06:45:40 +0200 <lemmih> && <4.9)
2020-10-15 06:46:15 +0200 <lemmih> This means it can't use base-4.12 (which is the base library for 8.6.5) because 'imap' depends on base-4.8.
2020-10-15 06:46:44 +0200 <proofofme> should I change base versions, and if so, how?
2020-10-15 06:46:54 +0200 <proofofme> I tried, without any success earlier
2020-10-15 06:47:12 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-15 06:47:24 +0200 <koz_> proofofme: base is tied closely to compiler version.
2020-10-15 06:47:30 +0200 <koz_> So you can't really change it.
2020-10-15 06:47:36 +0200 <koz_> What're you after from imap?
2020-10-15 06:47:40 +0200 <lemmih> proofofme: No, the problem is with the version of 'imap' that you're using. There are more recent versions, though.
2020-10-15 06:47:52 +0200 <proofofme> getting and index inside a map function
2020-10-15 06:47:57 +0200 <proofofme> getting an index*
2020-10-15 06:48:10 +0200 <lemmih> proofofme: I don't see the dependency for 'imap' in your cabal file.
2020-10-15 06:48:41 +0200 <koz_> Wait, this imap? http://hackage.haskell.org/package/imap
2020-10-15 06:48:53 +0200 <koz_> That doesn't gel with what you've just said, proofofme .
2020-10-15 06:50:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-15 06:50:50 +0200 <proofofme> I tried several versions of imap in the cabal before I removed it ... forgot that I did actually
2020-10-15 06:50:57 +0200 <proofofme> koz_ in which way?
2020-10-15 06:51:10 +0200 <koz_> You said you wanted 'getting an index inside a map function'.
2020-10-15 06:51:20 +0200 <koz_> If you meant http://hackage.haskell.org/package/imap, then I don't see how that helps.
2020-10-15 06:51:47 +0200 <proofofme> hmm ... wow, good point ...
2020-10-15 06:51:49 +0200 <proofofme> one sec
2020-10-15 06:52:52 +0200nineonine(~nineonine@216.81.48.202) (Remote host closed the connection)
2020-10-15 06:53:22 +0200tanuki_(~quassel@173.168.154.189)
2020-10-15 06:53:36 +0200 <proofofme> how would y'all do it?
2020-10-15 06:53:37 +0200tanuki(~quassel@173.168.154.189) (Ping timeout: 264 seconds)
2020-10-15 06:53:45 +0200 <lemmih> I think you forgot to save the cabal file after removing the 'imap' dependency. The pasted error message doesn't match the pasted cabal file.
2020-10-15 06:53:47 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf) (Ping timeout: 240 seconds)
2020-10-15 06:54:06 +0200jlamothe(~jlamothe@dev.jlamothe.net)
2020-10-15 06:54:12 +0200 <proofofme> yeah, the cabal file was after I removed imap dependency
2020-10-15 06:54:34 +0200nshepperd_(nshepperd@gateway/vpn/mullvad/nshepperd) (Quit: bye)
2020-10-15 06:54:47 +0200plast1k_(~plast1k@196.207.181.246)
2020-10-15 06:55:28 +0200 <lemmih> Well, then run your executable again and see if it works.
2020-10-15 06:55:55 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf)
2020-10-15 06:56:12 +0200 <proofofme> well that works ... but how would y'all get an index inside a map function?
2020-10-15 06:56:42 +0200 <lemmih> I'm not sure what that means. What are you trying to do?
2020-10-15 06:57:33 +0200nyd(~lpy@unaffiliated/elysian)
2020-10-15 06:57:58 +0200polyrain(~polyrain@2001:8003:e501:6901:65d3:a281:acef:914d)
2020-10-15 06:58:04 +0200nyd(~lpy@unaffiliated/elysian) (Client Quit)
2020-10-15 06:58:13 +0200 <proofofme> find the numeric index of an element inside a map of elements
2020-10-15 06:58:28 +0200nyd(~lpy@unaffiliated/elysian)
2020-10-15 06:59:19 +0200 <lemmih> > zip [0..] "Hello world" -- Like this?
2020-10-15 06:59:21 +0200 <lambdabot> [(0,'H'),(1,'e'),(2,'l'),(3,'l'),(4,'o'),(5,' '),(6,'w'),(7,'o'),(8,'r'),(9,...
2020-10-15 07:00:00 +0200 <lemmih> > elemIndex 'o' "Hello world" -- Or maybe like this?
2020-10-15 07:00:04 +0200 <lambdabot> Just 4
2020-10-15 07:00:57 +0200 <proofofme> https://pastebin.com/RPLNgZ03
2020-10-15 07:01:18 +0200 <proofofme> get which index the needle is in actualDivs
2020-10-15 07:02:57 +0200 <lemmih> I still don't understand what you want but I can assure you that you won't get it from the 'imap' package. :)
2020-10-15 07:03:40 +0200zq(~zq@xorshift.org)
2020-10-15 07:03:42 +0200 <proofofme> return '2', because that's the first index that contains one element of the needle ... for this example, at least
2020-10-15 07:05:02 +0200 <zq> how to go about proving that reverse . concat == concat . reverse . map reverse ?
2020-10-15 07:05:17 +0200conal_(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-15 07:13:28 +0200plast1k_(~plast1k@196.207.181.246) (Quit: Leaving)
2020-10-15 07:13:47 +0200plast1k_(~plast1k_@196.207.181.246)
2020-10-15 07:17:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 07:20:05 +0200drbean(~drbean@TC210-63-209-70.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-10-15 07:20:11 +0200lucid_0x80(~lucid_0x8@188.253.225.49)
2020-10-15 07:20:17 +0200acidjnk_new(~acidjnk@p200300d0c7237896b056d7f56d23f214.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 07:22:45 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 240 seconds)
2020-10-15 07:28:09 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:e531:b955:8b3c:f641) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 07:28:45 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-15 07:29:26 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 07:30:16 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-15 07:31:38 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 07:32:42 +0200falafel(~falafel@2605:e000:1527:d491:c9d2:9986:8bf7:dec8)
2020-10-15 07:33:24 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 07:34:47 +0200 <c_wraith> zq: start by proving reverse (xs ++ ys) == reverse ys ++ reverse xs
2020-10-15 07:37:04 +0200aqd(~aqd@87-92-145-87.rev.dnainternet.fi)
2020-10-15 07:37:11 +0200 <zq> c_wraith: how would i do that? would dependent lists need to get involved?
2020-10-15 07:37:19 +0200 <koz_> proofofme: So you want to find the poisition at which a certain predicate holds?
2020-10-15 07:37:22 +0200 <c_wraith> just work definitionally
2020-10-15 07:37:36 +0200 <c_wraith> use the definitions of reverse and (++)
2020-10-15 07:38:06 +0200 <koz_> proofofme: So like http://hackage.haskell.org/package/vector-0.12.1.2/docs/Data-Vector.html#v:findIndex ?
2020-10-15 07:39:29 +0200 <proofofme> just like findIndex! so I can pass a vector into it for the predicates, yeah?
2020-10-15 07:39:35 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-15 07:39:59 +0200alp(~alp@2a01:e0a:58b:4920:4dc1:e34a:e4c0:3af7) (Ping timeout: 272 seconds)
2020-10-15 07:40:01 +0200 <zq> oh right, equational reasoning works in haskell
2020-10-15 07:40:05 +0200 <koz_> proofofme: I don't understand what the statement 'pass a vector into it for the predicates' means in this context.
2020-10-15 07:40:31 +0200 <koz_> You are correct in that findIndex takes a Vector as an argument.
2020-10-15 07:40:37 +0200 <koz_> It has nothing to do with the predicate aspect of this.
2020-10-15 07:41:06 +0200 <proofofme> ah ok
2020-10-15 07:42:02 +0200 <koz_> So, once again, what exactly do you want to do?
2020-10-15 07:42:05 +0200 <koz_> Be as specific as possible.
2020-10-15 07:43:10 +0200Guest88073lep-delete
2020-10-15 07:43:11 +0200lep-deleteGuest88073
2020-10-15 07:43:11 +0200Guest88073lep-delete
2020-10-15 07:43:15 +0200lep-deleteGuest88073
2020-10-15 07:44:04 +0200zacts(~zacts@dragora/developer/zacts) (Client Quit)
2020-10-15 07:44:13 +0200 <proofofme> So if the needle is [a,b,c], and the array to search is [z,y,x,a], it should return 3 because the first instance of the needle found in the "haystack" is the 3rd element (counting 0)
2020-10-15 07:44:29 +0200 <koz_> proofofme: [z, y, x, a] is not an array.
2020-10-15 07:44:31 +0200 <koz_> It's a list.
2020-10-15 07:44:55 +0200xff0x(~fox@2001:1a81:5350:d900:c40a:58bd:2676:630d) (Ping timeout: 240 seconds)
2020-10-15 07:45:00 +0200 <proofofme> ok, list, I mean
2020-10-15 07:45:05 +0200 <koz_> OK, so you have osmething like
2020-10-15 07:45:25 +0200 <koz_> whatProofofmeWants :: (Eq a) => [a] -> [a] -> Maybe Int
2020-10-15 07:45:26 +0200 <koz_> Right?
2020-10-15 07:45:58 +0200 <proofofme> yup!
2020-10-15 07:46:08 +0200xff0x(~fox@2001:1a81:5350:d900:f51f:ced4:4c46:54ba)
2020-10-15 07:46:14 +0200 <koz_> OK, so, this is best written by starting with the more restricted version of it, which is
2020-10-15 07:46:20 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-15 07:46:28 +0200 <koz_> whatKozSuggestsYouWriteFirst :: (Eq a) => a -> [a] -> Maybe Int
2020-10-15 07:46:37 +0200 <koz_> One thing that may help you:
2020-10-15 07:46:41 +0200 <koz_> :t zip [0 ..]
2020-10-15 07:46:42 +0200 <lambdabot> (Num a, Enum a) => [b] -> [(a, b)]
2020-10-15 07:46:54 +0200 <koz_> Try and write that first.
2020-10-15 07:48:07 +0200 <proofofme> hmm
2020-10-15 07:48:25 +0200 <koz_> There is a function that'll do this, but I think it'd be very instructional for you to try and write this yourself first.
2020-10-15 07:49:12 +0200 <proofofme> ok give me a little bit of time to think about this one. how long do you think it should take me?
2020-10-15 07:49:20 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-15 07:49:25 +0200taurux(~taurux@net-93-151-203-230.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2020-10-15 07:49:29 +0200 <koz_> I don't think setting a time limit on a learning task is productive.
2020-10-15 07:49:31 +0200 <koz_> Or useful.
2020-10-15 07:49:42 +0200 <koz_> Take whatever time your understanding, and your learning pace, needs.
2020-10-15 07:49:44 +0200 <proofofme> yeah ... what's the function btw?
2020-10-15 07:49:45 +0200 <koz_> If you need help, ask for it.
2020-10-15 07:49:56 +0200 <koz_> proofofme: Telling you this would defeat the purpose of this exercise.
2020-10-15 07:50:01 +0200 <proofofme> haha ok
2020-10-15 07:50:37 +0200taurux(~taurux@net-188-152-14-176.cust.dsl.teletu.it)
2020-10-15 07:51:42 +0200 <dminuoso> hekkaidekapus: Heh, turns out this is an unfortunate consequence https://gitlab.haskell.org/ghc/ghc/-/issues/18836
2020-10-15 07:51:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-15 07:52:35 +0200 <koz_> dminuoso: Yay, bugs!
2020-10-15 07:54:24 +0200chele(~chele@5.53.222.202)
2020-10-15 07:54:41 +0200 <dminuoso> Putting us back to "Overlapping instances are just bad"
2020-10-15 07:58:34 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-15 08:00:02 +0200chendo_(~chendo_@217.146.82.202) ()
2020-10-15 08:03:29 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-15 08:06:54 +0200howdoi(uid224@gateway/web/irccloud.com/x-llljiaghhgnypdze) (Quit: Connection closed for inactivity)
2020-10-15 08:09:41 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-15 08:11:37 +0200Nik05(~Nik05@unaffiliated/nik05) (Ping timeout: 256 seconds)
2020-10-15 08:12:25 +0200lucid_0x80(~lucid_0x8@188.253.225.49) (Ping timeout: 240 seconds)
2020-10-15 08:12:26 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-15 08:15:08 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-15 08:17:46 +0200falafel(~falafel@2605:e000:1527:d491:c9d2:9986:8bf7:dec8) (Remote host closed the connection)
2020-10-15 08:18:45 +0200plast1k_(~plast1k_@196.207.181.246) (Ping timeout: 240 seconds)
2020-10-15 08:20:25 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 08:20:39 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 08:20:40 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 08:20:40 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 08:21:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 08:22:32 +0200larsivi(~larsivi@s91904426.blix.com)
2020-10-15 08:25:29 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 08:26:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-15 08:26:35 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-15 08:28:56 +0200Nik05(~Nik05@85.150.134.175)
2020-10-15 08:29:21 +0200Nik05Guest17792
2020-10-15 08:30:39 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-15 08:33:37 +0200Sanchayan(~Sanchayan@171.61.90.104) (Read error: No route to host)
2020-10-15 08:35:05 +0200dave_uy(~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat)
2020-10-15 08:37:13 +0200maier(~maier@b2b-37-24-119-190.unitymedia.biz)
2020-10-15 08:37:29 +0200maierkenran
2020-10-15 08:38:40 +0200dave_uy(~david@108.61.193.26)
2020-10-15 08:41:49 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl)
2020-10-15 08:42:47 +0200kritzefitz(~kritzefit@fw-front.credativ.com)
2020-10-15 08:43:35 +0200plast1k_(~plast1k_@196.207.181.246)
2020-10-15 08:45:10 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Remote host closed the connection)
2020-10-15 08:45:30 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 08:45:31 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-15 08:45:39 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-15 08:45:42 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-15 08:45:46 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 08:45:47 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 08:45:47 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 08:47:13 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-15 08:47:47 +0200tzh(~tzh@2601:448:c500:5300::c7f6) (Ping timeout: 260 seconds)
2020-10-15 08:49:18 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de)
2020-10-15 08:50:31 +0200lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (tolkien.freenode.net (Nickname regained by services)))
2020-10-15 08:50:37 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-15 08:52:56 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-15 08:53:11 +0200 <kenran> How can I create haddock documentation for a multi-package cabal-new project such that it's "all in one page"? Is that even possible?
2020-10-15 08:53:19 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-15 08:54:17 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-15 08:55:09 +0200 <kenran> It might have to do with the --doc-index-file option, but I don't see how I'd use it yet.
2020-10-15 08:56:20 +0200nyd(~lpy@unaffiliated/elysian) (Read error: Connection reset by peer)
2020-10-15 08:56:31 +0200 <kenran> I'd probably need something like https://downloads.haskell.org/~ghc/latest/docs/html/libraries/
2020-10-15 08:57:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 08:58:53 +0200tzh(~tzh@c-73-94-222-143.hsd1.mn.comcast.net)
2020-10-15 09:00:40 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-15 09:00:42 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-15 09:01:27 +0200xff0x(~fox@2001:1a81:5350:d900:f51f:ced4:4c46:54ba) (Ping timeout: 244 seconds)
2020-10-15 09:02:36 +0200Sanchayan(~Sanchayan@171.61.90.104)
2020-10-15 09:02:58 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-15 09:05:17 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-15 09:06:17 +0200tzh(~tzh@c-73-94-222-143.hsd1.mn.comcast.net) (Quit: zzz)
2020-10-15 09:07:22 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 09:07:31 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 09:09:50 +0200alp(~alp@88.126.45.36)
2020-10-15 09:09:54 +0200Ariakenom(~Ariakenom@h-155-4-221-253.NA.cust.bahnhof.se)
2020-10-15 09:10:21 +0200danvet(~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453)
2020-10-15 09:14:36 +0200wagle(~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2020-10-15 09:14:36 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl) (Read error: Connection reset by peer)
2020-10-15 09:14:45 +0200daGrevis(~daGrevis@unaffiliated/dagrevis) (Read error: Connection reset by peer)
2020-10-15 09:15:07 +0200wagle(~wagle@quassel.wagle.io)
2020-10-15 09:15:28 +0200daGrevis(~daGrevis@unaffiliated/dagrevis)
2020-10-15 09:15:30 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-15 09:16:47 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-15 09:18:02 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 09:18:12 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-15 09:18:13 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-15 09:18:13 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 09:18:27 +0200hackagemmsyn2 0.2.0.0 - The library that can be used for multiple (Ord a) => a -> b transformations https://hackage.haskell.org/package/mmsyn2-0.2.0.0 (OleksandrZhabenko)
2020-10-15 09:18:45 +0200danvet(~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving)
2020-10-15 09:20:08 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-15 09:20:54 +0200chaosmasttter(~chaosmast@p200300c4a711b001c4478125cc0e8bf4.dip0.t-ipconnect.de)
2020-10-15 09:21:56 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-15 09:21:58 +0200hackagenri-prelude 0.1.0.4 - A Prelude inspired by the Elm programming language https://hackage.haskell.org/package/nri-prelude-0.1.0.4 (JasperWoudenberg)
2020-10-15 09:25:04 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-15 09:26:13 +0200outerpassage(~outerpass@li1196-30.members.linode.com) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-15 09:26:27 +0200hackagebugsnag-hs 0.2.0.3 - A Bugsnag client for Haskell. https://hackage.haskell.org/package/bugsnag-hs-0.2.0.3 (JasperWoudenberg)
2020-10-15 09:27:06 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-15 09:27:58 +0200hackagefakedata-quickcheck 0.1.0 - Fake a -> Gen a https://hackage.haskell.org/package/fakedata-quickcheck-0.1.0 (Jappie)
2020-10-15 09:31:27 +0200toorevitimirp(~tooreviti@117.182.180.0)
2020-10-15 09:33:06 +0200xff0x(~fox@217.110.198.158)
2020-10-15 09:36:11 +0200polyrain_(~polyrain@2001:8003:e501:6901:5438:7f7:706e:c9b0)
2020-10-15 09:37:29 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Quit: WeeChat 2.9)
2020-10-15 09:37:57 +0200polyrain(~polyrain@2001:8003:e501:6901:65d3:a281:acef:914d) (Ping timeout: 260 seconds)
2020-10-15 09:40:02 +0200plast1k_(~plast1k_@196.207.181.246) (Remote host closed the connection)
2020-10-15 09:40:25 +0200aarvar(~foewfoiew@c.24.56.239.179.static.broadstripe.net) (Ping timeout: 264 seconds)
2020-10-15 09:43:36 +0200lortabac(~lortabac@51.158.65.124) (Ping timeout: 272 seconds)
2020-10-15 09:44:48 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-15 09:44:52 +0200devalot(~ident@mail.pmade.com) (Ping timeout: 272 seconds)
2020-10-15 09:45:24 +0200gentauro(~gentauro@unaffiliated/gentauro) (Quit: leaving)
2020-10-15 09:45:41 +0200gentauro(~gentauro@unaffiliated/gentauro)
2020-10-15 09:45:43 +0200lortabac(~lortabac@51.158.65.124)
2020-10-15 09:46:48 +0200Tuplanolla(~Tuplanoll@91.159.68.239)
2020-10-15 09:46:48 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-vrmickywrfnlobks)
2020-10-15 09:50:47 +0200emmanuel_erc(~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1) (Ping timeout: 260 seconds)
2020-10-15 09:51:49 +0200devalot(~ident@mail.pmade.com)
2020-10-15 09:53:22 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-15 09:55:33 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-15 10:01:00 +0200oisdk(~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a)
2020-10-15 10:07:14 +0200lemmih_(~lemmih@218.186.157.57)
2020-10-15 10:10:02 +0200lemmih(~lemmih@2406:3003:2072:44:3922:9cb3:b566:fd8) (Ping timeout: 260 seconds)
2020-10-15 10:13:08 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-15 10:15:25 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2020-10-15 10:17:50 +0200rotaerk(~rotaerk@ender.afternet.org) (Ping timeout: 256 seconds)
2020-10-15 10:20:28 +0200hackagecobot-io 0.1.3.7 - Biological data file formats and IO https://hackage.haskell.org/package/cobot-io-0.1.3.7 (ozzzzz)
2020-10-15 10:22:56 +0200datajerk(~datajerk@sense.net) (Ping timeout: 256 seconds)
2020-10-15 10:24:07 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-15 10:25:03 +0200cyphase(~cyphase@unaffiliated/cyphase) (Read error: Connection reset by peer)
2020-10-15 10:25:47 +0200cyphase(~cyphase@unaffiliated/cyphase)
2020-10-15 10:30:00 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-15 10:30:44 +0200hvr_(~hvr@haskell/developer/hvr)
2020-10-15 10:30:47 +0200MrSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-15 10:30:55 +0200jgt1(~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-15 10:32:20 +0200datajerk(~datajerk@sense.net)
2020-10-15 10:32:21 +0200dirediresalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Read error: Connection reset by peer)
2020-10-15 10:32:21 +0200hvr(~hvr@haskell/developer/hvr) (Read error: Connection reset by peer)
2020-10-15 10:32:21 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl) (Read error: Connection reset by peer)
2020-10-15 10:33:38 +0200fii(~Dykomii@kyoto.mii.moe) (Ping timeout: 272 seconds)
2020-10-15 10:33:43 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 258 seconds)
2020-10-15 10:33:54 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-15 10:34:17 +0200Iroha(~Dykomii@2607:5300:60:336a::1)
2020-10-15 10:35:08 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-15 10:35:13 +0200lucid_0x80(~lucid_0x8@85.132.73.6)
2020-10-15 10:35:34 +0200cosimone(~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad)
2020-10-15 10:37:26 +0200da39a3ee5e6b4b0d(~textual@67.23.55.162)
2020-10-15 10:38:37 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 10:38:39 +0200__monty__(~toonn@unaffiliated/toonn)
2020-10-15 10:39:01 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-kgagngiamjqbxyjw) (Quit: Connection closed for inactivity)
2020-10-15 10:41:24 +0200thc202(~thc202@unaffiliated/thc202)
2020-10-15 10:41:39 +0200MrSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-15 10:44:42 +0200 <merijn> @remember RobRix I’m a theoretical computer scientist, in that my programs run best on theoretical computers
2020-10-15 10:44:42 +0200 <lambdabot> It is stored.
2020-10-15 10:44:46 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 10:45:11 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2020-10-15 10:45:15 +0200kuribas(~user@ptr-25vy0i8gfnrq7cvfnez.18120a2.ip6.access.telenet.be)
2020-10-15 10:46:53 +0200qiu3344(~qiu3344@91.246.215.182)
2020-10-15 10:48:33 +0200rotaerk(~rotaerk@ender.afternet.org)
2020-10-15 10:49:52 +0200 <maerwald> merijn: how convenient for you :p
2020-10-15 10:49:56 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-15 10:53:28 +0200rotaerk(~rotaerk@ender.afternet.org) (Ping timeout: 256 seconds)
2020-10-15 10:54:40 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-15 10:55:19 +0200 <dminuoso> Does lens come with some Fold for a maps keys?
2020-10-15 10:55:46 +0200 <dminuoso> Or is `to keys . each` the way to go?
2020-10-15 10:55:48 +0200lucid_0x80(~lucid_0x8@85.132.73.6) (Ping timeout: 256 seconds)
2020-10-15 10:55:53 +0200 <phadej> ifolded
2020-10-15 10:56:12 +0200 <dminuoso> Ah, cheers phadej.
2020-10-15 10:58:33 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-15 10:58:36 +0200bahamas(~lucian@188.24.181.166)
2020-10-15 10:58:36 +0200bahamas(~lucian@188.24.181.166) (Changing host)
2020-10-15 10:58:36 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-15 11:00:02 +0200larsivi(~larsivi@s91904426.blix.com) ()
2020-10-15 11:03:32 +0200Guest17792(~Nik05@85.150.134.175) (Changing host)
2020-10-15 11:03:32 +0200Guest17792(~Nik05@unaffiliated/nik05)
2020-10-15 11:03:37 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 258 seconds)
2020-10-15 11:04:00 +0200Guest17792Nik05
2020-10-15 11:04:10 +0200ericsagnes(~ericsagne@2405:6580:0:5100:1953:d20a:d6bd:698) (Quit: WeeChat 2.7.1)
2020-10-15 11:05:32 +0200 <dminuoso> phadej: Is there an equivalent of asIndex in optics?
2020-10-15 11:05:32 +0200xff0x(~fox@217.110.198.158)
2020-10-15 11:06:14 +0200ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-10-15 11:08:07 +0200 <phadej> i don't remember
2020-10-15 11:08:38 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de)
2020-10-15 11:09:12 +0200daGrevis(~daGrevis@unaffiliated/dagrevis) (Remote host closed the connection)
2020-10-15 11:09:26 +0200 <phadej> looks like https://github.com/well-typed/optics/issues/321 no
2020-10-15 11:10:58 +0200ericsagnes(~ericsagne@2405:6580:0:5100:548b:75ef:7d3b:2917)
2020-10-15 11:12:21 +0200daGrevis(~daGrevis@unaffiliated/dagrevis)
2020-10-15 11:13:40 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 246 seconds)
2020-10-15 11:15:43 +0200xff0x(~fox@217.110.198.158)
2020-10-15 11:18:34 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a)
2020-10-15 11:21:19 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net)
2020-10-15 11:21:19 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-15 11:21:19 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2020-10-15 11:23:23 +0200GyroW_(~GyroW@d54C03E98.access.telenet.be)
2020-10-15 11:23:23 +0200GyroW_(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-15 11:23:23 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-15 11:24:03 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-15 11:25:29 +0200rotaerk(rotaerk@2600:3c02::f03c:91ff:fe70:4a45)
2020-10-15 11:30:04 +0200iomonad(~iomonad@unaffiliated/iomonad) (Ping timeout: 258 seconds)
2020-10-15 11:31:31 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2020-10-15 11:33:40 +0200iomonad(~iomonad@unaffiliated/iomonad)
2020-10-15 11:34:19 +0200iomonad(~iomonad@unaffiliated/iomonad) ()
2020-10-15 11:34:45 +0200iomonad(~iomonad@unaffiliated/iomonad)
2020-10-15 11:35:18 +0200iomonad(~iomonad@unaffiliated/iomonad) ()
2020-10-15 11:36:49 +0200haasn(~nand@mpv/developer/haasn)
2020-10-15 11:38:58 +0200da39a3ee5e6b4b0d(~textual@67.23.55.162) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 11:40:25 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2020-10-15 11:41:27 +0200chris(~chris@81.96.113.213)
2020-10-15 11:41:51 +0200chrisGuest93680
2020-10-15 11:45:05 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-10-15 11:46:48 +0200emmanuel_erc(~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1)
2020-10-15 11:47:43 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 11:48:28 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-15 11:50:55 +0200emmanuel_erc(~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1) (Ping timeout: 244 seconds)
2020-10-15 11:51:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-15 11:53:57 +0200 <fendor> I want multiple modules per file :(
2020-10-15 11:54:39 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-15 11:55:05 +0200Alleria(~AllahuAkb@mskresolve-a.mskcc.org)
2020-10-15 11:55:25 +0200taurux(~taurux@net-188-152-14-176.cust.dsl.teletu.it) (Ping timeout: 240 seconds)
2020-10-15 11:55:29 +0200AlleriaGuest72657
2020-10-15 11:55:42 +0200BjarniRunar1(~BjarniRun@185.163.110.116)
2020-10-15 11:56:05 +0200alp(~alp@88.126.45.36) (Ping timeout: 240 seconds)
2020-10-15 11:56:05 +0200ulidtko(~ulidtko@193.111.48.79)
2020-10-15 11:56:44 +0200 <ulidtko> hi all
2020-10-15 11:56:47 +0200 <ulidtko> cabal question :/
2020-10-15 11:57:04 +0200 <Zetagon> hello there!
2020-10-15 11:57:15 +0200 <ulidtko> I'm setting executable-stripping: True -- but the built binaries are still with debuginfo
2020-10-15 11:57:22 +0200 <ulidtko> Cabal 2.4.0.1
2020-10-15 11:57:34 +0200 <ulidtko> > foobar/dist-newstyle/build/x86_64-linux/ghc-8.6.5/foobar-0.1.0.0/x/foobar/build/foobar/foobar: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib/ld-musl-x86_64.so.1, with debug_info, not stripped
2020-10-15 11:57:36 +0200taurux(~taurux@net-93-144-64-237.cust.dsl.teletu.it)
2020-10-15 11:57:37 +0200 <lambdabot> <hint>:1:121: error: <hint>:1:121: error: parse error on input ‘,’
2020-10-15 11:58:18 +0200 <ulidtko> I've checked that the strip program is there (it's a docker container)
2020-10-15 11:58:27 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-15 11:58:34 +0200shailangsa(~shailangs@host86-186-133-58.range86-186.btcentralplus.com)
2020-10-15 12:00:13 +0200 <ulidtko> even with explicit cmdline flag, i.e. cabal new-build --executable-stripping -- the built executable is non-stripped
2020-10-15 12:01:22 +0200Rudd0(~Rudd0@185.189.115.103)
2020-10-15 12:02:37 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-15 12:02:53 +0200 <ulidtko> here, quick demo https://asciinema.org/a/365563?speed=2
2020-10-15 12:04:28 +0200daGrevis(~daGrevis@unaffiliated/dagrevis) (Remote host closed the connection)
2020-10-15 12:05:28 +0200Guest93680(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 12:05:55 +0200daGrevis(~daGrevis@unaffiliated/dagrevis)
2020-10-15 12:07:47 +0200acidjnk_new(~acidjnk@p200300d0c7237816a89fd387a81e29da.dip0.t-ipconnect.de)
2020-10-15 12:08:33 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 12:08:45 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-15 12:09:02 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-15 12:09:27 +0200 <ulidtko> ahhhhh I'm dumb, sorry never mind
2020-10-15 12:09:48 +0200 <ulidtko> should've read the docs more carefully
2020-10-15 12:10:05 +0200 <ulidtko> - When installing binary executable programs, run the strip program on the binary.
2020-10-15 12:11:25 +0200 <[exa]> stripping is usually done by the system install, see `man 1 install`
2020-10-15 12:11:47 +0200 <[exa]> (for various fun reasons)
2020-10-15 12:11:53 +0200 <ulidtko> yeah, the doc says *when installing* which I missed
2020-10-15 12:12:33 +0200 <ulidtko> now I wonder how that will work with Stack's concept of "installing"
2020-10-15 12:13:02 +0200knupfer1(~Thunderbi@mue-88-130-61-082.dsl.tropolys.de)
2020-10-15 12:13:04 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-15 12:13:37 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 12:13:38 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 12:13:38 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 12:13:40 +0200 <[exa]> not sure, but brace for surprises :]
2020-10-15 12:13:59 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-15 12:14:18 +0200 <ulidtko> hah, it's a boring day when computers don't surprise me :}
2020-10-15 12:15:14 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-15 12:15:57 +0200hackagehlint 3.2.1 - Source code suggestions https://hackage.haskell.org/package/hlint-3.2.1 (NeilMitchell)
2020-10-15 12:16:29 +0200 <[exa]> you know there are nice surprises with lots of added education value, and then the other kind... :D
2020-10-15 12:16:40 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 246 seconds)
2020-10-15 12:17:47 +0200Jajik(xchlup2@gateway/shell/fi.muni.cz/x-xjevhnrltftutzdj) (Ping timeout: 240 seconds)
2020-10-15 12:17:47 +0200xsarnik0(xsarnik@gateway/shell/fi.muni.cz/x-jrprcpcmxxiihrwy) (Ping timeout: 240 seconds)
2020-10-15 12:18:17 +0200chris(~chris@81.96.113.213)
2020-10-15 12:18:40 +0200chrisGuest24584
2020-10-15 12:19:45 +0200alp(~alp@2a01:e0a:58b:4920:7568:f452:5628:f3c5)
2020-10-15 12:20:21 +0200Tops2(~Tobias@dyndsl-095-033-092-130.ewe-ip-backbone.de)
2020-10-15 12:22:45 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a) (Read error: Connection reset by peer)
2020-10-15 12:27:06 +0200oxide(~lambda@unaffiliated/mclaren) (Quit: oxide)
2020-10-15 12:27:22 +0200oxide(~lambda@unaffiliated/mclaren)
2020-10-15 12:29:09 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 12:33:24 +0200perdent(~blah@101.175.98.122)
2020-10-15 12:33:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-15 12:35:52 +0200ggVGc(~ggVGc@unaffiliated/walt) (Ping timeout: 244 seconds)
2020-10-15 12:39:51 +0200ggVGc(~ggVGc@a.lowtech.earth)
2020-10-15 12:40:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-15 12:48:07 +0200acidjnk_new(~acidjnk@p200300d0c7237816a89fd387a81e29da.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 12:56:09 +0200nyd(~lpy@unaffiliated/elysian)
2020-10-15 12:57:07 +0200dhil(~dhil@195.213.192.122)
2020-10-15 13:00:23 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-15 13:00:38 +0200acidjnk_new(~acidjnk@p200300d0c7237816a89fd387a81e29da.dip0.t-ipconnect.de)
2020-10-15 13:01:07 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-15 13:01:22 +0200cosimone(~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Quit: cosimone)
2020-10-15 13:03:42 +0200Jajik(xchlup2@gateway/shell/fi.muni.cz/x-hhrtkuzapztvvdpl)
2020-10-15 13:03:43 +0200jedws(~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 13:06:09 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-15 13:07:45 +0200jophish(~jophish@2400:8901::f03c:91ff:fe39:7a9) (Quit: WeeChat 2.4)
2020-10-15 13:12:33 +0200 <tinga> f :: Complex Int -> Complex Int ;; f x = x + (1 :+ 0)
2020-10-15 13:12:39 +0200 <tinga> Why does this give No instance for (RealFloat Int) arising from a use of ‘+’ ?
2020-10-15 13:13:42 +0200 <phadej> % :t (+) @(Complex _)
2020-10-15 13:13:42 +0200 <yahb> phadej: RealFloat _ => Complex _ -> Complex _ -> Complex _
2020-10-15 13:13:54 +0200 <phadej> RealFloat a => Num (Complex a)
2020-10-15 13:14:08 +0200 <phadej> check the source, probably because of abs
2020-10-15 13:16:21 +0200xsarnik0(xsarnik@gateway/shell/fi.muni.cz/x-atyswzwjgcedayoa)
2020-10-15 13:19:01 +0200xwvvvvwx(~xwvvvvwx@185.213.155.160) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-15 13:19:11 +0200xwvvvvwx(~xwvvvvwx@185.213.155.160)
2020-10-15 13:19:24 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 13:22:51 +0200 <tinga> Class Num does not have any type restrictions (I'm still a newbie, maybe class declarations never can have type restrictions anyway?) https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Num.html#Num
2020-10-15 13:23:08 +0200 <tinga> Whereas the instance declarations all have the type restriction https://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Complex.html
2020-10-15 13:23:52 +0200 <phadej> yes, to use an instance, you have to satisfy its constraints
2020-10-15 13:24:14 +0200machinedgod(~machinedg@24.105.81.50)
2020-10-15 13:24:20 +0200 <phadej> "Complex a is an instance of class Num when a is an instance of RealFloat"
2020-10-15 13:24:43 +0200 <tinga> yep, but I don't see why
2020-10-15 13:24:50 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-15 13:25:42 +0200 <tinga> "I just want to add a real 1 to a complex number", and it appears that I can only do that if I instantiate Complex with Float, or write my own real number type?
2020-10-15 13:25:50 +0200 <phadej> https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Complex.html#t:Complex, whe nyou click Source next to Num (Complex a)
2020-10-15 13:25:53 +0200 <phadej> you are taken to https://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Complex.html#line-132
2020-10-15 13:26:01 +0200 <phadej> and as I expected
2020-10-15 13:26:02 +0200 <phadej> abs z = magnitude z :+ 0
2020-10-15 13:26:04 +0200jophish(~jophish@2400:8901::f03c:91ff:fe39:7a9)
2020-10-15 13:26:05 +0200Guest_39(92c79265@101.146.199.146.dyn.plus.net)
2020-10-15 13:26:29 +0200 <Guest_39> Hi, im having trouple installing haskell on my mac
2020-10-15 13:26:30 +0200 <phadej> and magnitude has type
2020-10-15 13:26:30 +0200 <phadej> magnitude :: (RealFloat a) => Complex a -> a
2020-10-15 13:26:34 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2020-10-15 13:26:46 +0200 <phadej> tinga: yes, Num is suboptimal type-class
2020-10-15 13:26:56 +0200 <Guest_39> is someone able to help?
2020-10-15 13:27:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-15 13:27:46 +0200 <Guest_39> im getting a digest error when installing ghcup
2020-10-15 13:28:07 +0200 <maerwald> Guest_39: which one
2020-10-15 13:28:17 +0200 <phadej> using Complex to play with gaussian integers would need you to write own "Complex"
2020-10-15 13:28:22 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 13:28:23 +0200 <tinga> OK, thanks phadej
2020-10-15 13:28:33 +0200 <Guest_39> [ Info ] verifying digest of: ghc-8.8.4-x86_64-apple-darwin.tar.xz[ Error ] DigestError "24a6bdab3fc845b2605b951d8160d8d02d34dbb81600f3d0aabbbb8d8e8fd4fd" "e80a789e9d8cfb41dd87f3284b75432427c4461c1731d220d04ead8733ccdb5e"
2020-10-15 13:28:40 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 13:28:41 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 13:28:41 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 13:28:55 +0200 <phadej> maerwald, bgamari ^ do you now what happened?
2020-10-15 13:30:23 +0200 <maerwald> e80a789e9d8cfb41dd87f3284b75432427c4461c1731d220d04ead8733ccdb5e is the hash from https://downloads.haskell.org/~ghc/8.8.4/SHA256SUMS
2020-10-15 13:30:32 +0200alp(~alp@2a01:e0a:58b:4920:7568:f452:5628:f3c5) (Remote host closed the connection)
2020-10-15 13:30:49 +0200alp(~alp@2a01:e0a:58b:4920:184a:1b71:3e52:bd7e)
2020-10-15 13:31:03 +0200plutoniix(~q@175.176.222.7) (Quit: Leaving)
2020-10-15 13:31:15 +0200 <maerwald> so the thing you downloaded is indeed not valid
2020-10-15 13:32:19 +0200 <Guest_39> is also says:
2020-10-15 13:32:27 +0200hackageth-lego 0.1.0.4 - Template Haskell construction utilities https://hackage.haskell.org/package/th-lego-0.1.0.4 (NikitaVolkov)
2020-10-15 13:32:33 +0200 <Guest_39> [ Error ] Also check the logs in "/Users/Guest_39/.ghcup/logs"
2020-10-15 13:33:08 +0200 <phadej> I downloaded the tarball and i got the same e80... hash so it's not changed on the server :)
2020-10-15 13:33:40 +0200 <phadej> and what the logs say? :)
2020-10-15 13:34:45 +0200 <Guest_39> im not sure how to check the logs -_-
2020-10-15 13:34:47 +0200 <maerwald> Guest_39: you can try to use wget instead: ~/.ghcup/bin/ghcup --downloader wget install ghc 8.8.4
2020-10-15 13:37:59 +0200rprije(~rprije@14-203-72-60.tpgi.com.au) (Ping timeout: 260 seconds)
2020-10-15 13:38:57 +0200hackageaeson-commit 1.0 - Parse Aeson data with commitment https://hackage.haskell.org/package/aeson-commit-1.0 (jonascarpay)
2020-10-15 13:40:10 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-15 13:44:52 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-15 13:45:23 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 258 seconds)
2020-10-15 13:47:10 +0200xff0x(~fox@217.110.198.158)
2020-10-15 13:49:08 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-15 13:49:26 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 13:52:26 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 13:56:45 +0200Guest24584(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 13:57:04 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-15 14:00:01 +0200BjarniRunar1(~BjarniRun@185.163.110.116) ()
2020-10-15 14:01:49 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-15 14:03:42 +0200comorbid_enfloriguy_lombardo
2020-10-15 14:05:37 +0200oisdk(~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a) (Quit: oisdk)
2020-10-15 14:07:37 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-15 14:08:27 +0200urodna(~urodna@unaffiliated/urodna)
2020-10-15 14:11:28 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-15 14:11:46 +0200Guest_39(92c79265@101.146.199.146.dyn.plus.net) (Remote host closed the connection)
2020-10-15 14:12:09 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-15 14:12:18 +0200chris(~chris@81.96.113.213)
2020-10-15 14:12:41 +0200chrisGuest58695
2020-10-15 14:14:33 +0200chaosmasttter(~chaosmast@p200300c4a711b001c4478125cc0e8bf4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-15 14:14:46 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de)
2020-10-15 14:14:48 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 14:15:08 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de) (Client Quit)
2020-10-15 14:15:33 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:e531:b955:8b3c:f641)
2020-10-15 14:16:25 +0200Guest58695(~chris@81.96.113.213) (Ping timeout: 240 seconds)
2020-10-15 14:16:27 +0200hackageaeson-commit 1.1 - Parse Aeson data with commitment https://hackage.haskell.org/package/aeson-commit-1.1 (jonascarpay)
2020-10-15 14:19:27 +0200hackageptr-poker 0.1 - Pointer poking action construction and composition toolkit https://hackage.haskell.org/package/ptr-poker-0.1 (NikitaVolkov)
2020-10-15 14:21:38 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 272 seconds)
2020-10-15 14:21:40 +0200 <dminuoso> What am I to make of this diagnostic? https://gist.github.com/dminuoso/a1767ce83e8ff645dfdae7d29aed51e4
2020-10-15 14:22:03 +0200 <dminuoso> That seems like a buggy GHC heuristic.
2020-10-15 14:22:41 +0200 <dminuoso> % data Foo = Foo1 Foo1
2020-10-15 14:22:41 +0200 <yahb> dminuoso: ; <interactive>:14:17: error:; * Data constructor `Foo1' cannot be used here (it is defined and used in the same recursive group); * In the type `Foo1'; In the definition of data constructor `Foo1'; In the data declaration for `Foo'
2020-10-15 14:23:13 +0200 <dminuoso> This should emit: Not in scope: type constructor or class `Foo1'; Perhaps you meant `Foo' (line 15)
2020-10-15 14:23:20 +0200xff0x(~fox@217.110.198.158)
2020-10-15 14:23:27 +0200 <dminuoso> Or is there some weird Haskell semantics that justify the above diagnostic?
2020-10-15 14:24:41 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-15 14:25:49 +0200nyd(~lpy@unaffiliated/elysian) (Quit: nyd)
2020-10-15 14:26:27 +0200 <Ariakenom> tinga, maybe im misunderstanding but. "I just want to add a real 1 to a complex number" your code does that if u change the type to "f :: RealFloat a => Complex a -> Complex a"
2020-10-15 14:27:00 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:e531:b955:8b3c:f641) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 14:28:21 +0200 <merijn> dminuoso: heh, which GHC is that?
2020-10-15 14:28:35 +0200 <merijn> dminuoso: eh, wait
2020-10-15 14:28:47 +0200 <merijn> dminuoso: Is there an actual V_3GPP type anywhere?
2020-10-15 14:28:58 +0200 <dminuoso> merijn: No, I forgot to import it.
2020-10-15 14:28:59 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de)
2020-10-15 14:29:10 +0200 <Ariakenom> but that doesnt work if u want Int in particular
2020-10-15 14:29:15 +0200 <merijn> Do you have DataKinds enabled?
2020-10-15 14:29:38 +0200 <dminuoso> % :set -XNoDataKinds
2020-10-15 14:29:38 +0200 <yahb> dminuoso:
2020-10-15 14:29:41 +0200 <dminuoso> % data Foo = Foo1 Foo1
2020-10-15 14:29:41 +0200 <yahb> dminuoso: ; <interactive>:17:17: error:; Not in scope: type constructor or class `Foo1'; A data constructor of that name is in scope; did you mean DataKinds?; Perhaps you meant `Foo' (line 17)
2020-10-15 14:29:47 +0200 <dminuoso> merijn: That's it! Thanks!
2020-10-15 14:29:48 +0200 <merijn> oom
2020-10-15 14:29:51 +0200 <merijn> *boom
2020-10-15 14:29:53 +0200 <dminuoso> Good catch. :)
2020-10-15 14:30:08 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de) (Client Quit)
2020-10-15 14:30:08 +0200 <merijn> I'm a genius at debugging intuition ;)
2020-10-15 14:30:15 +0200 <dminuoso> heh
2020-10-15 14:30:22 +0200 <dminuoso> I mean it was obvious the moment you mentioned it
2020-10-15 14:30:37 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 14:31:49 +0200 <dminuoso> I have a pretty cool usecase of data kinds now. :)
2020-10-15 14:32:13 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 14:33:10 +0200dyeplexer(~lol@unaffiliated/terpin)
2020-10-15 14:35:22 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-15 14:35:23 +0200 <merijn> Inscrutable errors? :p
2020-10-15 14:35:26 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Remote host closed the connection)
2020-10-15 14:36:46 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:ece1:4d72:7859:59d1)
2020-10-15 14:36:50 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 272 seconds)
2020-10-15 14:37:01 +0200chaosmasttter(~chaosmast@p200300c4a711b001c4478125cc0e8bf4.dip0.t-ipconnect.de)
2020-10-15 14:38:54 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-15 14:39:40 +0200 <dminuoso> merijn: Nah. So I have lots of nullary sum types. To avoid name clashing, they are prefixed by the attribute name
2020-10-15 14:39:57 +0200 <dminuoso> So I have `ASA_WebVPN_SSL_VPN_Client_Keep_Installation_Enabled` `ASA_WebVPN_Port_Forwarding_Exchange_Proxy_Enable_Enabled` etc
2020-10-15 14:40:07 +0200 <dminuoso> It's much easier to just say #Enabled instead. :)
2020-10-15 14:40:31 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-15 14:41:02 +0200 <dminuoso> And use generated IsLabel instances
2020-10-15 14:41:24 +0200 <AWizzArd> In Snap I can encode variable parts of a route via colon: `:id`. Are query parameters also encoded in the route? Or are they exclusively captured via rqQueryParams?
2020-10-15 14:41:27 +0200 <dminuoso> Or `fromLabel @"Foo-Bar"` if you dont want to use OverloadedLabels, or can it
2020-10-15 14:41:31 +0200 <dminuoso> *or cant
2020-10-15 14:42:01 +0200 <dminuoso> So that gives rise to some cool combinators together with the optics library
2020-10-15 14:42:03 +0200 <dminuoso> like
2020-10-15 14:42:30 +0200 <dminuoso> whenM (Acct_Authentic ./= #RADIUS) (...)
2020-10-15 14:43:10 +0200 <dminuoso> Err, that should start with an understore. :)
2020-10-15 14:43:23 +0200 <merijn> dminuoso: I'm a luddite who is still not using optics :p
2020-10-15 14:44:03 +0200 <phadej> Kowainik :)
2020-10-15 14:44:30 +0200OmegaDoug(8e750cd2@lnsm3-torontoxn-142-117-12-210.internet.virginmobile.ca)
2020-10-15 14:44:51 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:ece1:4d72:7859:59d1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 14:45:08 +0200 <phadej> merijn: are you using lens?
2020-10-15 14:45:21 +0200 <merijn> phadej: I meant no optics at all
2020-10-15 14:45:39 +0200 <merijn> regardless of package
2020-10-15 14:45:48 +0200 <phadej> then it's fine.
2020-10-15 14:46:07 +0200 <merijn> I mean, I think I have 5 lines of microlens to interact with persistent, but that's it :p
2020-10-15 14:46:43 +0200 <phadej> interacting with swagger2 using OverloadedLabels and optics is very nice
2020-10-15 14:47:01 +0200 <phadej> specifically after I fixed the VIM highlighting for overloadedlabels :)
2020-10-15 14:47:01 +0200 <dminuoso> Indeed, we use that as well. :)
2020-10-15 14:47:34 +0200 <merijn> phadej: Out of curiosity, are you secretly a bunch of androids who don't need sleep?
2020-10-15 14:47:37 +0200 <dminuoso> But I didn't start optics/lens them until we started working on this SDN compiler. That project had very deeply nested data, and there were very repeating pattern themes.
2020-10-15 14:48:00 +0200 <dminuoso> Though, I must admit, ever since I started, optics has appeared popping up in some projects here
2020-10-15 14:48:05 +0200 <phadej> merijn: I in fact sleep 9+ hours a day
2020-10-15 14:48:22 +0200 <merijn> phadej: At this rate you're outputting more code than edwardk >.>
2020-10-15 14:48:48 +0200 <dminuoso> merijn: edwardk's capacitity to put out code is limited by the influx of articles on ncatlab.
2020-10-15 14:49:06 +0200 <merijn> :p
2020-10-15 14:49:52 +0200 <merijn> my capacity is limited by "cat petting" having priority over coding >.>
2020-10-15 14:50:01 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-15 14:50:02 +0200 <dminuoso> since when do you have a cat?
2020-10-15 14:50:06 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:1d95:d5fb:2f0c:fa1f)
2020-10-15 14:50:17 +0200 <merijn> mid-2016?
2020-10-15 14:50:41 +0200 <merijn> Ironically, most of my Haskell is after mid-2016
2020-10-15 14:51:01 +0200 <merijn> OTOH, before this year I spent most of my day at work, where there's no cat... :p
2020-10-15 14:51:11 +0200 <phadej> is your cat named Haskell
2020-10-15 14:51:34 +0200 <phadej> or Hask
2020-10-15 14:52:16 +0200 <merijn> Usually she just gets called panther princess :p
2020-10-15 14:53:27 +0200 <absence> what's the right way to deal with duplicate record fields across modules? https://repl.it/repls/GruesomeTrustyLocation
2020-10-15 14:54:03 +0200 <merijn> 1) don't have those, 2) only import them qualified, 3) some complicated mess of extensions and voodoo
2020-10-15 14:54:37 +0200 <merijn> oh, 4) don't have record field accessors at all (not implemented yet, afaik)
2020-10-15 14:54:42 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-15 14:55:22 +0200 <absence> merijn: the thing is that if i put everything in the same module, it just works, so i thought maybe i was missing something "obvious"
2020-10-15 14:55:33 +0200 <phadej> enable DuplicateRecordFields in a module you use them too?
2020-10-15 14:55:51 +0200 <absence> phadej: i tried that, but it doesn't make a difference unfortunately
2020-10-15 14:56:20 +0200 <merijn> having accesors was a mistake, -XNoFieldSelectors + -XNamedFieldPuns is the way forward!
2020-10-15 14:56:40 +0200 <merijn> (you know, once NoFieldSelectors finally ships...)
2020-10-15 14:56:56 +0200 <phadej> also naming types.hs Types.hs will help GHC find it
2020-10-15 14:57:04 +0200 <hpc> -XBasicallyJustRustADTs
2020-10-15 14:57:44 +0200 <merijn> hpc: I dunno how those work? how do they differ from ADTs in haskell?
2020-10-15 15:00:01 +0200 <hpc> mechanically they're practically the same as strict haskell would be, but that combination of extensions makes pattern matching syntax on them very similar as well
2020-10-15 15:00:29 +0200 <tinga> Ariakenom, yes, I was imprecise, I just meant a non-complex number (add 1 to the real part) and I wanted to write a function that would work for any `a` in `Complex a`
2020-10-15 15:01:33 +0200 <tinga> Why is it that with type classes the type restriction holds for the whole class instead of just the methods where the restriction is relevant?
2020-10-15 15:01:51 +0200 <merijn> tinga: What do you mean?
2020-10-15 15:02:00 +0200Gerula(~Gerula@unaffiliated/gerula) (Quit: Leaving)
2020-10-15 15:02:42 +0200 <tinga> Num covers (+), (-), abs, etc., but the RealFloat restriction only exists because of `abs`.
2020-10-15 15:02:43 +0200 <phadej> because if you would want different restrictons, you'd rather have separate classes :)
2020-10-15 15:02:53 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 260 seconds)
2020-10-15 15:03:15 +0200 <phadej> better question is "wnhy Num has abs", which has a very boring question: Because in '90s that sounded like a good idea
2020-10-15 15:03:22 +0200 <tinga> merijn, So if I wanted to only ever use + and - from Num, the RealFloat restriction doesn't matter for me.
2020-10-15 15:03:36 +0200 <phadej> sorry, boring answer
2020-10-15 15:03:37 +0200 <merijn> Which RealFloat restriction?
2020-10-15 15:03:48 +0200 <phadej> merijn: RealFloat a => Num (Complex a)
2020-10-15 15:04:09 +0200 <merijn> ah
2020-10-15 15:04:12 +0200 <phadej> see discussion ~100 messages prior
2020-10-15 15:04:31 +0200xff0x(~fox@217.110.198.158)
2020-10-15 15:04:46 +0200 <merijn> tinga: Simple answer: because arbitrarily fine-grained splitting requires tons of manual work with very little to no pay off
2020-10-15 15:04:56 +0200 <tinga> My question is towards: would type reasoning become impossible or computationally more complex if type classes would be "splittable" according to use,
2020-10-15 15:04:56 +0200 <merijn> tinga: In short, nobody cares enough
2020-10-15 15:05:02 +0200jneira_(~jneira@211.red-176-87-17.dynamicip.rima-tde.net)
2020-10-15 15:05:23 +0200 <tinga> I mean, automatic splitting.
2020-10-15 15:05:40 +0200 <tinga> Maybe I'm being stupid, not sure.
2020-10-15 15:05:44 +0200 <merijn> tinga: Well, you'd first have to invent a semantics for what "splittable" even means, then you'd have to implement it, then you'd have to update all existing code
2020-10-15 15:05:52 +0200invaser(~Thunderbi@46-133-205-72.mobile.vf-ua.net)
2020-10-15 15:05:53 +0200 <merijn> tinga: Many people hate the Num hierarchy for many reasons
2020-10-15 15:05:59 +0200 <merijn> A lot of them even valid reasons
2020-10-15 15:06:19 +0200 <tinga> Since it would only allow more code to be valid, not restrict existing code, no code would have to be changed.
2020-10-15 15:06:30 +0200 <phadej> bold clam
2020-10-15 15:06:32 +0200 <phadej> claim
2020-10-15 15:06:34 +0200 <merijn> tinga: But every proposed alternative has either required: 1) tons of extensions, 2) made code dramatically harder to understand, 3) not much practical use
2020-10-15 15:06:55 +0200 <tinga> :) Ok, that sounds like a reasonable answer.
2020-10-15 15:07:43 +0200 <merijn> tinga: Like, sure, Num is broken in all sorts of mathematical ways, but most of the proposed fixes are "more correct", but also 10 times more annoying to use to write, you know, actual code :)
2020-10-15 15:08:14 +0200 <tinga> Is there a somewhat widely accepted alternative for Num ?
2020-10-15 15:08:22 +0200 <merijn> No
2020-10-15 15:08:34 +0200 <merijn> There's about 20 *not* widely accepted alternatives, though!
2020-10-15 15:08:50 +0200lucid_0x80(~lucid_0x8@85.132.73.6)
2020-10-15 15:09:00 +0200 <merijn> All they cost you is "all interoperability with the rest of Hackage" ;)
2020-10-15 15:12:37 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-15 15:13:15 +0200 <kuribas> merijn: there is the purescript type class hierarchy
2020-10-15 15:13:21 +0200 <phadej> I don't think anyone tried hard enough to satisfy "algebraists" and "float-pointers" at the same time
2020-10-15 15:13:30 +0200Thompson(~Thompson@cpe-72-129-144-92.new.res.rr.com)
2020-10-15 15:13:33 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu)
2020-10-15 15:13:37 +0200 <phadej> kuribas: purescript hierarchy lies about floats :)
2020-10-15 15:14:12 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 256 seconds)
2020-10-15 15:14:15 +0200emmanuel_erc(~user@cpe-67-243-153-99.nyc.res.rr.com)
2020-10-15 15:14:21 +0200 <kuribas> https://pursuit.purescript.org/packages/purescript-numerics/0.1.2/docs/Data.Num
2020-10-15 15:15:40 +0200 <phadej> as concrete example, IMO having CommutativeRing like no-members but extra laws class is antipattern in Haskell (and fwiw in PS as well)
2020-10-15 15:15:43 +0200xff0x(~fox@217.110.198.158)
2020-10-15 15:15:45 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-15 15:15:48 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 15:15:51 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 258 seconds)
2020-10-15 15:15:58 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-15 15:15:59 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-15 15:15:59 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 15:16:06 +0200 <phadej> if you want to have such, you would need to have a member which has extra laws attached to it
2020-10-15 15:16:08 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-eumwksferfqxnztz) (Quit: Connection closed for inactivity)
2020-10-15 15:16:12 +0200 <phadej> e.g. + is commutative and .+ isn't
2020-10-15 15:16:36 +0200 <phadej> ... and we can debate whether that or single + is better to the end of the universe :)
2020-10-15 15:18:17 +0200raichoo(~raichoo@dslb-088-077-024-025.088.077.pools.vodafone-ip.de)
2020-10-15 15:20:26 +0200 <dminuoso> kuribas: You asked why no newtype around Int, because not all integers are permissable.
2020-10-15 15:20:47 +0200 <dminuoso> But to be perfectly blunt, the vendor who was responsible for this is an idiot, as integer would have been the right thing here.
2020-10-15 15:21:00 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 15:22:21 +0200 <kuribas> dminuoso: newtype with smart constructor?
2020-10-15 15:25:17 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu) (Remote host closed the connection)
2020-10-15 15:25:38 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Ping timeout: 260 seconds)
2020-10-15 15:26:50 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu)
2020-10-15 15:27:12 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-15 15:28:42 +0200 <Ariakenom> > [0.5, 1.5 .. 2] -- we hating on numbers?
2020-10-15 15:28:46 +0200 <lambdabot> [0.5,1.5,2.5]
2020-10-15 15:28:59 +0200 <merijn> the Enum instance for Float and Double can go die in a fire
2020-10-15 15:29:01 +0200 <merijn> Stupid ass idea
2020-10-15 15:29:04 +0200kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-10-15 15:31:27 +0200doomas(~doomas@94.229.74.91)
2020-10-15 15:32:03 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds)
2020-10-15 15:32:25 +0200invaser1(~Thunderbi@31.148.23.125)
2020-10-15 15:33:10 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-10-15 15:34:18 +0200Thompson(~Thompson@cpe-72-129-144-92.new.res.rr.com) (Quit: Thompson)
2020-10-15 15:35:01 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu) (Remote host closed the connection)
2020-10-15 15:35:40 +0200invaser(~Thunderbi@46-133-205-72.mobile.vf-ua.net) (Ping timeout: 256 seconds)
2020-10-15 15:35:41 +0200invaser1invaser
2020-10-15 15:43:56 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 15:48:47 +0200jneira_(~jneira@211.red-176-87-17.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-10-15 15:49:19 +0200jneira_(~jneira@80.30.100.250)
2020-10-15 15:52:07 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-15 15:56:50 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-dkvrjjnwvljgfxqg)
2020-10-15 15:58:11 +0200zwarag(~zwarag@2a02:8388:a80:d380:a0f0:b686:a197:d627)
2020-10-15 15:59:27 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 260 seconds)
2020-10-15 16:00:44 +0200qiu3344(~qiu3344@91.246.215.182) (Quit: WeeChat 2.9)
2020-10-15 16:01:15 +0200 <zwarag> I'm looking for a `[Int] -> String` which would: `[1,2,3] -> '[1,2,3]'`. According to the following Link `intsToDigits` should do that but I might confuse something :https://hackage.haskell.org/package/percent-format-0.0.1/docs/Text-PercentFormat-Utils.html#v:ints…
2020-10-15 16:01:43 +0200ixlun(~matthew@213.205.241.94) (Read error: Connection reset by peer)
2020-10-15 16:02:00 +0200 <Taneb> > show [1, 2, 3]
2020-10-15 16:02:01 +0200jneira_(~jneira@80.30.100.250) (Ping timeout: 264 seconds)
2020-10-15 16:02:03 +0200 <[exa]> zwarag: why not just combine show and reverse?
2020-10-15 16:02:03 +0200 <lambdabot> "[1,2,3]"
2020-10-15 16:02:21 +0200jrm(~jrm@freebsd/developer/jrm) (Quit: ciao)
2020-10-15 16:03:14 +0200jneira_(~jneira@211.red-176-87-17.dynamicip.rima-tde.net)
2020-10-15 16:03:21 +0200 <[exa]> zwarag: or perhaps `intercalate`, if you want to do it extra manually
2020-10-15 16:03:51 +0200Guest23693(~urdh@h77-53-54-187.cust.a3fiber.se)
2020-10-15 16:04:07 +0200Achylles(~Achylles@191.17.181.222)
2020-10-15 16:04:38 +0200 <zwarag> My function actually is: `testFactorize x l = it (printf "factors of %d should be %s", x l ) $ l == factorize x` where x is 10 and l is [1,2,5,10] printf is from `import Text.Printf (printf)`
2020-10-15 16:05:25 +0200 <merijn> zwarag: Presumably that should be "show l"?
2020-10-15 16:06:01 +0200 <dminuoso> kuribas: 2000 smart constructors? What's the benefit here? And how are you gonna pattern match against smart constructors?
2020-10-15 16:06:18 +0200 <kuribas> dminuoso: a single one of course :)
2020-10-15 16:06:27 +0200 <dminuoso> well at any case
2020-10-15 16:06:42 +0200 <dminuoso> The ADT is gonna stay! :P
2020-10-15 16:07:19 +0200vismaya(d03b9e15@208.59.158.21)
2020-10-15 16:07:23 +0200gxt(~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds)
2020-10-15 16:08:29 +0200 <zwarag> mhmm, I cannot figure out how to do `show l` right. I get this syntax error: https://imgur.com/a/fqpkkeS
2020-10-15 16:08:48 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Ping timeout: 260 seconds)
2020-10-15 16:09:11 +0200 <[exa]> can you please use pastebin for text?
2020-10-15 16:09:34 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com)
2020-10-15 16:10:28 +0200 <zwarag> sure. https://pastebin.com/gBzTdsH1
2020-10-15 16:11:05 +0200alp(~alp@2a01:e0a:58b:4920:184a:1b71:3e52:bd7e) (Ping timeout: 272 seconds)
2020-10-15 16:11:05 +0200 <dminuoso> zwarag: You probably want to invoke that as `it (printf "..." x (show l)) $ ...
2020-10-15 16:11:26 +0200 <zwarag> here is also Factorize.hs if it is needed: https://pastebin.com/StUee5Da
2020-10-15 16:12:27 +0200hackageflashblast 0.0.1.0 - Generate lanuage learning flashcards from video. https://hackage.haskell.org/package/flashblast-0.0.1.0 (locallycompact)
2020-10-15 16:12:36 +0200 <zwarag> dminuoso: I did try that, but I still get an error: https://imgur.com/a/pkUXthG
2020-10-15 16:12:50 +0200 <dminuoso> Can you please not use imgur to share textual information?
2020-10-15 16:13:00 +0200 <dminuoso> Also, that looks unchanged.
2020-10-15 16:13:17 +0200ystael(~ystael@209.6.50.55)
2020-10-15 16:13:18 +0200 <dminuoso> zwarag: essentially, the comma is out of place.
2020-10-15 16:13:30 +0200 <dminuoso> It doesnt do what you think it does.
2020-10-15 16:14:12 +0200Gerula(~Gerula@unaffiliated/gerula)
2020-10-15 16:14:13 +0200 <zwarag> ahh now I see. Thank you dminuoso. Is it better/preferred to post errors in pastebin too?
2020-10-15 16:14:54 +0200 <dminuoso> Yes.
2020-10-15 16:15:15 +0200 <dminuoso> You can use tools such as https://paste.tomsmeding.com/ that allow you to submit multiple files.
2020-10-15 16:15:36 +0200 <dminuoso> that way you can split code and GHC output, or other data, into separate blocks that can be syntax highlighted appropriately
2020-10-15 16:16:01 +0200foldr(~foldr@90.248.57.181) (Remote host closed the connection)
2020-10-15 16:16:32 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-10-15 16:16:33 +0200jgt1(~jgt@77-255-14-254.adsl.inetia.pl) (Read error: Connection reset by peer)
2020-10-15 16:16:37 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 16:16:37 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 16:16:37 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-15 16:16:53 +0200lucid_0x80(~lucid_0x8@85.132.73.6) (Remote host closed the connection)
2020-10-15 16:17:06 +0200jgt1(~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-15 16:17:06 +0200 <AWizzArd> io-streams. When I have an `InputStream ByteString` and want to read JSON objects out of it, how should I do it? Will I have to read byte-wise from this stream and check when a closing `}` is found?
2020-10-15 16:18:09 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 16:21:01 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds)
2020-10-15 16:21:22 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Client Quit)
2020-10-15 16:21:40 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 16:21:41 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 16:21:41 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 16:21:49 +0200polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-10-15 16:22:33 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-10-15 16:23:25 +0200invaser(~Thunderbi@31.148.23.125) (Ping timeout: 240 seconds)
2020-10-15 16:23:47 +0200chris(~chris@81.96.113.213)
2020-10-15 16:24:10 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-15 16:24:10 +0200chrisGuest37184
2020-10-15 16:24:30 +0200aqd(~aqd@87-92-145-87.rev.dnainternet.fi) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 16:25:00 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-15 16:26:40 +0200oisdk(~oisdk@2001:bb6:3329:d100:11d5:8dc1:169a:e187)
2020-10-15 16:26:55 +0200berberman_(~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-15 16:27:11 +0200lucasb(uid333435@gateway/web/irccloud.com/x-qhpgfsleurzdehfq)
2020-10-15 16:27:18 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-15 16:28:54 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-15 16:29:24 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-15 16:29:30 +0200Sanchayan(~Sanchayan@171.61.90.104) (Quit: leaving)
2020-10-15 16:30:29 +0200OmegaDoug(8e750cd2@lnsm3-torontoxn-142-117-12-210.internet.virginmobile.ca) (Ping timeout: 245 seconds)
2020-10-15 16:30:55 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-15 16:31:06 +0200jrm(~jrm@freebsd/developer/jrm)
2020-10-15 16:31:16 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-15 16:31:28 +0200hackagehaskellish 0.2.3.1 - For parsing Haskell-ish languages https://hackage.haskell.org/package/haskellish-0.2.3.1 (dktr0)
2020-10-15 16:31:32 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-15 16:32:38 +0200Guest23693(~urdh@h77-53-54-187.cust.a3fiber.se) (Quit: Boom!)
2020-10-15 16:32:55 +0200acidjnk_new(~acidjnk@p200300d0c7237816a89fd387a81e29da.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-15 16:32:59 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-15 16:33:33 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-15 16:33:48 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-15 16:34:16 +0200Buntspecht(~user@unaffiliated/siracusa)
2020-10-15 16:35:02 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-15 16:35:14 +0200urdh(~urdh@h77-53-54-187.cust.a3fiber.se)
2020-10-15 16:35:38 +0200urdhGuest76130
2020-10-15 16:35:47 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 16:36:05 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 16:36:06 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 16:36:06 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 16:36:09 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-15 16:36:58 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-15 16:37:35 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-15 16:38:09 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-15 16:39:20 +0200Guest76130(~urdh@h77-53-54-187.cust.a3fiber.se) (Client Quit)
2020-10-15 16:39:39 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-15 16:39:52 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 246 seconds)
2020-10-15 16:40:07 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-15 16:41:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 16:41:59 +0200xff0x(~fox@217.110.198.158)
2020-10-15 16:42:06 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-15 16:42:37 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-15 16:44:10 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-15 16:44:11 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Read error: Connection reset by peer)
2020-10-15 16:44:36 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-15 16:44:48 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-15 16:45:01 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 256 seconds)
2020-10-15 16:45:23 +0200polyrain_(~polyrain@2001:8003:e501:6901:5438:7f7:706e:c9b0) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 16:45:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-15 16:47:12 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-15 16:47:21 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-15 16:48:59 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-15 16:50:28 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 272 seconds)
2020-10-15 16:50:28 +0200Guest37184(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 16:51:07 +0200alp(~alp@2a01:e0a:58b:4920:68d6:ac21:2986:7340)
2020-10-15 16:52:04 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-ritgaqlnctnhotjj)
2020-10-15 16:52:05 +0200poljar(~poljar@93-139-70-179.adsl.net.t-com.hr) (Ping timeout: 240 seconds)
2020-10-15 16:52:09 +0200xff0x(~fox@217.110.198.158)
2020-10-15 16:53:08 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2020-10-15 16:54:37 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 16:54:51 +0200solonarv(~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr)
2020-10-15 16:54:55 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 16:54:56 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 16:54:56 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 16:55:41 +0200chele(~chele@5.53.222.202) (Quit: Leaving)
2020-10-15 16:57:31 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-15 16:58:05 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 16:58:14 +0200poljar(~poljar@93-139-70-179.adsl.net.t-com.hr)
2020-10-15 16:59:29 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 17:00:01 +0200doomas(~doomas@94.229.74.91) ()
2020-10-15 17:03:19 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-10-15 17:03:23 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-15 17:04:31 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-15 17:04:31 +0200 <dminuoso> lens/optics question: I have some [(10,Just "abc"), (20, Just "cde"), (30, Nothing)] -- is there a way to take some `each . _Just . each` and combine it with the Int in the tuple as its "Ix"?
2020-10-15 17:05:17 +0200 <phadej> what you mean by combine
2020-10-15 17:05:39 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 260 seconds)
2020-10-15 17:05:51 +0200 <dminuoso> So I want to fold over each character, while having access to the number.
2020-10-15 17:05:52 +0200w1gz[m](w1gzmatrix@gateway/shell/matrix.org/x-ymbhwxurjlfoxjnq)
2020-10-15 17:05:53 +0200 <dminuoso> Sort of like
2020-10-15 17:06:05 +0200 <dminuoso> Fold [(Int, Maybe String)] (Int, Char)
2020-10-15 17:06:07 +0200 <phadej> :t <.
2020-10-15 17:06:09 +0200 <lambdabot> error: parse error on input ‘<.’
2020-10-15 17:06:13 +0200 <phadej> :t (<.)
2020-10-15 17:06:16 +0200 <lambdabot> Indexable i p => (Indexed i s t -> r) -> ((a -> b) -> s -> t) -> p a b -> r
2020-10-15 17:06:22 +0200 <phadej> lookup it on lens docs
2020-10-15 17:06:43 +0200 <dminuoso> phadej: That's spot on! Thanks. :)
2020-10-15 17:07:02 +0200w1gz[m]wi[m]
2020-10-15 17:07:20 +0200xff0x(~fox@217.110.198.158)
2020-10-15 17:09:30 +0200ixlun(~matthew@213.205.241.94)
2020-10-15 17:10:18 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 256 seconds)
2020-10-15 17:10:55 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 240 seconds)
2020-10-15 17:12:30 +0200 <ixlun> Ugh, got disconnected... did my previous question get through?
2020-10-15 17:13:43 +0200invaser(~Thunderbi@31.148.23.125)
2020-10-15 17:13:59 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-15 17:14:05 +0200 <monochrom> I think no.
2020-10-15 17:14:07 +0200 <tomsmeding> ixlun: https://ircbrowse.tomsmeding.com/browse/haskell?events_page=656
2020-10-15 17:14:55 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-15 17:15:51 +0200 <ixlun> Ah, I shall ask again in that case: I was just wondering if anyone knew if there was a way to kill a haskell thread off that was in the middle of a long pure computation?
2020-10-15 17:16:03 +0200 <merijn> ixlun: Did you create the thread?
2020-10-15 17:16:09 +0200 <ixlun> Yes
2020-10-15 17:16:14 +0200 <ixlun> I've tried killThread
2020-10-15 17:16:23 +0200 <merijn> That doesn't work?
2020-10-15 17:16:43 +0200 <ixlun> It does but after a significant delay
2020-10-15 17:16:48 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de)
2020-10-15 17:17:13 +0200 <ixlun> (although what is strange is that the whole program terminates with SIGKILL)
2020-10-15 17:17:18 +0200 <merijn> I dunno when async exceptions are checked/handled. Naively I'd guess like pre-emption at GC time
2020-10-15 17:17:43 +0200 <ixlun> I was wondering if they could only
2020-10-15 17:17:59 +0200 <ixlun> only be handled in between IO actions
2020-10-15 17:18:12 +0200 <merijn> So if you have a tight pure loop that doesn't allocate much, that could take some time
2020-10-15 17:18:18 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 256 seconds)
2020-10-15 17:18:21 +0200 <ixlun> My only other thought was to pepper my pure computation with `yield' but I don't really like that solution
2020-10-15 17:18:31 +0200 <monochrom> No other way. Short story: Think of cooperative multitasking but automatic insertion of yield points at heap allocation points.
2020-10-15 17:18:36 +0200 <merijn> ixlun: Oh, wait
2020-10-15 17:18:42 +0200 <merijn> ixlun: Is this the single-threaded runtime?
2020-10-15 17:18:45 +0200 <ixlun> Yes
2020-10-15 17:18:52 +0200 <merijn> Try the multithreaded one
2020-10-15 17:18:54 +0200knupfer1(~Thunderbi@mue-88-130-61-082.dsl.tropolys.de) (Quit: knupfer1)
2020-10-15 17:19:00 +0200knupfer(~Thunderbi@200116b82c60f7003cd017e9657aa011.dip.versatel-1u1.de)
2020-10-15 17:19:06 +0200 <Ariakenom> async exceptions are checked when allocating
2020-10-15 17:19:13 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 17:19:15 +0200 <ixlun> How do I do that, use forkOS rather than forkIO?
2020-10-15 17:19:16 +0200knupfer(~Thunderbi@200116b82c60f7003cd017e9657aa011.dip.versatel-1u1.de) (Client Quit)
2020-10-15 17:19:17 +0200 <merijn> Sounds like the 1 thread is taking a long time to yield, so the killThread just doesn't get thrown until way later :p
2020-10-15 17:19:24 +0200 <merijn> ixlun: No, it's a compiletime flag
2020-10-15 17:19:26 +0200knupfer(~Thunderbi@200116b82c60f7009c37b4c844721161.dip.versatel-1u1.de)
2020-10-15 17:19:30 +0200 <monochrom> No, use "ghc ... -threaded ..."
2020-10-15 17:19:32 +0200 <merijn> ixlun: Use "ghc -threaded"
2020-10-15 17:19:41 +0200knupfer(~Thunderbi@200116b82c60f7009c37b4c844721161.dip.versatel-1u1.de) (Client Quit)
2020-10-15 17:19:45 +0200 <merijn> (and run with "+RTS -N2")
2020-10-15 17:19:51 +0200 <monochrom> forkOS is an orthogonal concern.
2020-10-15 17:19:51 +0200knupfer(~Thunderbi@200116b82c60f7003045c598d524f05b.dip.versatel-1u1.de)
2020-10-15 17:19:59 +0200knupfer(~Thunderbi@200116b82c60f7003045c598d524f05b.dip.versatel-1u1.de) (Client Quit)
2020-10-15 17:20:08 +0200knupfer(~Thunderbi@200116b82c60f7003045c598d524f05b.dip.versatel-1u1.de)
2020-10-15 17:20:14 +0200knupfer(~Thunderbi@200116b82c60f7003045c598d524f05b.dip.versatel-1u1.de) (Client Quit)
2020-10-15 17:20:19 +0200 <merijn> ixlun: The default runtime only runs one OS thread of Haskell code, regardless of how many forkIO threads you have
2020-10-15 17:20:23 +0200knupfer(~Thunderbi@200116b82c60f700c426196ed47f12f7.dip.versatel-1u1.de)
2020-10-15 17:20:40 +0200 <merijn> ixlun: -threaded lets you use multiple OS threads in parallel to run forkIO threads simultaneously
2020-10-15 17:20:59 +0200 <merijn> (if you use "+RTS -N2" to actually run it with 2 OS threads, that is)
2020-10-15 17:21:00 +0200knupfer(~Thunderbi@200116b82c60f700c426196ed47f12f7.dip.versatel-1u1.de) (Client Quit)
2020-10-15 17:21:00 +0200 <Ariakenom> with -fno-omit-yields the checks are more often. every function call perhaps
2020-10-15 17:21:03 +0200 <Ariakenom> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-optimisation.html#ghc-flag--…
2020-10-15 17:21:08 +0200knupfer(~Thunderbi@200116b82c60f700c426196ed47f12f7.dip.versatel-1u1.de)
2020-10-15 17:21:22 +0200acidjnk_new(~acidjnk@200116b8676f9500dd470071dd3fdc09.dip.versatel-1u1.de)
2020-10-15 17:21:28 +0200knupfer(~Thunderbi@200116b82c60f700c426196ed47f12f7.dip.versatel-1u1.de) (Client Quit)
2020-10-15 17:21:41 +0200knupfer(~Thunderbi@200116b82c60f700cd92708e2a651f21.dip.versatel-1u1.de)
2020-10-15 17:21:46 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-15 17:21:57 +0200UpstreamSalmon(uid12077@gateway/web/irccloud.com/x-zuuxycbtcmkanyjf)
2020-10-15 17:22:54 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 17:22:59 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-15 17:23:01 +0200knupfer(~Thunderbi@200116b82c60f700cd92708e2a651f21.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-15 17:23:13 +0200knupfer(~Thunderbi@200116b82c60f700f44d5e777945b361.dip.versatel-1u1.de)
2020-10-15 17:23:16 +0200knupfer(~Thunderbi@200116b82c60f700f44d5e777945b361.dip.versatel-1u1.de) (Client Quit)
2020-10-15 17:23:47 +0200knupfer(~Thunderbi@200116b82c60f700005600c5dd5502a6.dip.versatel-1u1.de)
2020-10-15 17:24:01 +0200knupfer(~Thunderbi@200116b82c60f700005600c5dd5502a6.dip.versatel-1u1.de) (Client Quit)
2020-10-15 17:24:12 +0200knupfer(~Thunderbi@200116b82c60f700005600c5dd5502a6.dip.versatel-1u1.de)
2020-10-15 17:24:16 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz)
2020-10-15 17:24:20 +0200 <hyperisco> I need to take template files, instantiate variables, and evaluate… any template language with conditionals will do. Suggestions?
2020-10-15 17:24:38 +0200chris(~chris@81.96.113.213)
2020-10-15 17:25:02 +0200chrisGuest95313
2020-10-15 17:25:15 +0200 <ixlun> Hmm, both of those solutions didn't seem to work unfortunetly :-(
2020-10-15 17:25:51 +0200 <hyperisco> https://hackage.haskell.org/package/doctemplates looks promising
2020-10-15 17:26:01 +0200 <tomsmeding> hyperisco: mustache has is-not-null conditionals
2020-10-15 17:26:30 +0200 <hyperisco> am looking for equality at least on integers
2020-10-15 17:26:34 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-15 17:26:51 +0200 <hyperisco> well I guess I can do is-not-null and just set variables carefully :P
2020-10-15 17:26:55 +0200Achylles(~Achylles@191.17.181.222) (Remote host closed the connection)
2020-10-15 17:27:31 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-15 17:27:43 +0200jgt1(~jgt@77-255-14-254.adsl.inetia.pl) (Ping timeout: 265 seconds)
2020-10-15 17:27:57 +0200 <ixlun> Here is the code in question: https://pastebin.com/wfnsY3pC
2020-10-15 17:28:13 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-15 17:28:25 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-15 17:29:06 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 272 seconds)
2020-10-15 17:29:24 +0200 <ixlun> `search' is the long operation
2020-10-15 17:30:06 +0200 <ixlun> thing is. it's not a particularly tight loop either... it's expanding a game tree to depth n... there will be plenty of allocs happening
2020-10-15 17:30:23 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com)
2020-10-15 17:30:24 +0200Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 17:31:25 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-15 17:31:38 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 260 seconds)
2020-10-15 17:33:31 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 265 seconds)
2020-10-15 17:33:37 +0200xff0x(~fox@217.110.198.158)
2020-10-15 17:34:41 +0200chaosmasttter(~chaosmast@p200300c4a711b001c4478125cc0e8bf4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-15 17:34:49 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-10-15 17:38:51 +0200alp(~alp@2a01:e0a:58b:4920:68d6:ac21:2986:7340) (Remote host closed the connection)
2020-10-15 17:39:17 +0200alp(~alp@2a01:e0a:58b:4920:a4ff:54f4:66b6:7a92)
2020-10-15 17:39:45 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds)
2020-10-15 17:42:31 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-15 17:45:26 +0200conal(~conal@64.71.133.70)
2020-10-15 17:45:29 +0200jchia(~jchia@58.32.38.34) (Read error: Connection reset by peer)
2020-10-15 17:46:53 +0200jchia(~jchia@58.32.34.43)
2020-10-15 17:48:27 +0200hackagebyteslice 0.2.4.0 - Slicing managed and unmanaged memory https://hackage.haskell.org/package/byteslice-0.2.4.0 (andrewthad)
2020-10-15 17:50:05 +0200conal(~conal@64.71.133.70) (Ping timeout: 240 seconds)
2020-10-15 17:50:15 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-10-15 17:53:12 +0200acidjnk_new(~acidjnk@200116b8676f9500dd470071dd3fdc09.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-15 17:53:43 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 246 seconds)
2020-10-15 17:55:49 +0200xff0x(~fox@217.110.198.158)
2020-10-15 17:56:11 +0200nineonin_(~nineonine@50.216.62.2)
2020-10-15 17:56:24 +0200yost3d(~yost3d@195.206.169.184)
2020-10-15 17:57:07 +0200chaosmasttter(~chaosmast@p200300c4a711b001c4478125cc0e8bf4.dip0.t-ipconnect.de)
2020-10-15 17:57:17 +0200 <monochrom> Interesting, https://github.com/folidota/GSoC2020 (they only did multiple polynomial quadratic sieve)
2020-10-15 17:59:37 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 265 seconds)
2020-10-15 18:01:22 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 256 seconds)
2020-10-15 18:01:27 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 18:06:47 +0200nineonin_(~nineonine@50.216.62.2) (Ping timeout: 260 seconds)
2020-10-15 18:12:28 +0200hackagelaunchdarkly-server-sdk 2.0.2 - Server-side SDK for integrating with LaunchDarkly https://hackage.haskell.org/package/launchdarkly-server-sdk-2.0.2 (launchdarkly)
2020-10-15 18:13:03 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-15 18:13:25 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-15 18:13:28 +0200hackageptr-poker 0.1.1 - Pointer poking action construction and composition toolkit https://hackage.haskell.org/package/ptr-poker-0.1.1 (NikitaVolkov)
2020-10-15 18:14:22 +0200ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Quit: ubert)
2020-10-15 18:15:58 +0200hackagestack 2.5.1 - The Haskell Tool Stack https://hackage.haskell.org/package/stack-2.5.1 (borsboom)
2020-10-15 18:16:34 +0200geekosaur(ac3a5370@172.58.83.112)
2020-10-15 18:17:46 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 18:19:36 +0200ddellacosta(~dd@86.106.121.168)
2020-10-15 18:22:01 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-15 18:23:36 +0200jgt1(~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-15 18:24:05 +0200alp(~alp@2a01:e0a:58b:4920:a4ff:54f4:66b6:7a92) (Ping timeout: 272 seconds)
2020-10-15 18:25:15 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 18:25:22 +0200aarvar(~foewfoiew@c.24.56.239.179.static.broadstripe.net)
2020-10-15 18:25:25 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-15 18:25:25 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-15 18:25:25 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 18:26:25 +0200nineonine(~nineonine@50.216.62.2)
2020-10-15 18:27:07 +0200johnw(~johnw@haskell/developer/johnw)
2020-10-15 18:36:33 +0200 <monochrom> \∩/ tomsmeding's pastebin is in Haskell Weekly News's Show & Tell
2020-10-15 18:36:50 +0200 <tomsmeding> \o/
2020-10-15 18:36:50 +0200 <monochrom> and the new ircbrowse too
2020-10-15 18:40:51 +0200 <Uniaika> \o/
2020-10-15 18:41:02 +0200 <Uniaika> Taylor is amongst us!
2020-10-15 18:41:40 +0200conal(~conal@64.71.133.70)
2020-10-15 18:42:09 +0200reallymemorable(~quassel@ip68-9-215-56.ri.ri.cox.net) (Ping timeout: 265 seconds)
2020-10-15 18:43:19 +0200max__(~max@bzq-110-168-31-106.red.bezeqint.net)
2020-10-15 18:44:45 +0200nineonine(~nineonine@50.216.62.2) (Ping timeout: 240 seconds)
2020-10-15 18:45:37 +0200 <AWizzArd> I have a ByteString with possibly incorrect JSON, but I want to read as much out of it as possible. ["{'a':1}", ",{'b':1}", ",{'c':1}", ",{'d' this should give me a, b and c, and let me know at which position no correct parsing was possible anymore. Any suggestion?
2020-10-15 18:46:37 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-15 18:46:37 +0200 <phadej> if using unreleased libraries is fine, then https://github.com/phadej/saison can give you the prefix
2020-10-15 18:46:40 +0200LKoen(~LKoen@81.255.219.130)
2020-10-15 18:47:04 +0200 <phadej> (you'll get a structured stream of tokens with error lingering at the end)
2020-10-15 18:47:32 +0200alp(~alp@2a01:e0a:58b:4920:4caa:69b1:bc4a:b2ee)
2020-10-15 18:47:42 +0200 <phadej> but IIRC I don't count bytes, so you don't get absolute position of error
2020-10-15 18:47:44 +0200Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-15 18:47:53 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 18:48:50 +0200 <AWizzArd> phadej: I might be able to re-construct this.
2020-10-15 18:49:15 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-15 18:49:38 +0200 <AWizzArd> phadej: the highlevel goal here is to have a route in Snap that may receive some gigabytes of json objects {} inside a list. I want to insert them into my DB without needing 256 GB of RAM.
2020-10-15 18:49:54 +0200 <phadej> that's the use case for saison, yes.
2020-10-15 18:49:58 +0200 <phadej> it's a streaming parser
2020-10-15 18:50:08 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-15 18:50:18 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 18:50:23 +0200 <AWizzArd> phadej: so currently I read chunks from the InputStream and with those resulting (smallish) ByteStrings I wanna see what I’ve got so far.
2020-10-15 18:50:26 +0200 <phadej> but I hadn't time (or need) to polish it beyond basic PoC
2020-10-15 18:50:32 +0200 <AWizzArd> phadej: good, so I can have a look.
2020-10-15 18:50:47 +0200 <phadej> hmm, and in fact, I don't have "feed me more input" system either
2020-10-15 18:50:53 +0200 <phadej> so there's a lot to do :)
2020-10-15 18:51:20 +0200 <phadej> I have an employer though :)
2020-10-15 18:51:30 +0200 <phadej> (who likes when people need unwritten Haskell code!)
2020-10-15 18:51:39 +0200 <phadej> yet*
2020-10-15 18:51:49 +0200Guest95313(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 18:52:13 +0200 <AWizzArd> (:
2020-10-15 18:54:10 +0200nineonine(~nineonine@50.216.62.2)
2020-10-15 18:54:11 +0200jneira_(~jneira@211.red-176-87-17.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-10-15 18:54:15 +0200sdx32(~sdx23@unaffiliated/sdx23) (Remote host closed the connection)
2020-10-15 18:54:20 +0200jneira_(~jneira@80.30.100.250)
2020-10-15 18:55:09 +0200sdx23(~sdx23@unaffiliated/sdx23)
2020-10-15 18:58:27 +0200hackageclckwrks 0.26.2.2 - A secure, reliable content management system (CMS) and blogging platform https://hackage.haskell.org/package/clckwrks-0.26.2.2 (JeremyShaw)
2020-10-15 18:58:57 +0200geekosaur(ac3a5370@172.58.83.112) (Remote host closed the connection)
2020-10-15 19:00:58 +0200conal_(~conal@64.71.133.70)
2020-10-15 19:07:57 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-15 19:10:03 +0200toorevitimirp(~tooreviti@117.182.180.0) (Remote host closed the connection)
2020-10-15 19:10:19 +0200alp(~alp@2a01:e0a:58b:4920:4caa:69b1:bc4a:b2ee) (Ping timeout: 272 seconds)
2020-10-15 19:10:37 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-15 19:10:51 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-15 19:13:54 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 19:15:45 +0200Achylles(~Achylles@191.17.181.222)
2020-10-15 19:16:26 +0200sdx23(~sdx23@unaffiliated/sdx23) (Remote host closed the connection)
2020-10-15 19:19:31 +0200xff0x(~fox@port-92-195-124-5.dynamic.as20676.net)
2020-10-15 19:21:29 +0200sdx23(~sdx23@unaffiliated/sdx23)
2020-10-15 19:22:03 +0200sdx23(~sdx23@unaffiliated/sdx23) (Remote host closed the connection)
2020-10-15 19:22:47 +0200Codaraxis__(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-15 19:23:12 +0200sdx23(~sdx23@unaffiliated/sdx23)
2020-10-15 19:24:53 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-xesqnwopwcihzfhi)
2020-10-15 19:25:10 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-10-15 19:25:22 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 19:25:23 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 19:25:23 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 19:25:42 +0200knupfer(~Thunderbi@200116b82c60f700005600c5dd5502a6.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-15 19:25:50 +0200knupfer(~Thunderbi@200116b82c60f70075665c7ca0e03cf0.dip.versatel-1u1.de)
2020-10-15 19:25:58 +0200Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 260 seconds)
2020-10-15 19:26:53 +0200knupfer(~Thunderbi@200116b82c60f70075665c7ca0e03cf0.dip.versatel-1u1.de) (Client Quit)
2020-10-15 19:27:01 +0200knupfer(~Thunderbi@200116b82c60f70075665c7ca0e03cf0.dip.versatel-1u1.de)
2020-10-15 19:29:34 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-15 19:31:21 +0200foldr(~foldr@90.248.57.181)
2020-10-15 19:34:30 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 272 seconds)
2020-10-15 19:36:17 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 19:37:48 +0200SupaYoshii(~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!)
2020-10-15 19:38:04 +0200 <yushyin> https://twitter.com/_julesh_/status/1316756695440293888 :)
2020-10-15 19:38:18 +0200max__(~max@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 272 seconds)
2020-10-15 19:38:32 +0200 <monochrom> haha
2020-10-15 19:38:46 +0200tanguy58(b0bb9ec1@176.187.158.193)
2020-10-15 19:39:00 +0200Achylles(~Achylles@191.17.181.222) (Quit: Leaving)
2020-10-15 19:39:21 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at) (Remote host closed the connection)
2020-10-15 19:39:23 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-15 19:39:34 +0200 <monochrom> titForTatState
2020-10-15 19:40:30 +0200untseac(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2020-10-15 19:40:35 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-15 19:42:02 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 19:42:45 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-15 19:45:31 +0200 <int-e> wild arrows
2020-10-15 19:46:25 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-15 19:47:00 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-15 19:47:13 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 19:49:57 +0200hackageflashblast 0.0.1.1 - Generate language learning flashcards from video. https://hackage.haskell.org/package/flashblast-0.0.1.1 (locallycompact)
2020-10-15 19:50:14 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-15 19:50:27 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-15 19:50:27 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-15 19:50:27 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 19:51:24 +0200tanguy58(b0bb9ec1@176.187.158.193) (Remote host closed the connection)
2020-10-15 19:52:38 +0200alp(~alp@2a01:e0a:58b:4920:650c:2dd8:d1c6:e413)
2020-10-15 19:55:04 +0200geekosaur(ac3a3b82@172.58.59.130)
2020-10-15 19:58:31 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 19:59:21 +0200chaosmasttter(~chaosmast@p200300c4a711b001c4478125cc0e8bf4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-15 19:59:28 +0200hackagelsp-types 1.0.0.0 - Haskell library for the Microsoft Language Server Protocol, data types https://hackage.haskell.org/package/lsp-types-1.0.0.0 (luke_)
2020-10-15 20:00:01 +0200yost3d(~yost3d@195.206.169.184) ()
2020-10-15 20:00:28 +0200hackagelsp 1.0.0.0 - Haskell library for the Microsoft Language Server Protocol https://hackage.haskell.org/package/lsp-1.0.0.0 (luke_)
2020-10-15 20:01:19 +0200urdh(~urdh@h77-53-54-187.cust.a3fiber.se)
2020-10-15 20:01:42 +0200urdhGuest4171
2020-10-15 20:02:08 +0200ishutin_(~Ishutin@178-164-207-98.pool.digikabel.hu) (Write error: Connection reset by peer)
2020-10-15 20:02:08 +0200shailangsa(~shailangs@host86-186-133-58.range86-186.btcentralplus.com) (Write error: Connection reset by peer)
2020-10-15 20:02:15 +0200ishutin(~Ishutin@178-164-207-98.pool.digikabel.hu)
2020-10-15 20:03:38 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-15 20:03:38 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 272 seconds)
2020-10-15 20:05:26 +0200vismaya(d03b9e15@208.59.158.21) (Remote host closed the connection)
2020-10-15 20:06:44 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-15 20:07:04 +0200tzh(~tzh@2601:448:c500:5300::8e04)
2020-10-15 20:09:01 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-10-15 20:11:19 +0200quintasan(~quassel@ubuntu/member/quintasan) (Write error: Connection reset by peer)
2020-10-15 20:11:25 +0200quintasan(~quassel@quintasan.pl)
2020-10-15 20:11:25 +0200quintasan(~quassel@quintasan.pl) (Changing host)
2020-10-15 20:11:25 +0200quintasan(~quassel@ubuntu/member/quintasan)
2020-10-15 20:13:20 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 256 seconds)
2020-10-15 20:13:25 +0200knupfer(~Thunderbi@200116b82c60f70075665c7ca0e03cf0.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-15 20:13:27 +0200hackagestm-incremental 0.1.0.2 - A library for constructing incremental computations https://hackage.haskell.org/package/stm-incremental-0.1.0.2 (sgschlesinger)
2020-10-15 20:14:00 +0200pera(~pera@unaffiliated/pera)
2020-10-15 20:14:27 +0200max__(~max@bzq-110-168-31-106.red.bezeqint.net)
2020-10-15 20:15:40 +0200xff0x(~fox@port-92-195-124-5.dynamic.as20676.net) (Ping timeout: 256 seconds)
2020-10-15 20:16:06 +0200Guest4171(~urdh@h77-53-54-187.cust.a3fiber.se) (Quit: Boom!)
2020-10-15 20:16:33 +0200bind(~bind@unaffiliated/bind) (Read error: Connection reset by peer)
2020-10-15 20:16:33 +0200nisstyre(~wes@python-zero/conduct-committee/nisstyre) (Write error: Connection reset by peer)
2020-10-15 20:16:35 +0200larou(5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183)
2020-10-15 20:16:46 +0200invaser(~Thunderbi@31.148.23.125) (Ping timeout: 258 seconds)
2020-10-15 20:16:52 +0200nisstyre(~wes@python-zero/conduct-committee/nisstyre)
2020-10-15 20:16:59 +0200 <larou> ok, i think the thing with cycles can be possible
2020-10-15 20:17:17 +0200bind(~bind@unaffiliated/bind)
2020-10-15 20:17:19 +0200 <larou> i think basically the problem is encoding at type level "where a datatype originates"
2020-10-15 20:17:37 +0200 <larou> so that you can constrain it to be "the one above" in a recursive datatype
2020-10-15 20:17:45 +0200 <larou> to establish a backwards link
2020-10-15 20:17:57 +0200 <larou> i think this can be done with "a let binding class"
2020-10-15 20:18:14 +0200 <larou> that, by class instance uniqueness, is guarantied to be only one
2020-10-15 20:18:42 +0200 <larou> then you impose the "where it originates" as a constraint, which is parametric over this position in code
2020-10-15 20:18:52 +0200 <larou> right?
2020-10-15 20:18:59 +0200urdh(~urdh@unaffiliated/urdh)
2020-10-15 20:19:07 +0200aarvar(~foewfoiew@c.24.56.239.179.static.broadstripe.net) (Quit: Leaving.)
2020-10-15 20:19:17 +0200chris(~chris@81.96.113.213)
2020-10-15 20:19:40 +0200chrisGuest47732
2020-10-15 20:20:15 +0200 <johnw> how do you specify "position in the code"?
2020-10-15 20:21:16 +0200Lthere(~Lthere@185.204.1.185)
2020-10-15 20:22:30 +0200jsynacek(~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-15 20:23:05 +0200knupfer(~Thunderbi@200116b82c60f7000c4226fffe43b3db.dip.versatel-1u1.de)
2020-10-15 20:23:07 +0200plast1k_(~plast1k_@196.207.181.246)
2020-10-15 20:23:20 +0200knupfer1(~Thunderbi@mue-88-130-61-082.dsl.tropolys.de)
2020-10-15 20:24:36 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-15 20:24:48 +0200dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-10-15 20:24:49 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-15 20:24:49 +0200chaosmasttter(~chaosmast@p200300c4a711b001c4478125cc0e8bf4.dip0.t-ipconnect.de)
2020-10-15 20:25:05 +0200deviantfero(~deviantfe@190.99.48.231)
2020-10-15 20:25:47 +0200shailangsa(~shailangs@host86-186-133-58.range86-186.btcentralplus.com)
2020-10-15 20:26:17 +0200 <jsynacek> Hi! I'm having a problem understanding State and >>= together.
2020-10-15 20:26:22 +0200 <jsynacek> I have this: foo :: State Int [Int]
2020-10-15 20:26:27 +0200 <jsynacek> foo = get >>= \s -> pure [s+10] >>= \s' -> pure $ s' ++ [7,8,9]
2020-10-15 20:26:54 +0200 <jsynacek> Can anyone please explain to me how the s' suddenly changes from Int to [Int]? I can't figure it out.
2020-10-15 20:27:11 +0200isovector1(~isovector@172.103.216.166)
2020-10-15 20:27:13 +0200 <jsynacek> I mean it's still supposed to be of the same type as the state, right?
2020-10-15 20:27:25 +0200knupfer(~Thunderbi@200116b82c60f7000c4226fffe43b3db.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-15 20:27:25 +0200knupfer1knupfer
2020-10-15 20:28:03 +0200xff0x(~fox@2001:1a81:5350:d900:f51f:ced4:4c46:54ba)
2020-10-15 20:28:13 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-10-15 20:28:13 +0200 <jsynacek> So I would suppose that s and s' should both be Int. But s is Int and s' is [Int].
2020-10-15 20:28:14 +0200 <verement> :t \s -> pure [s+10]
2020-10-15 20:28:15 +0200 <lambdabot> (Applicative f, Num a) => a -> f [a]
2020-10-15 20:28:40 +0200acidjnk_new(~acidjnk@p200300d0c723781658597087ca157dd5.dip0.t-ipconnect.de)
2020-10-15 20:29:23 +0200 <monochrom> I don't understand the "change" mental model. There is no change.
2020-10-15 20:29:59 +0200 <monochrom> "pure x >>= \y -> ..." necessarily satisfies y=x therefore y has the same type as x.
2020-10-15 20:30:18 +0200 <larou> johnw: it would be some arbitrary label, probably a Symbol, to accompany the instance - that way allowing many such instances, that otherwise would clash
2020-10-15 20:30:20 +0200 <monochrom> Oh, x is a list this time? Then it is a list this time.
2020-10-15 20:30:20 +0200 <dolio> You named the variables to confuse yourself. :)
2020-10-15 20:31:05 +0200 <johnw> larou: I suppose if you used a Nat and yourself ensured monotonicity, you could impose a type-level ordering constraint
2020-10-15 20:31:11 +0200 <larou> then you would have the downstream reference constrained to reference the corresponding label
2020-10-15 20:31:27 +0200 <larou> johnw: hmm, good idea
2020-10-15 20:31:57 +0200 <larou> maybe that aswell as a label
2020-10-15 20:32:22 +0200 <larou> otherwise you would only be able to make one value of the datatype
2020-10-15 20:32:43 +0200 <larou> or, have to use arbitrarily large first Nat for all the subsequent values
2020-10-15 20:33:07 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-15 20:33:09 +0200 <geekosaur> jsynacek, note that the only thing that does anything with the state is the `get`; you then produce a list, and then consume a list, and produce another list, carrying the state along without touching it
2020-10-15 20:33:23 +0200 <larou> or maybe not a Nat
2020-10-15 20:33:28 +0200 <larou> but like f ()
2020-10-15 20:33:33 +0200 <larou> for the linked container f
2020-10-15 20:33:50 +0200 <larou> like, if it were a doubly linked list, a Nat would be ok - but not if it were a tree
2020-10-15 20:34:03 +0200 <larou> erm, a pointer on (f ())
2020-10-15 20:34:22 +0200 <jsynacek> geekosaur: Yes, that's it. I totally confused myself.
2020-10-15 20:34:28 +0200 <jsynacek> geekosaur++
2020-10-15 20:34:40 +0200 <larou> so the "name" label, has to be the same for every constructor used sequentially to construct the container
2020-10-15 20:34:55 +0200 <larou> they are all just different bits of the "same container"
2020-10-15 20:35:20 +0200 <larou> and the pointer to the position of the part being referenced would be like the Nat
2020-10-15 20:35:32 +0200 <larou> not sure how your monotonicity constraint works then..
2020-10-15 20:36:05 +0200 <larou> i think the doubly linked list example has "the immediately preceding value" expressed via the constraint
2020-10-15 20:36:16 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-15 20:36:21 +0200 <larou> not anything less than the current index
2020-10-15 20:36:39 +0200 <larou> or did you mean monotinic position, like successive "forwards" positions of a zipper?
2020-10-15 20:37:04 +0200 <larou> indexing at type level *each* of the positions, not just the cyclic references
2020-10-15 20:37:06 +0200 <hyperisco> so with the Haskell VSCode extension... 1) any way to insert a suitable import given an identifier? 2) any way to have ctrl+shift+b build the project?
2020-10-15 20:37:45 +0200 <hyperisco> so far the error underlining hasn't exploded so that is progress
2020-10-15 20:37:58 +0200 <larou> i guess then you would have something like a tree zipper, and the constraint would be that you would only be able to navigate down and forwards, not upwards and backwards... thats kind of like the ordering of a Nat...
2020-10-15 20:39:01 +0200 <hyperisco> I hate knowing a name like getArgs but not knowing what module it is in
2020-10-15 20:39:07 +0200 <hyperisco> if the IDE could help me with that it would be a godsend
2020-10-15 20:41:05 +0200 <monochrom> Tranditionally, people install hoogle locally for that. They probably also get their IDEs to call hoogle.
2020-10-15 20:41:27 +0200 <jsynacek> hyperisco: vscode has a feature called Tasks. You can use it to run 'cabal build' on ctrl+shift+b.
2020-10-15 20:41:34 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de)
2020-10-15 20:41:36 +0200 <monochrom> Me, I just crack open a web browser tab and use the haddock index.
2020-10-15 20:42:14 +0200 <jsynacek> hyperisco: Check out https://code.visualstudio.com/docs/editor/tasks#vscode
2020-10-15 20:42:37 +0200 <hyperisco> monochrom, when you have to import hundreds of things a day that adds up hugely
2020-10-15 20:43:18 +0200fendor(~fendor@178.115.131.201.wireless.dyn.drei.com)
2020-10-15 20:43:21 +0200 <hyperisco> jsynacek, okay thanks
2020-10-15 20:43:40 +0200 <hyperisco> how about tabs… I have VSCode set to width 2 but for whatever reason in .hs files it is back to 4
2020-10-15 20:44:45 +0200sleblanc(~sleblanc@unaffiliated/sebleblanc) (Ping timeout: 258 seconds)
2020-10-15 20:45:31 +0200jneira_(~jneira@80.30.100.250) (Ping timeout: 258 seconds)
2020-10-15 20:46:22 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:46:45 +0200jneira_(~jneira@80.30.100.250)
2020-10-15 20:47:04 +0200 <hyperisco> just need a file-extension-specific override... okay
2020-10-15 20:47:28 +0200hackageimplicit-hie 0.1.2.0 - Auto generate hie-bios cradles & hie.yaml https://hackage.haskell.org/package/implicit-hie-0.1.2.0 (Avi_Dessauer)
2020-10-15 20:49:40 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de)
2020-10-15 20:50:32 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 20:51:09 +0200 <hyperisco> would be nice if you could get the type of a term
2020-10-15 20:51:24 +0200 <hyperisco> seems you can only get types for imported names
2020-10-15 20:51:53 +0200bitmagie(~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:51:55 +0200 <hyperisco> oh nvm it is working now... now I just wish there was a hotkey instead of hovering
2020-10-15 20:52:02 +0200 <hyperisco> because going to the mouse is no good
2020-10-15 20:53:27 +0200 <hyperisco> apparently is a vscode thing if you do ctrl+k+i ... hope this helps someone
2020-10-15 20:54:32 +0200conal_(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-15 20:54:52 +0200 <hyperisco> oh damnnnnnn it will auto import names
2020-10-15 20:56:14 +0200 <hyperisco> ctrl+. while cursored on the name... gives several import options
2020-10-15 20:56:41 +0200 <hyperisco> Haskell officially has good IDE support in my eyes… well done. where do I insert my money?
2020-10-15 20:57:09 +0200 <larou> i guess the problem would then be that every version of the container would still have this label
2020-10-15 20:57:29 +0200 <larou> maybe a synonym with a quantification would allow it to be polymorphic in this label
2020-10-15 20:58:07 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 20:58:11 +0200 <larou> well, this is why it was called a "Let" class anyway, so that it binds the "name of the value" as a type parameter
2020-10-15 20:58:36 +0200 <larou> then you can at least constrain the cyclic references to be to the same container
2020-10-15 20:58:45 +0200 <larou> but im not sure what would happen when modifying it
2020-10-15 20:59:01 +0200 <larou> like, i guess you would have to give it a new type label and Let instance
2020-10-15 20:59:07 +0200 <larou> this seems impossible
2020-10-15 20:59:29 +0200 <larou> its these kind of considerations that makes it seem like it would be better as a language feature than as a library
2020-10-15 20:59:32 +0200kuribas(~user@ptr-25vy0i8gfnrq7cvfnez.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2020-10-15 21:00:00 +0200 <larou> you would have all the knot tying stuff being done under the hood then too
2020-10-15 21:00:22 +0200xff0x(~fox@2001:1a81:5350:d900:f51f:ced4:4c46:54ba) (Remote host closed the connection)
2020-10-15 21:00:42 +0200xff0x(~fox@2001:1a81:5350:d900:f127:8532:42d4:579b)
2020-10-15 21:01:25 +0200dhil(~dhil@195.213.192.122) (Ping timeout: 240 seconds)
2020-10-15 21:02:14 +0200conal(~conal@64.71.133.70)
2020-10-15 21:03:31 +0200berberman_(~berberman@unaffiliated/berberman)
2020-10-15 21:03:46 +0200taurux(~taurux@net-93-144-64-237.cust.dsl.teletu.it) (Ping timeout: 256 seconds)
2020-10-15 21:04:19 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-10-15 21:04:25 +0200max__(~max@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 264 seconds)
2020-10-15 21:04:54 +0200taurux(~taurux@net-93-144-64-237.cust.vodafonedsl.it)
2020-10-15 21:05:08 +0200SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2020-10-15 21:06:09 +0200conal(~conal@64.71.133.70) (Client Quit)
2020-10-15 21:06:43 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-15 21:08:35 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 21:08:57 +0200hackagegit-brunch 1.4.2.0 - git checkout command-line tool https://hackage.haskell.org/package/git-brunch-1.4.2.0 (andys8)
2020-10-15 21:09:48 +0200conal(~conal@64.71.133.70)
2020-10-15 21:10:26 +0200 <larou> anyway, having all the tails as different Let instances seems basically impossible to write!
2020-10-15 21:10:46 +0200 <larou> i guess there is some reflection/local instances magic that could take care of that
2020-10-15 21:11:06 +0200 <larou> but i dont think you can use implicit params in the same way as actual classes
2020-10-15 21:11:17 +0200 <larou> seems like a total madness tbh
2020-10-15 21:11:43 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a)
2020-10-15 21:11:54 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-15 21:13:31 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2020-10-15 21:13:49 +0200geekosaur(ac3a3b82@172.58.59.130) (Ping timeout: 245 seconds)
2020-10-15 21:14:02 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de)
2020-10-15 21:14:38 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2020-10-15 21:14:52 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-15 21:14:56 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de)
2020-10-15 21:14:56 +0200dhil(~dhil@78.156.97.38)
2020-10-15 21:15:01 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-15 21:15:03 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-10-15 21:15:40 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Client Quit)
2020-10-15 21:17:15 +0200Guest47732(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 21:18:12 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-15 21:18:28 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-10-15 21:18:55 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-15 21:19:04 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-15 21:19:45 +0200chris(~chris@81.96.113.213)
2020-10-15 21:20:10 +0200chrisGuest1848
2020-10-15 21:21:56 +0200knupfer(~Thunderbi@mue-88-130-61-082.dsl.tropolys.de) (Quit: knupfer)
2020-10-15 21:21:59 +0200knupfer1(~Thunderbi@200116b82c60f700a5f8893018fc9251.dip.versatel-1u1.de)
2020-10-15 21:23:32 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-15 21:24:23 +0200knupfer1knupfer
2020-10-15 21:25:03 +0200geekosaur(ac3a3b82@172.58.59.130)
2020-10-15 21:26:24 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 21:27:34 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-15 21:27:38 +0200c0c0(~coco@212-51-137-149.fiber7.init7.net)
2020-10-15 21:28:05 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-15 21:28:30 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-10-15 21:29:21 +0200oisdk(~oisdk@2001:bb6:3329:d100:11d5:8dc1:169a:e187) (Quit: oisdk)
2020-10-15 21:30:37 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-15 21:31:51 +0200Guest1848(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 21:32:41 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 244 seconds)
2020-10-15 21:34:22 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2020-10-15 21:35:37 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 264 seconds)
2020-10-15 21:35:47 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-15 21:36:42 +0200Amras(~Amras@unaffiliated/amras0000)
2020-10-15 21:38:03 +0200raichoo(~raichoo@dslb-088-077-024-025.088.077.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-15 21:38:39 +0200sdx23(~sdx23@unaffiliated/sdx23) (Quit: Lost terminal)
2020-10-15 21:38:58 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-15 21:39:08 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-10-15 21:39:38 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 21:39:53 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-15 21:41:33 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de) (Remote host closed the connection)
2020-10-15 21:41:51 +0200Lowl3v3l(~Lowl3v3l@dslb-002-203-195-108.002.203.pools.vodafone-ip.de)
2020-10-15 21:43:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-15 21:43:43 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-15 21:44:00 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 21:44:13 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-15 21:44:38 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-15 21:46:45 +0200kipras(~Kipras@78-56-235-39.static.zebra.lt)
2020-10-15 21:47:24 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-15 21:48:27 +0200oxide(~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds)
2020-10-15 21:50:06 +0200kori(~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-10-15 21:50:15 +0200oxide(~lambda@unaffiliated/mclaren)
2020-10-15 21:51:50 +0200plast1k_(~plast1k_@196.207.181.246) (Quit: Leaving)
2020-10-15 21:54:44 +0200knupfer(~Thunderbi@200116b82c60f700a5f8893018fc9251.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-15 21:55:23 +0200knupfer(~Thunderbi@200116b82c60f7000129fdd9bc9ee5fc.dip.versatel-1u1.de)
2020-10-15 21:56:28 +0200 <monochrom> I solved the keyboard-mouse dilemma by Logitech K400 Plus: keyboard - numpad + touchpad
2020-10-15 21:57:29 +0200 <monochrom> Actually to a large extent, even a real mouse is much closer to the keyboard if you just get rid of the numpad.
2020-10-15 21:58:32 +0200 <monochrom> I also have a friend who put the mouse on the left and trained himself to use his left hand for the mouse. Because again it is then close to the keyboard.
2020-10-15 21:58:43 +0200 <dminuoso> monochrom: I know some people like to use it for their apple tv
2020-10-15 21:59:02 +0200 <larou> monochrom: was he in a really cramped cubicle or something?
2020-10-15 21:59:08 +0200 <monochrom> Numpad standing in the way is the #1 cause of programmer hand injuries.
2020-10-15 21:59:14 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-15 21:59:21 +0200 <monochrom> No.
2020-10-15 21:59:28 +0200hackagemattermost-api 50200.9.0 - Client API for Mattermost chat system https://hackage.haskell.org/package/mattermost-api-50200.9.0 (JonathanDaugherty)
2020-10-15 22:00:27 +0200hackagemattermost-api-qc 50200.9.0 - QuickCheck instances for the Mattermost client API library https://hackage.haskell.org/package/mattermost-api-qc-50200.9.0 (JonathanDaugherty)
2020-10-15 22:00:49 +0200oxide(~lambda@unaffiliated/mclaren) (Ping timeout: 264 seconds)
2020-10-15 22:00:57 +0200 <larou> anyone want to try to see if this idea of Let bound reification for cycles?
2020-10-15 22:01:06 +0200 <monochrom> No.
2020-10-15 22:01:20 +0200 <larou> literally, nobody
2020-10-15 22:01:28 +0200hackagematterhorn 50200.11.0 - Terminal client for the Mattermost chat system https://hackage.haskell.org/package/matterhorn-50200.11.0 (JonathanDaugherty)
2020-10-15 22:01:28 +0200hackageciteproc 0.1.0.2 - Generates citations and bibliography from CSL styles. https://hackage.haskell.org/package/citeproc-0.1.0.2 (JohnMacFarlane)
2020-10-15 22:01:50 +0200rprije(~rprije@14-203-72-60.tpgi.com.au)
2020-10-15 22:02:15 +0200ystael(~ystael@209.6.50.55) (Read error: Connection reset by peer)
2020-10-15 22:02:27 +0200 <larou> *and all the programmers did become woefull, and the sky did fall*
2020-10-15 22:02:53 +0200 <monochrom> Yeah dminuoso, K400 really had smart TV browsing in mind, the design and the marketting shows.
2020-10-15 22:03:56 +0200 <larou> voice activated?
2020-10-15 22:04:31 +0200 <monochrom> I decided that I am not picky with key tactile or how big the backspace is etc, so I took it for PC and laptop-when-at-home. And I also caught it at a discounted price. This was like 10-15 years ago.
2020-10-15 22:04:41 +0200 <larou> "hey TV - motivate finance"
2020-10-15 22:05:50 +0200zwarag(~zwarag@2a02:8388:a80:d380:a0f0:b686:a197:d627) (Quit: Leaving)
2020-10-15 22:05:51 +0200 <larou> monochrom: this is the problem... at least when people are commuting, they have such a distressing morning that they are happy to be in their offices
2020-10-15 22:05:58 +0200 <monochrom> Anyway, obHaskell, I have been reading "practical type inference for arbitrary-rank types" recently. It's pretty neat. (in preparation for reading "a quick look at impredicativity".)
2020-10-15 22:06:19 +0200juri_(~juri@178.63.35.222) (Ping timeout: 256 seconds)
2020-10-15 22:06:55 +0200 <geekosaur> "motivate finance"? that sounds more like an hledger-motivate package than a keyboard feature to me
2020-10-15 22:07:01 +0200 <larou> do any other languages even have arbitrary rank types?
2020-10-15 22:07:10 +0200 <monochrom> Also, today's HWN lists https://generics.jasperwoudenberg.com/ which helps learning GHC.Generics.
2020-10-15 22:08:00 +0200 <monochrom> Dynamically typed languages have dependent rank-n types. Change my mind.
2020-10-15 22:08:20 +0200 <larou> dynamically or dependently?
2020-10-15 22:08:31 +0200 <monochrom> yes.
2020-10-15 22:09:34 +0200jneira_(~jneira@80.30.100.250) (Ping timeout: 246 seconds)
2020-10-15 22:09:43 +0200 <monochrom> Clearly, C has rank-n types too, just not very polymorphic; and without local functions, not a lot of use cases.
2020-10-15 22:09:53 +0200 <larou> anyway, i think if i managed to show the idea working it would be easier to convince the GHC people to make a language extension
2020-10-15 22:10:07 +0200jneira_(~jneira@80.30.100.250)
2020-10-15 22:10:11 +0200 <larou> or another language that compiles to haskell or something
2020-10-15 22:10:29 +0200acidjnk_new2(~acidjnk@p200300d0c723787058597087ca157dd5.dip0.t-ipconnect.de)
2020-10-15 22:10:30 +0200 <larou> because whatever it ends up as, its not going to be legible
2020-10-15 22:10:52 +0200 <larou> all constraint continuations everywhere
2020-10-15 22:10:59 +0200 <larou> the worst...
2020-10-15 22:11:38 +0200knupfer(~Thunderbi@200116b82c60f7000129fdd9bc9ee5fc.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-15 22:11:46 +0200knupfer(~Thunderbi@200116b82c60f7000129fdd9bc9ee5fc.dip.versatel-1u1.de)
2020-10-15 22:12:00 +0200 <larou> like, with this "Let" uniqueness, i think i can use params in the GADT definition to explicate the cycles
2020-10-15 22:12:10 +0200knupfer(~Thunderbi@200116b82c60f7000129fdd9bc9ee5fc.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:12:17 +0200kori(~kori@2804:14c:85a3:9105::1000)
2020-10-15 22:12:17 +0200kori(~kori@2804:14c:85a3:9105::1000) (Changing host)
2020-10-15 22:12:17 +0200kori(~kori@arrowheads/kori)
2020-10-15 22:12:18 +0200knupfer(~Thunderbi@200116b82c60f700a064bff6d45d9249.dip.versatel-1u1.de)
2020-10-15 22:12:19 +0200knupfer(~Thunderbi@200116b82c60f700a064bff6d45d9249.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-15 22:12:26 +0200knupfer(~Thunderbi@200116b82c60f700a064bff6d45d9249.dip.versatel-1u1.de)
2020-10-15 22:12:37 +0200knupfer(~Thunderbi@200116b82c60f700a064bff6d45d9249.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:12:43 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 22:12:45 +0200knupfer(~Thunderbi@200116b82c60f700cd671c34e61e3b60.dip.versatel-1u1.de)
2020-10-15 22:12:58 +0200hackageZ-Data 0.1.7.0 - Array, vector and text https://hackage.haskell.org/package/Z-Data-0.1.7.0 (winterland)
2020-10-15 22:13:03 +0200knupfer(~Thunderbi@200116b82c60f700cd671c34e61e3b60.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:13:25 +0200acidjnk_new(~acidjnk@p200300d0c723781658597087ca157dd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-15 22:13:35 +0200knupfer(~Thunderbi@200116b82c60f70028d48e202b17723f.dip.versatel-1u1.de)
2020-10-15 22:13:38 +0200knupfer(~Thunderbi@200116b82c60f70028d48e202b17723f.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:13:41 +0200larou(5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183) (Quit: Connection closed)
2020-10-15 22:13:47 +0200knupfer(~Thunderbi@200116b82c60f70028d48e202b17723f.dip.versatel-1u1.de)
2020-10-15 22:13:51 +0200knupfer(~Thunderbi@200116b82c60f70028d48e202b17723f.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:13:57 +0200hackagenumhask-free 0.0.1 - See readme.md https://hackage.haskell.org/package/numhask-free-0.0.1 (tonyday567)
2020-10-15 22:14:08 +0200knupfer(~Thunderbi@200116b82c60f700015b854466630b96.dip.versatel-1u1.de)
2020-10-15 22:14:08 +0200knupfer(~Thunderbi@200116b82c60f700015b854466630b96.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:14:21 +0200knupfer(~Thunderbi@200116b82c60f70011de69baa595b33d.dip.versatel-1u1.de)
2020-10-15 22:14:22 +0200knupfer(~Thunderbi@200116b82c60f70011de69baa595b33d.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:14:30 +0200knupfer(~Thunderbi@200116b82c60f70011de69baa595b33d.dip.versatel-1u1.de)
2020-10-15 22:14:30 +0200knupfer(~Thunderbi@200116b82c60f70011de69baa595b33d.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:14:39 +0200knupfer(~Thunderbi@200116b82c60f700fc4e716c5061e440.dip.versatel-1u1.de)
2020-10-15 22:14:54 +0200knupfer(~Thunderbi@200116b82c60f700fc4e716c5061e440.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:15:23 +0200knupfer(~Thunderbi@200116b82c60f700fc4e716c5061e440.dip.versatel-1u1.de)
2020-10-15 22:15:24 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-15 22:15:35 +0200 <dolio> monochrom: It's a waste of time to try to change the mind of anyone who would say something like that. :)
2020-10-15 22:15:36 +0200knupfer(~Thunderbi@200116b82c60f700fc4e716c5061e440.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-15 22:15:50 +0200knupfer(~Thunderbi@200116b82c60f70065b79fcbef4efc52.dip.versatel-1u1.de)
2020-10-15 22:15:52 +0200knupfer(~Thunderbi@200116b82c60f70065b79fcbef4efc52.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:16:00 +0200knupfer(~Thunderbi@200116b82c60f7008d4a8a7272ddcb4a.dip.versatel-1u1.de)
2020-10-15 22:16:02 +0200knupfer(~Thunderbi@200116b82c60f7008d4a8a7272ddcb4a.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-15 22:16:04 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-15 22:16:11 +0200knupfer(~Thunderbi@200116b82c60f700f1d1cd8b16d57665.dip.versatel-1u1.de)
2020-10-15 22:16:21 +0200knupfer(~Thunderbi@200116b82c60f700f1d1cd8b16d57665.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:16:37 +0200knupfer(~Thunderbi@200116b82c60f700f843b4c2e0fad855.dip.versatel-1u1.de)
2020-10-15 22:16:48 +0200knupfer(~Thunderbi@200116b82c60f700f843b4c2e0fad855.dip.versatel-1u1.de) (Client Quit)
2020-10-15 22:16:57 +0200knupfer(~Thunderbi@200116b82c60f70035574b36d39cb792.dip.versatel-1u1.de)
2020-10-15 22:18:34 +0200jneira_(~jneira@80.30.100.250) (Ping timeout: 256 seconds)
2020-10-15 22:19:00 +0200geekosaur(ac3a3b82@172.58.59.130) (Remote host closed the connection)
2020-10-15 22:19:12 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 22:19:17 +0200jneira_(~jneira@80.30.100.250)
2020-10-15 22:19:40 +0200ambiso9(~ambiso@209.182.239.205) (Quit: The Lounge - https://thelounge.chat)
2020-10-15 22:19:48 +0200chris(~chris@81.96.113.213)
2020-10-15 22:20:12 +0200chrisGuest34869
2020-10-15 22:20:19 +0200ambiso9(~ambiso@209.182.239.205)
2020-10-15 22:21:05 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-15 22:21:47 +0200UpstreamSalmon(uid12077@gateway/web/irccloud.com/x-zuuxycbtcmkanyjf) (Quit: Connection closed for inactivity)
2020-10-15 22:22:41 +0200oisdk(~oisdk@2001:bb6:3329:d100:11d5:8dc1:169a:e187)
2020-10-15 22:24:45 +0200 <maerwald> he was right about commuting though
2020-10-15 22:25:19 +0200jneira_(~jneira@80.30.100.250) (Ping timeout: 260 seconds)
2020-10-15 22:27:08 +0200jneira_(~jneira@80.30.100.250)
2020-10-15 22:28:33 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds)
2020-10-15 22:29:12 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 22:30:08 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-15 22:30:39 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 22:31:57 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-15 22:33:37 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 258 seconds)
2020-10-15 22:35:32 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-15 22:35:43 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 22:36:44 +0200 <maerwald> it's quite stressful, especially for an introvert haskeller
2020-10-15 22:37:37 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-15 22:38:27 +0200emmanuel_erc(~user@cpe-67-243-153-99.nyc.res.rr.com) (Remote host closed the connection)
2020-10-15 22:38:42 +0200emmanuel_erc(~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1)
2020-10-15 22:39:17 +0200emmanuel_erc(~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1) (Remote host closed the connection)
2020-10-15 22:39:24 +0200emmanuel_erc(~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1)
2020-10-15 22:42:01 +0200karanlikmadde(~karanlikm@2a01:c22:3472:9400:2911:7597:97b9:174f)
2020-10-15 22:44:08 +0200Sgeo_(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-15 22:45:30 +0200grfn(sid449115@gateway/web/irccloud.com/x-hlnwfgmeeatrrnpe) ("ERC (IRC client for Emacs 27.0.91)")
2020-10-15 22:45:30 +0200fendor(~fendor@178.115.131.201.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-15 22:46:52 +0200grfn(sid449115@gateway/web/irccloud.com/x-hlnwfgmeeatrrnpe)
2020-10-15 22:47:40 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Ping timeout: 272 seconds)
2020-10-15 22:48:27 +0200 <dolio> maerwald: I mean saying, "... dependent rank-n types, change my mind."
2020-10-15 22:49:37 +0200 <dolio> You can probably shorted it to just the last part.
2020-10-15 22:52:37 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-15 22:52:41 +0200noumenon(~daemon@113.51-175-156.customer.lyse.net)
2020-10-15 22:52:44 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-15 22:52:47 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 258 seconds)
2020-10-15 22:53:08 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 22:53:09 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 22:53:09 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-15 22:53:21 +0200Guest72657(~AllahuAkb@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-15 22:54:02 +0200 <monochrom> dolio: Haha yeah. No worries, I was joking.
2020-10-15 22:54:15 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 22:54:36 +0200 <monochrom> wait, what commuting?
2020-10-15 22:54:54 +0200reppertj(~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-10-15 22:57:03 +0200dhil(~dhil@78.156.97.38) (Ping timeout: 260 seconds)
2020-10-15 22:57:22 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-15 22:57:47 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-15 22:58:39 +0200noumenon(~daemon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2020-10-15 23:00:02 +0200Lthere(~Lthere@185.204.1.185) ()
2020-10-15 23:01:12 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 23:02:35 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-15 23:04:08 +0200hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-15 23:05:52 +0200hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-10-15 23:06:16 +0200hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-15 23:06:43 +0200hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-15 23:07:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-15 23:08:13 +0200machinedgod(~machinedg@24.105.81.50) (Quit: leaving)
2020-10-15 23:10:31 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-15 23:10:48 +0200jsynacek(~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 258 seconds)
2020-10-15 23:10:49 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 246 seconds)
2020-10-15 23:11:08 +0200dhil(~dhil@195.213.192.122)
2020-10-15 23:11:27 +0200Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 23:11:55 +0200knupfer(~Thunderbi@200116b82c60f70035574b36d39cb792.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-15 23:12:33 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-15 23:12:56 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-15 23:14:04 +0200sdx23(~sdx23@unaffiliated/sdx23)
2020-10-15 23:16:09 +0200machinedgod(~machinedg@24.105.81.50)
2020-10-15 23:17:33 +0200jneira_(~jneira@80.30.100.250) (Ping timeout: 260 seconds)
2020-10-15 23:23:59 +0200c0c0(~coco@212-51-137-149.fiber7.init7.net) (Quit: WeeChat 2.7.1)
2020-10-15 23:24:15 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-15 23:24:33 +0200jneira_(~jneira@80.30.100.250)
2020-10-15 23:27:16 +0200 <koz_> I have a data type Foo, and wanna write a ... whatever you call it that allows a user to create values of Foo with a TH splice.
2020-10-15 23:27:26 +0200 <koz_> What do I need to read to understand how that works?
2020-10-15 23:27:34 +0200 <koz_> (quasi-quotation?)
2020-10-15 23:29:50 +0200gxt(~gxt@gateway/tor-sasl/gxt)
2020-10-15 23:29:59 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds)
2020-10-15 23:30:13 +0200 <monochrom> Do you mean the [e| ... ] one? The $(...) one?
2020-10-15 23:31:04 +0200 <koz_> monochrom: Yeah, the [e|...] one. Like the one inline-c uses?
2020-10-15 23:31:17 +0200 <monochrom> Or neither, instead a function f :: X -> Q Exp so your users can write $(f ...) ?
2020-10-15 23:31:39 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-15 23:31:48 +0200 <koz_> The [e| ... ] one is what I was after.
2020-10-15 23:31:56 +0200 <koz_> Dunno proper way to name it, or how to define my own... well, e.
2020-10-15 23:32:44 +0200 <monochrom> You cannot define your own e. Even though quasi quotation uses a similar syntax [ your_function_name | ... ]
2020-10-15 23:33:03 +0200 <koz_> OK, I'm clearly missing something here.
2020-10-15 23:33:11 +0200 <monochrom> However, if you write [e|...], the type is Q Exp
2020-10-15 23:33:16 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 23:33:16 +0200 <koz_> Ah.
2020-10-15 23:33:39 +0200 <koz_> I want the [ your_function_name | ... ] syntax, but dunno how to write the your_function_name in question.
2020-10-15 23:36:26 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 272 seconds)
2020-10-15 23:36:39 +0200 <koz_> Do I just need to write something like foo :: QuasiQuoter (plus definition) or something?
2020-10-15 23:36:51 +0200 <koz_> And then folks can use [ foo | ... ]?
2020-10-15 23:37:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 23:39:29 +0200conal(~conal@64.71.133.70)
2020-10-15 23:39:30 +0200jgt1(~jgt@77-255-14-254.adsl.inetia.pl) (Read error: Connection reset by peer)
2020-10-15 23:39:37 +0200 <koz_> Sorry, [foo| ... |].
2020-10-15 23:39:47 +0200jgt1(~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-15 23:40:17 +0200LKoen(~LKoen@81.255.219.130) (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-10-15 23:40:27 +0200deviantfero(~deviantfe@190.99.48.231) (Ping timeout: 260 seconds)
2020-10-15 23:41:14 +0200 <monochrom> So I think I ended up learning from just the user guide and the Language.Haskell.TH.* doc. Although the user guide used to refer to a haskellwiki page, which in turn also refer to a paper, I found the haskellwiki example too steep, and the paper, well, the user guide already points out that the paper is outdated.
2020-10-15 23:41:23 +0200thir(~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-15 23:41:33 +0200 <koz_> monochrom: OK, I think I have enough to go on.
2020-10-15 23:42:13 +0200 <koz_> What would I use to signal a (compile-time, I assume?) error in TH? I need to fill in the fields of QuasiQuoter corresponding to inappropriate contexts with errors, as per the docs.
2020-10-15 23:42:31 +0200 <monochrom> And of course, the user guide is too brief, and the Language.Haskell.TH.* doc too reference material. So I learned by trial and error.
2020-10-15 23:43:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-15 23:43:26 +0200 <monochrom> For [foo|...] you write foo :: QuasiQuoter, yeah.
2020-10-15 23:43:57 +0200hackagekatip-datadog 0.2.0.0 - Datadog scribe for the Katip logging framework https://hackage.haskell.org/package/katip-datadog-0.2.0.0 (MichaelXavier)
2020-10-15 23:43:58 +0200Merfont(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 23:43:58 +0200Kaeipi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2020-10-15 23:44:41 +0200chaosmasttter(~chaosmast@p200300c4a711b001c4478125cc0e8bf4.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-15 23:46:05 +0200 <monochrom> Maybe Q being an instance of MonadFail helps the static error message.
2020-10-15 23:46:27 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-15 23:46:28 +0200 <koz_> So just use fail "Error message goes here"?
2020-10-15 23:46:37 +0200 <monochrom> Oh, there are also reportError etc right at the beginning of the Language.Haskell.TH
2020-10-15 23:46:59 +0200 <monochrom> (well, after the long TOC)
2020-10-15 23:46:59 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-15 23:47:20 +0200 <monochrom> Haha "Report an error to the user, but allow the current splice's computation to carry on. To abort the computation, use fail."
2020-10-15 23:47:27 +0200hackagekatip-elasticsearch 0.7.0.0 - ElasticSearch scribe for the Katip logging framework. https://hackage.haskell.org/package/katip-elasticsearch-0.7.0.0 (MichaelXavier)
2020-10-15 23:47:30 +0200 <koz_> So, fail's the way, got it.
2020-10-15 23:47:35 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-15 23:48:58 +0200hackagejsonifier 0.1 - Fast and simple JSON encoding toolkit https://hackage.haskell.org/package/jsonifier-0.1 (NikitaVolkov)
2020-10-15 23:49:39 +0200mav1(~mav@i5E86B60A.versanet.de)
2020-10-15 23:51:28 +0200hackagejsonifier 0.1.0.1 - Fast and simple JSON encoding toolkit https://hackage.haskell.org/package/jsonifier-0.1.0.1 (NikitaVolkov)
2020-10-15 23:53:25 +0200alp(~alp@2a01:e0a:58b:4920:650c:2dd8:d1c6:e413) (Ping timeout: 272 seconds)
2020-10-15 23:54:20 +0200 <monochrom> I think TH ends up being one of those things that look like intimidating to learn because there are a lot of things, e.g., Language.Haskell.TH.Syntax is very long and detailed and comprehensive, but it turns out for 90% of use cases you only need to learn 10% of it.
2020-10-15 23:55:00 +0200schwuk(~schwuk@178.162.209.171)
2020-10-15 23:55:37 +0200 <monochrom> For example, you can ignore all of Language.Haskell.TH.Syntax because you will just need to write [e| $(x) + 1|] instead of meticulously building the AST.
2020-10-15 23:57:57 +0200isovector1(~isovector@172.103.216.166) (Ping timeout: 258 seconds)
2020-10-15 23:58:02 +0200 <monochrom> So the only things you really need to know are: There are Q Exp, Q [Dec], etc; Q is MonadIO, so you can always go liftIO (putStrLn "We thank our sponsor NordVPN. Do you need a VPN? ..."); how to prevent variable capture; how to deliberately cause variable capture.
2020-10-15 23:59:44 +0200 <monochrom> And TH's notion of declaration groups --- this affects visibility.
2020-10-15 23:59:45 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)