IRCBrowse

2020/09/19

2020-09-19 00:00:24 +0200sfvm(~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-09-19 00:00:42 +0200ericsagnes(~ericsagne@2405:6580:0:5100:e056:335b:f7b5:b6ee) (Ping timeout: 260 seconds)
2020-09-19 00:01:59 +0200jneira_(~jneira@80.30.101.206) (Read error: No route to host)
2020-09-19 00:02:12 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 00:04:58 +0200hackagecomposite-tuple 0.1.2.0 - Tuple functions for composite records. https://hackage.haskell.org/package/composite-tuple-0.1.2.0 (locallycompact)
2020-09-19 00:05:45 +0200ubert(~Thunderbi@77.119.130.195.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-09-19 00:07:30 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-19 00:08:02 +0200caubert(~caubert@82.131.99.236.cable.starman.ee) (Remote host closed the connection)
2020-09-19 00:09:02 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-19 00:09:15 +0200 <kicov> Does liquid haskell support annotations with context ? As in:
2020-09-19 00:09:22 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-19 00:09:48 +0200 <kicov> there's f, and inside f there's g which uses f's variables - can we check on these too ?
2020-09-19 00:09:50 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-19 00:10:06 +0200 <kicov> (i mean g annotation making a check based on f's annotation)
2020-09-19 00:10:09 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-19 00:10:38 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-09-19 00:10:56 +0200aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 272 seconds)
2020-09-19 00:11:58 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 00:12:29 +0200sfvm(~sfvm@37.228.215.148)
2020-09-19 00:12:36 +0200ericsagnes(~ericsagne@2405:6580:0:5100:604a:a4e7:7f40:e8c2)
2020-09-19 00:13:25 +0200fendor(~fendor@212095005091.public.telering.at)
2020-09-19 00:15:57 +0200hackagefused-effects-th 0.1.0.2 - Template Haskell helpers for fused-effects. https://hackage.haskell.org/package/fused-effects-th-0.1.0.2 (patrick_thomson)
2020-09-19 00:16:38 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 00:16:59 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-09-19 00:19:17 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-19 00:21:37 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Client Quit)
2020-09-19 00:22:00 +0200aarvar(~foewfoiew@50.35.43.33)
2020-09-19 00:23:14 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-19 00:26:10 +0200eric_(~eric@2804:431:c7d4:402a:747d:7a4a:20fc:1f27) (Read error: Connection reset by peer)
2020-09-19 00:26:47 +0200eric(~eric@2804:431:c7d4:402a:747d:7a4a:20fc:1f27)
2020-09-19 00:32:50 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 00:35:42 +0200elliott_(~elliott@pool-71-114-77-65.washdc.fios.verizon.net)
2020-09-19 00:36:14 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-19 00:36:55 +0200heatsink(~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece)
2020-09-19 00:37:28 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2020-09-19 00:40:23 +0200Raito_Bezarius(~Raito_Bez@2001:bc8:38ee::1) (Changing host)
2020-09-19 00:40:23 +0200Raito_Bezarius(~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-09-19 00:41:14 +0200elliott_(~elliott@pool-71-114-77-65.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-09-19 00:42:05 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-19 00:42:06 +0200heatsink(~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece) (Ping timeout: 244 seconds)
2020-09-19 00:42:35 +0200sfvm(~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-09-19 00:42:56 +0200sfvm(~sfvm@37.228.215.148)
2020-09-19 00:44:37 +0200heatsink(~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece)
2020-09-19 00:45:25 +0200aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-09-19 00:47:45 +0200fendor(~fendor@212095005091.public.telering.at) (Ping timeout: 260 seconds)
2020-09-19 00:50:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-19 00:50:50 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 272 seconds)
2020-09-19 00:51:03 +0200jneira_(~jneira@38.red-193-152-116.dynamicip.rima-tde.net)
2020-09-19 00:52:33 +0200brettgilio(~brettgili@104.131.40.243) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2020-09-19 00:52:33 +0200jneira_(~jneira@38.red-193-152-116.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-09-19 00:53:38 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 00:53:45 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 00:54:15 +0200kleisli__(~kleisli@2600:1700:4640:c560:68bd:9d76:dbd8:24e7)
2020-09-19 00:54:23 +0200 <lyxia> kicov: I think so, but you can also try it out for yourself on their site.
2020-09-19 00:56:40 +0200brettgilio(~brettgili@104.131.40.243)
2020-09-19 00:58:08 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 00:58:38 +0200sfvm(~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-09-19 00:58:53 +0200sfvm(~sfvm@37.228.215.148)
2020-09-19 00:59:57 +0200hackagepolysemy-http 0.2.0.4 - Polysemy effect for http-client https://hackage.haskell.org/package/polysemy-http-0.2.0.4 (tek)
2020-09-19 01:00:32 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-19 01:00:36 +0200DekuDekuplex(~IceChat9@p7478089-ipngn34401marunouchi.tokyo.ocn.ne.jp)
2020-09-19 01:01:04 +0200Ranhir(~Ranhir@157.97.53.139) (Ping timeout: 256 seconds)
2020-09-19 01:01:06 +0200 <DekuDekuplex> Hello.
2020-09-19 01:01:18 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa) (Quit: WeeChat 2.9)
2020-09-19 01:01:21 +0200g-belmonte(~g-belmont@2804:14c:8786:9312:3638:eaf5:dc36:146d) (Quit: Leaving)
2020-09-19 01:01:55 +0200 <ski> hello DekuDekuplex
2020-09-19 01:02:01 +0200reppertj(~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-09-19 01:02:25 +0200 <DekuDekuplex> I seem to have a problem in adding my community to the list of Haskell communities. Let me dig up which list now....
2020-09-19 01:05:13 +0200 <DekuDekuplex> Ah, this page: https://www.haskell.org/community/
2020-09-19 01:06:28 +0200 <DekuDekuplex> Last year, I tried to add my TheTundra Haskell-Beginners community (back when "TheTundra" was known as "pashPost") to this list by adding a request on GitHub to update it, but nothing happened.
2020-09-19 01:06:46 +0200 <DekuDekuplex> It's been over a year since last April, when I first submitted that request.
2020-09-19 01:07:02 +0200 <DekuDekuplex> What's going on?
2020-09-19 01:08:36 +0200 <DekuDekuplex> Ah, just looked up the term on GitHub: pull request. Yes, I submitted a pull request back then, but nobody responded. I can't update that list myself.
2020-09-19 01:08:53 +0200 <ski> hm, i dunno who to get in touch with
2020-09-19 01:09:23 +0200 <ski> perhaps you could also try asking in #haskell-infrastructure, though i'm not sure whether that channel is relevant
2020-09-19 01:09:39 +0200 <DekuDekuplex> If you take a look at https://github.com/haskell-infra/www.haskell.org/pulls, you can see one at the bottom by
2020-09-19 01:09:45 +0200 <DekuDekuplex> "DekuDekuplex."
2020-09-19 01:09:49 +0200 <DekuDekuplex> That's mine.
2020-09-19 01:09:59 +0200proofofkeags_(~proofofke@c-73-34-43-4.hsd1.co.comcast.net) (Remote host closed the connection)
2020-09-19 01:10:13 +0200 <frdg`> what exactly is an Entity in Database.Persist? To this point I have always just thrown away the Entity but now I am instead updating data.
2020-09-19 01:10:16 +0200 <DekuDekuplex> Ah, it's dated May 31, 2019, not last April. Sorry. It was last May, not last April.
2020-09-19 01:10:26 +0200proofofkeags_(~proofofke@c-73-34-43-4.hsd1.co.comcast.net)
2020-09-19 01:11:16 +0200 <ski> (maybe it's related to "entity", as in Entity-Relationship (E-R) diagrams)
2020-09-19 01:11:47 +0200 <frdg`> I have not heard of those
2020-09-19 01:12:16 +0200 <ski> it's a modelling tool, for database schema design
2020-09-19 01:12:19 +0200 <DekuDekuplex> However, for some reason, two other pull requests since then have responses, but not mine. What's going on?
2020-09-19 01:12:52 +0200 <ski> perhaps there's also some mailing list that you could try
2020-09-19 01:13:38 +0200 <frdg`> nice thank you.
2020-09-19 01:13:49 +0200 <DekuDekuplex> Isn't there someone here, or someone I could write to in e-mail, who can update that list?
2020-09-19 01:14:33 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 01:14:36 +0200 <DekuDekuplex> There used to be a HaskellWiki page that I could update, but for some reason, somehow that page was moved to GitHub, which I can't update.
2020-09-19 01:14:47 +0200 <ski> there might be, but i have no clue who that would be
2020-09-19 01:15:23 +0200kicov(959c7c03@nat.ds3.agh.edu.pl) (Remote host closed the connection)
2020-09-19 01:16:14 +0200 <ski> you could also try asking at another time, when there's more people around ..
2020-09-19 01:16:53 +0200 <DekuDekuplex> That sounds like a good idea. What time is it over there now? I'm writing from Japan; it's 8:16 AM here now.
2020-09-19 01:17:25 +0200 <frdg`> its a different time everywhere
2020-09-19 01:17:54 +0200kayvan(~user@52-119-115-243.PUBLIC.monkeybrains.net)
2020-09-19 01:18:15 +0200 <DekuDekuplex> When is a good time to ask about adding a community to https://www.haskell.org/community/ here?
2020-09-19 01:19:09 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 265 seconds)
2020-09-19 01:21:05 +0200roconnor(~roconnor@host-184-164-25-9.dyn.295.ca) (Ping timeout: 240 seconds)
2020-09-19 01:21:51 +0200bitmagie(~Thunderbi@200116b806ae350060a80b5dfb4575b9.dip.versatel-1u1.de) (Quit: bitmagie)
2020-09-19 01:22:31 +0200 <ski> in Europe and Africa, it's after midnight. in the Americas, it's afternoon, or possibly evening
2020-09-19 01:22:35 +0200 <DekuDekuplex> What's really strange about the list of pull requests for https://www.haskell.org/community/ is that there are only 3 open requests, and there have been responses to the 2 other pull requests, but not mine.
2020-09-19 01:22:39 +0200 <sm[m]> DekuDekuplex: I guess activity is highest around 1700 UTC or so
2020-09-19 01:22:45 +0200proofofkeags_(~proofofke@c-73-34-43-4.hsd1.co.comcast.net) (Ping timeout: 240 seconds)
2020-09-19 01:23:01 +0200 <DekuDekuplex> 1700 UTC. Okay.
2020-09-19 01:23:40 +0200 <sm[m]> you could send a Ping to your PR, possibly tagging the names of repo owner / PR mergers
2020-09-19 01:23:48 +0200 <DekuDekuplex> Okay. That would be 2 AM local time here in Japan.
2020-09-19 01:24:05 +0200 <DekuDekuplex> Since I'm a night owl, that would fit my schedule.
2020-09-19 01:24:43 +0200 <DekuDekuplex> All right, I'll try to ask again here at 2 AM or so sometime in the next few days.
2020-09-19 01:25:15 +0200 <DekuDekuplex> I just hope that my request isn't being deliberately ignored.
2020-09-19 01:25:25 +0200roconnor(~roconnor@host-45-78-192-132.dyn.295.ca)
2020-09-19 01:25:25 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 240 seconds)
2020-09-19 01:26:10 +0200 <DekuDekuplex> Back when I tried to create my original community back on Google+, some folks asked me to delete it to merge the users into the other Google+ Haskell community, but I wanted to create one specifically for beginners.
2020-09-19 01:26:18 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 01:26:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 01:26:54 +0200 <DekuDekuplex> However, Google scuttled Google+ last April, and that causes both communities to disappear.
2020-09-19 01:27:00 +0200 <sm[m]> eg @TikhonJelvis
2020-09-19 01:27:01 +0200 <DekuDekuplex> causes -> caused
2020-09-19 01:27:43 +0200 <DekuDekuplex> Therefore, I re-created mine on TheTundra (then "pashPost"), and submitted a pull request to have it listed at https://www.haskell.org/community/.
2020-09-19 01:28:07 +0200 <DekuDekuplex> However, nobody seemed to pay any attention to that pull request, and that list still has not been updated.
2020-09-19 01:28:17 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 01:28:43 +0200 <DekuDekuplex> That makes it more difficult to attract Haskellites to my beginners-oriented Haskell community.
2020-09-19 01:30:01 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-09-19 01:30:12 +0200spew(uid195861@gateway/web/irccloud.com/x-nfjelvnrzcpftbke) (Quit: Connection closed for inactivity)
2020-09-19 01:30:18 +0200 <DekuDekuplex> I did advertise it on Haskell-Cafe, Haskell-Beginners, and reddit.
2020-09-19 01:30:44 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-19 01:31:23 +0200 <DekuDekuplex> There isn't anything wrong with adding a new community to https://www.haskell.org/community/, is there?
2020-09-19 01:31:23 +0200 <sm[m]> DekuDekuplex: it's not deliberate, people are just busy and not actively checking all repos. Send an inquiry to the pr, so they'll get a new email notification
2020-09-19 01:31:36 +0200 <DekuDekuplex> That's good to hear.
2020-09-19 01:32:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-19 01:32:05 +0200pera(~pera@unaffiliated/pera) (Ping timeout: 260 seconds)
2020-09-19 01:32:30 +0200 <DekuDekuplex> I was afraid that someone from the old Haskell community back on Google+ who had wanted me to delete my Haskell-Beginners Google+ community might have some resentment for my not deleting my community, and not want me to advertise it.
2020-09-19 01:33:27 +0200jzl(~jzl@ip238.ip-149-56-250.net)
2020-09-19 01:33:27 +0200jzl(~jzl@ip238.ip-149-56-250.net) (Changing host)
2020-09-19 01:33:27 +0200jzl(~jzl@unaffiliated/jzl)
2020-09-19 01:34:02 +0200 <sm[m]> too early to assume malice, incompetence is more likely :)
2020-09-19 01:34:14 +0200kanishka(~kanishka@107.242.116.74)
2020-09-19 01:34:42 +0200 <DekuDekuplex> I used to be an undergraduate in one of Paul Hudak's formal semantics courses back in circa 1993, and used to audit one of his classes back in college in Haskell.
2020-09-19 01:34:46 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-09-19 01:34:56 +0200 <sm[m]> generally the next step with an ignored pr is to follow up with a few more comments, perhaps tagging specific maintainer names
2020-09-19 01:35:07 +0200 <DekuDekuplex> He used to give great lectures on Haskell and functional programming.
2020-09-19 01:35:22 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 01:35:29 +0200 <sm[m]> Nice! I bet
2020-09-19 01:35:38 +0200 <DekuDekuplex> Unfortunately, Hudak passed away a few years ago.
2020-09-19 01:35:48 +0200 <DekuDekuplex> That was most unfortunate.
2020-09-19 01:35:49 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 01:36:15 +0200 <sm[m]> I have his book
2020-09-19 01:36:45 +0200 <DekuDekuplex> Actually, so do it. It's the one on multimedia programming in Haskell.
2020-09-19 01:36:48 +0200fendor(~fendor@212095005091.public.telering.at)
2020-09-19 01:36:50 +0200 <DekuDekuplex> it -> I
2020-09-19 01:37:01 +0200 <DekuDekuplex> School of Expression.
2020-09-19 01:37:12 +0200 <DekuDekuplex> Yes, the Haskell School of Expression.
2020-09-19 01:37:57 +0200 <DekuDekuplex> He used to play in a jazz band back in New Haven. I actually once attended one of his performances.
2020-09-19 01:39:15 +0200 <DekuDekuplex> Hudak was especially enthusiastic about functional programming, and about using the original functional style of writing programs, as opposed to the monadic style.
2020-09-19 01:39:36 +0200ph88(~ph88@ip5f5af726.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2020-09-19 01:39:43 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection)
2020-09-19 01:40:01 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-09-19 01:40:08 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-19 01:40:12 +0200 <sm[m]> Interesting
2020-09-19 01:40:52 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 246 seconds)
2020-09-19 01:41:34 +0200 <DekuDekuplex> One of Hudak's interesting posts on Haskell-Cafe was "a regressive view of support for imperative programming in Haskell" (see https://mail.haskell.org/pipermail/haskell-cafe/2007-August/030178.html).
2020-09-19 01:41:55 +0200 <DekuDekuplex> He didn't like the do-notation.
2020-09-19 01:42:31 +0200 <DekuDekuplex> Instead, he wanted to use the
2020-09-19 01:42:32 +0200 <DekuDekuplex> cmd1 >>= \x->
2020-09-19 01:42:32 +0200 <DekuDekuplex> cmd2 >>= \y->
2020-09-19 01:42:32 +0200 <DekuDekuplex> ...
2020-09-19 01:42:32 +0200 <DekuDekuplex> return e
2020-09-19 01:42:43 +0200 <DekuDekuplex> return e
2020-09-19 01:42:48 +0200 <DekuDekuplex> notation.
2020-09-19 01:43:06 +0200 <DekuDekuplex> (Please ignore the last "return e" expression.)
2020-09-19 01:44:28 +0200banner(~banner@116-255-17-110.ip4.superloop.com)
2020-09-19 01:44:41 +0200banner(~banner@116-255-17-110.ip4.superloop.com) (Client Quit)
2020-09-19 01:44:44 +0200 <DekuDekuplex> Somebody responded to my pull request! Apparently, it has some broken link problem or other. Let me check now....
2020-09-19 01:44:46 +0200codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-09-19 01:45:21 +0200frdg``(~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-19 01:45:30 +0200codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-09-19 01:46:21 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-19 01:46:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-19 01:46:47 +0200 <DekuDekuplex> Ah, I see. The original URL for my community was changed by TheTundra. Here is the new one: https://thetundra.com/interests/tech/groups/haskell-the-haskell-beginners-community
2020-09-19 01:47:01 +0200frdg`(~user@pool-71-184-143-249.bstnma.fios.verizon.net) (Ping timeout: 260 seconds)
2020-09-19 01:47:10 +0200 <DekuDekuplex> Let me add a comment about that to my pull request....
2020-09-19 01:48:25 +0200 <DekuDekuplex> Comment added.
2020-09-19 01:51:05 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 240 seconds)
2020-09-19 01:52:00 +0200 <DekuDekuplex> Okay; I have just additionally submitted an updated pull request with the updated URL.
2020-09-19 01:52:24 +0200codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 260 seconds)
2020-09-19 01:52:39 +0200codygman(~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce)
2020-09-19 01:54:10 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 272 seconds)
2020-09-19 01:54:46 +0200jud(~jud@unaffiliated/jud) (Read error: Connection reset by peer)
2020-09-19 01:54:55 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 01:55:23 +0200 <DekuDekuplex> At this point, I guess I'll just see what happens and try logging back in here at approximately 1700 UTC or so.
2020-09-19 01:55:35 +0200jud(~jud@unaffiliated/jud)
2020-09-19 01:56:18 +0200 <DekuDekuplex> Thanks! I'll see what happens now. I need to log off. See you later!
2020-09-19 01:57:23 +0200codygman(~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce) (Read error: Connection reset by peer)
2020-09-19 01:57:26 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 01:57:44 +0200codygman(~codygman@47.190.47.120)
2020-09-19 01:59:05 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 240 seconds)
2020-09-19 01:59:42 +0200jneira_(~jneira@38.red-193-152-116.dynamicip.rima-tde.net)
2020-09-19 02:00:02 +0200Bjarki(~Bjarki@178.162.204.238) ()
2020-09-19 02:01:35 +0200 <ski> DekuDekuplex : interesting
2020-09-19 02:01:45 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-09-19 02:02:37 +0200codygman(~codygman@47.190.47.120) (Ping timeout: 264 seconds)
2020-09-19 02:03:35 +0200codygman(~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce)
2020-09-19 02:03:36 +0200jneira_(~jneira@38.red-193-152-116.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-09-19 02:04:40 +0200DekuDekuplex(~IceChat9@p7478089-ipngn34401marunouchi.tokyo.ocn.ne.jp) (Quit: Given the choice between you, I'll take the sea-sick crocodile.)
2020-09-19 02:04:41 +0200brettgilio(~brettgili@104.131.40.243) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2020-09-19 02:04:55 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 02:04:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 02:05:16 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-09-19 02:05:27 +0200lateef(~lateef@cpe-174-109-67-227.nc.res.rr.com)
2020-09-19 02:07:26 +0200gienah(~mwright@gentoo/developer/gienah) (Read error: Connection reset by peer)
2020-09-19 02:07:30 +0200brettgilio(~brettgili@brettgilio.com)
2020-09-19 02:10:16 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-09-19 02:12:31 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 244 seconds)
2020-09-19 02:15:57 +0200jud^(~jud@cpe-70-113-106-222.austin.res.rr.com)
2020-09-19 02:17:12 +0200mariatsji(~mariatsji@155.84-234-177.customer.lyse.net)
2020-09-19 02:18:17 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 02:18:33 +0200fendor(~fendor@212095005091.public.telering.at) (Remote host closed the connection)
2020-09-19 02:19:49 +0200jud(~jud@unaffiliated/jud) (Ping timeout: 260 seconds)
2020-09-19 02:21:23 +0200mariatsji(~mariatsji@155.84-234-177.customer.lyse.net) (Ping timeout: 240 seconds)
2020-09-19 02:22:35 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-09-19 02:28:57 +0200jchia_(~jchia@58.32.37.220) (Quit: Leaving.)
2020-09-19 02:38:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-19 02:39:11 +0200kanishka(~kanishka@107.242.116.74) (Quit: Quit)
2020-09-19 02:39:32 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 02:40:25 +0200revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 264 seconds)
2020-09-19 02:40:48 +0200revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-09-19 02:41:56 +0200eflister(47ee2144@c-71-238-33-68.hsd1.or.comcast.net)
2020-09-19 02:42:39 +0200codygman(~codygman@2600:380:f971:6858:ad76:4f29:a95d:d3ce) (Read error: Connection reset by peer)
2020-09-19 02:43:00 +0200codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-09-19 02:44:14 +0200Ariakenom(~Ariakenom@h-98-128-229-34.NA.cust.bahnhof.se) (Quit: Leaving)
2020-09-19 02:44:19 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 02:46:45 +0200monochrom(trebla@216.138.220.146) (Ping timeout: 240 seconds)
2020-09-19 02:47:10 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-09-19 02:47:59 +0200heatsink(~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece) (Remote host closed the connection)
2020-09-19 02:48:25 +0200teardown(~user@unaffiliated/mrush) (Ping timeout: 240 seconds)
2020-09-19 02:53:15 +0200Tops2(~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de)
2020-09-19 02:54:07 +0200jud^(~jud@cpe-70-113-106-222.austin.res.rr.com) (Quit: Leaving)
2020-09-19 02:54:23 +0200Tops21(~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de) (Ping timeout: 246 seconds)
2020-09-19 02:54:29 +0200jud(~jud@unaffiliated/jud)
2020-09-19 02:54:51 +0200Tops21(~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de)
2020-09-19 02:55:28 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-19 02:55:46 +0200teardown(~user@unaffiliated/mrush)
2020-09-19 02:57:03 +0200heatsink(~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece)
2020-09-19 02:58:05 +0200Tops2(~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2020-09-19 03:00:19 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 03:01:00 +0200Ranhir(~Ranhir@157.97.53.139)
2020-09-19 03:01:24 +0200mitchellsalad_(uid40617@gateway/web/irccloud.com/x-emvpcqiqclhtoqyn) (Quit: Connection closed for inactivity)
2020-09-19 03:04:52 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-09-19 03:05:53 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 03:06:46 +0200nullheroes(~danielvu@168.235.66.22) (Quit: WeeChat 2.9)
2020-09-19 03:08:12 +0200xff0x_(~fox@2001:1a81:533d:7300:a04c:63b1:3358:adfe) (Ping timeout: 260 seconds)
2020-09-19 03:08:28 +0200monochrom(trebla@216.138.220.146)
2020-09-19 03:09:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 03:09:51 +0200xff0x_(~fox@2001:1a81:5373:6a00:7135:4a2f:509f:3c41)
2020-09-19 03:11:57 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-19 03:14:43 +0200kupi(uid212005@gateway/web/irccloud.com/x-sjortpcvbymtcblo)
2020-09-19 03:15:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-09-19 03:22:03 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 03:22:58 +0200systemhalted(~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net)
2020-09-19 03:25:34 +0200nan`(~nan`@unaffiliated/nan/x-5405850)
2020-09-19 03:27:16 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 03:28:29 +0200skvidal(~skvidal@193.56.252.210)
2020-09-19 03:29:05 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 240 seconds)
2020-09-19 03:29:46 +0200systemhalted(~aqualogic@71-129-231-253.lightspeed.rcsntx.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-19 03:29:54 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 03:30:19 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Ping timeout: 272 seconds)
2020-09-19 03:32:05 +0200berberman_(~berberman@2408:8207:256b:da50:584e:a9ff:fe9b:d3fe)
2020-09-19 03:32:08 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-09-19 03:32:16 +0200berberman(~berberman@2408:8207:2566:53a0:584e:a9ff:fe9b:d3fe) (Ping timeout: 244 seconds)
2020-09-19 03:37:25 +0200DTZUZU(~DTZUZU@205.ip-149-56-132.net) (Ping timeout: 246 seconds)
2020-09-19 03:39:56 +0200DTZUZU(~DTZUZU@S0106bcd165662a4d.vs.shawcable.net)
2020-09-19 03:40:30 +0200boxscape(58823b0b@gateway/web/cgi-irc/kiwiirc.com/ip.88.130.59.11)
2020-09-19 03:41:19 +0200 <boxscape> % (+++) :: a -> b -> c -> a; (a +++ b) c = a
2020-09-19 03:41:19 +0200 <yahb> boxscape:
2020-09-19 03:41:20 +0200 <boxscape> % (+++) :: a -> b -> a; (a +++ b) = a
2020-09-19 03:41:20 +0200 <yahb> boxscape: ; <interactive>:101:24: error: Parse error in pattern: a +++ b
2020-09-19 03:41:30 +0200 <boxscape> hm, seems strange that the second one doesn't work
2020-09-19 03:41:35 +0200 <boxscape> it works without the parens of coures, but...
2020-09-19 03:41:42 +0200 <boxscape> seems inconsintent
2020-09-19 03:41:47 +0200 <boxscape> wow I cannot spell today
2020-09-19 03:42:10 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 03:42:28 +0200 <monochrom> Don't use parentheses in the 2nd one. The Haskell grammar does not anticipate it.
2020-09-19 03:43:02 +0200nineonine(~nineonine@216.81.48.202) (Remote host closed the connection)
2020-09-19 03:43:07 +0200 <boxscape> I realize that, I'm just surprised that the Haskell grammar is designed in that way :)
2020-09-19 03:43:54 +0200 <monochrom> Or rather:
2020-09-19 03:44:32 +0200 <monochrom> If you intend function definition, the grammar doesn't anticipate parenthesizing such as "(f x) = x+1"
2020-09-19 03:45:26 +0200 <boxscape> % f :: a -> b -> a; (f a) b = a
2020-09-19 03:45:26 +0200 <yahb> boxscape:
2020-09-19 03:45:31 +0200 <monochrom> BUT! The other kind of definitions is "pattern = expr". In this case, the pattern can have outermost parentheses, "(inner pattern) = expr" because all patterns allow redundant parentheses.
2020-09-19 03:45:51 +0200 <boxscape> oh, yeah, I suppose that does make sense
2020-09-19 03:46:01 +0200 <boxscape> thanks
2020-09-19 03:46:02 +0200 <monochrom> This pushes the parser to look at "(a +++ b) = ..." and go "ah, you have a pattern on the LHS".
2020-09-19 03:46:07 +0200 <boxscape> right
2020-09-19 03:47:13 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-19 03:48:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 03:52:36 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 272 seconds)
2020-09-19 03:53:52 +0200Rudd0(~Rudd0@185.189.115.108) (Remote host closed the connection)
2020-09-19 03:56:09 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-09-19 03:59:14 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-19 03:59:20 +0200 <ski> yea, i've noticed this discrepance before
2020-09-19 04:00:57 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 260 seconds)
2020-09-19 04:01:28 +0200 <ski> occasionally, i've wanted to do something like `( x +++ Foo) = ...', in order to align `x' with something on another line
2020-09-19 04:01:53 +0200 <monochrom> That's clever
2020-09-19 04:02:11 +0200 <monochrom> Use explicit { ; } >:)
2020-09-19 04:02:38 +0200 <ski> this was directly under `module', as i recall it
2020-09-19 04:05:45 +0200 <monochrom> module M where {
2020-09-19 04:05:54 +0200theDon(~td@94.134.91.38) (Ping timeout: 272 seconds)
2020-09-19 04:07:09 +0200theDon(~td@94.134.91.50)
2020-09-19 04:08:35 +0200bloodsta1ker(~bloodstal@46.166.187.178) (Remote host closed the connection)
2020-09-19 04:12:47 +0200 <eflister> i need an accumulating traverse for Data.Map.
2020-09-19 04:12:55 +0200lagothrixGuest51064
2020-09-19 04:12:55 +0200Guest51064(~lagothrix@unaffiliated/lagothrix) (Killed (weber.freenode.net (Nickname regained by services)))
2020-09-19 04:13:08 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-09-19 04:15:24 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection)
2020-09-19 04:15:48 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-19 04:15:56 +0200 <ski> eflister : use `StateT' ?
2020-09-19 04:16:19 +0200TooDifficult(~TooDiffic@139.59.59.230)
2020-09-19 04:18:18 +0200 <eflister> ski: makes sense. any idea why it's not included in the library? makes me suspect i'm doing something wrong :)
2020-09-19 04:18:44 +0200 <ski> not included in which library ?
2020-09-19 04:18:57 +0200hackagearch-hs 0.0.0.0 - A program generating PKGBUILD for hackage packages. https://hackage.haskell.org/package/arch-hs-0.0.0.0 (berberman)
2020-09-19 04:18:58 +0200 <eflister> Data.Map :)
2020-09-19 04:19:18 +0200 <ski> (also, you said you were going to make a paste before, but you never showed any paste link)
2020-09-19 04:20:14 +0200 <eflister> heh, good memory - i later posted that i found a missing $ after lunch :)
2020-09-19 04:20:47 +0200 <ski> eflister : well, it has `instance Traversable (Map k)'. what more do you need, than that, and `instance Monad m => Applicative (StateT s m)' ?
2020-09-19 04:20:52 +0200mozzarella(~sam@unaffiliated/sam113101) (Read error: Connection reset by peer)
2020-09-19 04:23:00 +0200 <ski> @type (runStateT .) . (. (id :: M.Map k v -> M.Map k v)) . traverse . (StateT .)
2020-09-19 04:23:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-19 04:23:02 +0200 <lambdabot> Monad m => (v -> s -> m (b, s)) -> M.Map k v -> s -> m (M.Map k b, s)
2020-09-19 04:23:09 +0200 <ski> you wanted something like that ?
2020-09-19 04:23:10 +0200jumper149(~jumper149@ip185225.wh.uni-hannover.de) (Quit: WeeChat 2.9)
2020-09-19 04:23:21 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 260 seconds)
2020-09-19 04:23:50 +0200mozzarella(~sam@unaffiliated/sam113101)
2020-09-19 04:23:52 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 04:24:49 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection)
2020-09-19 04:26:16 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-19 04:27:23 +0200miklcct(quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2020-09-19 04:27:54 +0200 <eflister> that does look good, but more sophisticated than i usually get. :) since they have mapAccum and traverse i was hoping they'd baked in the combination...
2020-09-19 04:28:52 +0200booppoob(uid425746@gateway/web/irccloud.com/x-zxeyoiczknyxztoh)
2020-09-19 04:29:38 +0200 <booppoob> hi, do you think i should learn haskell if i have absolutely no maths background? does one need one to be able to have an easier time?
2020-09-19 04:29:49 +0200 <booppoob> should I instead spend some time with maths before coming to it?
2020-09-19 04:30:56 +0200drbean(~drbean@TC210-63-209-205.static.apol.com.tw)
2020-09-19 04:32:24 +0200 <boxscape> You do not need a maths background to learn haskell
2020-09-19 04:32:28 +0200miklcct(quasselcor@2001:19f0:7001:5ad:5400:2ff:feb6:50d7)
2020-09-19 04:32:38 +0200vnogueira(~vnogueira@unaffiliated/vnogueira)
2020-09-19 04:33:08 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 272 seconds)
2020-09-19 04:33:32 +0200 <ski> eflister : just write something like `(`runState` initialAcc) (traverse (\val -> StateT (\acc -> do ...; return (newVal,newAcc))) myMap)'
2020-09-19 04:34:20 +0200 <ski> (er, s/runState/runStateT/)
2020-09-19 04:34:41 +0200vnogueira(~vnogueira@unaffiliated/vnogueira) ()
2020-09-19 04:34:53 +0200 <ski> (`mapAccumL' is just `traverse' on `State s')
2020-09-19 04:34:54 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 04:34:57 +0200 <booppoob> ok, my friend(s) keep telling me only maths people do it. that's reassuring to hear.
2020-09-19 04:35:59 +0200 <boxscape> heh, it does tend to attract maths people. There are some nice relationships between some Haskell concepts and some maths concepts, but I doubt most people who have learned haskell even heard about those math concepts before.
2020-09-19 04:36:01 +0200 <ski> @where prerequisite
2020-09-19 04:36:01 +0200 <lambdabot> "Prerequisite for Learning Haskell" <http://www.vex.net/~trebla/haskell/prerequisite.xhtml>
2020-09-19 04:36:06 +0200 <ski> booppoob : see ^
2020-09-19 04:36:44 +0200 <ski> that tells you what (little) math background is useful, for learning Haskell
2020-09-19 04:37:16 +0200 <dolio> I think people have taught Haskell to high school students. Possibly grade school.
2020-09-19 04:38:25 +0200 <boxscape> I wasn't taught it *in* high school but I did learn it while I was attending high school
2020-09-19 04:40:57 +0200Turmfalke(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-09-19 04:42:18 +0200 <boxscape> hm I feel like that prerequisites page could benefit from some LaTeX, the ASCII math makes it look more difficult than it is
2020-09-19 04:42:53 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-19 04:43:00 +0200 <ski> hm, not the other way around, then ?
2020-09-19 04:43:17 +0200 <boxscape> well, I'm not suggesting to show the LaTeX source, but the rendered result
2020-09-19 04:43:45 +0200 <boxscape> though you may have meant that
2020-09-19 04:43:53 +0200 <ski> yes
2020-09-19 04:44:19 +0200skilooks at monochrom
2020-09-19 04:44:36 +0200 <monochrom> All LaTeX does in this case is merely italicize.
2020-09-19 04:44:40 +0200 <boxscape> I don't know, maybe - my impression would be that as long as you only use letters and numbers and not greek letters it shouldn't be any more menacing than ASCII math, but I could be wrong
2020-09-19 04:44:46 +0200 <ski> monochrom : and superscripts
2020-09-19 04:44:55 +0200 <boxscape> yeah I was thinking mostly of superscripts and asterisks
2020-09-19 04:45:03 +0200ericsagnes(~ericsagne@2405:6580:0:5100:604a:a4e7:7f40:e8c2) (Ping timeout: 272 seconds)
2020-09-19 04:45:04 +0200 <boxscape> though then again
2020-09-19 04:45:18 +0200 <boxscape> I suppose the asterisks are a deliberate choice because juxtaposition is an ASCII feature
2020-09-19 04:46:55 +0200 <boxscape> and I admit it could be jarring once you get to the source code which presumably would be rendered without LaTeX
2020-09-19 04:47:35 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 272 seconds)
2020-09-19 04:47:47 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2020-09-19 04:49:21 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 04:49:58 +0200 <booppoob> ok, i think i am done with the prerequisites, what would you suggest as a starting point to learn? which book should i begin with?
2020-09-19 04:50:25 +0200nckx(~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org)
2020-09-19 04:51:08 +0200nckx(~nckx@tobias.gr)
2020-09-19 04:51:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 04:52:34 +0200da39a3ee5e6b4b0d(~textual@mx-ll-171.5.162-140.dynamic.3bb.co.th)
2020-09-19 04:52:41 +0200 <boxscape> booppoob In terms of free resources, this seems to be a pretty good introduction https://www.seas.upenn.edu/~cis194/spring13/lectures.html In terms of paid resources, there's haskellbook.com
2020-09-19 04:53:37 +0200 <sshine> LaTeX also provides nice combined glyphs for "fi" and so on.
2020-09-19 04:53:47 +0200Tops21(~Tobias@dyndsl-095-033-022-068.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-09-19 04:54:10 +0200 <sshine> and does proper kerning.
2020-09-19 04:54:45 +0200 <sshine> I wonder how modern web browsers are doing on that.
2020-09-19 04:56:12 +0200 <booppoob> boxscape: thanks a lot.
2020-09-19 04:56:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-19 04:56:39 +0200 <boxscape> booppoob there's some more resources here https://github.com/bitemyapp/learnhaskell
2020-09-19 04:56:55 +0200 <boxscape> (but it recommends starting with one of the two I linked)
2020-09-19 04:57:06 +0200 <sshine> what's the cheapest way to get nice whitespacing behavior in text paragraphs on homepages without putting a PDF instead of my page? can't I render with javascript something generated by LaTeX, in a way that seems like when people add LaTeX equations to home pages?
2020-09-19 04:57:23 +0200 <sshine> but for text paragraphs.
2020-09-19 04:57:38 +0200ericsagnes(~ericsagne@2405:6580:0:5100:6cdc:fcb0:cc35:37b)
2020-09-19 04:57:44 +0200 <boxscape> I would hate your website if you did that because it would probably make text unselectable
2020-09-19 04:58:19 +0200 <sshine> boxscape, you'd hate my website now then. it's made from a javascript for making PowerPoint slideshows. I'm trying to turn it into a comic book viewer.
2020-09-19 04:58:26 +0200 <boxscape> oh no
2020-09-19 04:58:42 +0200 <sshine> boxscape, it has capacity for autoplay youtube and iframe backgrounds!
2020-09-19 04:58:50 +0200 <boxscape> though text selection doesn't seem as important for comic book viewing
2020-09-19 04:59:15 +0200 <sshine> it also has syntax-highlighted code that is friendly for copy-pasting.
2020-09-19 04:59:15 +0200kleisli_(~kleisli@172-8-147-49.lightspeed.irvnca.sbcglobal.net)
2020-09-19 04:59:26 +0200 <boxscape> that sounds lnice
2020-09-19 04:59:31 +0200 <boxscape> s/lnice/nice
2020-09-19 04:59:50 +0200 <sshine> often if I have text it's not a lot. I would hate myself if I wrote a book... so many other people are good at that. so I just try to share snippets of nice things I see.
2020-09-19 05:00:02 +0200skvidal(~skvidal@193.56.252.210) ()
2020-09-19 05:00:21 +0200 <sshine> trying to publish my friends comic books to a wider audience.
2020-09-19 05:00:56 +0200 <boxscape> I see
2020-09-19 05:01:58 +0200kleisli__(~kleisli@2600:1700:4640:c560:68bd:9d76:dbd8:24e7) (Ping timeout: 260 seconds)
2020-09-19 05:02:16 +0200darjeeling_(~darjeelin@122.245.216.8) (Ping timeout: 272 seconds)
2020-09-19 05:02:33 +0200theDon(~td@94.134.91.50) (Ping timeout: 256 seconds)
2020-09-19 05:03:16 +0200 <sshine> https://simonshine.dk/insta.html -- this is just a random selection of artwork from a friend's instagram. -- this is a short comic based on a Lovecraft novel: https://simonshine.dk/udyret.html -- the writing's in Danish and the format isn't properly adjusted towards web viewing yet...
2020-09-19 05:04:14 +0200theDon(~td@muedsl-82-207-238-084.citykom.de)
2020-09-19 05:04:59 +0200 <sshine> I wanna cut some of those boxes into smaller ones that take the whole screen, and then put some background music on it.
2020-09-19 05:06:54 +0200 <sshine> I just think I should auto-detect those boxes and kinda take over rendering choices from the artist who made it for paper. then old comics can get repurposed with kind of a default rendering suggestion without needing to create some complicated editor or asking people to make PNG cut-outs of 300 pages.
2020-09-19 05:07:35 +0200boxscape19(59f67a09@gateway/web/cgi-irc/kiwiirc.com/ip.89.246.122.9)
2020-09-19 05:08:00 +0200 <sshine> I guess if you detect a bunch of boxes in a page, there's a natural way for the eye to go, and that can just be inferred from the layout of the page and turned into how the slideshow zooms, out and around in progressively.
2020-09-19 05:10:57 +0200boxscape(58823b0b@gateway/web/cgi-irc/kiwiirc.com/ip.88.130.59.11) (Ping timeout: 260 seconds)
2020-09-19 05:11:07 +0200boxscape(59f67a11@gateway/web/cgi-irc/kiwiirc.com/ip.89.246.122.17)
2020-09-19 05:12:20 +0200boxscape19(59f67a09@gateway/web/cgi-irc/kiwiirc.com/ip.89.246.122.9) (Ping timeout: 256 seconds)
2020-09-19 05:12:21 +0200machinedgod(~machinedg@d67-193-126-196.home3.cgocable.net) (Ping timeout: 260 seconds)
2020-09-19 05:13:05 +0200da39a3ee5e6b4b0d(~textual@mx-ll-171.5.162-140.dynamic.3bb.co.th) (Ping timeout: 258 seconds)
2020-09-19 05:15:21 +0200darjeeling_(~darjeelin@122.245.219.58)
2020-09-19 05:16:50 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 272 seconds)
2020-09-19 05:17:22 +0200heatsink_(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-19 05:17:57 +0200oxide(~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds)
2020-09-19 05:19:05 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 240 seconds)
2020-09-19 05:19:07 +0200heatsink(~heatsink@2600:1700:bef1:5e10:b0dc:6c54:247b:ece) (Ping timeout: 240 seconds)
2020-09-19 05:19:19 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-19 05:19:27 +0200ericsagnes(~ericsagne@2405:6580:0:5100:6cdc:fcb0:cc35:37b) (Ping timeout: 260 seconds)
2020-09-19 05:19:54 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 05:19:55 +0200oxide(~lambda@unaffiliated/mclaren)
2020-09-19 05:21:31 +0200rekahsoft(~rekahsoft@CPE0008a20f982f-CM64777d666260.cpe.net.cable.rogers.com)
2020-09-19 05:21:54 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 05:21:59 +0200aarvar(~foewfoiew@50.35.43.33)
2020-09-19 05:23:41 +0200acidjnk_new2(~acidjnk@p200300d0c7365818803e8c849f4b43fc.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-09-19 05:24:19 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 272 seconds)
2020-09-19 05:28:17 +0200lateef(~lateef@cpe-174-109-67-227.nc.res.rr.com) (Quit: lateef)
2020-09-19 05:29:15 +0200Amras(~Amras@unaffiliated/amras0000)
2020-09-19 05:29:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 05:31:29 +0200ericsagnes(~ericsagne@2405:6580:0:5100:c421:5063:beb8:cd39)
2020-09-19 05:32:47 +0200mmohammadi9812(~mmohammad@5.238.164.128)
2020-09-19 05:38:01 +0200mmohammadi98126(~mmohammad@5.115.231.155)
2020-09-19 05:39:56 +0200mmohammadi9812(~mmohammad@5.238.164.128) (Ping timeout: 246 seconds)
2020-09-19 05:39:56 +0200mmohammadi98126mmohammadi9812
2020-09-19 05:40:29 +0200jedws_(~jedws@121.209.139.222)
2020-09-19 05:41:49 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection)
2020-09-19 05:42:14 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-19 05:42:48 +0200nckx(~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org)
2020-09-19 05:43:13 +0200nckx(~nckx@tobias.gr)
2020-09-19 05:44:26 +0200boxscape(59f67a11@gateway/web/cgi-irc/kiwiirc.com/ip.89.246.122.17) (Quit: Connection closed)
2020-09-19 05:48:08 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-19 05:49:54 +0200zacts(~zacts@dragora/developer/zacts)
2020-09-19 05:51:24 +0200jedws_(~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-19 05:52:03 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-19 05:52:11 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-09-19 05:53:17 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-19 05:53:37 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 264 seconds)
2020-09-19 05:55:49 +0200chx(~chx@84.39.117.57)
2020-09-19 05:56:25 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-19 05:59:58 +0200aenesidemus(~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net) (Ping timeout: 265 seconds)
2020-09-19 06:00:32 +0200milkii(~milk@2001:19f0:7401:866a:15f3:a8f4:441d:ab86) ("afe")
2020-09-19 06:00:33 +0200mmohammadi9812(~mmohammad@5.115.231.155) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-19 06:00:50 +0200inkbottle(~inkbottle@aaubervilliers-654-1-100-182.w86-212.abo.wanadoo.fr)
2020-09-19 06:01:23 +0200Rudd0(~Rudd0@185.189.115.108)
2020-09-19 06:01:45 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 240 seconds)
2020-09-19 06:01:54 +0200jneira_(~jneira@38.red-193-152-116.dynamicip.rima-tde.net)
2020-09-19 06:02:01 +0200zebrag(~inkbottle@aaubervilliers-654-1-99-38.w86-212.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2020-09-19 06:02:31 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-09-19 06:03:06 +0200hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-09-19 06:03:06 +0200jneira_(~jneira@38.red-193-152-116.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-09-19 06:03:36 +0200hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-09-19 06:03:39 +0200eflister(47ee2144@c-71-238-33-68.hsd1.or.comcast.net) (Remote host closed the connection)
2020-09-19 06:03:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-19 06:04:10 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 06:04:31 +0200rprije(~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au)
2020-09-19 06:05:46 +0200rekahsoft(~rekahsoft@CPE0008a20f982f-CM64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 265 seconds)
2020-09-19 06:05:59 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-19 06:06:56 +0200reppertj(~textual@pool-96-246-209-59.nycmny.fios.verizon.net) (Quit: Textual IRC Client: www.textualapp.com)
2020-09-19 06:08:19 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Remote host closed the connection)
2020-09-19 06:08:54 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-19 06:09:04 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 260 seconds)
2020-09-19 06:09:05 +0200xerox_(~xerox@unaffiliated/xerox)
2020-09-19 06:09:09 +0200stiell(~stian@fsf/member/stiell) (Ping timeout: 265 seconds)
2020-09-19 06:09:13 +0200heavengin7(~lovely@49.145.200.126)
2020-09-19 06:10:50 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 06:11:42 +0200heavengin7(~lovely@49.145.200.126) (Quit: Hi. If you wanna buy selected item on Amazonian pls click here > http://amazonian2.000webhostapp.com/)
2020-09-19 06:11:45 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 240 seconds)
2020-09-19 06:12:13 +0200eric(~eric@2804:431:c7d4:402a:747d:7a4a:20fc:1f27) (Remote host closed the connection)
2020-09-19 06:13:20 +0200stiell(~stian@fsf/member/stiell)
2020-09-19 06:14:00 +0200eric(~eric@2804:431:c7d4:402a:747d:7a4a:20fc:1f27)
2020-09-19 06:14:38 +0200day_(~Unknown@unaffiliated/day)
2020-09-19 06:15:28 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 260 seconds)
2020-09-19 06:17:37 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 06:18:16 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 272 seconds)
2020-09-19 06:18:16 +0200day_day
2020-09-19 06:18:47 +0200eric(~eric@2804:431:c7d4:402a:747d:7a4a:20fc:1f27) (Ping timeout: 272 seconds)
2020-09-19 06:19:56 +0200jneira_(~jneira@38.red-193-152-116.dynamicip.rima-tde.net)
2020-09-19 06:21:45 +0200Franciman(~Franciman@acqua.team) (Ping timeout: 240 seconds)
2020-09-19 06:21:45 +0200jneira_(~jneira@38.red-193-152-116.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-09-19 06:21:51 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Ping timeout: 246 seconds)
2020-09-19 06:22:43 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 06:24:18 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-09-19 06:28:45 +0200howdoi(uid224@gateway/web/irccloud.com/x-zdarqnpcqwthpiik) (Quit: Connection closed for inactivity)
2020-09-19 06:31:12 +0200TooDifficult(~TooDiffic@139.59.59.230) (Quit: TooDifficult)
2020-09-19 06:31:40 +0200TooDifficult(~TooDiffic@139.59.59.230)
2020-09-19 06:32:34 +0200Saukk(~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4)
2020-09-19 06:36:56 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-19 06:37:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 06:40:59 +0200TooDifficult(~TooDiffic@139.59.59.230) (Quit: TooDifficult)
2020-09-19 06:41:05 +0200wagle(~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2020-09-19 06:41:43 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-19 06:42:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-19 06:44:43 +0200wagle(~wagle@quassel.wagle.io)
2020-09-19 06:45:47 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-09-19 06:46:12 +0200asan(~yan4138@124.78.18.192)
2020-09-19 06:49:18 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 272 seconds)
2020-09-19 06:51:43 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-09-19 06:52:59 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-09-19 06:55:35 +0200shafox(~shafox@106.51.234.111)
2020-09-19 06:58:28 +0200Sanchayan(~Sanchayan@106.200.239.146)
2020-09-19 07:00:05 +0200perdent(~k4fr@91.132.136.84) (Ping timeout: 240 seconds)
2020-09-19 07:00:47 +0200asan(~yan4138@124.78.18.192) (Ping timeout: 246 seconds)
2020-09-19 07:01:16 +0200gtr(75635aa4@117.99.90.164)
2020-09-19 07:01:42 +0200russruss8(~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat)
2020-09-19 07:02:09 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 07:04:21 +0200russruss8(~russruss@my.russellmcc.com)
2020-09-19 07:04:43 +0200aeth(~Michael@wesnoth/umc-dev/developer/aethaeryn)
2020-09-19 07:06:06 +0200gtr(75635aa4@117.99.90.164) (Remote host closed the connection)
2020-09-19 07:06:12 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds)
2020-09-19 07:06:41 +0200booppoob(uid425746@gateway/web/irccloud.com/x-zxeyoiczknyxztoh) (Quit: Connection closed for inactivity)
2020-09-19 07:07:02 +0200nan`(~nan`@unaffiliated/nan/x-5405850) (Quit: leaving)
2020-09-19 07:07:40 +0200stiell(~stian@fsf/member/stiell) (Ping timeout: 272 seconds)
2020-09-19 07:07:43 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-19 07:10:26 +0200tsrt^(~hph@ip98-184-89-2.mc.at.cox.net) ()
2020-09-19 07:11:35 +0200booppoob(uid425746@gateway/web/irccloud.com/x-tkeigqqpbyoktbzy)
2020-09-19 07:11:47 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 07:12:08 +0200ntwoaaci^(ntwoaaci@ip98-184-89-2.mc.at.cox.net)
2020-09-19 07:12:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 07:12:30 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-19 07:14:00 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Remote host closed the connection)
2020-09-19 07:14:00 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 272 seconds)
2020-09-19 07:14:00 +0200Lord_of_Life_Lord_of_Life
2020-09-19 07:14:06 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 07:15:02 +0200platypine(~joshie@c-73-249-162-185.hsd1.ct.comcast.net)
2020-09-19 07:17:45 +0200jedws(~jedws@121.209.139.222)
2020-09-19 07:18:55 +0200remexre(~nathan@207-153-38-50.fttp.usinternet.com) (Remote host closed the connection)
2020-09-19 07:18:56 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-09-19 07:19:46 +0200perdent(~k4fr@101.175.168.104)
2020-09-19 07:21:02 +0200 <siraben> edwardk: Just finished reading your article on the bound library, it sounds very useful.
2020-09-19 07:21:21 +0200 <siraben> Have you seen https://github.com/jozefg/cooked-pi/blob/master/src/LambdaPi/Bound.hs ?
2020-09-19 07:21:35 +0200 <sim590> I have a `A a` data type with its own constructors. Now, I'm making a `newtype B b = A b`. Is it possible for me to use A's constructors to map them against variables of type `B` ? Otherwise, what's the prefered approach?
2020-09-19 07:22:52 +0200 <siraben> sim590: when you write `newtype B b = A b`, you're creating a constructor `A :: b → B b` by the way
2020-09-19 07:23:07 +0200 <siraben> I think what you want is `newtype B b = B (A b)`
2020-09-19 07:23:45 +0200gmt(~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 240 seconds)
2020-09-19 07:24:27 +0200remexre(~nathan@207-153-38-50.fttp.usinternet.com)
2020-09-19 07:24:45 +0200 <siraben> sim590: You're saying that you want implicit coercion from `A a` to `B a`?
2020-09-19 07:25:22 +0200 <sim590> Here's what I want to do: http://sprunge.us/MSk4Mo. See the function `toto` which yields an error "Couldn't match expected type ‘LBSTree a’ with actual type ‘BSTree a0’".
2020-09-19 07:25:53 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-19 07:27:37 +0200 <sim590> Because my LBSTree is an extension of BSTree, so I would have liked to simply use its constructors. I think that "implicit coercion" is correctly capturing what I want to do, but I'm not sure about the semantic of the word.
2020-09-19 07:28:32 +0200 <sim590> There are functions defined for BSTree already and I would have liked to use them on LBSTree also if that's possible. But what I'm really looking for is the most standard way of achieving this extension.
2020-09-19 07:28:37 +0200 <siraben> sim590: Yes, the type error occurs because BEmpty has type BSTree a
2020-09-19 07:29:09 +0200 <siraben> What you need to change is `newtype LBSTree a = BSTree (LBSNode a)` to `newtype LBSTree a = LBSTree (BSTree (LBSNode a))`
2020-09-19 07:29:43 +0200 <siraben> Then the first case of the pattern match, `toto BEmpty = undefined` to `toto (LBSTree BEmpty) = undefined`
2020-09-19 07:29:48 +0200 <sim590> OK, so I really need to define another constructor.
2020-09-19 07:30:01 +0200 <siraben> If you don't want having to write the constructor `LBSTree`, I'd say write this
2020-09-19 07:30:12 +0200 <siraben> `type LBSTree a = BSTree (LBSNode a)`
2020-09-19 07:30:21 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Ping timeout: 272 seconds)
2020-09-19 07:30:22 +0200 <siraben> s/having/to have
2020-09-19 07:30:38 +0200 <siraben> Then you can keep the type signature of `toto`
2020-09-19 07:31:06 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 07:31:20 +0200 <sim590> Oh. Yes! So type will just substitute LBSTree a to BSTree (LBSNode a).
2020-09-19 07:31:28 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds)
2020-09-19 07:31:45 +0200mmohammadi98126(~mmohammad@5.115.231.155)
2020-09-19 07:31:46 +0200 <siraben> Using `type` in Haskell is a lot like `typedef` in C, it's a type alias. `newtype` OTOH creates a wrapper (to make things opaque), but while still having the same runtime representation
2020-09-19 07:31:49 +0200 <siraben> Right.
2020-09-19 07:32:47 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-09-19 07:32:49 +0200xpika(~alan@2001:8003:5d32:1f00:2a:bc61:ce8c:6d8)
2020-09-19 07:33:46 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-09-19 07:33:55 +0200 <sim590> Does it always work in every cases? I do have other cases such as this signature: `append :: HasCallStack => LBSPComputer a -> a -> LBSTree a -> Chronicle Messages (LBSTree a)` and I'm getting an error "Occurs check: cannot construct the infinite type: a ~ LBSNode a"
2020-09-19 07:34:53 +0200 <sim590> Oh No. I understand
2020-09-19 07:35:06 +0200 <sim590> It's fine
2020-09-19 07:35:09 +0200 <sim590> Thanks!
2020-09-19 07:35:10 +0200 <siraben> How did the HasCallStack constraint appear here?
2020-09-19 07:36:07 +0200 <siraben> No problem
2020-09-19 07:36:50 +0200 <sim590> It's a project I'm working on. I had this BSTree module, but now I'm splitting it into BSTree and LBSTree. I already had some extensive code for things like logging with (co-log and Chronicle). I'm using GHC.Stack for keeping the trace in my functions where logging is enabled.
2020-09-19 07:37:45 +0200 <sim590> The cause of my last problem was because I was not wrapping the `a` type in `LBSNode` after porting the code from BSTree to LBSTree.
2020-09-19 07:37:50 +0200 <sim590> Hence the infinite type error.
2020-09-19 07:38:18 +0200 <siraben> Ah, I see. Heh, I don't use logging myself in Haskell.
2020-09-19 07:39:27 +0200toorevitimirp(~tooreviti@117.182.182.33)
2020-09-19 07:42:16 +0200solonarv(~solonarv@astrasbourg-653-1-186-165.w90-13.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-09-19 07:42:23 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-09-19 07:42:24 +0200 <sim590> ;) It's less complicated in that case. Where I don't need it, I don't use it.
2020-09-19 07:42:53 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-09-19 07:43:31 +0200fweht(uid404746@gateway/web/irccloud.com/x-xnkzclwannqfwfls)
2020-09-19 07:45:21 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-09-19 07:46:22 +0200Faker(bad2e42c@186.210.228.44) (Remote host closed the connection)
2020-09-19 07:47:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-19 07:49:01 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-19 07:49:58 +0200hackageincremental 0.3.1 - incremental update library https://hackage.haskell.org/package/incremental-0.3.1 (FumiakiKinoshita)
2020-09-19 07:50:50 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 246 seconds)
2020-09-19 07:53:37 +0200stiell(~stian@fsf/member/stiell)
2020-09-19 07:54:03 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds)
2020-09-19 08:00:01 +0200chx(~chx@84.39.117.57) ()
2020-09-19 08:00:30 +0200Saukk(~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-09-19 08:01:35 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 08:04:07 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-19 08:04:28 +0200hackagemetro 0.1.0.2 - A simple tcp and udp socket server framework https://hackage.haskell.org/package/metro-0.1.0.2 (Lupino)
2020-09-19 08:04:42 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 08:06:55 +0200heatsink_(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-19 08:06:59 +0200toorevitimirp(~tooreviti@117.182.182.33) (Remote host closed the connection)
2020-09-19 08:07:28 +0200toorevitimirp(~tooreviti@117.182.182.33)
2020-09-19 08:08:28 +0200platypine(~joshie@c-73-249-162-185.hsd1.ct.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 08:09:34 +0200lockshaw(~lockshaw@165.22.163.71) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2020-09-19 08:09:44 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 08:10:04 +0200jespada(~jespada@90.254.241.6) (Ping timeout: 246 seconds)
2020-09-19 08:12:00 +0200lockshaw(~lockshaw@165.22.163.71)
2020-09-19 08:13:10 +0200jespada(~jespada@90.254.241.6)
2020-09-19 08:16:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 08:16:40 +0200toorevitimirp(~tooreviti@117.182.182.33) (Read error: Connection reset by peer)
2020-09-19 08:21:05 +0200zacts1(~zacts@s91904426.blix.com)
2020-09-19 08:21:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-19 08:29:34 +0200sfvm(~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-09-19 08:30:36 +0200river_(~river@2600:1700:4640:c560:68bd:9d76:dbd8:24e7)
2020-09-19 08:31:29 +0200platypine(~platypine@c-73-249-162-185.hsd1.ct.comcast.net)
2020-09-19 08:33:40 +0200platypine(~platypine@c-73-249-162-185.hsd1.ct.comcast.net) (Client Quit)
2020-09-19 08:33:43 +0200mmohammadi981261(~mmohammad@5.238.164.128)
2020-09-19 08:33:48 +0200mmohammadi98126(~mmohammad@5.115.231.155) (Ping timeout: 272 seconds)
2020-09-19 08:33:48 +0200mmohammadi981261mmohammadi98126
2020-09-19 08:34:03 +0200platypine(~platypine@c-73-249-162-185.hsd1.ct.comcast.net)
2020-09-19 08:34:10 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-09-19 08:34:30 +0200aeth(~Michael@wesnoth/umc-dev/developer/aethaeryn) ()
2020-09-19 08:34:38 +0200tzh(~tzh@2601:448:c500:5300::ad1c) (Quit: zzz)
2020-09-19 08:34:59 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 08:35:04 +0200river_(~river@2600:1700:4640:c560:68bd:9d76:dbd8:24e7) (Client Quit)
2020-09-19 08:37:53 +0200kleisli_(~kleisli@172-8-147-49.lightspeed.irvnca.sbcglobal.net) (Quit: Leaving)
2020-09-19 08:42:37 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-19 08:42:58 +0200hackageextensible 0.8.1 - Extensible, efficient, optics-friendly data types and effects https://hackage.haskell.org/package/extensible-0.8.1 (FumiakiKinoshita)
2020-09-19 08:49:32 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-19 08:50:04 +0200ph88(~ph88@ip5f5af726.dynamic.kabel-deutschland.de)
2020-09-19 08:53:24 +0200kupi(uid212005@gateway/web/irccloud.com/x-sjortpcvbymtcblo) (Quit: Connection closed for inactivity)
2020-09-19 08:54:50 +0200kleisli(~kleisli@2600:1700:4640:c560:68bd:9d76:dbd8:24e7)
2020-09-19 08:55:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 08:55:55 +0200kleislidillon
2020-09-19 08:57:08 +0200dillonendorphin
2020-09-19 08:59:20 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 09:01:56 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-19 09:06:44 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 09:07:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-19 09:08:26 +0200lucid_0x80(~lucid_0x8@188.253.237.250)
2020-09-19 09:10:20 +0200toorevitimirp(~tooreviti@117.182.182.33)
2020-09-19 09:10:29 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
2020-09-19 09:10:57 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 09:11:15 +0200gnumonik(~gnumonik@c-73-170-91-210.hsd1.ca.comcast.net)
2020-09-19 09:11:38 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 09:11:39 +0200fendor(~fendor@212095005091.public.telering.at)
2020-09-19 09:11:46 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2020-09-19 09:12:05 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-19 09:14:22 +0200zaquest(~notzaques@5.128.210.178)
2020-09-19 09:14:56 +0200toorevitimirp(~tooreviti@117.182.182.33) (Client Quit)
2020-09-19 09:15:22 +0200brown121407(~brown1214@brown.121407.xyz)
2020-09-19 09:15:36 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 09:18:00 +0200toorevitimirp(~tooreviti@117.182.182.33)
2020-09-19 09:18:16 +0200toorevitimirp(~tooreviti@117.182.182.33) (Client Quit)
2020-09-19 09:20:01 +0200ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 264 seconds)
2020-09-19 09:20:32 +0200ryansmccoy(~ryansmcco@156.96.151.132)
2020-09-19 09:20:34 +0200toorevitimirp(~tooreviti@117.182.182.33)
2020-09-19 09:22:43 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-09-19 09:25:54 +0200deviantfero(~deviantfe@190.99.48.231)
2020-09-19 09:27:53 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 09:29:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-19 09:29:41 +0200lucid_0x80(~lucid_0x8@188.253.237.250) (Quit: Leaving)
2020-09-19 09:29:58 +0200lucid_0x80(~lucid_0x8@188.253.237.250)
2020-09-19 09:32:42 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 09:34:39 +0200oxide(~lambda@unaffiliated/mclaren) (Read error: Connection reset by peer)
2020-09-19 09:35:09 +0200 <edwardk> siraben: i had not
2020-09-19 09:35:20 +0200 <edwardk> siraben: but its pretty much the same kinda thing as dolio's upts code
2020-09-19 09:35:33 +0200 <siraben> lam a = Lam . abstract1 a What does the a mean?
2020-09-19 09:35:34 +0200 <siraben> lam :: Eq a => a -> Expr a -> Expr a
2020-09-19 09:35:44 +0200 <edwardk> both of those lack a thing that i think andras gets right in his elaboration zoo, which is he starts with a surface language and compiles down to a core
2020-09-19 09:35:48 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-09-19 09:35:58 +0200 <siraben> I'm putting a number there but not sure what abstract1 does
2020-09-19 09:35:59 +0200 <edwardk> lam "x" $ some expression which uses Var "x"
2020-09-19 09:36:03 +0200 <edwardk> think String
2020-09-19 09:36:06 +0200 <siraben> Oh I see
2020-09-19 09:36:11 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-09-19 09:36:16 +0200 <edwardk> its whatever names you have before you start binding things up
2020-09-19 09:37:03 +0200irc_user(uid423822@gateway/web/irccloud.com/x-stvaebjkkjdergtx) (Quit: Connection closed for inactivity)
2020-09-19 09:37:16 +0200 <edwardk> heck, when working with meta variables the 'a' in my expressions is often something like an newtype Meta = Meta (IORef (Maybe (Term Meta)))
2020-09-19 09:38:03 +0200 <edwardk> so i start out with Expr String, because its easy to work with in the parser, finish closing my terms, because i traverse over them with traverse (const Nothing) -- which tells me Nothing if the term is not closed, or Just (Expr a) for any a i want if it is closed
2020-09-19 09:38:32 +0200 <edwardk> then I can start using it as Expr Void for a while, maybe switching to Expr Meta when doing unification
2020-09-19 09:38:48 +0200 <edwardk> s/Term/Expr/ in the definition of meta to use that though
2020-09-19 09:39:41 +0200 <edwardk> abstract1 looks for all occurrences of that name in Term a and converts them to the () in Scope () Term a
2020-09-19 09:40:07 +0200 <edwardk> abstract is more general and can be used to grab several names at once, say for a pattern or a recursive let binding
2020-09-19 09:40:37 +0200 <siraben> That makes sense
2020-09-19 09:40:39 +0200 <edwardk> instantiate1 is how you substitute a term for the bound () in Scope () Term a
2020-09-19 09:41:01 +0200 <siraben> hasType (lam 0 $ Var 0) (pi 0 (Var 0) (Var 0)) seems to fail, but hasType (lam 0 $ Var 0) (pi 0 (Var 1) (Var 1)) succeeds
2020-09-19 09:41:16 +0200 <siraben> It seemed to try to equate Var 0 and Var 1, hm.
2020-09-19 09:42:12 +0200 <siraben> I'm trying to do a simple, (\x → x) : Π (x : Star). x → x
2020-09-19 09:42:15 +0200 <edwardk> (\x. x) :: Pi(x :: y). y -- is what the second one says
2020-09-19 09:42:18 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-19 09:42:19 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded)
2020-09-19 09:42:27 +0200jedws(~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-19 09:42:33 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-19 09:43:09 +0200 <edwardk> the former says (\x.x) :: Pi(x:some_unbound_variable_named_0).x. no?
2020-09-19 09:43:26 +0200 <siraben> Ah, hm.
2020-09-19 09:43:36 +0200 <edwardk> er i don't know your pi constructor there
2020-09-19 09:43:39 +0200 <edwardk> let me read the code
2020-09-19 09:43:41 +0200rekahsoft(~rekahsoft@CPE0008a20f982f-CM64777d666260.cpe.net.cable.rogers.com)
2020-09-19 09:44:02 +0200 <edwardk> but it should be something along those lines. pi should only be binding the variable name in the result type not the arg type
2020-09-19 09:44:07 +0200 <siraben> http://ix.io/2y5J
2020-09-19 09:44:21 +0200 <siraben> it's the same as the one in the lambda-pi repo, but with error messages
2020-09-19 09:44:34 +0200oxide(~lambda@unaffiliated/mclaren)
2020-09-19 09:45:04 +0200toorevitimirp(~tooreviti@117.182.182.33) (Remote host closed the connection)
2020-09-19 09:45:17 +0200jedws(~jedws@121.209.139.222)
2020-09-19 09:46:25 +0200 <edwardk> i'd expect your hasType thing to be like
2020-09-19 09:46:38 +0200toorevitimirp(~tooreviti@117.182.182.33)
2020-09-19 09:46:46 +0200platypine(~platypine@c-73-249-162-185.hsd1.ct.comcast.net) (Read error: Connection reset by peer)
2020-09-19 09:47:07 +0200platypine(~platypine@c-73-249-162-185.hsd1.ct.comcast.net)
2020-09-19 09:47:19 +0200 <siraben> Ah before it would return a Bool, heh.
2020-09-19 09:47:31 +0200 <edwardk> hasType (lam "x" $ Var "x") (pi "y" Star (Var "y"))
2020-09-19 09:48:26 +0200 <siraben> Translating that I have, hasType (lam 0 $ Var 0) (pi 1 Star (Var 1)) which gets Left "Failed to unify Var 1 with Star"
2020-09-19 09:48:27 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded)
2020-09-19 09:48:41 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-09-19 09:48:44 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 09:48:47 +0200rekahsoft(~rekahsoft@CPE0008a20f982f-CM64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection)
2020-09-19 09:48:54 +0200 <edwardk> where you may have to traverse (const Nothing) -- over both of those to close them and match whatever types hasType expects or generalize hasType to Expr a and Val a with Eq
2020-09-19 09:49:32 +0200toorevitimirp(~tooreviti@117.182.182.33) (Client Quit)
2020-09-19 09:50:07 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-19 09:50:40 +0200 <siraben> Why would traverse (const Nothing) close them?
2020-09-19 09:50:53 +0200rekahsoft(~rekahsoft@CPE0008a20f982f-CM64777d666260.cpe.net.cable.rogers.com)
2020-09-19 09:51:07 +0200 <phadej> :t foldMap (const Nothing) []
2020-09-19 09:51:08 +0200 <lambdabot> Semigroup a => Maybe a
2020-09-19 09:51:16 +0200 <phadej> :t traverse (const Nothing) []
2020-09-19 09:51:18 +0200 <lambdabot> Maybe [b]
2020-09-19 09:51:23 +0200 <phadej> :t traverse (const Nothing) "foobar"
2020-09-19 09:51:25 +0200 <lambdabot> Maybe [b]
2020-09-19 09:51:27 +0200 <phadej> traverse (const Nothing) "foobar"
2020-09-19 09:51:31 +0200 <phadej> > traverse (const Nothing) "foobar"
2020-09-19 09:51:34 +0200 <lambdabot> Nothing
2020-09-19 09:51:35 +0200 <phadej> > traverse (const Nothing) []
2020-09-19 09:51:38 +0200 <lambdabot> Just []
2020-09-19 09:51:50 +0200 <phadej> "there is no 'a'"
2020-09-19 09:52:02 +0200jedws(~jedws@121.209.139.222) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-19 09:52:27 +0200 <phadej> recall, that in `bound` 'a' is a type of free variables
2020-09-19 09:52:40 +0200 <phadej> if there is no 'a', there is no free variables -> expression is closed
2020-09-19 09:52:53 +0200toorevitimirp(~tooreviti@117.182.182.33)
2020-09-19 09:53:09 +0200 <phadej> ('a' in 'Expr a')
2020-09-19 09:53:39 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 09:54:02 +0200jedws(~jedws@121.209.139.222)
2020-09-19 09:54:06 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-09-19 09:54:30 +0200 <siraben> traverse (const Nothing) (lam 0 $ Var 0) :: Maybe (Expr b)
2020-09-19 09:54:30 +0200 <siraben> for me
2020-09-19 09:54:36 +0200 <siraben> Result is Just (Lam (Scope (Var (B ()))))
2020-09-19 09:54:48 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds)
2020-09-19 09:54:52 +0200 <edwardk> yes
2020-09-19 09:54:54 +0200 <edwardk> that is a closed term
2020-09-19 09:54:54 +0200 <phadej> yes, \x.x is closed
2020-09-19 09:55:03 +0200 <edwardk> try it with lam 0 $ Var 1
2020-09-19 09:55:06 +0200 <edwardk> and it'll bail with Nothing
2020-09-19 09:55:30 +0200 <siraben> Ah I see
2020-09-19 09:55:33 +0200 <edwardk> but if it succeeds, because the term is closed, you can use it as Expr a for any a you like
2020-09-19 09:55:45 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 240 seconds)
2020-09-19 09:55:46 +0200 <edwardk> that way you can work 'conveniently' with strings while parsing
2020-09-19 09:55:50 +0200 <edwardk> and then switch to integers
2020-09-19 09:56:00 +0200 <edwardk> or just passing around types during typechecking
2020-09-19 09:57:00 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-09-19 09:57:20 +0200 <siraben> Hm, maybe this implementation of lambda pi is bugged? It was written in 2014
2020-09-19 09:57:25 +0200 <edwardk> i think so
2020-09-19 09:57:33 +0200 <siraben> I can't seem to get \x → x to have the polymorphic type
2020-09-19 09:57:36 +0200 <edwardk> i don't have Control.Monad.Gen in scope, what is that from?
2020-09-19 09:57:45 +0200 <siraben> monad-gen
2020-09-19 09:58:09 +0200 <edwardk> well, to make a polymorphic if you'd have to pass the argument first
2020-09-19 09:58:09 +0200jedws(~jedws@121.209.139.222) (Client Quit)
2020-09-19 09:58:40 +0200 <edwardk> id :: Pi(A:*). A -> A
2020-09-19 09:58:40 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 258 seconds)
2020-09-19 09:59:18 +0200 <edwardk> so you need two Pis and two lambdas, this language lacks implicit vs. explicit lambdas/pis.
2020-09-19 10:00:07 +0200 <siraben> Well, time to read elaboration-zoo then. hm.
2020-09-19 10:00:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 10:00:10 +0200 <edwardk> id = \_ a. a -- needs to ignore its first arg
2020-09-19 10:00:27 +0200 <siraben> What if I want fully explicit lambdas and pis?
2020-09-19 10:00:35 +0200 <siraben> What would that look like?
2020-09-19 10:00:49 +0200 <edwardk> id :: pi (a : star). pi (_ : a). a
2020-09-19 10:00:59 +0200 <edwardk> id = \_. \a. a
2020-09-19 10:01:04 +0200 <siraben> ((A :: *) (x :: A). x) :: Pi (A :: *). a
2020-09-19 10:01:13 +0200 <siraben> oops, ((A :: *) (x :: A). x) :: Pi (A :: *). a
2020-09-19 10:01:16 +0200 <siraben> backslash
2020-09-19 10:01:35 +0200 <edwardk> (A::*).(_::A).A
2020-09-19 10:01:45 +0200 <edwardk> however you notate that pi in your syntax
2020-09-19 10:02:24 +0200shatriff(~vitaliish@176.52.219.10)
2020-09-19 10:02:41 +0200 <edwardk> Pi(A::*). is like forall a. in haskell then the next bit Pi(_::A). A is not using the variable bound so it is like a -> a in haskell
2020-09-19 10:02:42 +0200 <siraben> (lam 0 (lam 0 (Var 0))) for term, I think.
2020-09-19 10:02:54 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-19 10:03:03 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2020-09-19 10:03:06 +0200 <siraben> I'm not sure how the lam smart constructor is supposed to work
2020-09-19 10:03:06 +0200 <edwardk> lam "A" $ lam "a" $ var "a"
2020-09-19 10:03:23 +0200 <phadej> fwiw, when using bound, I never really think about de bruijn indices
2020-09-19 10:03:26 +0200mmohammadi98126(~mmohammad@5.238.164.128) (Ping timeout: 256 seconds)
2020-09-19 10:03:34 +0200 <phadej> I just truste that `abstract` makes it right
2020-09-19 10:03:38 +0200kenran(~maier@b2b-37-24-119-190.unitymedia.biz)
2020-09-19 10:03:39 +0200 <edwardk> those numbers aren't levels, they are variable "names"
2020-09-19 10:03:43 +0200 <edwardk> you just chose to use numbers
2020-09-19 10:03:46 +0200 <siraben> Oh I see
2020-09-19 10:03:51 +0200 <edwardk> you could use strings, or text
2020-09-19 10:03:53 +0200toorevitimirp(~tooreviti@117.182.182.33) (Remote host closed the connection)
2020-09-19 10:03:59 +0200 <siraben> The problem is that it typechecks to Expr [Char], when I need Expr Int
2020-09-19 10:04:11 +0200 <edwardk> and traverse (const Nothing) -- will get you Expr Int
2020-09-19 10:04:24 +0200 <siraben> Ah, it's clear now. Ok I'll try
2020-09-19 10:05:01 +0200 <edwardk> i even export it from bound as 'closed'
2020-09-19 10:05:29 +0200 <edwardk> fromJust . closed = 'trust me i'm closed'
2020-09-19 10:05:35 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2020-09-19 10:05:54 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-19 10:06:15 +0200drbean(~drbean@TC210-63-209-205.static.apol.com.tw) (Read error: Connection reset by peer)
2020-09-19 10:06:48 +0200 <edwardk> so you should be checking lam "A" $ lam "a" $ var "a". against type Pi "A" Star $ Pi "_" (Var "A") $ Var "A"
2020-09-19 10:06:58 +0200Lycurgus(~niemand@98.4.96.130)
2020-09-19 10:07:07 +0200 <edwardk> er using lowercase Pi's there
2020-09-19 10:07:20 +0200 <dansho> cant figure out this overlapping problem, its ok with the first OVERLAPS (Bar) but error only on the second (Baz) https://hastebin.com/azojuvehes.hs
2020-09-19 10:07:25 +0200ericsagnes(~ericsagne@2405:6580:0:5100:c421:5063:beb8:cd39) (Ping timeout: 272 seconds)
2020-09-19 10:07:26 +0200 <dansho> neither Bar nor Baz are Distributions
2020-09-19 10:07:39 +0200 <edwardk> man i forgot how much of a PITA template-haskell is to write
2020-09-19 10:07:40 +0200 <siraben> Oh, two levels of Pi, I missed that
2020-09-19 10:07:45 +0200 <edwardk> its gorgeous once it is written
2020-09-19 10:07:50 +0200 <edwardk> but its frustrating to write
2020-09-19 10:08:01 +0200 <edwardk> well, not very gorgeous once written, because then someone has to maintain it
2020-09-19 10:08:09 +0200 <siraben> Yay it works
2020-09-19 10:08:13 +0200 <edwardk> ok, so its a shit show all around, but its still convenient
2020-09-19 10:08:13 +0200 <siraben> hasType' (lam "A" (lam "a" (Var "a"))) (pi "A" Star (pi "_" (Var "A") (Var "A")))
2020-09-19 10:08:24 +0200 <siraben> Ok so I think the typechecking is correct here then
2020-09-19 10:08:24 +0200 <edwardk> yay!
2020-09-19 10:08:32 +0200 <siraben> I get, Just (Right ())
2020-09-19 10:08:36 +0200 <siraben> it's just right.
2020-09-19 10:08:38 +0200 <edwardk> =)
2020-09-19 10:08:59 +0200lucid_0x80(~lucid_0x8@188.253.237.250) (Remote host closed the connection)
2020-09-19 10:09:07 +0200 <siraben> And that's why we want implicit args, heh
2020-09-19 10:09:16 +0200 <dansho> like why would ghc even consider the Distribution instance if the type is not an instance?
2020-09-19 10:09:19 +0200lucid_0x80(~lucid_0x8@188.253.237.250)
2020-09-19 10:09:27 +0200 <edwardk> i'm writing more unsafeCoerce's per line right now than I have in years. this is obviously going to work first time, right?
2020-09-19 10:09:33 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 10:09:42 +0200 <siraben> Why are you writing unsafeCoerce?
2020-09-19 10:10:02 +0200 <phadej> because edward is smarter than GHC ;)
2020-09-19 10:10:04 +0200 <edwardk> https://github.com/ekmett/haskell/blob/master/types/src/Data/Type/Internal.hs
2020-09-19 10:10:34 +0200rekahsoft(~rekahsoft@CPE0008a20f982f-CM64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 260 seconds)
2020-09-19 10:10:48 +0200dmr0x80(~drm@188.253.237.250)
2020-09-19 10:11:09 +0200 <edwardk> that code makes Int, Char usable as a kind and Type,Nat,Symbol usable as terms, and provides one general form of singleton lifting story that is O(1) rather than O(n) like in the singletons library
2020-09-19 10:11:23 +0200 <edwardk> but it does so by using evil
2020-09-19 10:11:31 +0200 <edwardk> and then unsafeCoercing that evil to make it more evil
2020-09-19 10:12:02 +0200 <edwardk> so since the code towards the bottom is super formulaic i want to let template haskell generate it all for the user
2020-09-19 10:13:50 +0200lateef(~lateef@cpe-174-109-67-227.nc.res.rr.com)
2020-09-19 10:14:12 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 265 seconds)
2020-09-19 10:14:21 +0200dmr0x80(~drm@188.253.237.250) (Client Quit)
2020-09-19 10:15:58 +0200 <edwardk> the code there can be pretty hard to follow because you need to know what cheats it uses
2020-09-19 10:16:17 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 10:16:53 +0200 <edwardk> newtype Sing (a :: k) = UnsafeSing { fromSing :: k } -- is the first weird to read bit
2020-09-19 10:17:43 +0200 <edwardk> it takes a phantom type argument a of kind k, then uses k at the term level as well. So you might have UnsafeSing True :: Sing 'True
2020-09-19 10:18:05 +0200 <edwardk> of course its just a phantom so nothing overtly keeps you from saying UnsafeSing False :: Sing 'True
2020-09-19 10:18:09 +0200 <edwardk> that is what the rest is for
2020-09-19 10:19:02 +0200 <edwardk> the goal is to use Sing (a :: k) as a way to represent terms of type k as a type, with each term getting a different type
2020-09-19 10:19:08 +0200 <siraben> I see
2020-09-19 10:19:19 +0200 <siraben> I mostly use dependent types for theorem proving, haven't had a use for them in Haskell yet
2020-09-19 10:19:25 +0200 <edwardk> the direct way of doing this would be to do this once for each type
2020-09-19 10:19:35 +0200 <edwardk> e.g.
2020-09-19 10:19:41 +0200ericsagnes(~ericsagne@2405:6580:0:5100:64a7:3952:c5b0:2946)
2020-09-19 10:19:59 +0200 <edwardk> data Nat = Z | S Nat; data SNat (n :: Nat); SZ :: SNat 'Z; SS :: SNat n -> SNat ('S n)
2020-09-19 10:20:12 +0200 <edwardk> SNat n and Sing n play the same role here
2020-09-19 10:20:31 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-09-19 10:20:37 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 246 seconds)
2020-09-19 10:20:44 +0200 <edwardk> i emulate SNat n off of patterns and GADTs and lots of unsafeCoerce below
2020-09-19 10:21:17 +0200johtso(uid563@gateway/web/irccloud.com/x-ycqdrdpxyawcvjxk)
2020-09-19 10:21:21 +0200lucid_0x80(~lucid_0x8@188.253.237.250) (Remote host closed the connection)
2020-09-19 10:21:37 +0200 <siraben> Weird that lifting singletons takes O(n), didn't know that was the case
2020-09-19 10:21:41 +0200lucid_0x80(~lucid_0x8@188.253.237.250)
2020-09-19 10:21:42 +0200 <siraben> In the singletons library
2020-09-19 10:21:52 +0200jneira_(~jneira@80.30.101.206)
2020-09-19 10:22:31 +0200 <edwardk> well its O(1) for each part you touch, but there is a translation cost, because you have to put on and take off the conversions eleemnt by element in say a [a] reflected to a singleton list
2020-09-19 10:23:13 +0200 <edwardk> but my goal was to be able to get a singleton Int represented as a machine Int
2020-09-19 10:23:21 +0200 <edwardk> rather than some peano monstrosity
2020-09-19 10:23:30 +0200 <edwardk> and my singleton list internally to be a list
2020-09-19 10:23:34 +0200 <siraben> Since GHC doesn't know about dependent types, how can it perform erasure?
2020-09-19 10:23:45 +0200Agiza(2eef7ad3@larka.olf.sgsnet.se)
2020-09-19 10:24:27 +0200 <edwardk> types are still erased
2020-09-19 10:24:48 +0200 <Agiza> Hi! Can someone help me with a simple function? I just started learning and can't understand why one function won't work
2020-09-19 10:25:29 +0200Agiza(2eef7ad3@larka.olf.sgsnet.se) (Remote host closed the connection)
2020-09-19 10:25:55 +0200 <siraben> oh they left lol
2020-09-19 10:25:59 +0200Agiza(2eef7ad3@larka.olf.sgsnet.se)
2020-09-19 10:26:20 +0200 <siraben> Agiza: just ask, don't ask to ask
2020-09-19 10:26:50 +0200 <Agiza> I don't understand what I did wrong here: boomBangs xs = [if x < 10 then "BOOM!" else "BANG!" | x <- xs, odd x ]
2020-09-19 10:27:28 +0200 <[exa]> Agiza: what's that supposed to do?
2020-09-19 10:27:55 +0200 <[exa]> currently it prints one boom for each odd number below 10 and one bang for all other odd numbers in xs
2020-09-19 10:28:00 +0200 <siraben> Agiza: that seems well-typed to me
2020-09-19 10:28:05 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 240 seconds)
2020-09-19 10:28:26 +0200 <Agiza> It's from a tutorial: "Let's say we want a comprehension that replaces each odd number greater than 10 with "BANG!" and each odd number that's less than 10 with "BOOM!". If a number isn't odd, we throw it out of our list." but I only get an error
2020-09-19 10:28:46 +0200 <Agiza> The error is: <interactive>:35:11: error: • No instance for (Num [Integer]) arising from the literal ‘23’ • In the first argument of ‘boomBangs’, namely ‘23’ In the expression: boomBangs 23 In an equation for ‘it’: it = boomBangs 23
2020-09-19 10:29:05 +0200 <siraben> Agiza: that's because boomBangs takes a list of numbers
2020-09-19 10:29:07 +0200 <[exa]> Agiza: you must give it a list, like in: boomBangs [23]
2020-09-19 10:29:08 +0200 <siraben> Type :t boomBangs in the repl
2020-09-19 10:29:20 +0200 <siraben> or try, boomBangs [1..100]
2020-09-19 10:29:39 +0200 <dansho> whew ok figured out the correct overlap pragmas: OVERLAPPABLE on the first, nothing on the second, and OVERLAPPING on the third
2020-09-19 10:29:42 +0200 <Agiza> Ooooh now I understand! I was writing boomBangs 23
2020-09-19 10:30:04 +0200 <Agiza> Thank you for the help!
2020-09-19 10:30:25 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 10:31:12 +0200 <siraben> Agiza: FYI, "No instance for (Num [Integer]) arising from the literal ‘23’ " means that GHC is trying to interpret 23 as a list of numbers.
2020-09-19 10:32:04 +0200 <[exa]> Agiza: btw this might be a nice exercise for catMaybes/map; try constructing `oneBoomBang :: Int -> Maybe String` for converting a single integer, and only then expand it to work with lists
2020-09-19 10:32:09 +0200 <edwardk> siraben: anyways the idea is Nat only exists as a kind in ghc, Type only exists as a kind, Symbol is only a kind, and Int is only a type, Char is only a type. I want to be able to use Int as a kind, and lift term level ints into it, same with term level chars as types inhabiting the Char kind, and i want to go the other way. i want a Nat type that has Z and S as terms in it, same with Symbol holding strings and values for types letting
2020-09-19 10:32:09 +0200 <edwardk> me check type equality
2020-09-19 10:33:13 +0200 <edwardk> siraben: and then Sing a can be written once and for all for all of these and let me lift terms in a type to types in a kind of singletons, such that each of those singleton types only has one inhabitant
2020-09-19 10:33:42 +0200 <edwardk> the api is sort of the bastard child of the singletons library and my reflection library
2020-09-19 10:35:05 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2020-09-19 10:35:23 +0200mmohammadi98126(~mmohammad@5.238.164.128)
2020-09-19 10:36:40 +0200 <Agiza> [exa] What would that look like? I am too new to this (started yesterday) so it's very confusing
2020-09-19 10:36:45 +0200Lycurgus(~niemand@98.4.96.130) (Quit: Exeunt)
2020-09-19 10:36:56 +0200 <Agiza> siraben Thank you!
2020-09-19 10:38:16 +0200 <siraben> I see.
2020-09-19 10:38:35 +0200 <siraben> In a dependently typed language, this would not be necessary at all, correct?
2020-09-19 10:41:38 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-19 10:42:09 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de)
2020-09-19 10:43:29 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Read error: Connection reset by peer)
2020-09-19 10:44:43 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-09-19 10:49:05 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-19 10:51:17 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 10:51:28 +0200hackageuniqueness-periods-vector-filters 0.2.0.0 - A library allows to change the structure of the 'RealFrac' function output. https://hackage.haskell.org/package/uniqueness-periods-vector-filters-0.2.0.0 (OleksandrZhabenko)
2020-09-19 10:56:01 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 264 seconds)
2020-09-19 10:56:18 +0200jedws(~jedws@121.209.139.222)
2020-09-19 10:56:32 +0200mmohammadi981260(~mmohammad@5.238.182.16)
2020-09-19 10:57:34 +0200jedws(~jedws@121.209.139.222) (Client Quit)
2020-09-19 10:58:59 +0200mmohammadi98126(~mmohammad@5.238.164.128) (Ping timeout: 260 seconds)
2020-09-19 10:58:59 +0200mmohammadi981260mmohammadi98126
2020-09-19 11:00:02 +0200zacts1(~zacts@s91904426.blix.com) ()
2020-09-19 11:00:29 +0200ntwoaaci^(ntwoaaci@ip98-184-89-2.mc.at.cox.net) ()
2020-09-19 11:02:27 +0200hackageZ-Data 0.1.2.0 - Array, vector and text https://hackage.haskell.org/package/Z-Data-0.1.2.0 (winterland)
2020-09-19 11:04:29 +0200 <[exa]> Agiza: oh so. Basically, make a simple function that converts eg. 23 to `Just "BANG"` and 8 to `Nothing`, and try using some higher order functions to expand this functionality to lists without actually touching the lists plumbing manually; in particular try `map` and `catMaybes`
2020-09-19 11:05:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-09-19 11:06:38 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Remote host closed the connection)
2020-09-19 11:06:57 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-19 11:07:02 +0200deviantfero(~deviantfe@190.99.48.231) (Quit: WeeChat 2.9)
2020-09-19 11:09:35 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-19 11:12:08 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 11:12:42 +0200 <Agiza> [exa] Oh okay! That sounds honestly too complicated for me right now so I will skip it but thank you for the advice
2020-09-19 11:13:04 +0200 <Agiza> @[exa]
2020-09-19 11:13:04 +0200 <lambdabot> Unknown command, try @list
2020-09-19 11:13:27 +0200hackagefuthark 0.17.1 - An optimising compiler for a functional, array-oriented language. https://hackage.haskell.org/package/futhark-0.17.1 (TroelsHenriksen)
2020-09-19 11:13:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-19 11:16:02 +0200mmohammadi98126(~mmohammad@5.238.182.16) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-19 11:17:12 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 11:20:42 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-19 11:21:00 +0200platypine(~platypine@c-73-249-162-185.hsd1.ct.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 11:22:00 +0200lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services)))
2020-09-19 11:22:06 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-09-19 11:25:45 +0200lucid_0x80(~lucid_0x8@188.253.237.250) (Remote host closed the connection)
2020-09-19 11:26:08 +0200lucid_0x80(~lucid_0x8@188.253.237.250)
2020-09-19 11:29:10 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Quit: p-core)
2020-09-19 11:29:32 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-19 11:31:42 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-09-19 11:32:59 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 11:34:11 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2020-09-19 11:34:16 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Ping timeout: 256 seconds)
2020-09-19 11:35:02 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-19 11:35:52 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-09-19 11:37:46 +0200Agiza(2eef7ad3@larka.olf.sgsnet.se) (Remote host closed the connection)
2020-09-19 11:37:49 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 11:38:02 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2020-09-19 11:39:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 11:39:58 +0200hackagecomposite-aeson-writeonly 0.1.0.0 - WriteOnly indicators for composite-aeson. https://hackage.haskell.org/package/composite-aeson-writeonly-0.1.0.0 (locallycompact)
2020-09-19 11:44:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-09-19 11:46:40 +0200toorevitimirp(~tooreviti@117.182.182.33)
2020-09-19 11:48:25 +0200aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds)
2020-09-19 11:50:26 +0200kleisli_(~kleisli@172-8-147-49.lightspeed.irvnca.sbcglobal.net)
2020-09-19 11:51:57 +0200hackagecomposite-aeson-cofree-list 0.1.0.0 - Print a Cofree [] as a JSON value. https://hackage.haskell.org/package/composite-aeson-cofree-list-0.1.0.0 (locallycompact)
2020-09-19 11:52:10 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de) (Ping timeout: 256 seconds)
2020-09-19 11:52:57 +0200endorphin(~kleisli@2600:1700:4640:c560:68bd:9d76:dbd8:24e7) (Ping timeout: 260 seconds)
2020-09-19 11:53:54 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 11:55:03 +0200Moe_Epsilon(~Moe_Epsil@185.163.110.116)
2020-09-19 11:57:15 +0200utopic_int0x80(~lucid_0x8@188.253.235.170)
2020-09-19 11:58:28 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 256 seconds)
2020-09-19 12:00:16 +0200lucid_0x80(~lucid_0x8@188.253.237.250) (Ping timeout: 272 seconds)
2020-09-19 12:10:23 +0200Amras(~Amras@unaffiliated/amras0000)
2020-09-19 12:11:01 +0200wavemode(~wavemode@097-070-075-143.res.spectrum.com) (Ping timeout: 264 seconds)
2020-09-19 12:11:47 +0200reppertj(~textual@pool-96-246-209-59.nycmny.fios.verizon.net)
2020-09-19 12:11:53 +0200oxide(~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds)
2020-09-19 12:12:31 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Quit: Leaving)
2020-09-19 12:12:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 12:14:45 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 12:15:56 +0200mmohammadi98126(~mmohammad@2.178.222.79)
2020-09-19 12:16:33 +0200rprije(~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) (Ping timeout: 260 seconds)
2020-09-19 12:16:36 +0200__Joker(~Joker@180.151.105.74) (Ping timeout: 256 seconds)
2020-09-19 12:18:20 +0200__Joker(~Joker@106.206.8.71)
2020-09-19 12:18:37 +0200xintron(~xintron@unaffiliated/xintron) (Quit: aoeu)
2020-09-19 12:18:58 +0200hackagefuthark 0.17.2 - An optimising compiler for a functional, array-oriented language. https://hackage.haskell.org/package/futhark-0.17.2 (TroelsHenriksen)
2020-09-19 12:19:21 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2020-09-19 12:19:35 +0200xintron(~xintron@unaffiliated/xintron)
2020-09-19 12:20:00 +0200toorevitimirp(~tooreviti@117.182.182.33) (Ping timeout: 256 seconds)
2020-09-19 12:20:58 +0200hackagelti13 0.1.2.2 - Core functionality for LTI 1.3. https://hackage.haskell.org/package/lti13-0.1.2.2 (jade)
2020-09-19 12:21:10 +0200toorevitimirp(~tooreviti@117.182.182.33)
2020-09-19 12:21:58 +0200hackageyesod-auth-lti13 0.1.2.2 - A yesod-auth plugin for LTI 1.3 https://hackage.haskell.org/package/yesod-auth-lti13-0.1.2.2 (jade)
2020-09-19 12:29:57 +0200hackagecabal-cache 1.0.1.9 - CI Assistant for Haskell projects https://hackage.haskell.org/package/cabal-cache-1.0.1.9 (haskellworks)
2020-09-19 12:31:08 +0200ukari(~ukari@unaffiliated/ukari)
2020-09-19 12:31:56 +0200jneira_(~jneira@80.30.101.206) (Ping timeout: 272 seconds)
2020-09-19 12:32:50 +0200fweht(uid404746@gateway/web/irccloud.com/x-xnkzclwannqfwfls) (Quit: Connection closed for inactivity)
2020-09-19 12:35:39 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 12:37:11 +0200jneira_(~jneira@80.30.100.23)
2020-09-19 12:39:25 +0200Tops2(~Tobias@dyndsl-095-033-024-132.ewe-ip-backbone.de)
2020-09-19 12:39:32 +0200toorevitimirp(~tooreviti@117.182.182.33) (Remote host closed the connection)
2020-09-19 12:39:45 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-09-19 12:40:29 +0200xintron(~xintron@unaffiliated/xintron) (Quit: aoeu)
2020-09-19 12:41:00 +0200toorevitimirp(~tooreviti@117.182.182.33)
2020-09-19 12:41:22 +0200tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-09-19 12:41:50 +0200xintron(~xintron@unaffiliated/xintron)
2020-09-19 12:44:16 +0200nckx(~nckx@tobias.gr) (Quit: Updating my Guix System — https://guix.gnu.org)
2020-09-19 12:44:41 +0200nckx(~nckx@tobias.gr)
2020-09-19 12:44:42 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de)
2020-09-19 12:46:54 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-09-19 12:47:00 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa)
2020-09-19 12:47:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-09-19 12:52:05 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-09-19 12:52:43 +0200acidjnk_new2(~acidjnk@p200300d0c7365818803e8c849f4b43fc.dip0.t-ipconnect.de)
2020-09-19 12:53:39 +0200Saten-san(~Saten-san@ip-81-11-153-236.dsl.scarlet.be)
2020-09-19 12:56:30 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 12:56:40 +0200Ranhir(~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2020-09-19 12:57:17 +0200Ranhir(~Ranhir@157.97.53.139)
2020-09-19 12:59:55 +0200frdg``(~user@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-09-19 13:00:04 +0200frdg``(~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-19 13:00:08 +0200zaquest(~notzaques@5.128.210.178) (Read error: Connection reset by peer)
2020-09-19 13:00:40 +0200zaquest(~notzaques@5.128.210.178)
2020-09-19 13:00:49 +0200borne(~fritjof@200116b8642b7f0022497ba62715fb72.dip.versatel-1u1.de)
2020-09-19 13:01:08 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 258 seconds)
2020-09-19 13:01:47 +0200xff0x_(~fox@2001:1a81:5373:6a00:7135:4a2f:509f:3c41) (Ping timeout: 240 seconds)
2020-09-19 13:01:52 +0200__Joker(~Joker@106.206.8.71) (Ping timeout: 256 seconds)
2020-09-19 13:02:14 +0200__Joker(~Joker@180.151.105.74)
2020-09-19 13:02:59 +0200xff0x_(~fox@2001:1a81:5373:6a00:7876:876c:565a:2fc6)
2020-09-19 13:04:56 +0200gienah(~mwright@gentoo/developer/gienah)
2020-09-19 13:08:38 +0200xff0x_(~fox@2001:1a81:5373:6a00:7876:876c:565a:2fc6) (Read error: Connection timed out)
2020-09-19 13:08:57 +0200xff0x_(~fox@2001:1a81:5373:6a00:7876:876c:565a:2fc6)
2020-09-19 13:08:57 +0200shatriff(~vitaliish@176.52.219.10)
2020-09-19 13:10:02 +0200iqubic`(~user@2601:602:9500:4870:1702:d987:d42d:1b07)
2020-09-19 13:10:19 +0200iqubic`(~user@2601:602:9500:4870:1702:d987:d42d:1b07) ()
2020-09-19 13:11:01 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-19 13:12:27 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 13:13:51 +0200Amras(~Amras@unaffiliated/amras0000) (Remote host closed the connection)
2020-09-19 13:14:00 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds)
2020-09-19 13:14:27 +0200TooDifficult(~TooDiffic@139.59.59.230)
2020-09-19 13:14:37 +0200iqubic(~user@2601:602:9500:4870:6535:a332:ea7c:b00f) (Ping timeout: 260 seconds)
2020-09-19 13:15:49 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-19 13:17:13 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 13:18:23 +0200mmohammadi98126(~mmohammad@2.178.222.79) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-19 13:18:25 +0200jneira_(~jneira@80.30.100.23) (Ping timeout: 246 seconds)
2020-09-19 13:18:39 +0200aarvar(~foewfoiew@50.35.43.33)
2020-09-19 13:21:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 13:23:47 +0200tchouri(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-09-19 13:23:51 +0200jud(~jud@unaffiliated/jud) (Quit: Leaving)
2020-09-19 13:25:10 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-19 13:25:43 +0200hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-09-19 13:27:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-19 13:28:54 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-19 13:28:58 +0200hackageZ-IO 0.1.0.0 - A simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.0.0 (winterland)
2020-09-19 13:30:08 +0200johtso(uid563@gateway/web/irccloud.com/x-ycqdrdpxyawcvjxk) (Quit: Connection closed for inactivity)
2020-09-19 13:30:33 +0200thc202(~thc202@unaffiliated/thc202)
2020-09-19 13:32:33 +0200Amras(~Amras@unaffiliated/amras0000)
2020-09-19 13:36:25 +0200jespada(~jespada@90.254.241.6) (Quit: Sleeping)
2020-09-19 13:36:49 +0200frdg```(~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-19 13:38:10 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 13:38:42 +0200frdg``(~user@pool-71-184-143-249.bstnma.fios.verizon.net) (Ping timeout: 258 seconds)
2020-09-19 13:39:53 +0200fendor(~fendor@212095005091.public.telering.at) (Remote host closed the connection)
2020-09-19 13:41:53 +0200lucid_0x80(~lucid_0x8@188.253.232.248)
2020-09-19 13:42:40 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 256 seconds)
2020-09-19 13:43:31 +0200CMCDragonkai1(~Thunderbi@124.19.3.250)
2020-09-19 13:43:49 +0200utopic_int0x80(~lucid_0x8@188.253.235.170) (Ping timeout: 260 seconds)
2020-09-19 13:45:11 +0200frdg```(~user@pool-71-184-143-249.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)")
2020-09-19 13:50:16 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a9a0:b5f0:7bb0:1e65)
2020-09-19 13:54:36 +0200ixlun(~matthew@148.252.22.43)
2020-09-19 13:54:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 13:56:06 +0200ggole(~ggole@2001:8003:8119:7200:df:f904:197b:d0a9)
2020-09-19 13:56:44 +0200borne(~fritjof@200116b8642b7f0022497ba62715fb72.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-09-19 13:57:02 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a9a0:b5f0:7bb0:1e65) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-19 13:57:06 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa) (Quit: WeeChat 2.9)
2020-09-19 13:59:03 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 14:00:02 +0200Moe_Epsilon(~Moe_Epsil@185.163.110.116) ()
2020-09-19 14:00:32 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-09-19 14:03:46 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 14:05:03 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-09-19 14:06:20 +0200peel(sid145489@gateway/web/irccloud.com/x-dvnpbzxeztsnnykf) (Quit: Connection closed for inactivity)
2020-09-19 14:06:32 +0200kleisli_(~kleisli@172-8-147-49.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-19 14:08:45 +0200toorevitimirp(~tooreviti@117.182.182.33) (Ping timeout: 240 seconds)
2020-09-19 14:09:24 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-19 14:13:24 +0200kleisli_(~kleisli@172-8-147-49.lightspeed.irvnca.sbcglobal.net)
2020-09-19 14:13:41 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957)
2020-09-19 14:17:14 +0200drbean(~drbean@TC210-63-209-82.static.apol.com.tw)
2020-09-19 14:19:57 +0200mmohammadi98126(~mmohammad@2.178.222.79)
2020-09-19 14:19:59 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 14:24:13 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 246 seconds)
2020-09-19 14:25:18 +0200tchouri(~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: tchouri)
2020-09-19 14:25:31 +0200wasm(~azureuser@52.187.128.251)
2020-09-19 14:25:45 +0200 <wasm> hi
2020-09-19 14:25:56 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-19 14:27:05 +0200tchouri(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-09-19 14:27:17 +0200tchourihekkaidekapus
2020-09-19 14:28:04 +0200kayvan`(~user@52-119-115-243.PUBLIC.monkeybrains.net)
2020-09-19 14:28:19 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957)
2020-09-19 14:28:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-19 14:30:13 +0200kayvan(~user@52-119-115-243.PUBLIC.monkeybrains.net) (Ping timeout: 264 seconds)
2020-09-19 14:32:31 +0200oxide(~lambda@unaffiliated/mclaren)
2020-09-19 14:33:06 +0200Turmfalke(~user@unaffiliated/siracusa)
2020-09-19 14:33:08 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Ping timeout: 258 seconds)
2020-09-19 14:35:26 +0200lateef(~lateef@cpe-174-109-67-227.nc.res.rr.com) (Quit: lateef)
2020-09-19 14:39:59 +0200tabemann_(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-09-19 14:40:19 +0200jespada(~jespada@90.254.241.6)
2020-09-19 14:40:48 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 14:41:55 +0200tabemann(~tabemann@2600:1700:7990:24e0:68f7:c93d:dd7b:db29) (Ping timeout: 240 seconds)
2020-09-19 14:45:34 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 14:49:06 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Remote host closed the connection)
2020-09-19 14:49:14 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:59f2:1ee3:fe3e:b848)
2020-09-19 14:49:53 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:59f2:1ee3:fe3e:b848) (Remote host closed the connection)
2020-09-19 14:50:28 +0200hackageblank-canvas 0.7.2 - HTML5 Canvas Graphics Library https://hackage.haskell.org/package/blank-canvas-0.7.2 (ryanglscott)
2020-09-19 14:51:14 +0200z0(~z0@bl15-160-46.dsl.telepac.pt)
2020-09-19 14:51:52 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 14:54:50 +0200Saten-san(~Saten-san@ip-81-11-153-236.dsl.scarlet.be) (Quit: WeeChat 2.8)
2020-09-19 14:57:17 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Ping timeout: 260 seconds)
2020-09-19 14:59:11 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Read error: Connection reset by peer)
2020-09-19 15:00:11 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-19 15:01:37 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 15:02:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 15:05:47 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2020-09-19 15:05:58 +0200hackagepandoc-plot 0.9.3.0 - A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice. https://hackage.haskell.org/package/pandoc-plot-0.9.3.0 (LaurentRDC)
2020-09-19 15:06:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-19 15:07:35 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 15:08:37 +0200reppertj(~textual@pool-96-246-209-59.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2020-09-19 15:12:37 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-19 15:13:54 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 260 seconds)
2020-09-19 15:16:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-19 15:17:48 +0200ti4a4a(4d6ff7b8@77.111.247.184)
2020-09-19 15:20:24 +0200gmt(~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-19 15:20:41 +0200Sanchayan(~Sanchayan@106.200.239.146) (Quit: leaving)
2020-09-19 15:22:29 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 15:24:37 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 15:25:02 +0200 <ti4a4a> Hello CHILD PORN HD Videos, Open in Tor Browser Links gg.gg/m7dgu
2020-09-19 15:25:09 +0200ti4a4a(4d6ff7b8@77.111.247.184) ()
2020-09-19 15:25:18 +0200gmt(~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 256 seconds)
2020-09-19 15:27:00 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 256 seconds)
2020-09-19 15:29:34 +0200auscompgeek1(~auscompge@217.146.82.202)
2020-09-19 15:29:47 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Ping timeout: 272 seconds)
2020-09-19 15:30:27 +0200auscompgeek1(~auscompge@217.146.82.202) (Remote host closed the connection)
2020-09-19 15:32:26 +0200 <tomsmeding> wasm: welcome :)
2020-09-19 15:34:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 15:36:09 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 15:43:23 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 15:48:16 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 15:53:40 +0200knupfer1(~Thunderbi@200116b82cb19b0099157e530dd77a5d.dip.versatel-1u1.de)
2020-09-19 15:53:40 +0200knupfer1(~Thunderbi@200116b82cb19b0099157e530dd77a5d.dip.versatel-1u1.de) (Client Quit)
2020-09-19 15:54:54 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-19 15:57:49 +0200PragCypher_(~cypher@li1507-98.members.linode.com)
2020-09-19 15:57:53 +0200PragCypher(~cypher@li1507-98.members.linode.com) (Read error: Connection reset by peer)
2020-09-19 15:58:13 +0200drbean(~drbean@TC210-63-209-82.static.apol.com.tw) (Ping timeout: 260 seconds)
2020-09-19 15:58:14 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de) (Ping timeout: 260 seconds)
2020-09-19 15:58:29 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de)
2020-09-19 15:58:42 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-09-19 15:59:05 +0200CMCDragonkai1(~Thunderbi@124.19.3.250) (Quit: CMCDragonkai1)
2020-09-19 15:59:57 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957)
2020-09-19 16:00:31 +0200ddellacosta(~dd@86.106.121.168)
2020-09-19 16:00:43 +0200jtk(~jtk@185.163.110.116)
2020-09-19 16:02:36 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957) (Client Quit)
2020-09-19 16:03:39 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Remote host closed the connection)
2020-09-19 16:04:13 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 16:04:17 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 16:04:23 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Remote host closed the connection)
2020-09-19 16:04:50 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-09-19 16:04:52 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de) (Quit: knupfer)
2020-09-19 16:05:12 +0200knupfer(~Thunderbi@200116b82cb19b009de411b5fb1d0b64.dip.versatel-1u1.de)
2020-09-19 16:05:12 +0200knupfer(~Thunderbi@200116b82cb19b009de411b5fb1d0b64.dip.versatel-1u1.de) (Client Quit)
2020-09-19 16:05:34 +0200knupfer(~Thunderbi@200116b82cb19b00654a76def42707d5.dip.versatel-1u1.de)
2020-09-19 16:07:42 +0200borne(~fritjof@200116b8642b7f0022497ba62715fb72.dip.versatel-1u1.de)
2020-09-19 16:08:44 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 16:09:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-09-19 16:10:30 +0200mmohammadi981261(~mmohammad@5.238.180.1)
2020-09-19 16:10:54 +0200mmohammadi98126(~mmohammad@2.178.222.79) (Ping timeout: 265 seconds)
2020-09-19 16:10:54 +0200rihards(~rihards@balticom-142-78-50.balticom.lv)
2020-09-19 16:10:54 +0200mmohammadi981261mmohammadi98126
2020-09-19 16:11:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 16:12:51 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Ping timeout: 272 seconds)
2020-09-19 16:13:10 +0200bicho_rastrero(~cerdito@87.85-87-38.dynamic.clientes.euskaltel.es)
2020-09-19 16:14:47 +0200MrBe(~root@140.213.56.183)
2020-09-19 16:15:17 +0200 <MrBe> hai
2020-09-19 16:15:28 +0200 <MrBe> hi all
2020-09-19 16:15:36 +0200 <MrBe> anybody there
2020-09-19 16:16:12 +0200 <MrBe> hiiii
2020-09-19 16:16:14 +0200 <MrBe> yo
2020-09-19 16:16:40 +0200knupfer(~Thunderbi@200116b82cb19b00654a76def42707d5.dip.versatel-1u1.de) (Quit: knupfer)
2020-09-19 16:16:52 +0200 <Uniaika> nah we're all sleeping
2020-09-19 16:16:59 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de)
2020-09-19 16:17:08 +0200bloodstalker(~bloodstal@46.166.187.178)
2020-09-19 16:17:22 +0200 <merijn> Not true, some of us are playing videogames ;)
2020-09-19 16:17:32 +0200bicho_rastreroimagines the cute faces of the people in the channel sleeping.
2020-09-19 16:17:47 +0200 <Uniaika> haha
2020-09-19 16:18:03 +0200 <MrBe> yess i am cant sleep at this time
2020-09-19 16:19:13 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 16:19:17 +0200 <MrBe> so quite at this channel
2020-09-19 16:19:18 +0200ChanServ+o dmwit
2020-09-19 16:19:20 +0200dmwit+b *!*@77.111.247.184
2020-09-19 16:19:34 +0200dmwit-o dmwit
2020-09-19 16:20:10 +0200 <MrBe> ....
2020-09-19 16:21:00 +0200 <MrBe> nobody online
2020-09-19 16:21:32 +0200 <dmwit> You're going to get a lot better response if you start talking about Haskell. That's sort of the reason folks are here.
2020-09-19 16:21:45 +0200 <dmwit> If you'd like some pointers to tutorials, there are more than any one person could ever handle listed here:
2020-09-19 16:21:49 +0200 <dmwit> ?wiki tutorials
2020-09-19 16:21:50 +0200 <lambdabot> https://wiki.haskell.org/tutorials
2020-09-19 16:22:09 +0200bicho_rastrero(~cerdito@87.85-87-38.dynamic.clientes.euskaltel.es) (Quit: leaving)
2020-09-19 16:23:51 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Ping timeout: 246 seconds)
2020-09-19 16:24:14 +0200 <Eduard_Munteanu> Who needs Tor when you have Netflix? :P
2020-09-19 16:24:41 +0200MaoZeDong_(~yuri@2a00:1370:8135:91d4:415b:9b05:36f8:565c)
2020-09-19 16:24:41 +0200mmohammadi98126(~mmohammad@5.238.180.1) (Ping timeout: 258 seconds)
2020-09-19 16:25:10 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 16:25:14 +0200 <MrBe> hi maozedong
2020-09-19 16:25:16 +0200 <MaoZeDong_> > 1 + 2
2020-09-19 16:25:19 +0200 <lambdabot> 3
2020-09-19 16:25:24 +0200 <MaoZeDong_> hi
2020-09-19 16:25:41 +0200 <MaoZeDong_> > take 5 [1..]
2020-09-19 16:25:44 +0200 <lambdabot> [1,2,3,4,5]
2020-09-19 16:25:52 +0200 <MaoZeDong_> > take 10 [1..]
2020-09-19 16:25:54 +0200 <lambdabot> [1,2,3,4,5,6,7,8,9,10]
2020-09-19 16:25:58 +0200 <int-e> MaoZeDong_: you can chat with lambdabot privately
2020-09-19 16:26:06 +0200 <MaoZeDong_> how?
2020-09-19 16:26:12 +0200 <Eduard_Munteanu> /query lambdabot
2020-09-19 16:26:15 +0200 <z0> MaoZeDong_: /q lambdabot
2020-09-19 16:26:31 +0200polyrain(~polyrain@2001:8003:e501:6901:f182:8c7d:2acd:5)
2020-09-19 16:26:33 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-09-19 16:26:41 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-09-19 16:26:50 +0200zacts(~zacts@dragora/developer/zacts)
2020-09-19 16:27:38 +0200 <MaoZeDong_> thanks
2020-09-19 16:27:40 +0200 <MaoZeDong_> sorry
2020-09-19 16:27:48 +0200 <MrBe> quit
2020-09-19 16:28:14 +0200 <z0> MaoZeDong_: you can also install lambdabot on your machine, or just use ghci
2020-09-19 16:28:41 +0200 <MaoZeDong_> i came here to try some monad transformers features
2020-09-19 16:29:22 +0200 <dmwit> \bot is a nice way to do that, assuming you don't want to transform IO. ^_^
2020-09-19 16:29:31 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 246 seconds)
2020-09-19 16:29:35 +0200 <dmwit> (And yahb has got your back if you do, though it may require a bit more import'ing first.)
2020-09-19 16:29:39 +0200urodna(~urodna@unaffiliated/urodna)
2020-09-19 16:30:15 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-19 16:31:31 +0200 <edwardk> ok, it looks like my fast singleton types package is almost usable, modulo one ghc bug, and reliance on another
2020-09-19 16:32:39 +0200MrBe(~root@140.213.56.183) (Ping timeout: 265 seconds)
2020-09-19 16:32:55 +0200polyrain(~polyrain@2001:8003:e501:6901:f182:8c7d:2acd:5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-19 16:36:02 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de) (Ping timeout: 265 seconds)
2020-09-19 16:37:57 +0200hackageuniqueness-periods-vector-stats 0.1.0.0 - A very basic descriptive statistics. https://hackage.haskell.org/package/uniqueness-periods-vector-stats-0.1.0.0 (OleksandrZhabenko)
2020-09-19 16:41:21 +0200DTZUZU(~DTZUZU@S0106bcd165662a4d.vs.shawcable.net) (Ping timeout: 272 seconds)
2020-09-19 16:41:59 +0200Tops21(~Tobias@dyndsl-095-033-024-132.ewe-ip-backbone.de)
2020-09-19 16:42:28 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-09-19 16:43:09 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-09-19 16:43:22 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-19 16:45:05 +0200Tops2(~Tobias@dyndsl-095-033-024-132.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2020-09-19 16:45:58 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 16:49:28 +0200hackagejoint 0.1.7 - Trying to compose non-composable https://hackage.haskell.org/package/joint-0.1.7 (iokasimovmt)
2020-09-19 16:50:58 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 16:52:45 +0200irc_user(uid423822@gateway/web/irccloud.com/x-jxviwzlqotrdnqhx)
2020-09-19 16:53:08 +0200ransom(~c4264035@2603:300b:1301:3d00:a40f:9b09:1376:26b9)
2020-09-19 16:54:15 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-09-19 16:54:30 +0200DTZUZU(~DTZUZU@S0106bcd165662a4d.vs.shawcable.net)
2020-09-19 16:55:05 +0200MorrowM(~max@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 240 seconds)
2020-09-19 16:55:18 +0200ukari(~ukari@unaffiliated/ukari)
2020-09-19 16:59:08 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 17:00:01 +0200jtk(~jtk@185.163.110.116) ()
2020-09-19 17:00:53 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-vzgasgxdihcgbxve) (Quit: Connection closed for inactivity)
2020-09-19 17:03:45 +0200Tops2(~Tobias@dyndsl-095-033-024-132.ewe-ip-backbone.de)
2020-09-19 17:03:52 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Ping timeout: 260 seconds)
2020-09-19 17:04:15 +0200Tops22(~Tobias@dyndsl-095-033-024-132.ewe-ip-backbone.de)
2020-09-19 17:05:13 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-19 17:05:45 +0200Tops23(~Tobias@95.33.24.132)
2020-09-19 17:06:51 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 17:06:56 +0200Tops24(~Tobias@dyndsl-095-033-024-132.ewe-ip-backbone.de)
2020-09-19 17:07:28 +0200Tops21(~Tobias@dyndsl-095-033-024-132.ewe-ip-backbone.de) (Ping timeout: 256 seconds)
2020-09-19 17:08:42 +0200Tops2(~Tobias@dyndsl-095-033-024-132.ewe-ip-backbone.de) (Ping timeout: 272 seconds)
2020-09-19 17:09:20 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 272 seconds)
2020-09-19 17:09:58 +0200Tops22(~Tobias@dyndsl-095-033-024-132.ewe-ip-backbone.de) (Ping timeout: 272 seconds)
2020-09-19 17:09:58 +0200Tops24(~Tobias@dyndsl-095-033-024-132.ewe-ip-backbone.de) (K-Lined)
2020-09-19 17:09:58 +0200Tops23(~Tobias@95.33.24.132) (K-Lined)
2020-09-19 17:11:38 +0200__Joker_(~Joker@180.151.105.65)
2020-09-19 17:11:46 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 256 seconds)
2020-09-19 17:14:22 +0200borne(~fritjof@200116b8642b7f0022497ba62715fb72.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-09-19 17:14:25 +0200__Joker(~Joker@180.151.105.74) (Ping timeout: 240 seconds)
2020-09-19 17:14:43 +0200mpereira(~mpereira@2a02:810d:f40:d96:b46b:1e98:8653:4550)
2020-09-19 17:15:23 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-19 17:16:11 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-19 17:17:31 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 17:23:14 +0200fendor(~fendor@212095005091.public.telering.at)
2020-09-19 17:23:23 +0200lucid_0x80(~lucid_0x8@188.253.232.248) (Ping timeout: 260 seconds)
2020-09-19 17:24:24 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-09-19 17:27:06 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-09-19 17:27:37 +0200MorrowM(~max@bzq-110-168-31-106.red.bezeqint.net)
2020-09-19 17:27:43 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 17:28:40 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Ping timeout: 246 seconds)
2020-09-19 17:30:21 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-19 17:30:49 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-09-19 17:31:23 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 17:32:24 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 256 seconds)
2020-09-19 17:33:18 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-19 17:35:01 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Ping timeout: 264 seconds)
2020-09-19 17:36:45 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-19 17:39:47 +0200zacts(~zacts@dragora/developer/zacts)
2020-09-19 17:41:17 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Ping timeout: 265 seconds)
2020-09-19 17:41:44 +0200Lycurgus(~niemand@98.4.96.130)
2020-09-19 17:42:25 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-19 17:45:26 +0200Saukk(~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4)
2020-09-19 17:48:34 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 17:53:01 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 17:55:32 +0200lucid_0x80(~lucid_0x8@188.253.232.248)
2020-09-19 17:56:30 +0200SteveMcIntyre(~SteveMcIn@193.56.252.210)
2020-09-19 17:56:40 +0200Lycurgus(~niemand@98.4.96.130) (Quit: Exeunt)
2020-09-19 17:57:14 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-09-19 17:57:54 +0200ukari(~ukari@unaffiliated/ukari)
2020-09-19 17:57:59 +0200rihards(~rihards@balticom-142-78-50.balticom.lv) (Quit: rihards)
2020-09-19 17:58:19 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-19 17:58:53 +0200gmt(~gmt@pool-71-105-108-44.nycmny.fios.verizon.net)
2020-09-19 18:00:35 +0200Saukk(~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-09-19 18:00:41 +0200Rudd0(~Rudd0@185.189.115.108)
2020-09-19 18:01:21 +0200dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-nxgrwewkmlbliher) (Quit: Idle for 30+ days)
2020-09-19 18:01:23 +0200reed[m](reedriotfi@gateway/shell/matrix.org/x-yzexzzdjiyvxezod) (Quit: Idle for 30+ days)
2020-09-19 18:02:16 +0200lucid_0x80(~lucid_0x8@188.253.232.248) (Ping timeout: 246 seconds)
2020-09-19 18:03:02 +0200acidjnk_new2(~acidjnk@p200300d0c7365818803e8c849f4b43fc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-19 18:04:31 +0200eric(~eric@2804:431:c7d4:402a:747d:7a4a:20fc:1f27)
2020-09-19 18:05:54 +0200hiroaki(~hiroaki@2a02:908:4b14:d500:8d4c:a111:9cac:718b)
2020-09-19 18:07:46 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Remote host closed the connection)
2020-09-19 18:08:45 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Ping timeout: 272 seconds)
2020-09-19 18:09:22 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 18:13:27 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Remote host closed the connection)
2020-09-19 18:13:52 +0200z0_(~z0@bl15-35-201.dsl.telepac.pt)
2020-09-19 18:14:00 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3)
2020-09-19 18:14:10 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 256 seconds)
2020-09-19 18:15:33 +0200dominik(~weechat@2001:a61:35b0:1a01:9665:9cff:fe4d:b4d0)
2020-09-19 18:17:17 +0200z0(~z0@bl15-160-46.dsl.telepac.pt) (Ping timeout: 260 seconds)
2020-09-19 18:18:18 +0200mariatsji(~mariatsji@2a01:79d:53aa:c66c:fcb4:8a4:b249:c1d3) (Ping timeout: 246 seconds)
2020-09-19 18:21:45 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-09-19 18:25:23 +0200dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-ecfohlvdcvbghbdf)
2020-09-19 18:26:26 +0200tzh(~tzh@2601:448:c500:5300::ad1c)
2020-09-19 18:26:41 +0200booppoob(uid425746@gateway/web/irccloud.com/x-tkeigqqpbyoktbzy) (Quit: Connection closed for inactivity)
2020-09-19 18:27:23 +0200geekosaur(42d52102@66.213.33.2)
2020-09-19 18:28:18 +0200walla(47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-19 18:30:16 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 18:30:16 +0200carlomagno1(~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-09-19 18:30:55 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com)
2020-09-19 18:33:36 +0200juuandyy(~juuandyy@90.166.144.65)
2020-09-19 18:35:01 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 264 seconds)
2020-09-19 18:38:44 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net)
2020-09-19 18:39:55 +0200Saten-san(~Saten-san@ip-81-11-153-236.dsl.scarlet.be)
2020-09-19 18:40:53 +0200hiroaki(~hiroaki@2a02:908:4b14:d500:8d4c:a111:9cac:718b) (Remote host closed the connection)
2020-09-19 18:44:59 +0200petersen(~petersen@redhat/juhp)
2020-09-19 18:52:47 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-19 18:54:16 +0200berberman_(~berberman@2408:8207:256b:da50:584e:a9ff:fe9b:d3fe) (Quit: ZNC 1.7.5 - https://znc.in)
2020-09-19 18:54:57 +0200berberman(~berberman@2408:8207:256b:da50::a44)
2020-09-19 18:55:05 +0200bloodstalker(~bloodstal@46.166.187.178) (Ping timeout: 240 seconds)
2020-09-19 18:55:20 +0200teardown(~user@unaffiliated/mrush) (Ping timeout: 258 seconds)
2020-09-19 18:55:58 +0200hackagepandoc-types 1.22 - Types for representing a structured document https://hackage.haskell.org/package/pandoc-types-1.22 (JohnMacFarlane)
2020-09-19 18:56:42 +0200ubert(~Thunderbi@178.115.131.12.wireless.dyn.drei.com)
2020-09-19 18:57:30 +0200bloodsta1ker(~bloodstal@46.166.187.178)
2020-09-19 18:58:09 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-09-19 18:58:49 +0200Saten-san(~Saten-san@ip-81-11-153-236.dsl.scarlet.be) (Ping timeout: 260 seconds)
2020-09-19 19:01:17 +0200ddellacosta(~dd@86.106.121.168)
2020-09-19 19:03:04 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-09-19 19:05:55 +0200stree(~stree@50-108-115-67.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-09-19 19:06:12 +0200stree(~stree@50-108-115-67.adr01.mskg.mi.frontiernet.net)
2020-09-19 19:08:21 +0200zacts(~zacts@dragora/developer/zacts)
2020-09-19 19:09:58 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-19 19:10:48 +0200dominik(~weechat@2001:a61:35b0:1a01:9665:9cff:fe4d:b4d0) (Ping timeout: 246 seconds)
2020-09-19 19:11:16 +0200dominik(~weechat@aftr-62-216-207-98.dynamic.mnet-online.de)
2020-09-19 19:12:30 +0200tompas(~tom@pool-173-79-157-149.washdc.fios.verizon.net)
2020-09-19 19:12:31 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-19 19:12:49 +0200ukari(~ukari@unaffiliated/ukari) (Ping timeout: 260 seconds)
2020-09-19 19:13:46 +0200lechner(~lechner@letbox-vps.us-core.com)
2020-09-19 19:14:33 +0200aenesidemus(~aenesidem@c-73-53-247-25.hsd1.fl.comcast.net)
2020-09-19 19:14:44 +0200TooDifficult(~TooDiffic@139.59.59.230) (Quit: TooDifficult)
2020-09-19 19:14:44 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-09-19 19:14:58 +0200TooDifficult(~TooDiffic@139.59.59.230)
2020-09-19 19:15:13 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 264 seconds)
2020-09-19 19:15:14 +0200Lord_of_Life_Lord_of_Life
2020-09-19 19:15:19 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-09-19 19:15:56 +0200 <lechner> Hi, how do I compute and print the SHA-512 of the file indicated by the first command-line argument, please? I am having some type confusion. Thanks!
2020-09-19 19:16:09 +0200johtso(uid563@gateway/web/irccloud.com/x-xmeoikcxfjfjijiq)
2020-09-19 19:16:39 +0200 <sm[m]> what have you got so far lechner ?
2020-09-19 19:16:39 +0200 <sm[m]> @where paste
2020-09-19 19:16:39 +0200 <lambdabot> please paste full code, input, and output at https://paste.tomsmeding.com
2020-09-19 19:18:16 +0200 <sm[m]> @where+ paste Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com
2020-09-19 19:18:16 +0200 <lambdabot> I will remember.
2020-09-19 19:18:17 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-09-19 19:18:53 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Remote host closed the connection)
2020-09-19 19:19:01 +0200 <glguy> lechner: http://hackage.haskell.org/package/cryptohash-sha512-0.11.100.1/docs/Crypto-Hash-SHA512.html#v:hash
2020-09-19 19:19:01 +0200 <lechner> sm[m]: well, this just tries to print the contents but i have the IO monad problem https://paste.tomsmeding.com/9NWmmMxb
2020-09-19 19:19:21 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-19 19:19:56 +0200 <davean> =<<, feed the result
2020-09-19 19:20:04 +0200 <sm[m]> good start. Right, those types in the last line don't line up
2020-09-19 19:20:20 +0200 <lechner> it's my first dip into haskell
2020-09-19 19:20:20 +0200 <davean> putStr =<< (readFile (head args))
2020-09-19 19:20:38 +0200 <dmwit> do { args <- getArgs; contents <- readFile (head args); putStr contents }
2020-09-19 19:20:53 +0200 <dmwit> You might also like The IO Monad for People Who Simply Don't Care.
2020-09-19 19:21:02 +0200 <dmwit> http://blog.sigfpe.com/2007/11/io-monad-for-people-who-simply-dont.html
2020-09-19 19:21:54 +0200 <lechner> in an earlier experiment, the assignment args <- getArgs seemed to make a difference. is that possible?
2020-09-19 19:22:05 +0200 <lechner> instead of using getArgs straight
2020-09-19 19:22:31 +0200 <dmwit> Take a look at my link and you will have a framework for understanding why that made a difference.
2020-09-19 19:22:43 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa)
2020-09-19 19:22:46 +0200 <dmwit> (Yes, it is possible.)
2020-09-19 19:23:27 +0200hackageuniqueness-periods-vector-stats 0.1.1.0 - A very basic descriptive statistics. https://hackage.haskell.org/package/uniqueness-periods-vector-stats-0.1.1.0 (OleksandrZhabenko)
2020-09-19 19:24:50 +0200 <sm[m]> https://paste.tomsmeding.com/PZbIiTyi is the simplest fix, as dmwit said
2020-09-19 19:25:56 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-19 19:26:04 +0200 <lechner> i am reading and will be back with more shortly. thanks for being so friendly. don't know why people say haskellers are complicated folks :)
2020-09-19 19:26:46 +0200fendor(~fendor@212095005091.public.telering.at) (Ping timeout: 272 seconds)
2020-09-19 19:26:55 +0200kish`(~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-09-19 19:27:14 +0200kish(~oracle@unaffiliated/oracle)
2020-09-19 19:27:17 +0200mpereira(~mpereira@2a02:810d:f40:d96:b46b:1e98:8653:4550) (Ping timeout: 272 seconds)
2020-09-19 19:27:35 +0200ukari(~ukari@unaffiliated/ukari)
2020-09-19 19:27:43 +0200 <sm[m]> I know! We are all simple folk here
2020-09-19 19:28:05 +0200 <sm[m]> tomsmeding: should Edit this paste be Clone this paste ? (Also, links between such pastes could be nifty)
2020-09-19 19:28:10 +0200teardown(~user@unaffiliated/mrush)
2020-09-19 19:28:35 +0200 <tomsmeding> it should
2020-09-19 19:28:48 +0200 <tomsmeding> in fact I have a todo for that
2020-09-19 19:28:52 +0200 <lechner> hi, when reading files, is it better to use strict or lazy variants, please?
2020-09-19 19:28:57 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 19:29:09 +0200 <tomsmeding> I like "Clone", too
2020-09-19 19:29:13 +0200 <davean> lechner: depends on what you want to accomplish.
2020-09-19 19:29:26 +0200 <dmwit> lechner: Lazy IO is to be avoided in real code. For quick experiments while learning, it is fine.
2020-09-19 19:29:28 +0200 <merijn> The answer is: use strict or use conduit :p
2020-09-19 19:29:37 +0200 <merijn> (or some other streaming library)
2020-09-19 19:29:39 +0200 <lechner> thank you
2020-09-19 19:29:54 +0200 <lechner> why is lazy I/O a bad idea?
2020-09-19 19:30:02 +0200 <merijn> lechner: It's hard to control cleanup
2020-09-19 19:30:19 +0200 <lechner> space leaks?
2020-09-19 19:30:22 +0200 <davean> lechner: consider if you're reading lazily while writing to it.
2020-09-19 19:30:24 +0200 <merijn> lechner: File descriptors (aka handles) are a limited resource and lazy IO makes it hard to control if/when they are freed
2020-09-19 19:30:24 +0200 <davean> lechner: what do you get?
2020-09-19 19:30:28 +0200 <dmwit> lechner: https://stackoverflow.com/a/6669453/791604 describes why lazy IO is a bad idea
2020-09-19 19:30:45 +0200 <dolio> I think lazy I/O is a good idea. :þ
2020-09-19 19:30:49 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-09-19 19:30:54 +0200Saten-san(~Saten-san@ip-81-11-153-236.dsl.scarlet.be)
2020-09-19 19:31:00 +0200 <Uniaika> dolio: I curse you to hell and back
2020-09-19 19:31:18 +0200walla(47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-09-19 19:31:31 +0200 <davean> lechner: the idea of spaceleaks with laziness is a bit weird, since strict has to use all the space, lazy only might use all the space.
2020-09-19 19:31:32 +0200ransom(~c4264035@2603:300b:1301:3d00:a40f:9b09:1376:26b9) (Ping timeout: 244 seconds)
2020-09-19 19:31:36 +0200 <glguy> If your goal is to write a program that opens a file, computes the SHA-512 hash, and prints that; then the lazy IO version will work the same as the strict IO version but probably use less ram
2020-09-19 19:32:01 +0200 <lechner> it's the first line in a bigger project
2020-09-19 19:32:02 +0200 <merijn> glguy: But then it'd be very little work to use conduit or some such and be sure of that fact ;)
2020-09-19 19:32:19 +0200 <merijn> Not to mention that learning 1 or more streaming libraries is worthwhile anyway since they're amazing
2020-09-19 19:32:22 +0200 <dmwit> davean: Sure. But lazy encourages a style of programming that would, in a strict semantics, use much more memory than the idiomatic approach from a strict language.
2020-09-19 19:32:34 +0200 <merijn> Beat the shit out of nearly anything I've encountered in any other language for such problems
2020-09-19 19:33:14 +0200 <dolio> Streaming libraries are exactly the overcomplicated solution for simple intro examples.
2020-09-19 19:33:27 +0200 <dmwit> ^
2020-09-19 19:33:32 +0200 <merijn> Sure
2020-09-19 19:33:33 +0200 <dolio> And are probably an example of why people think Haskell people are complicated.
2020-09-19 19:33:57 +0200 <lechner> actually, i think it's because of category theory
2020-09-19 19:34:12 +0200 <davean> dmwit: I mean that sounds a lot like the tautology of "if you used more memory, you'd use more memory".
2020-09-19 19:34:26 +0200 <geekosaur> you need zero category theory to use Haskell
2020-09-19 19:34:29 +0200 <merijn> lechner: Category theory has basically zero relevance to haskell projects (or even Haskell)
2020-09-19 19:34:51 +0200 <merijn> lechner: I dunno where that meme got started on the internet, but it's 100% nonsense
2020-09-19 19:35:16 +0200 <dolio> Also note that one of the negatives about lazy I/O brought up (what if you read and write to a file concurrently) also applies to streaming libraries, but no one blames the streaming libraries for it for some reason.
2020-09-19 19:35:49 +0200 <merijn> lechner: I've been doing Haskell for, like, a decade now. Very productively even, and I still got lost about 2-3 chapters into any book on category theory :p
2020-09-19 19:35:57 +0200 <davean> dolio: uh, doesn't happen when I use 'machines' for example, I can can control the reading and writing so I can know what happens exactly.
2020-09-19 19:36:06 +0200 <merijn> dolio: Files are shit, let's replace everything with SQLite databases :D
2020-09-19 19:36:10 +0200 <davean> dolio: infact I use 'machines' specificly for reading and writing to a file at the same time.
2020-09-19 19:36:27 +0200hackagetexmath 0.12.0.3 - Conversion between formats used to represent mathematics. https://hackage.haskell.org/package/texmath-0.12.0.3 (JohnMacFarlane)
2020-09-19 19:36:56 +0200 <lechner> is there a kindred spririt between haskell and the declarative nature of SQL?
2020-09-19 19:37:23 +0200 <merijn> Kinda, maybe?
2020-09-19 19:37:46 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-09-19 19:37:47 +0200 <davean> dolio: yah, I'm not sure why you think the concurrency would be an issue with a streaming library.
2020-09-19 19:37:48 +0200 <merijn> SQL (at least, the non-write statements) is purely functional, after all :)
2020-09-19 19:37:55 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-09-19 19:37:56 +0200 <ddellacosta> merijn: re: category theory in Haskell, I think the unfortunate truth is that as soon as people see words like "Functor" they assume that Haskell is a morass of abstract nonsense and stop thinking there
2020-09-19 19:38:01 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-09-19 19:38:22 +0200 <sm[m]> conduit is awesome but a bit too much for someone writing their first haskell program
2020-09-19 19:38:35 +0200 <merijn> Well, that wasn't really specified :p
2020-09-19 19:38:48 +0200 <sm[m]> twas, twas
2020-09-19 19:38:52 +0200 <merijn> The question was "lazy or strict" :p
2020-09-19 19:38:54 +0200 <dolio> davean: Because streaming libraries don't solve having to not be naive about interleaving your reading and writing to a single file, which is what people blame lazy I/O for.
2020-09-19 19:39:13 +0200 <merijn> dolio: Nobody claimed streaming libraries solved "all problems ever" so that seems a bit of a strawman
2020-09-19 19:39:15 +0200 <davean> dolio: they can dothat.
2020-09-19 19:39:15 +0200 <geekosaur> that's only one of the problems with lazy I/O
2020-09-19 19:39:33 +0200 <davean> dolio: for example, only executing the writes to already read parts.
2020-09-19 19:39:52 +0200 <davean> and delaying the ones to pending reads.
2020-09-19 19:39:58 +0200 <merijn> Also, I don't think anyone thinks "simultaneous read and writes" is the problem with lazy IO, considering none of the streaming libraries even talk about that in any motivation
2020-09-19 19:40:27 +0200 <dolio> merijn: Then they should stop using it as an example of lazy I/O being a problem.
2020-09-19 19:40:47 +0200 <merijn> dolio: I've literally never seen that brought up as a lazy IO problem except just now on IRC
2020-09-19 19:41:01 +0200 <dolio> Well I've seen it multiple times in the past on IRC.
2020-09-19 19:41:04 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-09-19 19:42:08 +0200 <davean> dolio: to be clear I brought it up about lazy vs. strict io, not streaming. Streaming systems can't solve problems without you deciding what you want.
2020-09-19 19:42:10 +0200 <sm[m]> lechner, please ask less controversial questions in future (j/k :)
2020-09-19 19:42:18 +0200 <merijn> Yes
2020-09-19 19:42:27 +0200 <merijn> Like "how do I get 'a' out of 'IO a'?" ;)
2020-09-19 19:42:49 +0200 <davean> merijn: well, you just pattern match on (# RealWorld, ... #) ...
2020-09-19 19:43:21 +0200 <merijn> ;)
2020-09-19 19:43:34 +0200 <davean> Or use the Comonad instance of IO
2020-09-19 19:44:04 +0200 <davean> which is easy to write with unsafePerformIO
2020-09-19 19:44:07 +0200 <davean> laws aside
2020-09-19 19:44:17 +0200 <tomsmeding> :D
2020-09-19 19:44:23 +0200MaoZeDong_(~yuri@2a00:1370:8135:91d4:415b:9b05:36f8:565c) (Ping timeout: 272 seconds)
2020-09-19 19:44:31 +0200 <monochrom> http://www.vex.net/~trebla/photo/unorganized/IO-String.png
2020-09-19 19:44:43 +0200MaoZeDong_(~yuri@2a00:1370:8135:91d4:415b:9b05:36f8:565c)
2020-09-19 19:44:45 +0200 <dolio> davean: Yeah, I know. It's more in the past I've seen people not really being coherent about this stuff.
2020-09-19 19:45:00 +0200Saten-san(~Saten-san@ip-81-11-153-236.dsl.scarlet.be) (Quit: WeeChat 2.8)
2020-09-19 19:45:23 +0200 <davean> dolio: I know 'machines' can solve the ordering issues easily (thats what I use seekable-machines for half the time), and I suspect you could with 'pipes' though I never have.
2020-09-19 19:45:52 +0200 <geekosaur> well, now you have the answer to why people talk about haskellers not being simple, at least :)
2020-09-19 19:45:58 +0200hackageuniqueness-periods-vector-examples 0.5.0.0 - Examples of usage for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.5.0.0 (OleksandrZhabenko)
2020-09-19 19:45:59 +0200 <davean> dolio: you can pretty easily impliment an ARES machine :)
2020-09-19 19:46:06 +0200monochromperpetuates the myth that you need to understand category theory jokes to learn haskell
2020-09-19 19:46:07 +0200 <davean> I mean as easy as ARES is!
2020-09-19 19:46:35 +0200 <monochrom> Sorry, what's ARES?
2020-09-19 19:46:40 +0200 <dolio> I imagine you _can_ solve them with most libraries, but I don't expect 'oops, I wrote naive interleaved input/output processing and used it on a single file' to automatically work in most of them.
2020-09-19 19:47:34 +0200 <dolio> Like, passed the same file name twice.
2020-09-19 19:48:05 +0200 <davean> monochrom: sorry ARIES
2020-09-19 19:48:07 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-19 19:48:37 +0200 <monochrom> Thanks, but I don't know ARIES either.
2020-09-19 19:48:50 +0200 <davean> Oh http://db.csail.mit.edu/madden/html/aries.pdf
2020-09-19 19:48:54 +0200 <davean> Its the thing DBs do
2020-09-19 19:48:54 +0200 <monochrom> thanks
2020-09-19 19:49:27 +0200 <monochrom> hahaha "exploiting semantics"
2020-09-19 19:52:06 +0200juuandyy(~juuandyy@90.166.144.65) (Ping timeout: 272 seconds)
2020-09-19 19:53:50 +0200coot(~coot@37.30.55.202.nat.umts.dynamic.t-mobile.pl)
2020-09-19 19:54:31 +0200xff0x_(~fox@2001:1a81:5373:6a00:7876:876c:565a:2fc6) (Ping timeout: 272 seconds)
2020-09-19 19:54:38 +0200 <monochrom> OK, so "ACID" was already a thing in 1992, not a web bubble invention. I feel better now.
2020-09-19 19:54:58 +0200 <davean> Yes, I take it you know nothing about DBs at all?
2020-09-19 19:55:08 +0200xff0x_(~fox@2001:1a81:5373:6a00:4c7a:e2f5:6d60:257d)
2020-09-19 19:55:08 +0200 <monochrom> I know nothing about DBs.
2020-09-19 19:55:18 +0200 <c_wraith> I expect ACID would date back to the 70s
2020-09-19 19:55:26 +0200 <davean> The web bubble *got rid of* ACID
2020-09-19 19:55:30 +0200 <davean> c_wraith: yah, it does
2020-09-19 19:55:39 +0200 <davean> ACID is one of the basic concepts of ... well computing really
2020-09-19 19:55:52 +0200 <davean> It does come from the DB world though.
2020-09-19 19:56:04 +0200acidjnk_new2(~acidjnk@p200300d0c7365818803e8c849f4b43fc.dip0.t-ipconnect.de)
2020-09-19 19:56:44 +0200geekosaur(42d52102@66.213.33.2) (Ping timeout: 245 seconds)
2020-09-19 19:56:49 +0200 <davean> as an acronym
2020-09-19 19:56:57 +0200 <davean> OS people had it too, but not as well codified
2020-09-19 19:57:01 +0200 <merijn> monochrom: I'm surprised ACID is as recent as 1992, I would've expected much older
2020-09-19 19:57:07 +0200codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Read error: Connection reset by peer)
2020-09-19 19:57:12 +0200 <davean> merijn: it is much older
2020-09-19 19:57:22 +0200codygman(~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-09-19 19:57:23 +0200 <davean> it predates non-heirarchical DBs
2020-09-19 19:59:49 +0200mitchellsalad_(uid40617@gateway/web/irccloud.com/x-gjkhwibbalutbgvt)
2020-09-19 20:00:01 +0200 <davean> I've read papers from <1975 that specified that set of requirements
2020-09-19 20:00:02 +0200SteveMcIntyre(~SteveMcIn@193.56.252.210) ()
2020-09-19 20:00:02 +0200mitchellsalad_(uid40617@gateway/web/irccloud.com/x-gjkhwibbalutbgvt) (Client Quit)
2020-09-19 20:00:07 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-09-19 20:00:15 +0200 <davean> I think the actual term is circa 1980 though since people got tired of writing out the laws eventually ;)
2020-09-19 20:00:49 +0200mitchellsalad(uid40617@gateway/web/irccloud.com/x-nltqasqieelsglgp)
2020-09-19 20:02:01 +0200 <davean> databases, filesystems, transactional memory, concurrency, all sorta the same problem.
2020-09-19 20:02:37 +0200 <davean> Not distributed systems though, thats its own f-ed up mess
2020-09-19 20:03:28 +0200hackageuniqueness-periods-vector-stats 0.1.2.0 - A very basic descriptive statistics. https://hackage.haskell.org/package/uniqueness-periods-vector-stats-0.1.2.0 (OleksandrZhabenko)
2020-09-19 20:04:16 +0200dsf(~dsf@cpe-75-80-106-108.san.res.rr.com) (Ping timeout: 256 seconds)
2020-09-19 20:04:30 +0200Khisanth(~Khisanth@166.sub-174-197-147.myvzw.com) (Read error: Connection reset by peer)
2020-09-19 20:05:13 +0200lucid_0x80(~lucid_0x8@188.253.232.248)
2020-09-19 20:06:30 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-131-92.cust.tzulo.com)
2020-09-19 20:07:40 +0200wasm(~azureuser@52.187.128.251) (Remote host closed the connection)
2020-09-19 20:08:56 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 258 seconds)
2020-09-19 20:11:28 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa) (Ping timeout: 256 seconds)
2020-09-19 20:11:47 +0200 <dolio> You mean, a lot of seemingly different topics lead to people coming up with the same sort of idea, and it might be useful to abstract those ideas in a common way so that ideas from one topic might be applicable to others?
2020-09-19 20:12:47 +0200dsf(~dsf@cpe-75-80-106-108.san.res.rr.com)
2020-09-19 20:12:57 +0200hackageuniqueness-periods-vector-examples 0.5.1.0 - Examples of usage for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.5.1.0 (OleksandrZhabenko)
2020-09-19 20:13:00 +0200TooDifficult(~TooDiffic@139.59.59.230) (Ping timeout: 272 seconds)
2020-09-19 20:13:04 +0200 <davean> dolio: they just are applicable. The optimal solutions for the different domains vary by the constraints but the problems are the same.
2020-09-19 20:14:38 +0200 <davean> ARIES is stronger than STM needs, but its solving the same thing in a similar way and the problem setups are the same other than some of the tools they have to solve it with.
2020-09-19 20:14:43 +0200 <davean> for example
2020-09-19 20:14:57 +0200hackagecommonmark-pandoc 0.2.0.1 - Bridge between commonmark and pandoc AST. https://hackage.haskell.org/package/commonmark-pandoc-0.2.0.1 (JohnMacFarlane)
2020-09-19 20:15:02 +0200 <davean> and filesystems are even closer, though they don't deal with the out-of-space issue as much because they know their transaction sizes.
2020-09-19 20:15:25 +0200 <dolio> Yeah, those domains are probably too obviously similar.
2020-09-19 20:15:35 +0200 <davean> And all that is a constrained case of concurrency
2020-09-19 20:16:07 +0200 <davean> Mind you basicly every filesystem has had a bug releated to the parts it strips out of ARIES
2020-09-19 20:16:10 +0200ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 272 seconds)
2020-09-19 20:16:33 +0200ryansmccoy(~ryansmcco@156.96.151.132)
2020-09-19 20:17:56 +0200eflister(47ee2144@c-71-238-33-68.hsd1.or.comcast.net)
2020-09-19 20:18:45 +0200 <davean> Most of computer science is boring because its the same problem solved 10 times.
2020-09-19 20:18:57 +0200 <davean> if you just learn the base problem you can solve a bunch of them on demand. :(
2020-09-19 20:19:13 +0200 <Uniaika> like multiplying matrices very fast
2020-09-19 20:19:26 +0200 <Uniaika> a bunch of modern machine learning and stuff are based on multiplying matrices
2020-09-19 20:19:44 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-09-19 20:20:12 +0200 <davean> Uniaika: which brings me to the fact that Data.Ix.Ix lacks "rangePos :: (a, a) -> Int -> a" which makes doing suck with 'array' difficult!
2020-09-19 20:20:25 +0200 <davean> s/suck/such/
2020-09-19 20:21:10 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-09-19 20:21:55 +0200Khisanth(~Khisanth@166.sub-174-197-147.myvzw.com)
2020-09-19 20:21:58 +0200 <Uniaika> davean: it's only one MR away from reality
2020-09-19 20:22:04 +0200 <davean> Uniaika: incorrect.
2020-09-19 20:22:10 +0200 <Uniaika> okay maybe two.
2020-09-19 20:22:13 +0200 <Uniaika> :P
2020-09-19 20:22:17 +0200 <davean> Uniaika: No. Its a core library.
2020-09-19 20:22:26 +0200juuandyy(~juuandyy@90.166.144.65)
2020-09-19 20:22:26 +0200 <davean> and a Haskell Report type class.
2020-09-19 20:22:35 +0200 <davean> In theory we *should* get a new report to change it.
2020-09-19 20:22:46 +0200 <davean> in practice we'd still have the "we changed something in base" fight.
2020-09-19 20:23:16 +0200 <davean> Data.Ix isn't a 3rd party library :/
2020-09-19 20:24:07 +0200xff0x_(~fox@2001:1a81:5373:6a00:4c7a:e2f5:6d60:257d) (Ping timeout: 240 seconds)
2020-09-19 20:24:48 +0200 <Uniaika> yeah that's right
2020-09-19 20:24:48 +0200lep-delete(~lep@94.31.82.44) (Read error: Connection reset by peer)
2020-09-19 20:24:55 +0200geekosaur(42d52102@66.213.33.2)
2020-09-19 20:25:02 +0200 <davean> If I could just submit a MR I'd have already done it.
2020-09-19 20:25:06 +0200 <davean> this is core infastructure
2020-09-19 20:25:19 +0200xff0x_(~fox@2001:1a81:5373:6a00:4ccb:e51f:bb16:7d67)
2020-09-19 20:25:24 +0200 <davean> It has a trivial default implimentation from what the type class already provides.
2020-09-19 20:25:29 +0200lep-delete(~lep@94.31.82.44)
2020-09-19 20:25:45 +0200lep-deletetest
2020-09-19 20:25:57 +0200 <davean> I wish people were more accepting of changes to 'base'
2020-09-19 20:26:07 +0200 <davean> Theres a lot to improve
2020-09-19 20:26:15 +0200testGuest38587
2020-09-19 20:27:35 +0200silver(~silver@178.121.68.26)
2020-09-19 20:27:42 +0200 <davean> Haskell needs to accept more changes to 'base' IMO, yes people feel a tiny bit of pain in the short term but its mostly a shared burden thats not actually that much time to update all of hackage to, and then we've got something better forever.
2020-09-19 20:27:48 +0200 <Uniaika> we should make secession from the standard
2020-09-19 20:27:58 +0200 <Uniaika> or make it evolve with the current times
2020-09-19 20:28:02 +0200 <davean> Uniaika: its not the standard that's really the problem
2020-09-19 20:28:10 +0200 <davean> Uniaika: There was supposes to be a Haskell2020
2020-09-19 20:28:25 +0200 <Uniaika> CSS3 had it right I think, by having mutiple standards that can evolve and stuff
2020-09-19 20:28:33 +0200 <davean> Uniaika: Theres a report committee. Its not like the report can't change. I'd say the screaming about changes is the real problem.
2020-09-19 20:28:40 +0200 <Uniaika> davean: Haskell2020 failed us :P
2020-09-19 20:28:55 +0200 <davean> It failed us because no one wanted changes people could get behind :-p
2020-09-19 20:29:03 +0200 <Uniaika> :)
2020-09-19 20:29:23 +0200 <davean> Uniaika: were you not here for AMP and F/T?
2020-09-19 20:30:07 +0200 <davean> Haskell2020 can get unjammed if people get behind changes.
2020-09-19 20:30:17 +0200ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 260 seconds)
2020-09-19 20:30:43 +0200ryansmccoy(~ryansmcco@193.37.254.27)
2020-09-19 20:31:24 +0200knupfer1(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de)
2020-09-19 20:31:43 +0200 <Uniaika> AMP was in 2014
2020-09-19 20:32:00 +0200juuandyy(~juuandyy@90.166.144.65) (Ping timeout: 272 seconds)
2020-09-19 20:32:09 +0200ixlun(~matthew@148.252.22.43) (Ping timeout: 260 seconds)
2020-09-19 20:32:10 +0200solonarv(~solonarv@astrasbourg-653-1-186-165.w90-13.abo.wanadoo.fr)
2020-09-19 20:32:14 +0200 <davean> yes, yes, I know. Some people are only returning to Haskell now because they were so driven off by the screaming of people resisting such a basic change.
2020-09-19 20:32:33 +0200 <davean> Thats my point
2020-09-19 20:32:34 +0200_ks(~kevin@nyc-0.mil.lat) (Quit: WeeChat 2.3)
2020-09-19 20:32:48 +0200 <davean> if people aren't over AMP 6 years later we can't have nice things.
2020-09-19 20:32:57 +0200hackageuniqueness-periods-vector-examples 0.5.2.0 - Examples of usage for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.5.2.0 (OleksandrZhabenko)
2020-09-19 20:33:16 +0200 <Uniaika> yeah sorry, so I was not in Haskell-land at that time
2020-09-19 20:33:31 +0200 <davean> It was rediculous.
2020-09-19 20:33:37 +0200dominik(~weechat@aftr-62-216-207-98.dynamic.mnet-online.de) (Quit: WeeChat 2.8)
2020-09-19 20:33:48 +0200knupfer1knupfer
2020-09-19 20:34:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-19 20:34:26 +0200 <Uniaika> I can imagine
2020-09-19 20:34:39 +0200 <Uniaika> and look where we are now! A complete wasteland!
2020-09-19 20:34:45 +0200 <Uniaika> Haskell is dead because of that!
2020-09-19 20:34:46 +0200 <Uniaika> (/s)
2020-09-19 20:34:59 +0200 <MarcelineVQ> meet the new boss, same as the old boss
2020-09-19 20:35:00 +0200 <dolio> Because of which direction? :)
2020-09-19 20:35:15 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Quit: p-core)
2020-09-19 20:35:22 +0200 <monochrom> The other wasteland is not greener. >:)
2020-09-19 20:35:33 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-19 20:35:51 +0200 <davean> Uniaika: it sapped a lot of the people pushing new things I was here for because it was so hard to get and they needed more to move further.
2020-09-19 20:35:56 +0200 <davean> Uniaika: so uh, it kinda is?
2020-09-19 20:36:02 +0200 <davean> I mean as a language its fine
2020-09-19 20:36:09 +0200 <davean> but we've not moved forward much.
2020-09-19 20:36:18 +0200 <davean> So ...
2020-09-19 20:36:22 +0200 <MarcelineVQ> What is the metric for that?
2020-09-19 20:36:43 +0200 <Uniaika> looks like we need to get our skin harder for the next feces slinging
2020-09-19 20:36:47 +0200 <davean> MarcelineVQ: enabling me to do new things that make solving problems better :-p
2020-09-19 20:37:20 +0200 <Uniaika> :)
2020-09-19 20:37:25 +0200 <merijn> The problem with Haskell2020 is that the "fun stuff" people wanna do is not the blocker
2020-09-19 20:37:42 +0200 <merijn> The blocker is the need to specify the semantics of a bunch of things beyond just 'what GHC does"
2020-09-19 20:37:52 +0200 <davean> merijn: For a larger report, yes
2020-09-19 20:38:14 +0200 <lechner> dmwit: thanks for the link earlier. i read it twice, and it was very helpful!
2020-09-19 20:38:30 +0200 <davean> merijn: theres various potential scopes.
2020-09-19 20:38:33 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-09-19 20:38:34 +0200 <merijn> Everyone says stuff "we should add existentials to the report!", but actually going through the work to specify how they should work is an annoyance no one wants :p
2020-09-19 20:38:56 +0200 <Uniaika> (would they even be useful??)
2020-09-19 20:39:10 +0200 <Uniaika> (no wait, scratch that, it's just ignorance talking)
2020-09-19 20:39:18 +0200 <merijn> What?
2020-09-19 20:39:23 +0200 <dolio> Can we get DeriveFunctor?
2020-09-19 20:39:28 +0200 <merijn> Existenials are plenty useful
2020-09-19 20:39:31 +0200 <davean> Can we get ScopedTypeVariables :-p
2020-09-19 20:39:31 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa)
2020-09-19 20:39:36 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-09-19 20:39:39 +0200 <davean> I want to be able to write type signatures :-p
2020-09-19 20:39:44 +0200 <merijn> I'm not convinced about SCTV by default
2020-09-19 20:39:57 +0200 <merijn> Unless it includes the explicit forall to use
2020-09-19 20:39:58 +0200 <dolio> Does 2010 let you write quantified types?
2020-09-19 20:40:32 +0200 <ski> (having the explicit `forall' was a mistake, imho)
2020-09-19 20:40:37 +0200 <Uniaika> davean: existentially or universally? :P
2020-09-19 20:40:43 +0200 <Uniaika> ski: are you speaking of PureScript?
2020-09-19 20:40:47 +0200 <dolio> If not, seems like you could add it the way GHC does it.
2020-09-19 20:40:49 +0200 <davean> Uniaika: I don't think you're talking to me.
2020-09-19 20:40:52 +0200 <ski> no, `ScopedTypeVariables'
2020-09-19 20:40:55 +0200 <Uniaika> err, I meant dolio
2020-09-19 20:40:59 +0200 <Uniaika> ski: ok
2020-09-19 20:41:09 +0200 <Uniaika> davean: yeah sorry :)
2020-09-19 20:41:23 +0200MaoZeDong_(~yuri@2a00:1370:8135:91d4:415b:9b05:36f8:565c) (Ping timeout: 272 seconds)
2020-09-19 20:41:28 +0200 <tomsmeding> sm[m]: any new edits to pastes made from now on will be tracked like in this one: https://paste.tomsmeding.com/Lo6fyJsD
2020-09-19 20:41:41 +0200 <monochrom> Ah, even Haskell 2010 itself is extremely sketchy on both type checking ("oh it's just folklore HM with folklore type classes") and dynamic semantics ("oh it's just folklore non-strict lambda calculus").
2020-09-19 20:42:04 +0200 <ski> Uniaika : imho, it's backwards. with `ScopedTypeVariables' enabled, the free variables in the signature ought to be in scope in the definition, unless they're explicitly quantified by `forall' :)
2020-09-19 20:42:12 +0200 <dolio> Uniaika: I'm not sure Haskell 2010 lets you write explicit 'foralls' I mean.
2020-09-19 20:42:15 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-09-19 20:42:19 +0200 <merijn> It doesn't
2020-09-19 20:42:24 +0200 <monochrom> There is no way (or no need? heh heh heh) you can specify ScopedTypeVariable at that rate.
2020-09-19 20:42:25 +0200 <davean> ski: I agree
2020-09-19 20:42:34 +0200 <Uniaika> I see :)
2020-09-19 20:43:21 +0200 <davean> monochrom: You just do it. if its compiled Haskell2020, its ScopedTypeVariable without forall. Set language Haskel2010 in your cabal file if you haven't updated your code, oh you already have to set that so do nothing.
2020-09-19 20:43:21 +0200 <tomsmeding> ski: yes please
2020-09-19 20:43:22 +0200 <dolio> ski: Are foralls required on top-level signatures?
2020-09-19 20:43:31 +0200 <ski> nope
2020-09-19 20:44:18 +0200 <monochrom> No, I mean specifying what ScopedTypedVariable means.
2020-09-19 20:44:39 +0200 <monochrom> IOW merijn's sense of "specify".
2020-09-19 20:44:52 +0200 <davean> monochrom: ooh, I mean you can specify it as well as Haskell's types are specified :)
2020-09-19 20:45:21 +0200 <dolio> Maybe they're already compatible with Haskell 2010. :P
2020-09-19 20:45:26 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa) (Ping timeout: 265 seconds)
2020-09-19 20:45:33 +0200wwwww(~wwwww@unaffiliated/wwwww)
2020-09-19 20:45:48 +0200 <monochrom> To a large extent every GHC extension paper is of much higher quality than Haskell 2010 quality.
2020-09-19 20:46:19 +0200 <monochrom> Every such paper painstakingly writes down typing rules. There is none in the Haskell Reports.
2020-09-19 20:46:27 +0200 <sm[m]> nice tomsmeding
2020-09-19 20:46:56 +0200 <davean> It would be nice if one could clean-room impliment Haskell from the report without other knowlege than how to read it and anything explicitely referenced. We don't have that.
2020-09-19 20:47:05 +0200 <tomsmeding> (formatting is debatable)
2020-09-19 20:47:07 +0200 <davean> Requiring that is a weird standard to update other parts of the report.
2020-09-19 20:47:21 +0200 <monochrom> At this rate, adding most GHC extensions to the next Haskell Report is trivial, just write down the syntax, there is no need to write down the typing rules or the dynamic semantics, thus "no need", har har har.
2020-09-19 20:47:50 +0200wavemode(~wavemode@097-070-075-143.res.spectrum.com)
2020-09-19 20:48:19 +0200 <geekosaur> monochrom, the downside is that the typing rules often assume ghc's internal type system, which I'm not sure anyone wants to take as the basis for a Haskell standard
2020-09-19 20:48:52 +0200jumper149(~jumper149@ip185225.wh.uni-hannover.de)
2020-09-19 20:48:58 +0200 <maerwald> tomsmeding: how do you download a paste?
2020-09-19 20:49:07 +0200 <geekosaur> and nobody wants to do the work to specify a minimal type system for the Report
2020-09-19 20:49:21 +0200 <tomsmeding> maerwald: there's the [raw] link for the first file
2020-09-19 20:49:31 +0200 <maerwald> tomsmeding: I mean all files
2020-09-19 20:49:36 +0200 <davean> geekosaur: right.
2020-09-19 20:49:41 +0200 <tomsmeding> you don't, currently :p
2020-09-19 20:49:51 +0200 <tomsmeding> how would you expect that to work, zip file?
2020-09-19 20:49:58 +0200 <dmwit> ski: Counterpoint: the obvious alternative is for forall to take the variable out of scope. But foralls are overloaded now to also be part of the TypeApplications API.
2020-09-19 20:50:02 +0200 <tomsmeding> also how often do you really need that
2020-09-19 20:50:14 +0200 <lechner> Hi, why do I have to use the <- assignment operator on the result from getArgs, but not on the result from readFile, please? I see that the readLine result is not 'tainted' by the IO monad, but I do not otherwise see a distinction between these commands vs expressions.
2020-09-19 20:50:18 +0200 <dmwit> ski: So that seems like it would be sort of a bad conflict in what you're able to express.
2020-09-19 20:50:41 +0200 <dmwit> lechner: You *do* have to use <- on the result from readFile. Why do you believe you don't?
2020-09-19 20:50:48 +0200 <wwwww> Let's say i would like to run something with forkIO, in OSX only single thread spawns but in linux there are many of them, why?
2020-09-19 20:50:56 +0200 <Uniaika> < geekosaur> and nobody wants to do the work to specify a minimal type system for the Report // yeah, it takes time, effort and coordination, and I feel like we're too much in maintenance mode for that kind of thing to happen
2020-09-19 20:50:56 +0200 <dmwit> lechner: Also, I challenge your claim that readLine is not 'tainted'.
2020-09-19 20:51:29 +0200 <lechner> never mind, i thought i passed the result directly to putStr when i fact I placed a =<< in between
2020-09-19 20:51:29 +0200 <dolio> wwwww: No threaded runtime maybe?
2020-09-19 20:51:34 +0200 <dmwit> wwwww: Perhaps the compiler you're using on Linux has defaulted to the threaded runtime, but the one on OSX hasn't?
2020-09-19 20:51:46 +0200 <maerwald> tomsmeding: tar.gz
2020-09-19 20:51:49 +0200 <davean> wwwww: forkIO is not forkOS
2020-09-19 20:52:06 +0200 <wwwww> I know they are different but i get same result
2020-09-19 20:52:09 +0200 <maerwald> zip is trash
2020-09-19 20:52:15 +0200irc_user(uid423822@gateway/web/irccloud.com/x-jxviwzlqotrdnqhx) (Quit: Connection closed for inactivity)
2020-09-19 20:52:17 +0200 <lechner> does <- force an evaluation, in some sense ?
2020-09-19 20:52:43 +0200 <tomsmeding> maerwald: fair :p
2020-09-19 20:52:48 +0200 <dmwit> lechner: No, it forces an execution.
2020-09-19 20:52:55 +0200 <tomsmeding> how many times have you wanted such functionality already
2020-09-19 20:53:02 +0200 <maerwald> all the time man
2020-09-19 20:53:10 +0200 <ski> dmwit : hm, point. however, if we get `foo @a ... = ..a..', then that could be combined with `foo :: forall a. ..a..'
2020-09-19 20:53:11 +0200 <davean> wwwww: forkIO is a greenthread. Why would it produce a new OS thread generally? Thats a RTS decision.
2020-09-19 20:53:19 +0200 <lechner> dmwit: in the world of haskell, that's not the same thing?
2020-09-19 20:53:22 +0200tabemann_tabemann
2020-09-19 20:53:29 +0200 <dmwit> lechner: "evaluation" is the process of reducing expressions to other expressions. "execution" is the process of submitting terms to the runtime system to request that effects be performed.
2020-09-19 20:53:35 +0200 <davean> lechner: not at all the same.
2020-09-19 20:53:49 +0200MaoZeDong_(~yuri@2a00:1370:8135:91d4:956f:2ce4:9ce3:de8c)
2020-09-19 20:53:58 +0200 <dmwit> ski: Neat idea!
2020-09-19 20:54:05 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de) (Ping timeout: 260 seconds)
2020-09-19 20:54:10 +0200 <tomsmeding> maerwald: personally I'd barely ever use it, only on the wildest pastes with >3 files, but I guess other people work differently :p
2020-09-19 20:54:20 +0200 <monochrom> Well, beginners from imperative backgrounds do not already know that, or why, we need two separate "eval" and "exec" notions.
2020-09-19 20:54:24 +0200 <dolio> lechner: It's kind of jargon invented here.
2020-09-19 20:54:37 +0200 <ski> dmwit : i dunno whether it will happen, but i can still complain about it ;)
2020-09-19 20:54:40 +0200 <dolio> People tend to use it before explaining it for some reason. :)
2020-09-19 20:54:43 +0200 <dmwit> ski: Hm, I'm not sure I understand that, though. How is the order of variables determined from `foo @a ... = ...`?
2020-09-19 20:54:49 +0200 <merijn> davean: eh, note that forkOS doesn't spawn an OS thread either
2020-09-19 20:54:50 +0200 <geekosaur> I've used the gist.github.com equivalent a few times. Not often, but I also haven't encountered that many multi-file pastes
2020-09-19 20:54:57 +0200 <lechner> dmwit: doesn't an execution necessitate an evaluation?
2020-09-19 20:54:59 +0200 <monochrom> So you need to be gentle in the sense that you can't just paint it as "everyone else already knows" truth. Every else doesn't already know.
2020-09-19 20:54:59 +0200 <dmwit> ski: Are you suggesting that the `a` in `@a` must have the same name as in the type signature?
2020-09-19 20:55:05 +0200 <ski> dmwit : `foo :: forall a. forall b. ..a..b..; foo @a @b ... = ...'
2020-09-19 20:55:06 +0200 <dmwit> lechner: Very often, yes. But not always.
2020-09-19 20:55:09 +0200 <ski> dmwit : no
2020-09-19 20:55:14 +0200 <davean> merijn: yes, I was getting there.
2020-09-19 20:55:34 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Read error: Connection reset by peer)
2020-09-19 20:55:38 +0200 <dmwit> ski: Then I don't understand how it helps clear up the conflict I proposed.
2020-09-19 20:55:39 +0200 <davean> merijn: threading is hard
2020-09-19 20:55:40 +0200 <monochrom> The next surprising divergence will be how, and why, parsing is different from eval order.
2020-09-19 20:55:41 +0200 <wwwww> I tried forkOS/forkIO and as result still i have single thread in OSX davean
2020-09-19 20:55:46 +0200son0p(~son0p@186.159.4.142)
2020-09-19 20:55:49 +0200tomsmedingnotes that the people coming here complaining that the channel is quiet should probably return during US waking times
2020-09-19 20:55:55 +0200 <dmwit> ski: If forall is used both for variable hiding and variable order, how to I express the order of unhidden variables?
2020-09-19 20:56:03 +0200 <davean> wwwww: sure, but my point is theres no reason to tihnk either of them would create a thread in particular.
2020-09-19 20:56:08 +0200 <lechner> i guess commands can perhaps expect an expression, too
2020-09-19 20:56:10 +0200 <davean> wwwww: How many threads is an RTS decision
2020-09-19 20:56:11 +0200 <merijn> wwwww: What are you trying to do?
2020-09-19 20:56:11 +0200 <geekosaur> what are you using to determine threads? they look different in OS X vs. Linux
2020-09-19 20:56:17 +0200 <davean> which is what the RTS options are about.
2020-09-19 20:56:23 +0200 <monochrom> Europe waking time is also pretty active here.
2020-09-19 20:56:25 +0200 <ski> dmwit : `zip :: forall a. forall b. [a] -> [b] -> [(a,b)]; zip @u @v (xs :: [u]) (ys :: [v]) = ..u..v..xs..ys.' should be fine
2020-09-19 20:56:28 +0200 <davean> geekosaur: yes, process vs. not
2020-09-19 20:56:33 +0200 <geekosaur> in particular, on linux they show up in ps becuase of how linux implements threads
2020-09-19 20:56:53 +0200 <ski> dmwit : each defining equation could name the type parameters differently, if it wanted to
2020-09-19 20:56:53 +0200 <wwwww> merijn: i'm building server for my game
2020-09-19 20:56:58 +0200 <dmwit> ski: Ahhh, so the foralls give the order, and the @ patterns give what's hidden?
2020-09-19 20:57:03 +0200 <dmwit> (well, what's not hidden)
2020-09-19 20:57:04 +0200 <ski> yes
2020-09-19 20:57:12 +0200 <dmwit> Got it! Very sensible.
2020-09-19 20:57:13 +0200 <davean> ski: I like that.
2020-09-19 20:57:18 +0200 <davean> ski: Please give!
2020-09-19 20:57:23 +0200 <tomsmeding> monochrom: apparently the Europeans are active in the evening then :)
2020-09-19 20:57:23 +0200 <ski> give ?
2020-09-19 20:57:28 +0200 <merijn> wwwww: "I need to concurrently handle many connections" (that's what forkIO is for) and "I need multiple OS threads" are orthogonal issues
2020-09-19 20:57:41 +0200 <davean> ski: please give me that as how I get to do it :)
2020-09-19 20:57:43 +0200 <dmwit> ski: I think he's asking you to implement it and send him a patch. ^_^
2020-09-19 20:57:56 +0200 <merijn> wwwww: You can spawn many threads handling independent conncections using a single OS thread, using multiple OS threads is optional
2020-09-19 20:58:30 +0200exarkun1(~exarkun@193.56.252.210)
2020-09-19 20:58:36 +0200 <ski> dmwit : alternatively, you should be able to say `zip :: [a] -> [b] -> [(a,b)]; zip (xs :: [a]) (ys :: [b]) = ..a..b..xs..ys..', of course. but then the order of the type parameters isn't clear (as is already the case with implicit `forall')
2020-09-19 21:00:17 +0200 <ski> hm .. i suppose, if this would have any chance of being accepted, it would probably be a differently named language extension than `ScopedTypedVariables'
2020-09-19 21:00:38 +0200 <dolio> ski: Yeah, that's the problem.
2020-09-19 21:00:45 +0200 <maerwald> south-east asia time is pretty silent
2020-09-19 21:00:45 +0200 <dolio> Too late to fix the design.
2020-09-19 21:00:51 +0200 <davean> NonGrungyScoping
2020-09-19 21:01:04 +0200 <ski> yea. i remember i complained about this, when i first learned of `ScopedTypedVariables'
2020-09-19 21:01:22 +0200 <davean> yah, ScopedTypeVariables is exactly the opposite of what makes sense.
2020-09-19 21:01:33 +0200 <davean> its one of the reasons it has to be a report thing to clean it up.
2020-09-19 21:01:47 +0200 <davean> Things have rotted because of it being an extension.
2020-09-19 21:01:51 +0200 <monochrom> BoundTypeVariables
2020-09-19 21:01:52 +0200 <ski> also .. i'm missing `PatternSignatures' ..
2020-09-19 21:02:09 +0200 <dolio> The only way it makes 'sense' is that it doesn't change the meaning of any Haskell 98 programs.
2020-09-19 21:02:25 +0200 <davean> dolio: which is exactly what we have a report to do!
2020-09-19 21:02:44 +0200gestone(~gestone@c-73-97-137-216.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 21:02:51 +0200 <dmwit> But there are other extensions which change the meaning of Haskell 98 programs.
2020-09-19 21:02:59 +0200wavemode(~wavemode@097-070-075-143.res.spectrum.com) (Ping timeout: 240 seconds)
2020-09-19 21:03:09 +0200 <davean> Yah but I think they're all much newer?
2020-09-19 21:03:14 +0200 <dolio> Yeah. GHC tries to avoid it a lot, though.
2020-09-19 21:03:14 +0200 <dmwit> MonoLocalBinds or whatever that one's called, ExtendedDefaulting, etc.
2020-09-19 21:03:17 +0200 <ski> first, sometimes i want to write stuff like `zip (xs :: [a]) (ys :: [b]) :: [(a,b)] = ..a..b..xs..ys..', annotating the return type directly (not after the body)
2020-09-19 21:03:47 +0200 <dolio> Almost everything is designed to be a sort of conservative extension.
2020-09-19 21:03:56 +0200 <ski> second, i'm not sure this would have to be mixed in with the explicit `forall's, and explicit type applications, extensions
2020-09-19 21:04:33 +0200 <monochrom> There was a time Haskell Reports made good-bye-to-the-past changes. (I refuse to say "breaking changes".)
2020-09-19 21:04:34 +0200 <ski> (also, i suppose, existential arguments)
2020-09-19 21:04:57 +0200 <dolio> If only people had decided change was bad in 1.4. :)
2020-09-19 21:05:17 +0200 <monochrom> In particular especially transitioning from the [Response]->[Request] I/O system to today's IO I/O system.
2020-09-19 21:05:19 +0200ski. o O ( `map',`(++)',monad comprehensions,`Eval' )
2020-09-19 21:05:30 +0200 <monochrom> Yeah that one.
2020-09-19 21:05:56 +0200 <monochrom> Look at how there was not even a bridging library offered.
2020-09-19 21:06:47 +0200 <monochrom> The types Response and Request simply vanished in a puff of logic. Old code simply couldn't be re-compiled.
2020-09-19 21:06:50 +0200 <wwwww> But still it doesn't explain why my program runs with more threads in linux rather than osx which only spawns single thread, i'm using stack so there should be no compiler or any configuration difference except stack version, merijn
2020-09-19 21:07:00 +0200 <monochrom> We need that bravity again today.
2020-09-19 21:07:34 +0200geekosaurasks again: how are you determining how many OS threads are used?
2020-09-19 21:08:02 +0200 <ski> dmwit : btw, in case it wasn't clear, i was suggesting both styles of defining (in the example) `zip' above should be possible. both with explicit `forall' (not scoping over defining equations), possibly combined with type application patterns, and implicit `forall', tyvars scoping over definition
2020-09-19 21:08:36 +0200 <monochrom> Yeah I only get one thread in Linux, unless I go out of my way to use non-default settings.
2020-09-19 21:08:45 +0200 <dolio> I wonder how many people were using [Response] -> [Request]. There was also the continuation-based wrappers, which were basically monadic IO with different types.
2020-09-19 21:09:48 +0200 <ski> not sure, but i'd suspect more were using the CPS, since it was easier to get compositional
2020-09-19 21:10:02 +0200 <geekosaur> +RTS -N, which I think requires building with --rts-options
2020-09-19 21:10:13 +0200 <dolio> Yeah, it seems like the CPS stuff would be obviously superior.
2020-09-19 21:10:14 +0200 <ski> (and also to not get out-of-synch, or premature-forcing, bugs)
2020-09-19 21:10:24 +0200 <geekosaur> (but I'd expect more than one thread anyway due to the I/O manager using several internally)
2020-09-19 21:10:51 +0200wagle(~wagle@quassel.wagle.io) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2020-09-19 21:11:04 +0200 <monochrom> But multiple OS threads requires firstly someone explicitly saying "-threaded" at link time.
2020-09-19 21:11:27 +0200wagle(~wagle@quassel.wagle.io)
2020-09-19 21:11:30 +0200 <dmwit> wwwww: Didn't my very first response from ages ago propose an explanation for that? I feel as though dolio and I have been ignored this whole time.
2020-09-19 21:11:36 +0200 <ski> hm, i thought i saw a dialogue-based I/O implemented on top of `IO' (using lazy I/O), some time ?
2020-09-19 21:11:54 +0200 <merijn> You can just set the number of threads from the code, though
2020-09-19 21:12:02 +0200 <dmwit> Only if you have the right runtime.
2020-09-19 21:12:06 +0200 <monochrom> OK I'm out of that threading question because geekosaur's question nails it.
2020-09-19 21:12:07 +0200 <merijn> true
2020-09-19 21:12:21 +0200 <lechner> If anyone is using Debian: In which -dev package can i find one of the apparently many SHA-512 cryptographic primitives available in Haskell, please?
2020-09-19 21:12:22 +0200 <ski> (but then there's the extensibility problem over the raw response-to-request mapping, especially wrt FFI)
2020-09-19 21:14:16 +0200 <monochrom> ski: Do you have "interact" in mind? Or is it one of those free monads?
2020-09-19 21:14:20 +0200 <sm[m]> lechner: why do you want a debian -dev package, did the haskell package give a build error ? If so you could paste that
2020-09-19 21:14:43 +0200irc_user(uid423822@gateway/web/irccloud.com/x-yamugsoddzfdaipx)
2020-09-19 21:14:55 +0200 <ski> monochrom : something along the lines of it, but more involved, to deal with the richer `Request' and `Response' types
2020-09-19 21:15:01 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa)
2020-09-19 21:15:19 +0200 <geekosaur> we tend to prefer getting packages from hackage or stackage over using OS packages, because the latter are often old
2020-09-19 21:15:23 +0200sfvm(~sfvm@37.228.215.148)
2020-09-19 21:15:37 +0200 <geekosaur> and stack will usually ignore them anyway
2020-09-19 21:16:31 +0200 <sm[m]> oh, I wasn't sure if they are looking for a debian c package or a debian haskell package
2020-09-19 21:16:32 +0200 <wwwww> dmwit: Forgive me, you gave me good point for further research about this kind of thing, but one of the reason i use stack instead of just ghc is avoid this kind of situations, i provide my compiler version in one of those .yml files and program should behave same in every platform, at least thats what i expect
2020-09-19 21:16:54 +0200 <lechner> sm[m]: i'll use stackage. i am just trying to figure out how
2020-09-19 21:17:13 +0200 <dmwit> Well, that just seems naive.
2020-09-19 21:17:39 +0200 <dmwit> I'm not even sure what "behave same" even means, TBH.
2020-09-19 21:17:44 +0200 <sm[m]> wwwww: did you answer the question about how you're counting threads ?
2020-09-19 21:18:37 +0200 <dmwit> You need some theory of observations that accounts for the differences between OS's, and then some relation describing "same" observations on the two. Seems complicated to set that all up carefully.
2020-09-19 21:18:54 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 256 seconds)
2020-09-19 21:19:07 +0200 <wwwww> sm[m]: i'm watching the htop and i hope it is the right way to count them
2020-09-19 21:19:14 +0200 <dmwit> e.g. look at Wine, an attempt to formalize the connection between Windows observations and Linux observations. It is many hundreds of megabytes of description to get that right.
2020-09-19 21:20:11 +0200 <monochrom> I wouldn't say it's hundreds of megabytes. I would follow Shannon's advice and gzip it. Then that's a better measure. >:)
2020-09-19 21:20:32 +0200 <davean> wwwww: except also the platform isn't the same and you're asking a platform thing.
2020-09-19 21:20:38 +0200iqubic(~user@2601:602:9500:4870:958d:950f:29cc:a6c4)
2020-09-19 21:20:45 +0200 <dmwit> It's certainly more than what you would comfortably transmit into an IRC channel full of people...
2020-09-19 21:21:32 +0200 <davean> monochrom: several thens of megabytes then :-p
2020-09-19 21:21:37 +0200 <sm[m]> wwwww: cool. You know about htop's setting for showing just processes or all threads, I guess
2020-09-19 21:21:41 +0200 <monochrom> Yeah!
2020-09-19 21:21:44 +0200 <iqubic> What packages do people recommend for writing Haskell code in Emacs on NixOS?
2020-09-19 21:21:49 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa) (Ping timeout: 264 seconds)
2020-09-19 21:22:03 +0200 <lechner> on the subject of stackage, is the advice given from here usually sounds? https://www.fpcomplete.com
2020-09-19 21:22:08 +0200 <maerwald> iqubic: packages?
2020-09-19 21:22:15 +0200 <maerwald> emacs packages?
2020-09-19 21:22:31 +0200 <iqubic> yeah. I want to know which Emacs Packages people recommend.
2020-09-19 21:22:35 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-19 21:22:50 +0200 <sm[m]> lechner: certainly, that's the home of stack
2020-09-19 21:22:52 +0200 <davean> monochrom: I'm sorry, its split between a bunch of pieces but its at least 50MiB compressed. Can we round?
2020-09-19 21:23:10 +0200 <davean> monochrom: I'm tired of addig up package sizes at 50MiB :-p
2020-09-19 21:23:11 +0200 <lechner> iqubic: https://wiki.haskell.org/Emacs ?
2020-09-19 21:23:14 +0200 <monochrom> Yes, no need to be very precise.
2020-09-19 21:23:25 +0200 <dolio> davean: The slackware download is like 67MB.
2020-09-19 21:23:38 +0200 <davean> dolio: Ok, maybe I almost got to the end.
2020-09-19 21:23:59 +0200 <iqubic> Is lsp-haskell still under development?
2020-09-19 21:24:26 +0200 <dolio> Thank goodness slackware still apparently exists.
2020-09-19 21:24:27 +0200MaoZeDong_(~yuri@2a00:1370:8135:91d4:956f:2ce4:9ce3:de8c) (Ping timeout: 272 seconds)
2020-09-19 21:24:35 +0200 <sm[m]> iqubic: I think it's called haskell-language-server (or hls) now, unless that's something else. And it's under very active development in #haskell-ide-engine
2020-09-19 21:24:48 +0200 <iqubic> Is it ready for personal use?
2020-09-19 21:24:49 +0200 <monochrom> Well if COBOL still lives, why not slackware too. :)
2020-09-19 21:25:04 +0200 <merijn> iqubic: Define ready :p
2020-09-19 21:25:06 +0200mirrorbird(~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Remote host closed the connection)
2020-09-19 21:25:06 +0200 <davean> monochrom: I don't know people being paid $500/hour to use slackware.
2020-09-19 21:25:16 +0200 <sm[m]> iqubic: actually yes, I would say it is, using VS Code and hls 0.4 release
2020-09-19 21:25:27 +0200 <iqubic> Is it better than https://github.com/jyp/dante?
2020-09-19 21:25:29 +0200 <monochrom> And WinFax for that matter.
2020-09-19 21:25:36 +0200 <sm[m]> yes, it's better than everything so far
2020-09-19 21:25:44 +0200 <iqubic> sm[m]: I'm planning on trying to use it with emacs and nix.
2020-09-19 21:25:50 +0200 <davean> monochrom: If people were being paid $500/hour to use slackware I'd be pretty confident in its continued existance.
2020-09-19 21:26:06 +0200 <sm[m]> iqubic: I'm not going to say that's ready, that's a whole nother ball game :)
2020-09-19 21:27:00 +0200 <wwwww> sm[m]: i didn't know that setting
2020-09-19 21:27:04 +0200 <monochrom> davean, there is something wrong with using only the job market as the only indicator, but I can't articulate why.
2020-09-19 21:27:08 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 258 seconds)
2020-09-19 21:27:11 +0200 <iqubic> So, hls is only really ready for use with VS Code, and not really ready for use wiemacs?
2020-09-19 21:27:13 +0200 <merijn> Ready is a matter of how much pain you're willing to put up with :p
2020-09-19 21:27:33 +0200 <merijn> iqubic: I mean ghcide (which hls is built on) works fine for me in vim
2020-09-19 21:27:35 +0200MaoZeDong_(~yuri@2a00:1370:8135:91d4:956f:2ce4:9ce3:de8c)
2020-09-19 21:28:00 +0200 <iqubic> I don't want to put up with much pain. I want a tiny little bit of pain only.
2020-09-19 21:28:00 +0200 <merijn> iqubic: Is it ready in the sense of "I wanna press a single button with 100% success rate of everything working"? Probably not.
2020-09-19 21:28:13 +0200 <davean> monochrom: Its a touch different than that, people getting paid $500/hour to use a thing tend to make sure said thing keeps existing.
2020-09-19 21:28:13 +0200 <rednaZ[m]> iqubic: If you want to be on the safe side, use `haskell-mode` and `eglot` with ghcide (https://github.com/haskell/ghcide#eglot)
2020-09-19 21:28:33 +0200Saten-san(~Saten-san@ip-81-11-153-236.dsl.scarlet.be)
2020-09-19 21:28:36 +0200 <iqubic> I think I'll just stick with Dante. It seems to work well enough for me.
2020-09-19 21:29:05 +0200 <merijn> davean: If I got paid 500/hour to do C I'd still wipe it off the planet if I could ;)
2020-09-19 21:29:26 +0200geekosaurdoesn't think that worked for Solaris
2020-09-19 21:29:45 +0200 <merijn> s/Solaris/Illumos :p
2020-09-19 21:29:52 +0200 <wwwww> sm[m]: for a moment i tought i was counting wrong but no
2020-09-19 21:29:59 +0200 <davean> geekosaur: you only wish Solaris was gone.
2020-09-19 21:30:09 +0200 <sm[m]> wwwww: yes, the H and K keys. Though for whatever reason, on mac it seems to alway show the threads, unlike on linux
2020-09-19 21:30:17 +0200 <merijn> Solaris is better than Linux in tons of ways >.>
2020-09-19 21:30:41 +0200 <davean> merijn: All POSIX systems are crap.
2020-09-19 21:31:11 +0200 <davean> But at least Solaris didn't come last and then make mistakes that every predicesor made sure to avoid.
2020-09-19 21:31:12 +0200 <merijn> Sure
2020-09-19 21:31:18 +0200 <merijn> But some are more crap than others :p
2020-09-19 21:31:28 +0200 <davean> *cough*epoll*cough*
2020-09-19 21:31:31 +0200 <merijn> davean: Ah, I see you too hate epoll
2020-09-19 21:31:33 +0200 <merijn> Hah
2020-09-19 21:31:34 +0200 <sm[m]> wwwww: if you want to get to the bottom of it, you should probably create a minimal reproducible example, and show screenshots/pastes of your build/run commands and the results on both platforms as well
2020-09-19 21:31:44 +0200 <merijn> davean: God, epoll is such an embarassment
2020-09-19 21:32:03 +0200 <merijn> davean: Imagine if linux had just implemented kqueue and we could've used that portably acorss linux, macOS, and BSD :(
2020-09-19 21:32:30 +0200 <davean> merijn: oh, oh, you want to only put epoll into the "braindead things linux did that litterly no one else was stupid to do, and was conciously aware would be a bad idea"?
2020-09-19 21:32:37 +0200 <davean> merijn: because I have a whole list ...
2020-09-19 21:33:07 +0200 <merijn> davean: Naah, but it's the one that springs to mind most easily :)
2020-09-19 21:33:23 +0200 <wwwww> sm[m]: probably thats how i will endup but i don't really care about osx, it's nothing but very advanced dvd player
2020-09-19 21:33:27 +0200 <monochrom> Sorry, why is epoll a bad idea?
2020-09-19 21:33:29 +0200 <MarcelineVQ> What is the correct solution to the problem epoll tries to solve?
2020-09-19 21:33:37 +0200 <davean> (I really don't know how Linux devs manage to make so many actively bad decisions that why and how they're bad are so well established when they copy other people's work)
2020-09-19 21:33:45 +0200 <davean> MarcelineVQ: because it can never be used corretly.
2020-09-19 21:33:51 +0200 <davean> er, monochrom
2020-09-19 21:33:54 +0200 <sm[m]> iqubic: what merijn said. Recently I found researching & debugging the emacs packages & setup at the same time as hls to be just too much. The VS Code setup is waay more polished and easier, removing lots of failure modes.
2020-09-19 21:34:02 +0200 <merijn> monochrom, MarcelineVQ: https://idea.popcount.org/2017-02-20-epoll-is-fundamentally-broken-12/
2020-09-19 21:34:12 +0200 <merijn> davean: Well, it can now
2020-09-19 21:34:22 +0200 <merijn> If you know about the pitfall and use the right magic flag combination!
2020-09-19 21:34:30 +0200 <iqubic> I see. I'm going to keep using Dante for the time being.
2020-09-19 21:34:33 +0200 <davean> merijn: uh ... last I knew there were a few issues still.
2020-09-19 21:34:58 +0200 <merijn> Oh, possibly, but the the oneshot/exclusive flags fix the most glaring problems
2020-09-19 21:35:27 +0200 <davean> Yah but thats hardly the extent of it
2020-09-19 21:37:35 +0200 <merijn> monochrom: The damning thing is that Solaris ran into this issue, BSD then designed kqueue to not have the same problems, Windows' IO Completion Ports also work correctly and then after there had been 2 designs that correctly handle all the issues linux decides to, instead of adopting kqueue or the IOCP design, design their own system call that is gratuitously incompatible with kqueue *and* has the issues
2020-09-19 21:37:41 +0200 <merijn> that kqueue and IOCP were designed to not have
2020-09-19 21:39:01 +0200 <davean> Can we mention inotify here?
2020-09-19 21:39:14 +0200 <davean> Because thats also fundimentally broken in a way you can never use it correctly.
2020-09-19 21:39:19 +0200 <geekosaur> must we?
2020-09-19 21:39:25 +0200 <davean> in a way everyone else also got right before it came into existance.
2020-09-19 21:39:52 +0200 <davean> Fun fact: I have haskell packages that pass on all systems except linux because they detect the bugs in Linux.
2020-09-19 21:39:59 +0200 <davean> (their test cases)
2020-09-19 21:40:10 +0200eric(~eric@2804:431:c7d4:402a:747d:7a4a:20fc:1f27) (Remote host closed the connection)
2020-09-19 21:41:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-19 21:41:45 +0200Saten-san(~Saten-san@ip-81-11-153-236.dsl.scarlet.be) (Ping timeout: 240 seconds)
2020-09-19 21:42:10 +0200 <sm[m]> I'm learning a lot of bad things in #haskell today.. is there no hope for linux to get fixed, then ?
2020-09-19 21:42:17 +0200eric(~eric@2804:431:c7d4:402a:4dc9:97ef:220b:73aa)
2020-09-19 21:42:17 +0200 <davean> sm[m]: no
2020-09-19 21:42:20 +0200 <merijn> Not really
2020-09-19 21:42:30 +0200 <merijn> It'd break kernel API which is deathly sin according to Linus
2020-09-19 21:42:41 +0200 <davean> merijn: well they could add kqueue
2020-09-19 21:42:47 +0200 <davean> and kqueue covers inotify
2020-09-19 21:42:49 +0200 <davean> unlike epoll
2020-09-19 21:42:59 +0200 <merijn> sm[m]: You're simply learning that, despite the internet memes about Linux' "superior engineering" it is a rather shoddily engineered OS, tbh
2020-09-19 21:43:26 +0200 <davean> merijn: Yah, its the lowest code quality of any POSIX I know of.
2020-09-19 21:43:45 +0200 <davean> Its like they let just anyone submit code.
2020-09-19 21:44:00 +0200 <MarcelineVQ> time for plan9 to come to dominance
2020-09-19 21:44:10 +0200 <cohn> I prefer FreeBSD personally, but Linux gets the job done when I need it to.
2020-09-19 21:44:13 +0200 <davean> POSIX is fundimentally flawed but Linux goes out of its way to be worse
2020-09-19 21:44:36 +0200 <merijn> anyway, we drifted slightly offtopic :p
2020-09-19 21:44:37 +0200 <davean> cohn: yah, I have a few things on FreeBSD for the reason of Linux's issues and it just working better :)
2020-09-19 21:44:48 +0200 <cohn> davean: woot!
2020-09-19 21:44:58 +0200coot(~coot@37.30.55.202.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-19 21:45:25 +0200ryansmccoy(~ryansmcco@193.37.254.27) (Ping timeout: 260 seconds)
2020-09-19 21:45:26 +0200 <cohn> yea, if I could get Docker working reliably on FreeBSD, I'd have zero use for Linux
2020-09-19 21:45:32 +0200 <sm[m]> surely this toy linux thing will never go anywhere
2020-09-19 21:45:52 +0200ryansmccoy(~ryansmcco@156.96.151.132)
2020-09-19 21:46:57 +0200 <sm[m]> also can I just say it's refreshing to see linux bashed in comparison to windows for once
2020-09-19 21:47:13 +0200 <davean> sm[m]: hey, windows is pretty bad too.
2020-09-19 21:47:39 +0200 <merijn> Windows has better engineering than Linux, handsdown
2020-09-19 21:47:53 +0200 <davean> merijn: yes, but by someone who hates Window's users
2020-09-19 21:47:54 +0200 <merijn> Doesn't mean they don't make bad decisions, but overall better
2020-09-19 21:48:15 +0200 <merijn> Anyway, maybe a discussion for -offtopic :p
2020-09-19 21:48:18 +0200 <geekosaur> but windows went through a significant clean-up between 7 and 8; linux could stand to do the same,but never will (or would get worse as a result)
2020-09-19 21:48:33 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa)
2020-09-19 21:48:45 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Ping timeout: 265 seconds)
2020-09-19 21:49:05 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-19 21:51:30 +0200 <maerwald> yes, lets switch all to windows... and then lets talk again
2020-09-19 21:51:58 +0200 <maerwald> (some thing are only true when you think about it, not when you do it)
2020-09-19 21:52:19 +0200 <davean> maerwald: no, I'd prefer to be abused via negligence than malice, thanks.
2020-09-19 21:52:23 +0200zacts(~zacts@dragora/developer/zacts)
2020-09-19 21:52:41 +0200 <davean> Microsoft is compitent enough its hard to avoid their abuse.
2020-09-19 21:54:29 +0200geekosaur(42d52102@66.213.33.2) (Remote host closed the connection)
2020-09-19 21:56:04 +0200 <energizer> in pattern matching, if i forget to handle a possible case, it wont compile, right?
2020-09-19 21:56:10 +0200 <lechner> Hi, I saw STACK_ROOT for downloaded packages. How can I redirect 'stack update' to a place other than ~/.local/bin?
2020-09-19 21:56:11 +0200 <davean> incorrect
2020-09-19 21:56:23 +0200 <energizer> davean: what happens instead?
2020-09-19 21:56:30 +0200 <merijn> energizer: It will, but if you use -Wall (and you should) you'll get a warning
2020-09-19 21:56:31 +0200shad0w_(~arjun@160.202.36.27)
2020-09-19 21:56:33 +0200 <davean> energizer: you can enable -Wall to get warnings about missing cases (or a more specific flag), and -Werror would prevent the compile.
2020-09-19 21:56:44 +0200 <energizer> what will happen at runtime?
2020-09-19 21:56:45 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-09-19 21:56:48 +0200 <merijn> energizer: It'll crash
2020-09-19 21:56:58 +0200 <davean> well, it'll throw an exception
2020-09-19 21:57:03 +0200 <merijn> (well, throw an exception, but close enough)
2020-09-19 21:57:04 +0200 <davean> That might not crash it if you handle the exceptions.
2020-09-19 21:57:25 +0200 <shad0w_> hi all. whats a good second book for haskell ?
2020-09-19 21:57:35 +0200 <davean> shad0w_: tell me what a good first book is first.
2020-09-19 21:57:41 +0200 <merijn> Depends, what was the first one and what do you wanna learn
2020-09-19 21:58:06 +0200 <shad0w_> i am 3/4rths through the graham hutton book. programming in haskell (2nd ed.)
2020-09-19 21:58:08 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-09-19 21:59:01 +0200 <sm[m]> lechner: stack install is the command that writes there. Have a look at stack install --help
2020-09-19 21:59:04 +0200ukari(~ukari@unaffiliated/ukari)
2020-09-19 21:59:23 +0200eflister(47ee2144@c-71-238-33-68.hsd1.or.comcast.net) (Remote host closed the connection)
2020-09-19 21:59:39 +0200 <merijn> shad0w_: And what do you hope to get from this 2nd book that you're not getting from this one?
2020-09-19 21:59:52 +0200 <sm[m]> lechner: actually it's in stack --help. --local-bin-dir.
2020-09-19 22:00:00 +0200 <shad0w_> it was quite alright, a little low on details and real world projects though.
2020-09-19 22:00:02 +0200bicho_rastrero(~cerdito@87.85-87-38.dynamic.clientes.euskaltel.es)
2020-09-19 22:00:32 +0200 <sm[m]> that's my cue!
2020-09-19 22:00:32 +0200 <sm[m]> @where htac is nice
2020-09-19 22:00:32 +0200 <lambdabot> "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook>
2020-09-19 22:00:35 +0200 <merijn> shad0w_: What sorta details? Like "how this does compile"?
2020-09-19 22:00:38 +0200 <energizer> thanks
2020-09-19 22:01:49 +0200 <MarcelineVQ> Best to make something for yourself after reading a book, no book's gonna teach you how to do that truly, you'll only learn how to assemble their specific exercises :>
2020-09-19 22:02:25 +0200manjaroi3(~manjaro-i@2600:1700:9f00:b3df:a02:eef:be70:88de)
2020-09-19 22:02:34 +0200 <merijn> Yeah, I'd say the best way to learn is "just start"
2020-09-19 22:02:47 +0200 <shad0w_> merijn: not quite. i touched quite a few concepts and the write up for them was not very detailed. i'd be left feeling. hmm. there should be more on this in here, this cant all be it.
2020-09-19 22:02:49 +0200 <lechner> sm[m]: stack upgrade also wrote there when I ran it on the outdated 1.71 version from stock debian. it seems an environment variable might be safer than just --local-bin-dir per invocation
2020-09-19 22:02:53 +0200 <merijn> There's whole bunches of reading for specific topics/things, but best to discover them "as is"
2020-09-19 22:03:04 +0200 <shad0w_> mostly on the haskell parts that are different from other langs
2020-09-19 22:03:04 +0200gmt(~gmt@pool-71-105-108-44.nycmny.fios.verizon.net) (Ping timeout: 246 seconds)
2020-09-19 22:03:12 +0200 <shad0w_> like typeclasses and more
2020-09-19 22:03:24 +0200kleisli_(~kleisli@172-8-147-49.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-19 22:03:30 +0200 <davean> I've only ever got compitent by reading before doing, not really by doing personally. Doing leads to me pattern matching, reading leads to me thinking and understanding.
2020-09-19 22:03:30 +0200 <merijn> shad0w_: Incidentally, often overlooked/underrated document is just the Haskell 2010 report which should be read by more people than it is :p
2020-09-19 22:03:40 +0200 <ski> @where report
2020-09-19 22:03:40 +0200 <lambdabot> http://www.haskell.org/onlinereport/haskell2010/ (more: http://www.haskell.org/haskellwiki/Definition)
2020-09-19 22:03:44 +0200 <davean> Only when I produce something novel does doing help.
2020-09-19 22:04:01 +0200 <sm[m]> +1 re Haskell report, also the GHC User Guide and typeclassopaedia
2020-09-19 22:04:09 +0200 <sm[m]> and base haddock
2020-09-19 22:04:16 +0200 <merijn> davean: Right, but if you just finish reading a programming book, you should probably try and put it into practice before grabbing a 2nd book :)
2020-09-19 22:04:17 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957)
2020-09-19 22:04:36 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957) (Client Quit)
2020-09-19 22:04:38 +0200 <ski> @where Typeclassopedia
2020-09-19 22:04:38 +0200 <lambdabot> http://www.haskell.org/haskellwiki/Typeclassopedia
2020-09-19 22:04:41 +0200 <shad0w_> MarcelineVQ: i tend to agree
2020-09-19 22:04:45 +0200 <merijn> You can keep reading until the heat death of the universe, but at some point you gotta do something :)
2020-09-19 22:05:09 +0200 <shad0w_> just dont really feel im still comfortable with the language enough yet though.
2020-09-19 22:05:23 +0200 <shad0w_> but then again, that happens by using it more.
2020-09-19 22:05:31 +0200 <sm[m]> lechner: you're right, stack upgrade writes there too. Maybe there's an env var mentioned in the user guide
2020-09-19 22:05:37 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957)
2020-09-19 22:05:44 +0200 <bicho_rastrero> The videos of Erik Meijer from Channel 9 are a good intro.
2020-09-19 22:06:02 +0200 <davean> merijn: your experience and mine probably differ.
2020-09-19 22:06:44 +0200 <shad0w_> my experience tend to lean more towards @davean side aswell.
2020-09-19 22:06:52 +0200 <shad0w_> tends*
2020-09-19 22:06:53 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2020-09-19 22:07:17 +0200 <monochrom> Speaking of which, due to quirks in human minds, the 2nd (and even the 3rd) book doesn't have to be different.
2020-09-19 22:07:17 +0200 <merijn> shad0w_: Yeah, but "doing stuff and getting stuck" will let you know exactly *what* you don't get yet and then people can point to more specific resources
2020-09-19 22:07:32 +0200 <shad0w_> so far, i've written down the cookbook, haskell 2010 report and typeclassopedia ?
2020-09-19 22:07:40 +0200 <davean> typeclassopedia is great
2020-09-19 22:07:43 +0200 <merijn> @where rwh
2020-09-19 22:07:44 +0200 <lambdabot> http://www.realworldhaskell.org/blog/ http://book.realworldhaskell.org/read/
2020-09-19 22:07:49 +0200 <merijn> Oh, that's still the old one
2020-09-19 22:07:53 +0200 <monochrom> In a math channel someone made the great observation that "the 3rd calculus textbook you read is the best".
2020-09-19 22:08:01 +0200 <merijn> https://github.com/tssm/up-to-date-real-world-haskell
2020-09-19 22:08:02 +0200sedeki(~textual@unaffiliated/sedeki)
2020-09-19 22:08:15 +0200 <monochrom> This is only because some people really need the same thing repeated 3 times.
2020-09-19 22:08:25 +0200 <shad0w_> +1
2020-09-19 22:08:46 +0200 <merijn> shad0w_: RWH skimps over many language details, but it does have a bunch of real world examples (although the original version's code might have bitrotted due to newer library versions)
2020-09-19 22:09:05 +0200 <merijn> The high level ideas of "how to write a Haskell application" and the high level library designs remains relevant, though
2020-09-19 22:09:11 +0200 <shad0w_> i can glue around those, i think ?
2020-09-19 22:11:26 +0200 <sm[m]> shad0w_: GHC User Guide (and cabal's & stack's, really) and the base package's haddock docs are also worth knowing at least in outline
2020-09-19 22:12:15 +0200mitchellsalad(uid40617@gateway/web/irccloud.com/x-nltqasqieelsglgp) (Quit: Connection closed for inactivity)
2020-09-19 22:12:21 +0200 <sm[m]> maybe it was mentioned, but you also will learn fast by looking at successful FOSS projects and maybe asking for guidance in their IRC rooms
2020-09-19 22:12:39 +0200 <cohn> ok, silly question time. Combinators are kind of the opposite of Functors, right?
2020-09-19 22:13:28 +0200 <sm[m]> shad0w_: still more.. doing exercises will build some fluency, project euler did it for me
2020-09-19 22:13:53 +0200 <shad0w_> okay, these links should keep me busy.
2020-09-19 22:14:14 +0200 <shad0w_> thanks, you guys are helpful : )
2020-09-19 22:14:18 +0200sedeki(~textual@unaffiliated/sedeki) ("Textual IRC Client: www.textualapp.com")
2020-09-19 22:14:18 +0200 <sm[m]> then there's videos. Really there's too much :)
2020-09-19 22:14:21 +0200 <lechner> okay, now i have the latest stack and ghc. which SHA512 should i get and how, please?
2020-09-19 22:14:34 +0200sedeki(~textual@unaffiliated/sedeki)
2020-09-19 22:14:36 +0200 <shad0w_> you guys hang around here often ?
2020-09-19 22:15:18 +0200johtso(uid563@gateway/web/irccloud.com/x-xmeoikcxfjfjijiq) (Quit: Connection closed for inactivity)
2020-09-19 22:15:48 +0200 <shad0w_> sm[m]: i mostly do exercism, but its getting a little repetitive for me. i think i'll give project euler a look too.
2020-09-19 22:15:54 +0200 <sm[m]> lechner: hoogle can help find some candidate packages: https://hoogle.haskell.org/?hoogle=sha512&scope=set%3Astackage
2020-09-19 22:16:08 +0200drupol(sid117588@gateway/web/irccloud.com/x-thtirfgpuxvejbva)
2020-09-19 22:16:13 +0200sedeki(~textual@unaffiliated/sedeki) (Quit: Textual IRC Client: www.textualapp.com)
2020-09-19 22:16:33 +0200 <drupol> Hello,
2020-09-19 22:16:39 +0200mitchellsalad(uid40617@gateway/web/irccloud.com/x-evcglbwkcwzfvhut)
2020-09-19 22:16:54 +0200 <drupol> How can I do "import Data.List.Ordered" in my code ? It doesn't work locally.
2020-09-19 22:17:01 +0200 <drupol> Could not find module ‘Data.List.Ordered’
2020-09-19 22:17:30 +0200 <ddellacosta> drupol: how are you building your project?
2020-09-19 22:17:52 +0200 <drupol> I'm just a beginner, I'm trying to do this example: https://wiki.haskell.org/Prime_numbers#Sieve_of_Eratosthenes
2020-09-19 22:18:06 +0200 <drupol> I'm building my project in ghci I do: :load Main.hs
2020-09-19 22:18:21 +0200 <ddellacosta> drupol: are you using cabal, or stack?
2020-09-19 22:18:26 +0200 <drupol> Stack
2020-09-19 22:19:18 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-19 22:19:55 +0200 <ddellacosta> drupol: so, I'm less familiar with stack, but I think you need to add the data-ordlist dependency to your stack.yaml somehow. Have you done this?
2020-09-19 22:20:32 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-19 22:21:03 +0200 <sm[m]> add it to the .cabal or package.yaml file, rather
2020-09-19 22:21:09 +0200 <drupol> No, I never had to deal with that stuff yet
2020-09-19 22:21:17 +0200 <ddellacosta> sm[m]: thanks, I was hoping someone would correct me if I screwed that up...
2020-09-19 22:21:34 +0200 <sm[m]> if it weren't in stackage, then you'd be right
2020-09-19 22:21:36 +0200 <drupol> How to create a basic package.yaml file?
2020-09-19 22:21:51 +0200 <ddellacosta> drupol: so basically what you're trying to use is a package that is not included by default (which is not very clear from the example you're working from, so don't feel like you missed anything)
2020-09-19 22:21:57 +0200 <sm[m]> drupol, if you don't have one don't bother, use the .cabal file
2020-09-19 22:21:58 +0200martin___(uid411878@gateway/web/irccloud.com/x-jsetcwsgqhdwsuvk) (Quit: Connection closed for inactivity)
2020-09-19 22:22:26 +0200 <ddellacosta> drupol: follow sm[m] 's advice on stack here on out please :-D
2020-09-19 22:22:36 +0200 <sm[m]> but I guess you don't have a .cabal file either eh
2020-09-19 22:22:46 +0200 <drupol> No I don't have any of those files indeed.
2020-09-19 22:22:49 +0200sm[m]tag-teams with ddellacosta
2020-09-19 22:22:50 +0200 <drupol> It's pretty new for me.
2020-09-19 22:23:00 +0200 <ddellacosta> sm[m]: thanks!
2020-09-19 22:24:11 +0200 <bicho_rastrero> merijn: The source for "How to write a Haskell application" is https://wiki.haskell.org/How_to_write_a_Haskell_program or did you mean another one? The title is too generic.
2020-09-19 22:24:36 +0200 <sm[m]> drupol, there are a few ways to get the extra package needed to make that import work. If this is just a one-time experiment, I personally would install it "globally" (stack install data-ordlist) and then use the -package data-ordlist option with ghc & ghci
2020-09-19 22:24:52 +0200frdg(~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-19 22:24:54 +0200 <drupol> Okay, thanks :-)
2020-09-19 22:25:48 +0200 <frdg> How can I upgrade from stack 2.3.3 to stack 2.4?
2020-09-19 22:25:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-09-19 22:26:05 +0200zacts(~zacts@dragora/developer/zacts) (Ping timeout: 240 seconds)
2020-09-19 22:26:07 +0200 <bicho_rastrero> Dammit.
2020-09-19 22:26:13 +0200shad0w_(~arjun@160.202.36.27) ("Using Circe, the loveliest of all IRC clients")
2020-09-19 22:26:50 +0200 <drupol> @sm[m] GHCi, version 8.8.4: https://www.haskell.org/ghc/ :? for help
2020-09-19 22:26:50 +0200 <drupol> <command line>: cannot satisfy -package data-ordlist
2020-09-19 22:26:50 +0200 <drupol> (use -v for more information)
2020-09-19 22:26:51 +0200 <lambdabot> Unknown command, try @list
2020-09-19 22:27:46 +0200 <sm[m]> drupol: my mistake. stack install data-ordlist && stack exec -- ghci -package data-ordlist Main.hs ?
2020-09-19 22:27:58 +0200 <drupol> Trying it out
2020-09-19 22:28:11 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz) (Remote host closed the connection)
2020-09-19 22:28:31 +0200p-core(~Thunderbi@koleje-wifi-0046.koleje.cuni.cz)
2020-09-19 22:29:03 +0200 <drupol> sm[m]: Works flawlessly. Is there a way to automatize this when I run ghc or ghci ?
2020-09-19 22:30:43 +0200 <sm[m]> several ways. Usually the way is to make a "project" directory with stack init or cabal init. You put Main.hs in there and you add data-ordlist to the list of dependencies in the .cabal file
2020-09-19 22:31:04 +0200 <sm[m]> and then inside that project dir you can just do stack ghci, stack build etc
2020-09-19 22:31:09 +0200 <drupol> Going to try the Stack init.
2020-09-19 22:31:48 +0200dale(dale@unaffiliated/dale) (Remote host closed the connection)
2020-09-19 22:32:00 +0200dale(dale@unaffiliated/dale)
2020-09-19 22:32:02 +0200 <wwwww> c
2020-09-19 22:32:06 +0200 <drupol> Ok I have stack.yaml file now :-)
2020-09-19 22:32:52 +0200 <wwwww> wrong chat
2020-09-19 22:33:33 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-19 22:33:50 +0200 <frdg> here is my problem: I have a server that I ssh into. I would like to run a stack program from this server. How can I transfer the project as a whole instead of having to compile from source? Or should I just install from source?
2020-09-19 22:33:50 +0200 <frdg> So far I have run into issues trying to re-compile.
2020-09-19 22:34:06 +0200frdg`(~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-19 22:34:09 +0200frdg(~user@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-09-19 22:34:22 +0200 <sm[m]> drupol: fair warning, we can advise how to do basic stuff but you will probably get confused and have a horrible time unless you read some of the stack and maybe the cabal user guides
2020-09-19 22:34:49 +0200 <drupol> extra-deps:
2020-09-19 22:34:49 +0200 <drupol> - data-ordlist-0.4.7.0
2020-09-19 22:34:53 +0200 <drupol> Sure I understand
2020-09-19 22:34:58 +0200 <drupol> But that is working :-)
2020-09-19 22:35:09 +0200 <drupol> Thanks!
2020-09-19 22:35:19 +0200walla(47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-19 22:35:27 +0200 <sm[m]> np
2020-09-19 22:39:54 +0200 <sm[m]> frdg: if you can arrange for your build machine and server to be the same architecture and similar os version, you can copy the binary
2020-09-19 22:40:18 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de)
2020-09-19 22:40:29 +0200 <sm[m]> if not, you could build inside a vm that's configured like the server
2020-09-19 22:40:54 +0200 <frdg`> both are x86_64. OS's are the same
2020-09-19 22:40:57 +0200 <sm[m]> I think people also use "docker" for this, but I don't understand how that all works
2020-09-19 22:41:10 +0200 <sm[m]> that sounds good then
2020-09-19 22:41:43 +0200 <frdg`> I ended up getting linux on that macbook :)
2020-09-19 22:41:53 +0200 <sm[m]> ha, nice
2020-09-19 22:42:08 +0200 <sm[m]> the binary will depend on some c libs , which should be present on both machines
2020-09-19 22:42:40 +0200 <frdg`> ok
2020-09-19 22:43:30 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-19 22:44:01 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957)
2020-09-19 22:46:47 +0200_xor(~xor@74.215.46.133) (Quit: WeeChat 2.9)
2020-09-19 22:48:01 +0200 <ddellacosta> yeah I was going to say nix-copy-clojure or some other form of nix magic, or docker
2020-09-19 22:48:19 +0200 <ddellacosta> but nix is a big ask if you aren't already familiar
2020-09-19 22:48:38 +0200 <ddellacosta> I mean, docker is too I guess, but a bit easier to get started with
2020-09-19 22:49:35 +0200danvet_(~Daniel@212-51-149-96.fiber7.init7.net)
2020-09-19 22:49:36 +0200 <ddellacosta> lol nix-copy-closure I mean
2020-09-19 22:49:37 +0200 <frdg`> how do I create the binaries? Is this done with stack?
2020-09-19 22:49:40 +0200 <ddellacosta> guess what my day job is
2020-09-19 22:49:59 +0200fendor(~fendor@212095005091.public.telering.at)
2020-09-19 22:50:26 +0200wroathe_(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-19 22:50:38 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-09-19 22:53:22 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Remote host closed the connection)
2020-09-19 22:54:17 +0200ggole(~ggole@2001:8003:8119:7200:df:f904:197b:d0a9) (Quit: Leaving)
2020-09-19 22:54:20 +0200lambda-11235(~lambda-11@108-237-120-58.lightspeed.frokca.sbcglobal.net)
2020-09-19 22:57:53 +0200wroathe_wroathe
2020-09-19 22:59:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 23:00:01 +0200exarkun1(~exarkun@193.56.252.210) ()
2020-09-19 23:01:42 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:a06a:6814:10f6:3957) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-19 23:04:22 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-09-19 23:05:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-19 23:08:39 +0200 <sm[m]> frdg`: yes, stack build (or stack install which copies them to a more convenient place)
2020-09-19 23:09:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-19 23:09:41 +0200 <tomsmeding> maerwald: what tar package would you suggest I use for creating tar files?
2020-09-19 23:09:53 +0200 <tomsmeding> preferably one that doesn't limit the file name length
2020-09-19 23:09:57 +0200 <tomsmeding> :p
2020-09-19 23:10:02 +0200 <walla> ok. I will be able to figure it out from here. I have to figure out how to get the database working and all that first. Thanks for the help as always.
2020-09-19 23:10:42 +0200lkr123(5b40b67c@ip5b40b67c.dynamic.kabel-deutschland.de)
2020-09-19 23:10:47 +0200 <walla> haha it is fridge from my other computer by accident :)
2020-09-19 23:10:50 +0200 <walla> frdg
2020-09-19 23:11:24 +0200tessier(~treed@kernel-panic/copilotco) (Ping timeout: 265 seconds)
2020-09-19 23:11:41 +0200tessier(~treed@kernel-panic/copilotco)
2020-09-19 23:14:32 +0200xpika(~alan@2001:8003:5d32:1f00:2a:bc61:ce8c:6d8) (Ping timeout: 260 seconds)
2020-09-19 23:17:37 +0200bicho_rastrero(~cerdito@87.85-87-38.dynamic.clientes.euskaltel.es) (Remote host closed the connection)
2020-09-19 23:17:37 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-09-19 23:18:03 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-09-19 23:19:06 +0200_xor(~xor@74.215.46.133)
2020-09-19 23:19:49 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-09-19 23:22:14 +0200 <manjaroi3> How can I generate haddock docs for the Prelude? Or even just for a single module, e.g. Control.Monad
2020-09-19 23:23:16 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-09-19 23:23:29 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-19 23:23:59 +0200 <tomsmeding> is there a tool for generating a dependency tree of hackage packages, by any chance?
2020-09-19 23:28:05 +0200son0p(~son0p@186.159.4.142) (Ping timeout: 240 seconds)
2020-09-19 23:28:05 +0200josh(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 23:30:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-19 23:31:14 +0200knupfer(~Thunderbi@mue-88-130-61-068.dsl.tropolys.de) (Ping timeout: 272 seconds)
2020-09-19 23:36:01 +0200day(~Unknown@unaffiliated/day) (Read error: Connection reset by peer)
2020-09-19 23:36:24 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-19 23:36:33 +0200eric(~eric@2804:431:c7d4:402a:4dc9:97ef:220b:73aa) (Remote host closed the connection)
2020-09-19 23:41:26 +0200ukari(~ukari@unaffiliated/ukari) (Remote host closed the connection)
2020-09-19 23:42:42 +0200mpereira(~mpereira@2a02:810d:f40:d96:b46b:1e98:8653:4550)
2020-09-19 23:42:58 +0200hackageshake-plus-extended 0.4.1.0 - Experimental extensions to shake-plus https://hackage.haskell.org/package/shake-plus-extended-0.4.1.0 (locallycompact)
2020-09-19 23:44:56 +0200 <jamestmartin> tomsmeding: if you mean a visualization and not a data structure, then `stack dot`
2020-09-19 23:45:20 +0200 <tomsmeding> well a data structure is also fine, but visualisation is better :p
2020-09-19 23:45:28 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-09-19 23:45:46 +0200frdg`(~user@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-09-19 23:45:48 +0200 <tomsmeding> pity that only works on stack projects
2020-09-19 23:45:49 +0200frdg``(~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-19 23:46:03 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-19 23:46:39 +0200danvet_(~Daniel@212-51-149-96.fiber7.init7.net) (Ping timeout: 260 seconds)
2020-09-19 23:48:11 +0200ubert(~Thunderbi@178.115.131.12.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-09-19 23:48:25 +0200walla(47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Ping timeout: 245 seconds)
2020-09-19 23:52:05 +0200ubert(~Thunderbi@178.115.131.12.wireless.dyn.drei.com)
2020-09-19 23:56:04 +0200MasterGruntR75(~MasterGru@185.163.110.116)
2020-09-19 23:56:11 +0200ubert(~Thunderbi@178.115.131.12.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-09-19 23:56:34 +0200frdg```(~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-19 23:56:37 +0200frdg``(~user@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-09-19 23:59:15 +0200MarcelineVQ(~anja@198.254.202.72) (Ping timeout: 265 seconds)
2020-09-19 23:59:37 +0200MVQq(~anja@198.254.202.72)