IRCBrowse

2020/10/14

2020-10-14 00:01:24 +0200Mouse34(8137c814@LLPROXY.LL.MIT.EDU) (Remote host closed the connection)
2020-10-14 00:01:25 +0200mav1(~mav@ipservice-092-217-043-250.092.217.pools.vodafone-ip.de)
2020-10-14 00:01:27 +0200hseg(~gesh@185.120.126.55) (Quit: WeeChat 2.9)
2020-10-14 00:02:08 +0200 <proofofme> interesting ... playing around with some of these concepts shortly
2020-10-14 00:02:25 +0200untseac(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 240 seconds)
2020-10-14 00:03:13 +0200xsperry(~as@unaffiliated/xsperry) (Ping timeout: 264 seconds)
2020-10-14 00:03:14 +0200 <int-e> hseg: you can have some fun with pattern guards whose patterns are plain variables: c (map Just -> ls) (map Just -> ms) (map Just -> sort -> ns) | n <- length ns, pls <- pad n ls, pms <- pad n ms = ...
2020-10-14 00:03:26 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 246 seconds)
2020-10-14 00:03:49 +0200xsperry(~as@unaffiliated/xsperry)
2020-10-14 00:05:32 +0200Gerula(~Gerula@unaffiliated/gerula)
2020-10-14 00:05:32 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl) (Read error: Connection reset by peer)
2020-10-14 00:06:12 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-14 00:07:36 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-14 00:08:04 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-14 00:08:13 +0200clog(~nef@bespin.org)
2020-10-14 00:10:59 +0200kupi(uid212005@gateway/web/irccloud.com/x-fmxlaxhuszjyrjhy)
2020-10-14 00:11:48 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-14 00:12:01 +0200 <kupi> hi. in ghci ":module + Data.Ratio" and "import Data.Ratio" are equivalent?
2020-10-14 00:12:15 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-10-14 00:12:37 +0200taurux(~taurux@net-109-115-33-211.cust.vodafonedsl.it) (Ping timeout: 246 seconds)
2020-10-14 00:13:02 +0200 <monochrom> Yes
2020-10-14 00:13:48 +0200taurux(~taurux@net-93-151-195-211.cust.vodafonedsl.it)
2020-10-14 00:16:43 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-14 00:16:57 +0200cosimone(~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-10-14 00:17:48 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-14 00:18:19 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-14 00:19:09 +0200ralejs_(~ralejs@2620:10d:c093:400::5:c80) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-14 00:23:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 00:28:10 +0200lucasb(uid333435@gateway/web/irccloud.com/x-rbuougcnirltldfu)
2020-10-14 00:31:06 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-14 00:31:13 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2020-10-14 00:33:58 +0200hackagefourmolu 0.3.0.0 - A formatter for Haskell source code https://hackage.haskell.org/package/fourmolu-0.3.0.0 (GeorgeThomas)
2020-10-14 00:34:50 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 00:36:37 +0200Ariakenom(~Ariakenom@h-155-4-221-50.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-14 00:36:39 +0200conal(~conal@64.71.133.70)
2020-10-14 00:40:26 +0200mav1(~mav@ipservice-092-217-043-250.092.217.pools.vodafone-ip.de) (Ping timeout: 256 seconds)
2020-10-14 00:42:25 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-14 00:46:06 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds)
2020-10-14 00:46:20 +0200_ashbreeze_(~mark@72-161-51-235.dyn.centurytel.net)
2020-10-14 00:46:29 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-14 00:48:31 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-14 00:49:16 +0200dhouthoo_(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-14 00:53:39 +0200jespada(~jespada@90.254.245.15) (Ping timeout: 265 seconds)
2020-10-14 00:54:24 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.7.1)
2020-10-14 00:56:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-14 00:57:05 +0200jespada(~jespada@90.254.245.15)
2020-10-14 01:00:55 +0200revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-14 01:01:19 +0200nineonine(~nineonine@216.81.48.202) (Read error: Connection reset by peer)
2020-10-14 01:01:19 +0200revprez_1nzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-14 01:01:37 +0200nineonine(~nineonine@216.81.48.202)
2020-10-14 01:02:05 +0200iteratee(~kyle@162.211.154.4) (Read error: Connection reset by peer)
2020-10-14 01:02:11 +0200iteratee(~kyle@162.211.154.4)
2020-10-14 01:02:19 +0200 <kupi> in ghci how to undo ":set +t"?
2020-10-14 01:02:47 +0200 <hpc> use :unset
2020-10-14 01:02:55 +0200 <hpc> see also, :help
2020-10-14 01:04:17 +0200fre(~freusque@104.238.190.229) (Ping timeout: 265 seconds)
2020-10-14 01:04:46 +0200iomonad(~iomonad@unaffiliated/iomonad) (Ping timeout: 265 seconds)
2020-10-14 01:05:15 +0200fre(~freusque@104.238.190.229)
2020-10-14 01:05:28 +0200hackageformatting 7.1.0 - Combinator-based type-safe formatting (like printf() or FORMAT) https://hackage.haskell.org/package/formatting-7.1.0 (AlexChapman)
2020-10-14 01:08:09 +0200wildlander(~wildlande@unaffiliated/wildlander)
2020-10-14 01:08:11 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-14 01:09:31 +0200iomonad(~iomonad@unaffiliated/iomonad)
2020-10-14 01:10:28 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-14 01:13:12 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-14 01:15:17 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 01:16:33 +0200cgfbee(~bot@oc1.itim-cj.ro) (Ping timeout: 258 seconds)
2020-10-14 01:18:50 +0200 <crestfallen> hi please assist me going through this unification exercise. It's from SO and someone here helped me earlier though I still don't understand a few things, for starters: how g is both g :: c -> b -> a and g :: d -> c
2020-10-14 01:18:56 +0200 <crestfallen> https://github.com/varreli/haskell/blob/master/handEval/unify_f_g_h.txt
2020-10-14 01:20:12 +0200 <hpc> type variables can unify with other type variables
2020-10-14 01:20:19 +0200 <hpc> they're placeholders with names
2020-10-14 01:20:35 +0200natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-14 01:20:35 +0200 <hpc> imagine (+) :: Num a => a -> a, and (+) :: Num b => b -> b
2020-10-14 01:20:49 +0200justache(~justache@unaffiliated/justache) (Quit: Ping timeout (120 seconds))
2020-10-14 01:20:52 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-14 01:20:52 +0200 <Axman6> unary plus++
2020-10-14 01:21:02 +0200mdunnio(~mdunnio@208.59.170.5) (Read error: Connection reset by peer)
2020-10-14 01:21:04 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-14 01:21:08 +0200natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2020-10-14 01:21:13 +0200 <hpc> whoops, you know what i mean
2020-10-14 01:21:25 +0200 <hpc> anyhoo
2020-10-14 01:21:35 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-14 01:21:50 +0200 <hpc> when you look at g :: c -> b -> a, it's actually g :: c -> (b -> a)
2020-10-14 01:21:55 +0200__skn-(~sunil@sec.nimmagadda.net) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-14 01:21:57 +0200incertia(~incertia@d60-65-215-180.col.wideopenwest.com) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-14 01:21:58 +0200quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-14 01:21:59 +0200mrus(~mrus@128.199.6.232) (Quit: Surfing the great wave off Kanagawa)
2020-10-14 01:22:06 +0200justache(~justache@unaffiliated/justache)
2020-10-14 01:22:10 +0200 <hpc> and if you put that side by side with g :: d -> c
2020-10-14 01:22:11 +0200__skn(~sunil@sec.nimmagadda.net)
2020-10-14 01:22:17 +0200quinn(~quinn@c-73-223-224-163.hsd1.ca.comcast.net)
2020-10-14 01:22:17 +0200mrus(~mrus@128.199.6.232)
2020-10-14 01:22:19 +0200incertia(~incertia@d60-65-215-180.col.wideopenwest.com)
2020-10-14 01:22:31 +0200 <hpc> then you have the left (->) lining up with the only (->)
2020-10-14 01:22:39 +0200urdh(~urdh@unaffiliated/urdh) (Ping timeout: 265 seconds)
2020-10-14 01:22:40 +0200 <hpc> and c = d, and c = (b -> a)
2020-10-14 01:23:11 +0200 <hpc> or well, upper c = lower d, upper (b -> a) = lower c
2020-10-14 01:23:14 +0200 <crestfallen> hpc thanks one moment
2020-10-14 01:23:38 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 260 seconds)
2020-10-14 01:23:38 +0200nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 260 seconds)
2020-10-14 01:23:38 +0200gareth__(~gareth__@104.236.161.134) (Ping timeout: 260 seconds)
2020-10-14 01:23:51 +0200nineonine(~nineonine@216.81.48.202) (Remote host closed the connection)
2020-10-14 01:24:13 +0200CindyLinz(~cindy_utf@112.121.78.20) (Ping timeout: 260 seconds)
2020-10-14 01:24:13 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2020-10-14 01:24:13 +0200jameekim1(~jameekim@mx.nodaplife.me) (Ping timeout: 260 seconds)
2020-10-14 01:24:41 +0200AWizzArd(~code@unaffiliated/awizzard) (Ping timeout: 260 seconds)
2020-10-14 01:24:44 +0200urdh(~urdh@unaffiliated/urdh)
2020-10-14 01:24:46 +0200CindyLinz(~cindy_utf@112.121.78.20)
2020-10-14 01:24:48 +0200 <crestfallen> hpc what is the logic behind assigning the whole expression to a on line 3
2020-10-14 01:24:56 +0200jameekim1(~jameekim@mx.nodaplife.me)
2020-10-14 01:25:23 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Ping timeout: 240 seconds)
2020-10-14 01:25:23 +0200ystael(~ystael@209.6.50.55) (Ping timeout: 260 seconds)
2020-10-14 01:25:25 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl) (Ping timeout: 246 seconds)
2020-10-14 01:25:28 +0200cgfbee(~bot@oc1.itim-cj.ro)
2020-10-14 01:25:29 +0200 <Axman6> you just need a name for the result of the whole expression, and that type will be the ultimate return type of f
2020-10-14 01:25:45 +0200esg(~emil@esg.xen.prgmr.com) (Ping timeout: 258 seconds)
2020-10-14 01:25:53 +0200 <hpc> ^ that
2020-10-14 01:26:04 +0200 <hpc> the expression has a type, you just haven't figured out what it is yet
2020-10-14 01:26:04 +0200 <Axman6> f :: ? -> ?? -> ??? -> ???? -> a
2020-10-14 01:26:07 +0200 <hpc> but you can give it a name
2020-10-14 01:26:13 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-14 01:26:17 +0200 <hpc> and that name is a, because why not
2020-10-14 01:26:30 +0200esg(~emil@esg.xen.prgmr.com)
2020-10-14 01:27:27 +0200 <hpc> as you dig deeper into the expression you build constraints on what a can actually be
2020-10-14 01:27:31 +0200 <hpc> and then you unify those constraints
2020-10-14 01:27:54 +0200 <hpc> it's essentially solving a system of equations
2020-10-14 01:28:21 +0200 <crestfallen> yeah thanks ok so the g on line 11 is the g in (g x) getting expanded, right?
2020-10-14 01:28:35 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 01:28:47 +0200gareth__(~gareth__@104.236.161.134)
2020-10-14 01:29:25 +0200nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com)
2020-10-14 01:29:30 +0200 <crestfallen> then the g on line 14 is the leftmost g in the expression
2020-10-14 01:29:37 +0200mdunnio(~mdunnio@208.59.170.5) (Read error: Connection reset by peer)
2020-10-14 01:30:12 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-14 01:30:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 01:30:54 +0200ystael(~ystael@209.6.50.55)
2020-10-14 01:31:08 +0200 <hpc> something like that, that part's weirdly written
2020-10-14 01:31:17 +0200 <hpc> but yeah, you're building constraints from two different applciations of g
2020-10-14 01:31:18 +0200pera(~pera@unaffiliated/pera) (Ping timeout: 272 seconds)
2020-10-14 01:31:51 +0200 <crestfallen> hpc which part? pls explain why it's weird and better alternative
2020-10-14 01:33:08 +0200perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-10-14 01:33:08 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-14 01:33:13 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-14 01:33:15 +0200AWizzArd(~code@gehrels.uberspace.de)
2020-10-14 01:33:22 +0200 <crestfallen> There's this algorithm W in ghci, I'd like to understand this aspect of haskell
2020-10-14 01:35:01 +0200 <hpc> just that i can't tell which g is which, but to be fair, i am not reading this paste very carefully, most of explaining this is kind of autopilot for me at this point :P
2020-10-14 01:35:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-14 01:39:37 +0200 <crestfallen> hpc it came from this SO : https://stackoverflow.com/questions/50777884/manual-type-inference-in-haskell/50778324
2020-10-14 01:40:03 +0200 <crestfallen> it goes on to assign y :: e
2020-10-14 01:40:32 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-14 01:41:40 +0200 <crestfallen> I see e in these unifying exercises: does that mean partial application like (-> e) or something?
2020-10-14 01:46:02 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-14 01:46:54 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-14 01:48:11 +0200oisdk(~oisdk@2001:bb6:3329:d100:a9e4:32d1:231e:16a5) (Quit: oisdk)
2020-10-14 01:53:00 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-10-14 01:54:32 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 01:54:33 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 01:55:02 +0200conal(~conal@64.71.133.70)
2020-10-14 01:55:28 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 260 seconds)
2020-10-14 01:55:42 +0200mdunnio(~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-10-14 01:57:46 +0200 <proofofme> do y'all know any good Haskell bindings for MapBox?
2020-10-14 01:59:07 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-14 01:59:08 +0200ystael(~ystael@209.6.50.55) (Read error: Connection reset by peer)
2020-10-14 01:59:35 +0200pera(~pera@unaffiliated/pera)
2020-10-14 02:00:02 +0200BusError1(~BusError@185.163.110.116) ()
2020-10-14 02:00:21 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 02:00:22 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 02:02:13 +0200xff0x(~fox@2001:1a81:52e4:2a00:a0c7:cc77:f7d4:2372) (Ping timeout: 272 seconds)
2020-10-14 02:02:31 +0200 <crestfallen> so if we infer that g :: a ~ (c -> e) is e used just as a symbol for an unknown type?
2020-10-14 02:02:37 +0200xff0x(~fox@2001:1a81:52e4:2a00:832:9834:d4e8:1bdd)
2020-10-14 02:02:40 +0200 <crestfallen> hpc Axman6 ?
2020-10-14 02:03:10 +0200dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-226.hsi8.kabel-badenwuerttemberg.de)
2020-10-14 02:04:53 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 246 seconds)
2020-10-14 02:05:21 +0200conal(~conal@64.71.133.70)
2020-10-14 02:05:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 02:05:55 +0200 <Axman6> sure, you can make up your own variable names any time you want
2020-10-14 02:06:29 +0200hashenas(~oem@0x3e2c86e5.mobile.telia.dk)
2020-10-14 02:07:07 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-14 02:08:36 +0200 <crestfallen> Axman6: thanks thats a convention I guess, like a placemarker until you figure out what it is?
2020-10-14 02:08:51 +0200 <crestfallen> e, that is..
2020-10-14 02:12:02 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 02:13:13 +0200 <crestfallen> also how do we know that " by inspection, we know that c and d are equivalent " in g :: c -> b -> a and g :: d -> c ..?
2020-10-14 02:15:22 +0200hashenas(~oem@0x3e2c86e5.mobile.telia.dk) (Quit: Leaving)
2020-10-14 02:15:23 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-14 02:17:02 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-14 02:22:04 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-14 02:26:29 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-14 02:26:41 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-14 02:32:18 +0200 <Axman6> because g can only have one type, so c -> (b -> a) ~ d -> c', therefore c ~ d
2020-10-14 02:32:20 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-10-14 02:32:27 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2020-10-14 02:32:29 +0200 <Axman6> and b -> a ~ c'
2020-10-14 02:32:50 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 02:32:56 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-14 02:35:07 +0200kl1xto(~klixto@49.188.65.219)
2020-10-14 02:36:08 +0200 <crestfallen> copy that Axman6 hpc thanks so much . not easy with such a abstract func. definition.
2020-10-14 02:37:07 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 02:37:30 +0200 <dnlkrgr> could all Haskell syntax extensions be represented as template haskell packages instead?
2020-10-14 02:37:56 +0200 <Axman6> well, most of them are syntactic, so there wou;dn't be much point
2020-10-14 02:38:05 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2020-10-14 02:38:22 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 256 seconds)
2020-10-14 02:39:00 +0200 <Axman6> if I had to write [NumericUnderscores|0b1100_1010_0011_0101|] I'd be unhappy (technically a quasi quote but similar)
2020-10-14 02:39:59 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-14 02:40:10 +0200 <dnlkrgr> right the ergonomics are worse, I think the cool thing would GHC development is not burdened by such extensions and users could just get a package instead of waiting for a new GHC version
2020-10-14 02:40:48 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 256 seconds)
2020-10-14 02:40:58 +0200 <dnlkrgr> and I guess one is limited by what the AST offers, no new stuff
2020-10-14 02:41:54 +0200 <monochrom> This seems to presuppose that most GHC extensions are merely syntax sugars over Haskell 2010.
2020-10-14 02:42:02 +0200 <solonarv> GHC plugins would be a better approach than TH packages for a lot of extensions
2020-10-14 02:42:13 +0200 <solonarv> and that idea has indeed been floated a few times
2020-10-14 02:42:41 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2020-10-14 02:42:52 +0200 <monochrom> What would [RankNTypes | f :: (forall a. a->a) -> (Int, Bool); f g = (g 1, g True) ] desugar to, if after desugaring you're stuck with rank-1 Haskell 2010?
2020-10-14 02:43:03 +0200 <crestfallen> so say with join, we don't know the monad being used, so we use e , such as in m = (->) e
2020-10-14 02:43:14 +0200 <crestfallen> join :: (->) e ((->) e a) -> ((->) e) a
2020-10-14 02:43:17 +0200 <dnlkrgr> right, plugins might be the way to go
2020-10-14 02:43:19 +0200 <dolio> I think the answer is just, "no."
2020-10-14 02:44:08 +0200 <crestfallen> Axman6: is that the same way e was being used in the unify exercise?
2020-10-14 02:44:19 +0200 <solonarv> plugins still don't quite work for (many) extensions that add new syntax, but that could in theory be fixed with a better plugin API
2020-10-14 02:44:42 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-14 02:44:44 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving)
2020-10-14 02:44:48 +0200 <monochrom> My bad, I did not read "syntax extensions".
2020-10-14 02:48:39 +0200 <crestfallen> s
2020-10-14 02:49:44 +0200OmegaDoug(8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca)
2020-10-14 02:49:55 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-14 02:52:49 +0200Morrow67(93a10913@gateway/web/cgi-irc/kiwiirc.com/ip.147.161.9.19)
2020-10-14 02:53:28 +0200solonarv(~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-14 02:54:09 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:e51b:f8a7:d204:658e)
2020-10-14 02:57:36 +0200dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-226.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.7.1)
2020-10-14 02:59:46 +0200OmegaDoug(8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca) ()
2020-10-14 03:00:33 +0200plutoniix(~q@ppp-223-24-169-76.revip6.asianet.co.th)
2020-10-14 03:02:59 +0200perdent(~blah@101.175.147.239) (Read error: No route to host)
2020-10-14 03:03:08 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-10-14 03:04:12 +0200OmegaDoug(8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca)
2020-10-14 03:04:24 +0200 <amf> in `data T = A | B` what would the A and B be called? cases?
2020-10-14 03:05:16 +0200 <Axman6> constructors
2020-10-14 03:05:34 +0200 <Axman6> "constructors of type T"
2020-10-14 03:07:15 +0200plutoniix(~q@ppp-223-24-169-76.revip6.asianet.co.th) (Read error: Connection reset by peer)
2020-10-14 03:08:02 +0200xff0x(~fox@2001:1a81:52e4:2a00:832:9834:d4e8:1bdd) (Ping timeout: 260 seconds)
2020-10-14 03:08:13 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-14 03:08:34 +0200mdunnio(~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-10-14 03:08:55 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-14 03:09:49 +0200xff0x(~fox@2001:1a81:531c:4c00:832:9834:d4e8:1bdd)
2020-10-14 03:11:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 03:13:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-14 03:13:40 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Quit: leaving)
2020-10-14 03:13:57 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 03:14:24 +0200wildlander(~wildlande@unaffiliated/wildlander) (Quit: Konversation terminated!)
2020-10-14 03:14:49 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 03:15:06 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 03:15:33 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-14 03:16:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-14 03:16:56 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 03:17:18 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 03:17:31 +0200ddellacosta(~dd@86.106.121.168) (Quit: WeeChat 2.8)
2020-10-14 03:17:37 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 03:19:13 +0200nineonin_(~nineonine@50.216.62.2)
2020-10-14 03:19:26 +0200machinedgod(~machinedg@24.105.81.50)
2020-10-14 03:19:31 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 03:19:42 +0200ericsagnes(~ericsagne@2405:6580:0:5100:cc83:1c32:310e:946e) (Ping timeout: 260 seconds)
2020-10-14 03:19:45 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 03:19:58 +0200plutoniix(~q@175.176.222.7)
2020-10-14 03:20:10 +0200ddellacosta(~dd@86.106.121.168)
2020-10-14 03:20:34 +0200OmegaDoug(8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca) ()
2020-10-14 03:21:05 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-14 03:21:53 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 03:22:10 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 03:22:40 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 258 seconds)
2020-10-14 03:23:47 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 03:25:24 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-14 03:26:15 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 03:26:20 +0200polyrain(~polyrain@2001:8003:e501:6901:8a4:c02:960d:e633)
2020-10-14 03:28:18 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 03:28:35 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 03:29:07 +0200crestfallen(~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 03:29:19 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-14 03:31:40 +0200ericsagnes(~ericsagne@2405:6580:0:5100:1948:2999:73dd:7c01)
2020-10-14 03:31:46 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-14 03:32:16 +0200minne(~minne@4e69b241.skybroadband.com) (Ping timeout: 272 seconds)
2020-10-14 03:33:01 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-14 03:40:59 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com) (Quit: Leaving)
2020-10-14 03:41:31 +0200Volt_(~Volt_@c-73-145-164-70.hsd1.mi.comcast.net)
2020-10-14 03:41:40 +0200spew(uid195861@gateway/web/irccloud.com/x-fetxtksdzgfjvjwb) (Quit: Connection closed for inactivity)
2020-10-14 03:42:44 +0200polyrain(~polyrain@2001:8003:e501:6901:8a4:c02:960d:e633) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 03:45:18 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 244 seconds)
2020-10-14 03:46:07 +0200 <dsal> A friend just sent me a web page that had some haskell code on it and it never occurred to me that you could infix constructors.
2020-10-14 03:46:19 +0200 <dsal> @let data XY = XY Int Int deriving Show
2020-10-14 03:46:21 +0200 <lambdabot> Defined.
2020-10-14 03:46:25 +0200 <dsal> > 1 `XY` 2
2020-10-14 03:46:27 +0200 <lambdabot> XY 1 2
2020-10-14 03:47:44 +0200 <monochrom> There is more.
2020-10-14 03:48:00 +0200 <monochrom> @let data MN = Int `MN` Int deriving Show
2020-10-14 03:48:02 +0200 <lambdabot> Defined.
2020-10-14 03:48:06 +0200 <monochrom> > MN 1 2
2020-10-14 03:48:08 +0200 <lambdabot> 1 `MN` 2
2020-10-14 03:48:34 +0200 <monochrom> The derived Show instance respects which syntax you used at "data" time. :)
2020-10-14 03:49:15 +0200 <monochrom> This also applies to "data C = Double :+ Double" vs "data C = (:+) Double Double"
2020-10-14 03:49:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 03:50:38 +0200ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net)
2020-10-14 03:50:38 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-14 03:50:46 +0200 <monochrom> If you also derive Generic, the meta information about the constructor also tells you prefix vs infix according to which syntax you used in the "data" line.
2020-10-14 03:51:21 +0200 <monochrom> (So that for example you can perfecting duplicate the behaviour of "deriving Show".)
2020-10-14 03:51:29 +0200 <monochrom> s/perfecting/perfectly/
2020-10-14 03:53:08 +0200afb(~afb@84.39.117.57)
2020-10-14 03:53:48 +0200 <dsal> Oh wow.
2020-10-14 03:53:58 +0200conal(~conal@64.71.133.70)
2020-10-14 03:54:07 +0200 <dsal> It's the little things.
2020-10-14 03:54:57 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-14 03:55:23 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-14 03:58:57 +0200Tops2(~Tobias@dyndsl-095-033-027-027.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-14 04:00:25 +0200Wuzzy(~Wuzzy@p549c9d2d.dip0.t-ipconnect.de) (Quit: Wuzzy)
2020-10-14 04:01:12 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 04:06:21 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-14 04:09:18 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-14 04:09:31 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-14 04:11:49 +0200drbean(~drbean@TC210-63-209-18.static.apol.com.tw)
2020-10-14 04:13:16 +0200lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (beckett.freenode.net (Nickname regained by services)))
2020-10-14 04:13:22 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-14 04:15:30 +0200Habib_(~Habib@178.239.161.88)
2020-10-14 04:15:43 +0200Amras(~Amras@unaffiliated/amras0000)
2020-10-14 04:17:06 +0200sdx32(~sdx23@unaffiliated/sdx23)
2020-10-14 04:17:38 +0200davve_(davve@bsd.douchedata.com)
2020-10-14 04:17:53 +0200lucasb(uid333435@gateway/web/irccloud.com/x-rbuougcnirltldfu) (Quit: Connection closed for inactivity)
2020-10-14 04:18:15 +0200sdx23(~sdx23@unaffiliated/sdx23) (Ping timeout: 258 seconds)
2020-10-14 04:18:36 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-10-14 04:18:38 +0200dredozubov(~dredozubo@37.139.21.214) (Ping timeout: 258 seconds)
2020-10-14 04:18:38 +0200Firedancer_(~Firedance@neurogoo.xyz) (Ping timeout: 258 seconds)
2020-10-14 04:19:23 +0200Firedancer_(~Firedance@178.62.203.79)
2020-10-14 04:19:47 +0200davve(~davve@bsd.douchedata.com) (Ping timeout: 258 seconds)
2020-10-14 04:20:17 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-14 04:20:38 +0200dredozubov(~dredozubo@37.139.21.214)
2020-10-14 04:21:02 +0200drbean(~drbean@TC210-63-209-18.static.apol.com.tw) (Ping timeout: 272 seconds)
2020-10-14 04:21:39 +0200polyrain(~polyrain@2001:8003:e501:6901:8a4:c02:960d:e633)
2020-10-14 04:23:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-14 04:24:55 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-14 04:25:55 +0200theDon(~td@muedsl-82-207-238-211.citykom.de) (Ping timeout: 258 seconds)
2020-10-14 04:26:44 +0200sword865(uid208942@gateway/web/irccloud.com/x-okowxzgjpdhrbclc)
2020-10-14 04:26:49 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-14 04:27:36 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-14 04:27:48 +0200theDon(~td@94.134.91.134)
2020-10-14 04:31:41 +0200ericsagnes(~ericsagne@2405:6580:0:5100:1948:2999:73dd:7c01) (Ping timeout: 272 seconds)
2020-10-14 04:32:37 +0200reallymemorable(~quassel@ip68-9-215-56.ri.ri.cox.net)
2020-10-14 04:33:20 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-14 04:34:17 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 04:36:00 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-14 04:36:07 +0200no-npony
2020-10-14 04:39:51 +0200electricityZZZZ(~electrici@108.216.157.17) (Remote host closed the connection)
2020-10-14 04:40:10 +0200electricityZZZZ(~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net)
2020-10-14 04:41:57 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 04:43:41 +0200ericsagnes(~ericsagne@2405:6580:0:5100:685a:f875:708d:3e)
2020-10-14 04:44:54 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-14 04:48:16 +0200Buntspecht(~user@unaffiliated/siracusa) (Ping timeout: 272 seconds)
2020-10-14 04:48:37 +0200dyeplexer(~lol@unaffiliated/terpin)
2020-10-14 04:50:19 +0200perdent(~blah@101.175.147.239)
2020-10-14 04:51:09 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-14 04:51:28 +0200perdent(~blah@101.175.147.239) (Excess Flood)
2020-10-14 04:51:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 04:52:26 +0200perdent(~blah@101.175.147.239)
2020-10-14 04:56:47 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 256 seconds)
2020-10-14 04:56:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-14 04:57:31 +0200taurux(~taurux@net-93-151-195-211.cust.vodafonedsl.it) (Ping timeout: 246 seconds)
2020-10-14 04:58:42 +0200taurux(~taurux@net-93-146-46-96.cust.vodafonedsl.it)
2020-10-14 05:00:01 +0200afb(~afb@84.39.117.57) ()
2020-10-14 05:00:03 +0200perdent(~blah@101.175.147.239) (Ping timeout: 260 seconds)
2020-10-14 05:02:47 +0200dolio(~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-14 05:02:55 +0200jlv(jlvjustinl@gateway/shell/matrix.org/x-kssklhfqxoumhtye) (Ping timeout: 240 seconds)
2020-10-14 05:03:02 +0200jlv(jlvjustinl@gateway/shell/matrix.org/x-iwakkkxhzkvqgocd)
2020-10-14 05:03:29 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 258 seconds)
2020-10-14 05:05:09 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 05:05:14 +0200Habib_(~Habib@178.239.161.88) ()
2020-10-14 05:06:55 +0200davetapley(sid666@gateway/web/irccloud.com/x-cretwjqzdceozsvl) (Ping timeout: 240 seconds)
2020-10-14 05:07:17 +0200davetapley(sid666@gateway/web/irccloud.com/x-jnosdhgzusdwtedt)
2020-10-14 05:08:13 +0200dolio(~dolio@haskell/developer/dolio)
2020-10-14 05:09:36 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-14 05:09:37 +0200perdent(~blah@101.175.86.169)
2020-10-14 05:09:41 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 05:15:04 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-14 05:15:55 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1)
2020-10-14 05:16:14 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net)
2020-10-14 05:18:55 +0200koankeeper(sid216950@gateway/web/irccloud.com/x-bkecwwfkbfgjodrp) (Ping timeout: 240 seconds)
2020-10-14 05:19:03 +0200koankeeper(sid216950@gateway/web/irccloud.com/x-zcbnaaysgxdzfzde)
2020-10-14 05:22:25 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-14 05:22:34 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-ufuazzkmfwuyelkh) ()
2020-10-14 05:23:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 05:24:32 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 260 seconds)
2020-10-14 05:31:14 +0200shatriff_(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-14 05:31:50 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:e51b:f8a7:d204:658e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 05:31:53 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-14 05:32:43 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-14 05:33:03 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-14 05:35:36 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:6401:8e26:afef:90b8)
2020-10-14 05:37:59 +0200perdent(~blah@101.175.86.169) (Ping timeout: 258 seconds)
2020-10-14 05:38:36 +0200russruss8(~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-14 05:39:08 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-10-14 05:39:13 +0200russruss8(~russruss@my.russellmcc.com)
2020-10-14 05:45:56 +0200max_(~max@147.161.9.19)
2020-10-14 05:47:25 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 240 seconds)
2020-10-14 05:48:03 +0200Morrow67(93a10913@gateway/web/cgi-irc/kiwiirc.com/ip.147.161.9.19) (Quit: Connection closed)
2020-10-14 05:55:57 +0200Guest74954(~Amanda@89.47.234.28)
2020-10-14 05:56:58 +0200WorldControl(~niemand@98.4.96.235)
2020-10-14 05:57:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-14 05:58:58 +0200joehillen(~joehillen@unaffiliated/joehillen) (Quit: quit)
2020-10-14 06:00:24 +0200joehillen(~joehillen@unaffiliated/joehillen)
2020-10-14 06:00:47 +0200minne(~minne@4e69b241.skybroadband.com)
2020-10-14 06:01:17 +0200acidjnk_new(~acidjnk@p200300d0c723782849be01692612d250.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 06:01:40 +0200urdh(~urdh@unaffiliated/urdh) (Quit: Boom!)
2020-10-14 06:02:02 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 06:03:57 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 265 seconds)
2020-10-14 06:04:37 +0200WorldControl(~niemand@98.4.96.235) (Quit: Exeunt)
2020-10-14 06:06:32 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-14 06:07:24 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 256 seconds)
2020-10-14 06:10:09 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-14 06:10:31 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-14 06:13:40 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 06:14:57 +0200barzo(~sosal@31.223.77.192)
2020-10-14 06:15:02 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Ping timeout: 272 seconds)
2020-10-14 06:16:07 +0200barzo_(~quassel@31.223.77.192)
2020-10-14 06:16:28 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-10-14 06:18:53 +0200ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-14 06:21:02 +0200conal(~conal@64.71.133.70)
2020-10-14 06:21:24 +0200Tario(~Tario@201.192.165.173)
2020-10-14 06:22:48 +0200barzo_(~quassel@31.223.77.192) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2020-10-14 06:25:03 +0200barzo(~sosal@31.223.77.192) (Quit: Leaving)
2020-10-14 06:26:03 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 06:27:34 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 06:29:05 +0200day_(~Unknown@unaffiliated/day)
2020-10-14 06:30:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-14 06:30:58 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl) (Read error: Connection reset by peer)
2020-10-14 06:30:59 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-14 06:31:17 +0200jgt(~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-14 06:31:50 +0200Tario(~Tario@201.192.165.173)
2020-10-14 06:32:24 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 256 seconds)
2020-10-14 06:32:24 +0200day_day
2020-10-14 06:33:11 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 06:33:44 +0200polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-10-14 06:38:41 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 06:41:30 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Quit: WeeChat 2.9)
2020-10-14 06:42:02 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-14 06:42:30 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-10-14 06:42:55 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-14 06:47:52 +0200ekleog(~ii@prologin/ekleog) (Remote host closed the connection)
2020-10-14 06:47:58 +0200elliott_(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2020-10-14 06:48:41 +0200ekleog(~ii@prologin/ekleog)
2020-10-14 06:56:03 +0200mozzarella(~sam@unaffiliated/sam113101) (Remote host closed the connection)
2020-10-14 06:56:41 +0200aqd(~aqd@87-92-145-87.rev.dnainternet.fi)
2020-10-14 06:57:26 +0200mozzarella(~sam@unaffiliated/sam113101)
2020-10-14 06:58:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 06:59:53 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 07:03:13 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-14 07:04:25 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 240 seconds)
2020-10-14 07:09:08 +0200ponyno-n
2020-10-14 07:09:32 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds)
2020-10-14 07:09:32 +0200Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Read error: Connection reset by peer)
2020-10-14 07:10:47 +0200Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net)
2020-10-14 07:11:25 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-14 07:12:20 +0200max_(~max@147.161.9.19) (Ping timeout: 260 seconds)
2020-10-14 07:12:40 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-14 07:12:41 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-14 07:12:41 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 07:13:10 +0200bitmagie(~Thunderbi@200116b80609cd009cac1a16eef42789.dip.versatel-1u1.de)
2020-10-14 07:13:57 +0200bitmagie(~Thunderbi@200116b80609cd009cac1a16eef42789.dip.versatel-1u1.de) (Client Quit)
2020-10-14 07:14:27 +0200hackageciteproc 0.1.0.1 - Generates citations and bibliography from CSL styles. https://hackage.haskell.org/package/citeproc-0.1.0.1 (JohnMacFarlane)
2020-10-14 07:20:01 +0200nyd(~lpy@unaffiliated/elysian)
2020-10-14 07:21:09 +0200lemmih_lemmih
2020-10-14 07:22:08 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-14 07:25:42 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 258 seconds)
2020-10-14 07:27:05 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-14 07:27:26 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-14 07:27:34 +0200Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Ping timeout: 265 seconds)
2020-10-14 07:27:43 +0200zacts(~zacts@dragora/developer/zacts) (Client Quit)
2020-10-14 07:28:23 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:6401:8e26:afef:90b8) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 07:32:04 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-14 07:33:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-14 07:33:49 +0200Foritus(~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net)
2020-10-14 07:35:31 +0200Sanchayan(~Sanchayan@122.167.113.238)
2020-10-14 07:37:00 +0200pera(~pera@unaffiliated/pera) (Quit: leaving)
2020-10-14 07:39:20 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-14 07:40:18 +0200ransom(~c4264035@2601:285:201:6720:b9b9:8efc:c990:6389)
2020-10-14 07:40:18 +0200ransom(~c4264035@2601:285:201:6720:b9b9:8efc:c990:6389) (Client Quit)
2020-10-14 07:40:57 +0200hackagehasql-dynamic-statements 0.3.1 - Toolkit for constructing Hasql statements dynamically https://hackage.haskell.org/package/hasql-dynamic-statements-0.3.1 (NikitaVolkov)
2020-10-14 07:42:21 +0200zacts(~zacts@dragora/developer/zacts) (Client Quit)
2020-10-14 07:42:41 +0200MaxRos(~MaxRos@147.161.9.19)
2020-10-14 07:49:08 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl)
2020-10-14 07:52:34 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-14 07:53:01 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-14 07:54:34 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-14 07:55:07 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-14 07:58:43 +0200lucid_0x80(~lucid_0x8@188.253.234.40)
2020-10-14 07:59:12 +0200nshepperd_(nshepperd@gateway/vpn/mullvad/nshepperd)
2020-10-14 08:00:00 +0200polyrain(~polyrain@2001:8003:e501:6901:8a4:c02:960d:e633) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 08:00:02 +0200Guest74954(~Amanda@89.47.234.28) ()
2020-10-14 08:03:53 +0200andyo(~andyo@63.228.117.102) (Quit: ZNC 1.7.2 - https://znc.in)
2020-10-14 08:06:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 08:07:56 +0200bahamas(~lucian@188.24.181.166)
2020-10-14 08:07:56 +0200bahamas(~lucian@188.24.181.166) (Changing host)
2020-10-14 08:07:56 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-14 08:07:57 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-14 08:10:15 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-14 08:10:32 +0200alp(~alp@2a01:e0a:58b:4920:4156:d7c3:7d69:834f)
2020-10-14 08:12:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-14 08:13:01 +0200andyo(~andyo@63.228.117.102)
2020-10-14 08:15:16 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-14 08:16:27 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-14 08:23:13 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-10-14 08:23:34 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2020-10-14 08:25:32 +0200stree_(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-14 08:25:50 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-14 08:27:07 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 260 seconds)
2020-10-14 08:31:12 +0200ericsagnes(~ericsagne@2405:6580:0:5100:685a:f875:708d:3e) (Ping timeout: 260 seconds)
2020-10-14 08:32:20 +0200yoneda(~mike@193.206.102.122)
2020-10-14 08:36:11 +0200echoreply(~echoreply@unaffiliated/echoreply) (Quit: WeeChat 1.9.1)
2020-10-14 08:36:45 +0200echoreply(~echoreply@unaffiliated/echoreply)
2020-10-14 08:39:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 08:42:26 +0200jespada(~jespada@90.254.245.15) (Ping timeout: 260 seconds)
2020-10-14 08:43:35 +0200ericsagnes(~ericsagne@2405:6580:0:5100:2ccc:ea8:345f:1a82)
2020-10-14 08:45:27 +0200jespada(~jespada@90.254.245.15)
2020-10-14 08:45:57 +0200hackagestm-incremental 0.1.0.0 - A library for constructing incremental computations https://hackage.haskell.org/package/stm-incremental-0.1.0.0 (sgschlesinger)
2020-10-14 08:48:02 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-14 08:48:27 +0200hackagestm-incremental 0.1.0.1 - A library for constructing incremental computations https://hackage.haskell.org/package/stm-incremental-0.1.0.1 (sgschlesinger)
2020-10-14 08:48:46 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-14 08:56:26 +0200jwheare1(~jwheare@178.162.212.214)
2020-10-14 08:56:47 +0200noecho(~noecho@2a01:4f8:1c0c:80ee::4223) (Quit: ZNC - http://znc.in)
2020-10-14 08:57:18 +0200noecho(~noecho@2a01:4f8:1c0c:80ee::4223)
2020-10-14 08:58:44 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Quit: WeeChat 2.9)
2020-10-14 09:00:44 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 09:01:10 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-14 09:01:33 +0200xff0x(~fox@2001:1a81:531c:4c00:832:9834:d4e8:1bdd) (Ping timeout: 260 seconds)
2020-10-14 09:03:37 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-14 09:04:20 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Quit: WeeChat 2.9)
2020-10-14 09:05:55 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-14 09:09:36 +0200cpressey(~cpressey@88.144.93.125)
2020-10-14 09:10:28 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 272 seconds)
2020-10-14 09:13:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-14 09:17:11 +0200nitrix-or-treatnitrix
2020-10-14 09:17:19 +0200alp(~alp@2a01:e0a:58b:4920:4156:d7c3:7d69:834f) (Ping timeout: 272 seconds)
2020-10-14 09:17:36 +0200John20(~John@82.46.59.122)
2020-10-14 09:18:19 +0200alp(~alp@2a01:e0a:58b:4920:59cf:b2e0:b34d:24ff)
2020-10-14 09:19:57 +0200cpressey(~cpressey@88.144.93.125) (Quit: WeeChat 1.9.1)
2020-10-14 09:20:09 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-14 09:22:18 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-14 09:23:08 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-14 09:24:21 +0200joel135(sid136450@gateway/web/irccloud.com/x-revgtfychtzqfixn)
2020-10-14 09:25:07 +0200 <joel135> Is there a way to show desugared code in ghci?
2020-10-14 09:25:17 +0200 <joel135> e.g. [x^2 | x <- [1..], then take 10]
2020-10-14 09:25:22 +0200rprije(~rprije@203.214.95.251) (Ping timeout: 260 seconds)
2020-10-14 09:25:53 +0200rprije(~rprije@14-203-72-60.tpgi.com.au)
2020-10-14 09:27:04 +0200 <dminuoso> % :set -ddump-ds
2020-10-14 09:27:05 +0200 <yahb> dminuoso:
2020-10-14 09:27:05 +0200 <[exa]> joel135: there's ghc option -ddump-core (or similar), not sure about ghci though
2020-10-14 09:27:13 +0200 <[exa]> o nice
2020-10-14 09:27:14 +0200 <dminuoso> % take 1 [x^2 | x <- [1..]]
2020-10-14 09:27:15 +0200 <yahb> dminuoso: ; ==================== Desugared ====================; let {; $dEnum_aJNX :: GHC.Enum.Enum GHC.Integer.Type.Integer; [LclId]; $dEnum_aJNX = GHC.Enum.$fEnumInteger } in; let {; $dNum_aJNW :: GHC.Num.Num GHC.Integer.Type.Integer; [LclId]; $dNum_aJNW = GHC.Num.$fNumInteger } in; let {; $dShow_aJNZ :: GHC.Show.Show GHC.Integer.Type.Integer; [LclId]; $dShow_aJNZ = GHC.Show.$fShowInteger } in; let {
2020-10-14 09:27:38 +0200 <dminuoso> joel135: Note, yahb is just a GHCi bot. :)
2020-10-14 09:28:07 +0200polyrain(~polyrain@2001:8003:e501:6901:65d3:a281:acef:914d)
2020-10-14 09:30:05 +0200chaosmasttter(~chaosmast@p200300c4a711b0010d42da9e3e5834d3.dip0.t-ipconnect.de)
2020-10-14 09:30:07 +0200 <joel135> that's a LOT of code
2020-10-14 09:30:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 09:30:46 +0200 <dminuoso> joel135: The thing is, you're seeing a sort of intermediate language here.
2020-10-14 09:31:17 +0200 <dminuoso> Everything is explicitly typed, all types are displayed using fully qualified names
2020-10-14 09:31:30 +0200 <dminuoso> Dictionaries (typeclass instances) are made explicit
2020-10-14 09:33:13 +0200 <dminuoso> (We call this intermediate language Core)
2020-10-14 09:33:58 +0200 <dminuoso> If you wanted a semantical desugaring (according to the Haskell report), you can use @undo from lambdabot
2020-10-14 09:34:06 +0200 <dminuoso> @undo [x^2 | x <- [1..]]
2020-10-14 09:34:06 +0200 <lambdabot> concatMap (\ x -> [x ^ 2]) [1 ..]
2020-10-14 09:34:23 +0200 <joel135> @undo [x^2 | x <- [1..], mod x 2 == 1, then take 10]
2020-10-14 09:34:32 +0200 <dminuoso> joel135: What is that `then take 10` at the end?
2020-10-14 09:34:38 +0200 <joel135> https://gitlab.haskell.org/ghc/ghc/-/wikis/monad-comprehensions
2020-10-14 09:34:45 +0200 <joel135> ^ I heard about it today.
2020-10-14 09:34:47 +0200xff0x(~fox@217.110.198.158)
2020-10-14 09:35:06 +0200 <dminuoso> The gitlab wiki is so awfully slow.
2020-10-14 09:35:33 +0200 <joel135> % :set -XTransformListComp
2020-10-14 09:35:33 +0200 <yahb> joel135:
2020-10-14 09:36:05 +0200Techcable(znc@irc.techcable.net) (Quit: ZNC - http://znc.in)
2020-10-14 09:36:07 +0200 <dminuoso> joel135: I see, @undo is not aware of monad comprehensions afaik
2020-10-14 09:36:26 +0200shatriff(~vitaliish@176.52.219.10) (Ping timeout: 272 seconds)
2020-10-14 09:36:37 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-14 09:36:40 +0200 <dminuoso> At any rate, this will desugar to:
2020-10-14 09:36:51 +0200 <dminuoso> @undo [x^2 | x <- [1..], mod x 2 == 1]
2020-10-14 09:36:51 +0200 <lambdabot> concatMap (\ x -> if mod x 2 == 1 then [x ^ 2] else []) [1 ..]
2020-10-14 09:36:57 +0200 <dminuoso> take 10 (concatMap (\ x -> if mod x 2 == 1 then [x ^ 2] else []) [1 ..])
2020-10-14 09:37:00 +0200Techcable(znc@irc.techcable.net)
2020-10-14 09:37:37 +0200 <dminuoso> At least semantically. You could try `-ddump-ds-preopt` to see how exactly GHC will desugar it, but the thing is GHC does not desugar into Haskell, but rather straight into core.
2020-10-14 09:37:50 +0200 <dminuoso> (Because -ddump-ds will run some preliminary simplifier passes)
2020-10-14 09:38:37 +0200 <joel135> I think @undo is the sort of thing I was looking for, if it were complete.
2020-10-14 09:38:38 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-14 09:39:14 +0200 <dminuoso> You could make an issue about it https://github.com/lambdabot/lambdabot
2020-10-14 09:39:52 +0200 <joel135> @undo do {a <- [1,2,3]; b <- [4,5,6]; return (a,b)}
2020-10-14 09:39:52 +0200 <lambdabot> [1, 2, 3] >>= \ a -> [4, 5, 6] >>= \ b -> return (a, b)
2020-10-14 09:39:53 +0200 <tomjaguarpaw> I'm so confused why cabal says the following when I do have both a packagename.cabal and cabal.project file
2020-10-14 09:39:56 +0200 <tomjaguarpaw> Warning: There are no packages or optional-packages in the project
2020-10-14 09:39:59 +0200 <tomjaguarpaw> cabal: There is no <pkgname>.cabal package file or cabal.project file.
2020-10-14 09:40:15 +0200 <dminuoso> tomjaguarpaw: What command did you invoke?
2020-10-14 09:40:19 +0200 <joel135> ok
2020-10-14 09:40:48 +0200 <dminuoso> joel135: the core translation should be fine too, it just takes a little bit of getting used to it.
2020-10-14 09:41:34 +0200 <dminuoso> joel135: https://gist.github.com/dminuoso/704f2aa9bd5d402ccb572b31e81da97e#file-gistfile1-txt-L60-L83
2020-10-14 09:41:38 +0200 <dminuoso> That's the desugared region
2020-10-14 09:42:28 +0200 <dminuoso> If you just take that snipped, and get rid of all the @ and $ stuff, it should look like regular haskell.
2020-10-14 09:43:48 +0200 <joel135> How did you highlight it?
2020-10-14 09:44:09 +0200 <dminuoso> joel135: You can click on the line numbers to the right, and then use shift to select a region.
2020-10-14 09:44:14 +0200 <tomjaguarpaw> dminuoso: cabal v2-build
2020-10-14 09:44:27 +0200 <joel135> oh, and then the url changes
2020-10-14 09:44:30 +0200tzh(~tzh@2601:448:c500:5300::d90) (Quit: zzz)
2020-10-14 09:45:15 +0200 <dminuoso> Right
2020-10-14 09:45:16 +0200 <tomjaguarpaw> cabal v2-configure also says "Warning: There are no packages or optional-packages in the project
2020-10-14 09:45:38 +0200 <dminuoso> joel135: If you reload, Ive made a comment to the gist where I just copied the selected region, and just removed all type applications (@ foo) and dictionary applications ($ bar)
2020-10-14 09:45:44 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-14 09:45:59 +0200 <dminuoso> You can then take that, remove all the qualifiers, and then it should look like regular haskell
2020-10-14 09:46:24 +0200 <tomjaguarpaw> Oh, I know why it is. It's because cabal.project exists but doesn't have a packages: section
2020-10-14 09:46:37 +0200 <dminuoso> Core is very readable, just dont get confused by all the TyApps and dict passing. :)
2020-10-14 09:47:27 +0200hackageeffet 0.3.0.1 - An Effect System based on Type Classes https://hackage.haskell.org/package/effet-0.3.0.1 (MichaelSzvetits)
2020-10-14 09:49:38 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-14 09:49:56 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-14 09:49:57 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-14 09:49:57 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 09:50:30 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-14 09:53:59 +0200chele(~chele@5.53.222.202)
2020-10-14 09:54:27 +0200 <joel135> thanks for writing it out
2020-10-14 09:57:17 +0200cpressey(~cpressey@88.144.93.125)
2020-10-14 10:01:03 +0200kritzefitz(~kritzefit@fw-front.credativ.com)
2020-10-14 10:01:51 +0200 <[exa]> is there any concept in libraries such as "succ with wrapped overflow", say derived from Enum and Bounded? basically `succ' a = if a==maxBound then minBound else succ a`
2020-10-14 10:03:28 +0200Ariakenom(~Ariakenom@193.254.193.1)
2020-10-14 10:03:46 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-aprzkzvsxxeylcyp) (Quit: Connection closed for inactivity)
2020-10-14 10:04:26 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-14 10:06:30 +0200thc202(~thc202@unaffiliated/thc202)
2020-10-14 10:06:35 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds)
2020-10-14 10:08:12 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-14 10:09:42 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-14 10:09:45 +0200petersen(~petersen@redhat/juhp) (Remote host closed the connection)
2020-10-14 10:10:11 +0200 <joel135> I don't seem to have Control.Monad.Group. Should it be imported with "import Control.Monad.Group"?
2020-10-14 10:10:26 +0200petersen(~petersen@redhat/juhp)
2020-10-14 10:12:07 +0200 <dminuoso> heh
2020-10-14 10:12:29 +0200 <dminuoso> It was removed in base-4.5.0.0 it seems
2020-10-14 10:12:39 +0200 <dminuoso> Does grouping with MonadComprehensions still desugar to mgroupWith?
2020-10-14 10:13:01 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2020-10-14 10:13:34 +0200Volt_(~Volt_@c-73-145-164-70.hsd1.mi.comcast.net) (Quit: )
2020-10-14 10:14:05 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-14 10:14:30 +0200 <joel135> I get parse error on input ‘]’
2020-10-14 10:15:17 +0200 <joel135> [ x | x <- [1,1,2,2,3], then group by x ]
2020-10-14 10:15:17 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-14 10:15:34 +0200 <dminuoso> % :set -XMonadComprehensions
2020-10-14 10:15:35 +0200 <yahb> dminuoso:
2020-10-14 10:15:38 +0200 <dminuoso> % [(x :: [Int]) | x <- [1,2,1,2], then group by x ] :: [[Int]]
2020-10-14 10:15:39 +0200 <yahb> dminuoso: ; <interactive>:8:49: error: parse error on input `]'
2020-10-14 10:15:43 +0200 <dminuoso> Huh indeed.
2020-10-14 10:16:21 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-14 10:16:40 +0200lucid_0x80(~lucid_0x8@188.253.234.40) (Ping timeout: 258 seconds)
2020-10-14 10:16:50 +0200sujeet(sujeet@unaffiliated/freeboson) (Read error: Connection reset by peer)
2020-10-14 10:17:25 +0200sujeet(sujeet@unaffiliated/freeboson)
2020-10-14 10:17:46 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds)
2020-10-14 10:18:22 +0200MarcelineVQ(~anja@198.254.202.72) (Read error: Connection reset by peer)
2020-10-14 10:19:03 +0200MarcelineVQ(~anja@198.254.202.72)
2020-10-14 10:20:34 +0200 <dminuoso> joel135: The wiki page is wrong
2020-10-14 10:20:37 +0200 <dminuoso> https://db.inf.uni-tuebingen.de/staticfiles/publications/haskell2011.pdf
2020-10-14 10:20:49 +0200 <dminuoso> Or..
2020-10-14 10:20:51 +0200 <dminuoso> No its not!
2020-10-14 10:20:59 +0200 <dminuoso> It seems someone broke the parser. File a bug report.
2020-10-14 10:22:03 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Ping timeout: 256 seconds)
2020-10-14 10:22:33 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com)
2020-10-14 10:22:52 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 10:24:08 +0200 <joel135> ok
2020-10-14 10:24:30 +0200mav1(~mav@ipservice-092-217-043-250.092.217.pools.vodafone-ip.de)
2020-10-14 10:24:48 +0200xyggos(uid216035@gateway/web/irccloud.com/x-xzyfcimlxufybwap) (Quit: Connection closed for inactivity)
2020-10-14 10:25:05 +0200LKoen(~LKoen@81.255.219.130)
2020-10-14 10:25:27 +0200taurux(~taurux@net-93-146-46-96.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2020-10-14 10:26:14 +0200 <joel135> But is it just the parser, if mgroupWith doesn't exist?
2020-10-14 10:26:34 +0200taurux(~taurux@net-188-152-78-91.cust.dsl.teletu.it)
2020-10-14 10:27:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-14 10:30:20 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-10-14 10:30:42 +0200oisdk(~oisdk@2001:bb6:3329:d100:a9e4:32d1:231e:16a5)
2020-10-14 10:31:14 +0200taurux(~taurux@net-188-152-78-91.cust.dsl.teletu.it) (Ping timeout: 258 seconds)
2020-10-14 10:32:00 +0200Benzi-Junior(~BenziJuni@dsl-149-67-198.hive.is) (Read error: Connection reset by peer)
2020-10-14 10:32:23 +0200taurux(~taurux@net-188-152-69-142.cust.dsl.teletu.it)
2020-10-14 10:33:28 +0200 <dminuoso> joel135: It could also be the wiki page is out of date though
2020-10-14 10:33:36 +0200 <dminuoso> The GHC manual does not mention `group by f`
2020-10-14 10:33:38 +0200 <dminuoso> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-MonadC…
2020-10-14 10:33:55 +0200 <joel135> Maybe I shouldn't file a bug report?
2020-10-14 10:34:12 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-14 10:34:22 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-14 10:34:23 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-14 10:34:23 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 10:36:01 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-14 10:36:07 +0200 <dminuoso> joel135: Given that mgroupWith has disappeared, I'd say its working as intended.
2020-10-14 10:36:34 +0200 <dminuoso> It seems you're now required to be explicit about the grouping function with `using`
2020-10-14 10:36:47 +0200 <dminuoso> (Because without mgroupWith, the non-using syntax couldnt work)
2020-10-14 10:37:08 +0200 <dminuoso> At the very least the wiki ought to be cleaned up in that regard.
2020-10-14 10:37:22 +0200 <joel135> What is `using`?
2020-10-14 10:38:29 +0200 <dminuoso> Refer to https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-Transf…
2020-10-14 10:38:31 +0200 <dminuoso> Err
2020-10-14 10:38:39 +0200 <dminuoso> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-MonadC…
2020-10-14 10:38:42 +0200 <dminuoso> Looked so similar. :>
2020-10-14 10:38:57 +0200 <dminuoso> % import GHC.Exts
2020-10-14 10:38:57 +0200 <yahb> dminuoso:
2020-10-14 10:39:02 +0200 <dminuoso> % :set -XMonadComprehensions
2020-10-14 10:39:03 +0200 <yahb> dminuoso:
2020-10-14 10:39:06 +0200 <dminuoso> % [ x | x <- [1,1,2,2,3], then group by x using GHC.Exts.groupWith ]
2020-10-14 10:39:07 +0200 <yahb> dminuoso: ; ==================== Desugared ====================; let {; $dOrd_aJUI :: GHC.Classes.Ord GHC.Integer.Type.Integer; [LclId]; $dOrd_aJUI = GHC.Integer.Type.$fOrdInteger } in; let {; $dNum_aJUH :: GHC.Num.Num GHC.Integer.Type.Integer; [LclId]; $dNum_aJUH = GHC.Num.$fNumInteger } in; let {; $dShow_aJUL :: GHC.Show.Show GHC.Integer.Type.Integer; [LclId]; $dShow_aJUL = GHC.Show.$fShowInteger } i
2020-10-14 10:39:46 +0200 <dminuoso> % [ x | x <- [1,1,2,2,3], then group by x using GHC.Exts.groupWith ]
2020-10-14 10:39:46 +0200 <yahb> dminuoso: ; <interactive>:3:7: error:; Unexpected transform statement in a monad comprehension; Use TransformListComp
2020-10-14 10:40:02 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 10:40:17 +0200 <dminuoso> % :set TransformListComp
2020-10-14 10:40:17 +0200 <yahb> dminuoso: Some flags have not been recognized: TransformListComp
2020-10-14 10:40:19 +0200 <dminuoso> % :set -XTransformListComp
2020-10-14 10:40:19 +0200 <yahb> dminuoso:
2020-10-14 10:40:21 +0200 <dminuoso> % [ x | x <- [1,1,2,2,3], then group by x using GHC.Exts.groupWith ]
2020-10-14 10:40:21 +0200 <yahb> dminuoso: [[1,1],[2,2],[3]]
2020-10-14 10:40:42 +0200 <dminuoso> Boy this is extensions Ive never seen in use anywhere.
2020-10-14 10:41:07 +0200 <dminuoso> % :set -XParallelListComp
2020-10-14 10:41:08 +0200 <yahb> dminuoso:
2020-10-14 10:41:18 +0200 <dminuoso> % [ (x+y) | x <- [1..10] | y <- [11..20]]
2020-10-14 10:41:18 +0200 <yahb> dminuoso: [12,14,16,18,20,22,24,26,28,30]
2020-10-14 10:41:36 +0200 <dminuoso> ParallelListComp seems useful though.
2020-10-14 10:41:54 +0200 <joel135> yes
2020-10-14 10:42:28 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-14 10:42:39 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be)
2020-10-14 10:42:39 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-14 10:42:39 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-14 10:44:38 +0200zacts(~zacts@dragora/developer/zacts)
2020-10-14 10:44:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-14 10:44:47 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 10:47:29 +0200lucid_0x80(~lucid_0x8@188.253.234.40)
2020-10-14 10:52:02 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-14 10:52:02 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-14 10:52:02 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 10:52:25 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-14 11:00:01 +0200jwheare1(~jwheare@178.162.212.214) ()
2020-10-14 11:00:59 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be)
2020-10-14 11:00:59 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-14 11:00:59 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-14 11:01:34 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 11:01:55 +0200noecho(~noecho@2a01:4f8:1c0c:80ee::4223) (Ping timeout: 240 seconds)
2020-10-14 11:02:17 +0200noecho(~noecho@static.143.42.203.116.clients.your-server.de)
2020-10-14 11:02:18 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-14 11:03:47 +0200hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus_)
2020-10-14 11:04:59 +0200alp(~alp@2a01:e0a:58b:4920:59cf:b2e0:b34d:24ff) (Ping timeout: 272 seconds)
2020-10-14 11:05:33 +0200lucid_0x80(~lucid_0x8@188.253.234.40) (Ping timeout: 265 seconds)
2020-10-14 11:05:59 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 246 seconds)
2020-10-14 11:06:48 +0200hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-14 11:06:53 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-14 11:07:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 11:09:58 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-14 11:18:15 +0200s7manth(8984dc24@137.132.220.36)
2020-10-14 11:18:37 +0200 <maerwald> is there a tool that can give an external API diff of two package versions?
2020-10-14 11:19:17 +0200 <joel135> that sounds useful
2020-10-14 11:21:04 +0200jackalope(~jackalope@185.163.110.116)
2020-10-14 11:23:50 +0200alp(~alp@2a01:e0a:58b:4920:3538:d377:3520:17ab)
2020-10-14 11:24:56 +0200 <phadej> maerwald: https://imgur.com/a/pUiIJzG
2020-10-14 11:25:30 +0200 <lortabac> http://hdiff.luite.com/
2020-10-14 11:25:48 +0200 <dminuoso> phadej: Is that cabal-diff available outside your computer?
2020-10-14 11:26:11 +0200 <maerwald> https://github.com/phadej/cabal-extras
2020-10-14 11:26:36 +0200 <lortabac> oh pardon, you want changes in the external API, hdiff gives you the full diff
2020-10-14 11:27:18 +0200 <dminuoso> Ah.
2020-10-14 11:27:21 +0200 <phadej> I should be really reading interface files and not haddocks, but dealing with former is not something i'll do for free :)
2020-10-14 11:27:31 +0200 <dminuoso> maerwald: hackage also lists https://hackage.haskell.org/package/precis
2020-10-14 11:27:54 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2020-10-14 11:28:16 +0200 <phadej> uses haskell-src-exts :)
2020-10-14 11:30:27 +0200 <maerwald> I'm also wondering how to tell ghc to stop using ld.gold... whatever I try, it ignores it
2020-10-14 11:32:08 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-14 11:32:50 +0200 <dminuoso> data ASA_IPsec_Client_Firewall_Filter_Optional = ASA_IPsec_Client_Firewall_Filter_Optional_Optional | ...
2020-10-14 11:32:56 +0200 <dminuoso> Mmm, this seems a bit too long..
2020-10-14 11:32:59 +0200s7manth(8984dc24@137.132.220.36) (Ping timeout: 245 seconds)
2020-10-14 11:33:52 +0200 <dminuoso> But, I could perhaps use OverloadedLabels, such that #Optional will map to `ASA_IPsec_Client_Firewall_Filter_Optional_Optional`.
2020-10-14 11:34:50 +0200ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-10-14 11:35:12 +0200 <dminuoso> phadej: Curious, is that a bad thing?
2020-10-14 11:35:29 +0200 <dminuoso> Im currently using haskell-src-exts for code generation, and so far Ive found it to be pleasant.
2020-10-14 11:36:40 +0200 <Taneb> "Dan Burton is currently keeping haskell-src-exts on life support. If you are interested in more actively making improvements to this package, please make your interests known. You might want to try ghc-lib-parser instead."
2020-10-14 11:37:04 +0200 <Taneb> (from the readme on GitHub for haskell-src-exts)
2020-10-14 11:38:14 +0200Guest88073lep-delete
2020-10-14 11:38:14 +0200lep-deleteGuest88073
2020-10-14 11:38:16 +0200lep-deleteGuest88073
2020-10-14 11:40:11 +0200tv(~tv@unaffiliated/tv) (Ping timeout: 240 seconds)
2020-10-14 11:42:59 +0200alp(~alp@2a01:e0a:58b:4920:3538:d377:3520:17ab) (Ping timeout: 272 seconds)
2020-10-14 11:44:15 +0200tv(~tv@unaffiliated/tv)
2020-10-14 11:44:34 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-14 11:44:51 +0200 <phadej> dminuoso: when you comparing APIs it's a good idea to ask compiler what it will produce
2020-10-14 11:45:19 +0200 <phadej> dminuoso: comparing parsed source is different
2020-10-14 11:46:25 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-14 11:46:57 +0200hackageegison 4.1.0 - Programming language with non-linear pattern-matching against non-free data https://hackage.haskell.org/package/egison-4.1.0 (SatoshiEgi)
2020-10-14 11:48:14 +0200alp(~alp@2a01:e0a:58b:4920:6576:ffa1:b00c:dfc)
2020-10-14 11:49:19 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2020-10-14 11:54:53 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-14 11:54:58 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-14 12:03:27 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-14 12:04:32 +0200Rudd0(~Rudd0@185.189.115.108)
2020-10-14 12:05:57 +0200 <proofofme> TIL to pass --lib with `cabal install` ...
2020-10-14 12:09:02 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-14 12:09:13 +0200daGrevis(~daGrevis@unaffiliated/dagrevis) (Remote host closed the connection)
2020-10-14 12:09:36 +0200cosimone(~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad)
2020-10-14 12:09:58 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-10-14 12:10:16 +0200daGrevis(~daGrevis@unaffiliated/dagrevis)
2020-10-14 12:10:26 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 12:10:35 +0200NinjaTrappeur1NinjaTrappeur
2020-10-14 12:12:45 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-14 12:13:04 +0200cosimone(~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Read error: Connection reset by peer)
2020-10-14 12:14:50 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 12:15:08 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-14 12:16:27 +0200cosimone(~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad)
2020-10-14 12:18:35 +0200 <maerwald> don't :)
2020-10-14 12:19:20 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 258 seconds)
2020-10-14 12:20:46 +0200akegalj(~akegalj@93-138-181-26.adsl.net.t-com.hr)
2020-10-14 12:20:58 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 246 seconds)
2020-10-14 12:22:10 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-14 12:24:37 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 12:25:25 +0200alp(~alp@2a01:e0a:58b:4920:6576:ffa1:b00c:dfc) (Ping timeout: 272 seconds)
2020-10-14 12:26:19 +0200 <merijn> proofofme: Next step is to learn to not use "cabal install" at all, unless it's an executable ;)
2020-10-14 12:26:40 +0200 <proofofme> how is that?
2020-10-14 12:27:15 +0200 <merijn> proofofme: There's very little workflows where installing a library that way really makes sense
2020-10-14 12:27:37 +0200 <proofofme> for example, how would you install mysql-haskell?
2020-10-14 12:27:57 +0200 <merijn> proofofme: Why do you need it installed? To use in your own code?
2020-10-14 12:28:04 +0200 <proofofme> yeah
2020-10-14 12:28:30 +0200 <merijn> proofofme: You just add it as a dependency to your project and then it gets installed automatically when you run "cabal build" on your code? :)
2020-10-14 12:29:05 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-14 12:29:08 +0200dhil(~dhil@195.213.192.122)
2020-10-14 12:29:29 +0200 <proofofme> I haven't been using `cabal build`, just `ghc -o _______ _______.hs`
2020-10-14 12:29:54 +0200 <merijn> ah, then you probably want to make the switch away from that :)
2020-10-14 12:30:08 +0200 <merijn> proofofme: "cabal init --interactive" in your source directory should help get you started
2020-10-14 12:31:12 +0200 <merijn> As soon as you start using dependencies or having more than 1 file (or really even with 1 file, tbh), using cabal will be much easier
2020-10-14 12:32:47 +0200 <merijn> proofofme: See also: https://cabal.readthedocs.io/en/latest/index.html
2020-10-14 12:32:53 +0200 <dminuoso> proofofme: Also, with `cabal install --lib` you rapidly get into dependency hell
2020-10-14 12:33:20 +0200 <dminuoso> (I found that the 2nd or 3rd library easily leads to issues)
2020-10-14 12:34:50 +0200 <dminuoso> I believe, that each library you install that way, essentially pins its own dependencies, and those become constraints for future libraries.
2020-10-14 12:35:00 +0200 <dminuoso> At least thats what it seemed like
2020-10-14 12:35:02 +0200ericsagnes(~ericsagne@2405:6580:0:5100:2ccc:ea8:345f:1a82) (Ping timeout: 260 seconds)
2020-10-14 12:35:19 +0200 <proofofme> yeah...
2020-10-14 12:36:13 +0200rprije(~rprije@14-203-72-60.tpgi.com.au) (Ping timeout: 260 seconds)
2020-10-14 12:37:13 +0200 <merijn> Someone should really update the getting started and nix-style chapter on read the docs to 1) focus on v2 workflows and 2) remove comparisons to sandboxes, now that they're gone. But I fear the only way that will happen is if "someone" equals "me" >.>
2020-10-14 12:38:35 +0200cpressey(~cpressey@88.144.93.125) (Quit: WeeChat 1.9.1)
2020-10-14 12:41:39 +0200polyrain(~polyrain@2001:8003:e501:6901:65d3:a281:acef:914d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 12:42:01 +0200__monty__(~toonn@unaffiliated/toonn)
2020-10-14 12:42:31 +0200solonarv(~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr)
2020-10-14 12:42:46 +0200alp(~alp@2a01:e0a:58b:4920:c17f:f8fe:bbb9:785b)
2020-10-14 12:45:24 +0200cosimone(~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Quit: cosimone)
2020-10-14 12:45:42 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-14 12:45:58 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-14 12:46:06 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 12:47:00 +0200 <fendor> it feels like this situation in a flat share where nobody wants to do the dishes, so it just piles up until someone crumbles and does it for everyone
2020-10-14 12:47:28 +0200ericsagnes(~ericsagne@2405:6580:0:5100:f5c6:c62b:43fd:4aa2)
2020-10-14 12:48:00 +0200Sanchayan(~Sanchayan@122.167.113.238) (Read error: No route to host)
2020-10-14 12:48:31 +0200 <merijn> fendor: Well, it's also a matter of people having jobs, so contributions in people's spare time are prioritised by how much they affect/appeal to/are wanted by contributors
2020-10-14 12:49:25 +0200 <merijn> Which is why I haven't done it yet. After 8 hours of work "writing docs" is never going to win from "implement something fun" or "videogames" :)
2020-10-14 12:49:39 +0200 <fendor> I know, I did not want to say that anyone is being lazy, it is just a lot of work
2020-10-14 12:50:37 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-14 12:50:55 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 265 seconds)
2020-10-14 12:51:03 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone)
2020-10-14 12:52:14 +0200 <merijn> Congrats on the multi-home stuff, btw, I've been waiting for that for ages :>
2020-10-14 12:52:44 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-14 12:54:28 +0200 <fendor> merijn, It is not merged yet T_T
2020-10-14 12:54:54 +0200 <fendor> But I got two minor prs merged for it, so the diff becomes gradually smaller
2020-10-14 12:56:52 +0200Benzi-Junior(~BenziJuni@dsl-149-67-198.hive.is)
2020-10-14 12:58:06 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-14 13:01:13 +0200Sanchayan(~Sanchayan@122.167.113.238)
2020-10-14 13:02:14 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2020-10-14 13:02:23 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 13:03:04 +0200 <dminuoso> New record, nullary sum type with 2k constructors! :)
2020-10-14 13:03:42 +0200 <dminuoso> Given the context, it's quite silly but the only sensible thing to do.
2020-10-14 13:06:44 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-14 13:07:13 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-14 13:07:13 +0200berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-10-14 13:07:28 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-14 13:14:15 +0200avdb(~avdb@ip-213-49-123-30.dsl.scarlet.be)
2020-10-14 13:16:28 +0200machinedgod(~machinedg@24.105.81.50)
2020-10-14 13:17:01 +0200brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 264 seconds)
2020-10-14 13:17:09 +0200kl1xto(~klixto@49.188.65.219) (Quit: WeeChat 2.9)
2020-10-14 13:18:01 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone)
2020-10-14 13:21:08 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-10-14 13:23:35 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-14 13:24:42 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-14 13:25:25 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 264 seconds)
2020-10-14 13:28:07 +0200chaosmasttter(~chaosmast@p200300c4a711b0010d42da9e3e5834d3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 13:29:01 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.7.1)
2020-10-14 13:34:20 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-14 13:37:30 +0200WorldControl(~niemand@98.4.96.235)
2020-10-14 13:37:31 +0200WorldControl(~niemand@98.4.96.235) (Remote host closed the connection)
2020-10-14 13:38:29 +0200mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-14 13:38:40 +0200WorldControl(~niemand@98.4.96.235)
2020-10-14 13:40:16 +0200WorldControl(~niemand@98.4.96.235) (Client Quit)
2020-10-14 13:40:32 +0200connrs_(~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in)
2020-10-14 13:40:55 +0200LittleFox(~littlefox@rondra.lf-net.org) (Remote host closed the connection)
2020-10-14 13:41:05 +0200LittleFox(~littlefox@rondra.lf-net.org)
2020-10-14 13:41:06 +0200p3n(~p3n@217.198.124.246) (Remote host closed the connection)
2020-10-14 13:41:15 +0200connrs_(~connrs@runciter.connrs.uk)
2020-10-14 13:41:16 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2020-10-14 13:41:16 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-14 13:41:16 +0200Benzi-Junior(~BenziJuni@dsl-149-67-198.hive.is) (Quit: gone)
2020-10-14 13:41:16 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-14 13:41:16 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 13:42:02 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-14 13:42:07 +0200Benzi-Junior(~BenziJuni@88-149-67-198.du.xdsl.is)
2020-10-14 13:42:31 +0200Sanchayan(~Sanchayan@122.167.113.238) (Ping timeout: 246 seconds)
2020-10-14 13:43:02 +0200Sanchayan(~Sanchayan@122.167.113.238)
2020-10-14 13:43:25 +0200thebnq(~bnq@herrokitty.com) (Ping timeout: 264 seconds)
2020-10-14 13:43:41 +0200thebnq(~bnq@herrokitty.com)
2020-10-14 13:44:01 +0200bind(~bind@unaffiliated/bind) (Ping timeout: 264 seconds)
2020-10-14 13:44:52 +0200bind(~bind@unaffiliated/bind)
2020-10-14 13:48:20 +0200plutoniix(~q@175.176.222.7) (Quit: Leaving)
2020-10-14 13:51:15 +0200 <kuribas> dminuoso: why not a newtype over Int?
2020-10-14 13:52:25 +0200chaosmasttter(~chaosmast@p200300c4a711b0010d42da9e3e5834d3.dip0.t-ipconnect.de)
2020-10-14 13:52:34 +0200alx741(~alx741@181.196.69.128) (Ping timeout: 244 seconds)
2020-10-14 13:54:32 +0200Buntspecht(~user@unaffiliated/siracusa)
2020-10-14 13:55:01 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-14 13:55:19 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-14 13:55:35 +0200acidjnk_new(~acidjnk@p200300d0c7237896b056d7f56d23f214.dip0.t-ipconnect.de)
2020-10-14 13:55:36 +0200chrpape(~user@2a01:4f9:c010:632d::1)
2020-10-14 13:59:55 +0200oisdk(~oisdk@2001:bb6:3329:d100:a9e4:32d1:231e:16a5) (Ping timeout: 240 seconds)
2020-10-14 14:00:01 +0200jackalope(~jackalope@185.163.110.116) ()
2020-10-14 14:02:26 +0200oisdk(~oisdk@2001:bb6:3329:d100:a9e4:32d1:231e:16a5)
2020-10-14 14:02:59 +0200alp(~alp@2a01:e0a:58b:4920:c17f:f8fe:bbb9:785b) (Read error: Connection reset by peer)
2020-10-14 14:03:42 +0200akegalj(~akegalj@93-138-181-26.adsl.net.t-com.hr) (Quit: leaving)
2020-10-14 14:04:28 +0200alp(~alp@88.126.45.36)
2020-10-14 14:05:53 +0200alx741(~alx741@181.196.68.181)
2020-10-14 14:08:31 +0200alp(~alp@88.126.45.36) (Remote host closed the connection)
2020-10-14 14:09:01 +0200alp(~alp@88.126.45.36)
2020-10-14 14:11:56 +0200alp(~alp@88.126.45.36) (Remote host closed the connection)
2020-10-14 14:14:01 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2020-10-14 14:14:40 +0200tomboy64(~tomboy64@gateway/tor-sasl/tomboy64)
2020-10-14 14:15:27 +0200hackageepi-sim 0.2.2.0 - A library for simulating epidemics as birth-death processes. https://hackage.haskell.org/package/epi-sim-0.2.2.0 (AlexanderZarebski)
2020-10-14 14:16:15 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 14:19:54 +0200davve_davve
2020-10-14 14:21:13 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-14 14:22:32 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-14 14:24:57 +0200polyrain(~polyrain@2001:8003:e501:6901:65d3:a281:acef:914d)
2020-10-14 14:25:52 +0200mav1(~mav@ipservice-092-217-043-250.092.217.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2020-10-14 14:27:17 +0200mav1(~mav@ipservice-092-217-043-250.092.217.pools.vodafone-ip.de)
2020-10-14 14:27:47 +0200avdb(~avdb@ip-213-49-123-30.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-14 14:28:12 +0200NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 260 seconds)
2020-10-14 14:29:44 +0200NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur)
2020-10-14 14:30:18 +0200Stanley00(~stanley00@unaffiliated/stanley00) ()
2020-10-14 14:33:54 +0200andy(2d426caa@45.66.108.170)
2020-10-14 14:34:16 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds)
2020-10-14 14:34:18 +0200andyGuest24525
2020-10-14 14:34:31 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu)
2020-10-14 14:34:37 +0200NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 260 seconds)
2020-10-14 14:35:08 +0200mav1(~mav@ipservice-092-217-043-250.092.217.pools.vodafone-ip.de) (Quit: WeeChat 2.9)
2020-10-14 14:35:39 +0200NinjaTrappeur(~ninja@unaffiliated/ninjatrappeur)
2020-10-14 14:36:21 +0200brisbin(~patrick@pool-173-49-158-4.phlapa.fios.verizon.net)
2020-10-14 14:38:11 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-14 14:39:45 +0200John20(~John@82.46.59.122) (Ping timeout: 240 seconds)
2020-10-14 14:41:22 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 14:41:29 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-14 14:45:55 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-14 14:46:22 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-14 14:47:30 +0200seanvert`(~user@177.84.244.242)
2020-10-14 14:48:46 +0200seanvert(~user@177.84.244.242) (Ping timeout: 260 seconds)
2020-10-14 14:50:24 +0200Amras(~Amras@unaffiliated/amras0000)
2020-10-14 14:52:20 +0200urodna(~urodna@unaffiliated/urodna)
2020-10-14 14:53:24 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-14 14:55:18 +0200knupfer(~Thunderbi@200116b82c71ce00603afefffe6f611e.dip.versatel-1u1.de)
2020-10-14 14:55:30 +0200knupfer1(~Thunderbi@87.123.206.152)
2020-10-14 14:55:33 +0200polyrain(~polyrain@2001:8003:e501:6901:65d3:a281:acef:914d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 14:55:57 +0200Seran1(~Seran@84.39.117.57)
2020-10-14 14:57:51 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 14:58:58 +0200hackageuniqueness-periods-vector-common 0.5.1.1 - Generalization of the dobutokO-poetry-general package functionality https://hackage.haskell.org/package/uniqueness-periods-vector-common-0.5.1.1 (OleksandrZhabenko)
2020-10-14 14:59:25 +0200knupfer(~Thunderbi@200116b82c71ce00603afefffe6f611e.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-14 14:59:26 +0200knupfer1knupfer
2020-10-14 15:00:47 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 15:03:13 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 15:03:13 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-10-14 15:03:56 +0200mav1(~mav@dynamic-002-247-241-121.2.247.pool.telefonica.de)
2020-10-14 15:04:39 +0200magnuscake(~magnuscak@103.44.33.121)
2020-10-14 15:04:58 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu)
2020-10-14 15:06:05 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-14 15:06:48 +0200cosimone(~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a)
2020-10-14 15:06:49 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-ezaxzpcxhniaxecp) (Quit: Connection closed for inactivity)
2020-10-14 15:07:25 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 240 seconds)
2020-10-14 15:08:01 +0200magnuscake(~magnuscak@103.44.33.121) (Client Quit)
2020-10-14 15:10:32 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-14 15:12:23 +0200John20(~John@82.46.59.122)
2020-10-14 15:13:22 +0200jedws(~jedws@121.209.161.98) (Ping timeout: 258 seconds)
2020-10-14 15:14:27 +0200hackageuniqueness-periods-vector 0.3.1.0 - Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. https://hackage.haskell.org/package/uniqueness-periods-vector-0.3.1.0 (OleksandrZhabenko)
2020-10-14 15:19:13 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-14 15:20:44 +0200jedws(~jedws@121.209.161.98)
2020-10-14 15:22:48 +0200nineonin_(~nineonine@50.216.62.2) (Ping timeout: 256 seconds)
2020-10-14 15:23:01 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be)
2020-10-14 15:23:01 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-14 15:23:01 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-14 15:23:32 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-10-14 15:24:23 +0200bitmagie(~Thunderbi@200116b80609cd009cac1a16eef42789.dip.versatel-1u1.de)
2020-10-14 15:26:10 +0200unlink2(~unlink2@p57b852f3.dip0.t-ipconnect.de)
2020-10-14 15:32:33 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-10-14 15:32:48 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:6401:8e26:afef:90b8)
2020-10-14 15:33:09 +0200dhil(~dhil@195.213.192.122) (Quit: Leaving)
2020-10-14 15:33:24 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com)
2020-10-14 15:34:08 +0200dhil(~dhil@195.213.192.122)
2020-10-14 15:36:44 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:6401:8e26:afef:90b8) (Client Quit)
2020-10-14 15:38:07 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-14 15:38:32 +0200wei2912(~wei2912@unaffiliated/wei2912)
2020-10-14 15:39:23 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 15:39:27 +0200hackageuniqueness-periods-vector 0.3.1.1 - Generalization of the uniqueness-periods and uniqueness-periods-general packages functionality. https://hackage.haskell.org/package/uniqueness-periods-vector-0.3.1.1 (OleksandrZhabenko)
2020-10-14 15:41:19 +0200ddellacosta(~dd@86.106.121.168)
2020-10-14 15:41:37 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu) (Remote host closed the connection)
2020-10-14 15:42:46 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cce0:7bf3:3908:d5aa)
2020-10-14 15:44:03 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-14 15:44:33 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-14 15:44:50 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-14 15:45:39 +0200ixlun(~matthew@213.205.241.94)
2020-10-14 15:45:54 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-14 15:45:54 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-14 15:45:54 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 15:45:58 +0200hackagehttp-conduit-downloader 1.1.1 - HTTP downloader tailored for web-crawler needs. https://hackage.haskell.org/package/http-conduit-downloader-1.1.1 (VladimirShabanov)
2020-10-14 15:46:43 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 258 seconds)
2020-10-14 15:53:39 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-14 15:56:18 +0200mav1(~mav@dynamic-002-247-241-121.2.247.pool.telefonica.de) (Ping timeout: 260 seconds)
2020-10-14 15:58:21 +0200son0p(~son0p@181.136.122.143)
2020-10-14 15:58:28 +0200hackagemu-grpc-common 0.4.0.0 - gRPC for Mu, common modules for client and server https://hackage.haskell.org/package/mu-grpc-common-0.4.0.0 (AlejandroSerrano)
2020-10-14 15:59:25 +0200MaxRos(~MaxRos@147.161.9.19) (Ping timeout: 240 seconds)
2020-10-14 15:59:28 +0200hackagemu-grpc-client 0.4.0.0 - gRPC clients from Mu definitions https://hackage.haskell.org/package/mu-grpc-client-0.4.0.0 (AlejandroSerrano)
2020-10-14 16:00:28 +0200hackagemu-grpc-server 0.4.0.0 - gRPC servers for Mu definitions https://hackage.haskell.org/package/mu-grpc-server-0.4.0.0 (AlejandroSerrano)
2020-10-14 16:00:43 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-14 16:00:45 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2020-10-14 16:03:53 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at) (Ping timeout: 260 seconds)
2020-10-14 16:05:49 +0200conal(~conal@107.181.166.111)
2020-10-14 16:07:06 +0200bitmagie(~Thunderbi@200116b80609cd009cac1a16eef42789.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-14 16:07:33 +0200tzh(~tzh@2601:448:c500:5300::d4be)
2020-10-14 16:07:43 +0200conal(~conal@107.181.166.111) (Client Quit)
2020-10-14 16:08:34 +0200ystael(~ystael@209.6.50.55)
2020-10-14 16:08:57 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 258 seconds)
2020-10-14 16:12:24 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-14 16:16:19 +0200sword865(uid208942@gateway/web/irccloud.com/x-okowxzgjpdhrbclc) (Quit: Connection closed for inactivity)
2020-10-14 16:16:42 +0200chaosmasttter(~chaosmast@p200300c4a711b0010d42da9e3e5834d3.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 16:18:53 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 246 seconds)
2020-10-14 16:20:36 +0200conal(~conal@107.181.166.111)
2020-10-14 16:21:10 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 16:25:18 +0200 <maerwald> yeah, why not
2020-10-14 16:25:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-14 16:25:34 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at) (Ping timeout: 272 seconds)
2020-10-14 16:25:55 +0200 <merijn> ?
2020-10-14 16:26:17 +0200 <maerwald> wrt newtype
2020-10-14 16:27:39 +0200aqd(~aqd@87-92-145-87.rev.dnainternet.fi) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 16:30:00 +0200 <nihilazo> hello, I have ghc installed on an aarch64 machine and I want to set up stack/cabal and the rest of the tooling I need for writing haskell but I don't know how when all I have rn is ghc. How can I build those other tools? Also, do I need both cabal and stack or is it a case of using one or the other? which should I use?
2020-10-14 16:30:39 +0200 <merijn> nihilazo: cabal used to have a bootstrap script
2020-10-14 16:30:58 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-14 16:31:03 +0200 <merijn> nihilazo: Some relevant answers for you: https://gist.github.com/merijn/8152d561fb8b011f9313c48d876ceb07
2020-10-14 16:31:23 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-14 16:31:23 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-14 16:31:23 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 16:32:21 +0200 <merijn> nihilazo: Here's a python bootstrapping script for cabal-install (and Cabal): https://github.com/haskell/cabal/tree/master/bootstrap
2020-10-14 16:33:14 +0200 <nihilazo> ok. So, I think the tool I need is cabal-install and I need the cabal library, and I will need to bootstrap those as there's no binaries for aarch64 for those? Unless there is and I can't see them
2020-10-14 16:33:30 +0200 <merijn> I doubt there's binaries for aarch64, yeah
2020-10-14 16:34:03 +0200Noldorin(~noldorin@unaffiliated/noldorin)
2020-10-14 16:34:20 +0200 <merijn> The python script should download, build and install them and finally build Cabal and cabal-install
2020-10-14 16:36:06 +0200 <nihilazo> I have ghc already, I will see if that script works, thanks
2020-10-14 16:36:51 +0200polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 272 seconds)
2020-10-14 16:36:56 +0200 <maerwald> nihilazo: http://oleg.fi/cabal-install-3.4.0.0-rc4/cabal-install-3.4.0.0-aarch64-ubuntu-18.04.tar.xz
2020-10-14 16:37:02 +0200 <maerwald> does that binary work?
2020-10-14 16:37:23 +0200 <nihilazo> I will try it
2020-10-14 16:37:45 +0200yoneda(~mike@193.206.102.122) (Quit: leaving)
2020-10-14 16:38:31 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-14 16:38:49 +0200 <nihilazo> it seems to, what is a good cabal command to use to test?
2020-10-14 16:39:13 +0200 <maerwald> cabal repl --build-depends unix
2020-10-14 16:39:42 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-14 16:39:42 +0200 <maerwald> you probably need 'cabal update' before
2020-10-14 16:40:10 +0200 <nihilazo> well, that starts the repl, so I guess it's working
2020-10-14 16:40:18 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-eumwksferfqxnztz)
2020-10-14 16:40:19 +0200 <nihilazo> it starts a GHCi
2020-10-14 16:40:43 +0200 <nihilazo> (after spitting out some errors about library versions)
2020-10-14 16:40:44 +0200 <nihilazo> but those don't seem to affect anything
2020-10-14 16:41:42 +0200 <nihilazo> (the errors don't, cabal seems to work)
2020-10-14 16:41:45 +0200 <nihilazo> cool, I don't need to build anything :D
2020-10-14 16:41:48 +0200 <nihilazo> thanks
2020-10-14 16:41:53 +0200 <maerwald> what errors
2020-10-14 16:42:07 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 16:42:29 +0200spew(uid195861@gateway/web/irccloud.com/x-dvgldqlsrlwtfayn)
2020-10-14 16:42:40 +0200Sanchayan(~Sanchayan@122.167.113.238) (Quit: leaving)
2020-10-14 16:43:55 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-14 16:44:21 +0200hseg(~gesh@185.120.126.55)
2020-10-14 16:44:24 +0200kav(~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi) (Remote host closed the connection)
2020-10-14 16:44:46 +0200 <hseg> hi. sometimes i'm testing large datasets in ghci, is there a quick way to parallelize them?
2020-10-14 16:45:10 +0200 <merijn> Depends
2020-10-14 16:45:11 +0200 <hseg> specifically, i'm looking for sth like parMap :: (a -> b) -> [a] -> [b]
2020-10-14 16:45:32 +0200 <merijn> How long are the individual functions?
2020-10-14 16:45:33 +0200 <hseg> ... well, considering i'm them mapM_ print'ing this, it doesn't need to end in [b]
2020-10-14 16:45:48 +0200 <hseg> text or runtime?
2020-10-14 16:45:52 +0200 <merijn> the runtime
2020-10-14 16:46:07 +0200 <hseg> pretty quick for the actual sizes i'm testing
2020-10-14 16:46:12 +0200 <hseg> horrible asymptotics though
2020-10-14 16:47:03 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-14 16:47:05 +0200 <merijn> I wrote a parallel map like that, but I didn't really optimise it to be low overhead, so for workloads that are less than 0.5s or whatever it's probably not efficient enough
2020-10-14 16:47:19 +0200 <hseg> can give it a shot
2020-10-14 16:47:24 +0200 <merijn> well, 0.5s is probably pessimistic
2020-10-14 16:47:50 +0200 <merijn> hseg: https://hackage.haskell.org/package/broadcast-chan-0.2.1.1/docs/BroadcastChan.html#g:4
2020-10-14 16:47:50 +0200hseg(~gesh@185.120.126.55) (Client Quit)
2020-10-14 16:48:18 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-14 16:49:00 +0200 <merijn> `parMapM_ (Simple Terminate)` + some relevant number of threads
2020-10-14 16:49:49 +0200kav(~kari@dsl-hkibng42-56733f-225.dhcp.inet.fi)
2020-10-14 16:50:12 +0200hseg(~gesh@185.120.126.55)
2020-10-14 16:50:24 +0200 <hseg> sorry, connection dropped
2020-10-14 16:50:39 +0200conal(~conal@107.181.166.111) (Quit: Computer has gone to sleep.)
2020-10-14 16:51:44 +0200 <merijn> hseg: https://ircbrowse.tomsmeding.com/day/haskell/today/recent?id=63569&timestamp=1602686844#t1602686844
2020-10-14 16:52:14 +0200 <hseg> ty
2020-10-14 16:53:30 +0200conal(~conal@107.181.166.111)
2020-10-14 16:53:47 +0200stefan-_(~cri@42dots.de) (Ping timeout: 240 seconds)
2020-10-14 16:54:15 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Quit: Leaving.)
2020-10-14 16:55:42 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-14 16:55:49 +0200Guest24525(2d426caa@45.66.108.170) (Remote host closed the connection)
2020-10-14 16:56:36 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-14 16:56:36 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-14 16:56:36 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 16:59:08 +0200raichoo(~raichoo@dslb-092-073-214-254.092.073.pools.vodafone-ip.de)
2020-10-14 17:00:01 +0200Seran1(~Seran@84.39.117.57) ()
2020-10-14 17:00:22 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-10-14 17:00:43 +0200dziban(~mcoll@230.62-99-7.dynamic.clientes.euskaltel.es)
2020-10-14 17:00:58 +0200 <dziban> hello!
2020-10-14 17:01:17 +0200conal(~conal@107.181.166.111) (Quit: Computer has gone to sleep.)
2020-10-14 17:01:18 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com) (Remote host closed the connection)
2020-10-14 17:02:36 +0200 <merijn> hseg: Lemme know how it performs, I've mostly been using it for parallel IO, I'm curious how well it works for parallelising short stuff
2020-10-14 17:02:40 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com)
2020-10-14 17:03:27 +0200 <ski> hello dziban
2020-10-14 17:04:01 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 17:04:44 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-14 17:06:27 +0200conal(~conal@107.181.166.111)
2020-10-14 17:06:53 +0200mav1(~mav@dynamic-002-247-241-121.2.247.pool.telefonica.de)
2020-10-14 17:07:59 +0200polyphem(~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2020-10-14 17:09:09 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-14 17:12:32 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-14 17:12:42 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-14 17:12:42 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-14 17:12:42 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 17:13:14 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-14 17:15:10 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-14 17:16:13 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-14 17:16:48 +0200kupi(uid212005@gateway/web/irccloud.com/x-fmxlaxhuszjyrjhy) (Quit: Connection closed for inactivity)
2020-10-14 17:17:48 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-14 17:19:26 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 17:22:29 +0200aarvar(~foewfoiew@c.24.56.239.179.static.broadstripe.net)
2020-10-14 17:24:30 +0200berberman_(~berberman@unaffiliated/berberman)
2020-10-14 17:25:37 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds)
2020-10-14 17:25:44 +0200 <hseg> merijn: sorry, was called elsewhere, giving it a shot now
2020-10-14 17:25:45 +0200chele(~chele@5.53.222.202) (Ping timeout: 240 seconds)
2020-10-14 17:25:57 +0200 <hseg> need to adapt my code a little though
2020-10-14 17:25:58 +0200berberman_(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-14 17:26:24 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-14 17:26:48 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-14 17:27:09 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-14 17:27:54 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-14 17:27:58 +0200 <hseg> "a little" -- was using list comprehensions pretty heavily
2020-10-14 17:28:19 +0200Noldorin(~noldorin@unaffiliated/noldorin) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-14 17:28:23 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-14 17:28:44 +0200Lycurgus(~niemand@98.4.96.235)
2020-10-14 17:29:58 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-14 17:30:27 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-14 17:31:52 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-14 17:32:22 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-14 17:32:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 17:32:59 +0200ubert(~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection)
2020-10-14 17:35:20 +0200seanvert`(~user@177.84.244.242) (Ping timeout: 256 seconds)
2020-10-14 17:35:35 +0200seanvert`(~user@177.84.244.242)
2020-10-14 17:35:50 +0200Gerula(~Gerula@unaffiliated/gerula) (Ping timeout: 260 seconds)
2020-10-14 17:37:12 +0200Ariakenom(~Ariakenom@193.254.193.1) (Read error: Connection reset by peer)
2020-10-14 17:37:28 +0200hackagestreaming-bytestring 0.1.7 - Fast, effectful byte streams. https://hackage.haskell.org/package/streaming-bytestring-0.1.7 (fosskers)
2020-10-14 17:40:49 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-kgagngiamjqbxyjw)
2020-10-14 17:44:13 +0200seanvert`(~user@177.84.244.242) (Ping timeout: 260 seconds)
2020-10-14 17:46:57 +0200kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-10-14 17:47:21 +0200dziban(~mcoll@230.62-99-7.dynamic.clientes.euskaltel.es) (Remote host closed the connection)
2020-10-14 17:48:47 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 17:49:28 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-14 17:49:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 17:51:21 +0200oisdk(~oisdk@2001:bb6:3329:d100:a9e4:32d1:231e:16a5) (Quit: oisdk)
2020-10-14 17:51:28 +0200tomenos(c8afb96d@200.175.185.109)
2020-10-14 17:52:38 +0200 <tomenos> hey! Im a newbie in haskell, and Im trying to do a function that returns the most common vocal in a string (doesnt matter if is lower or upper case)
2020-10-14 17:52:43 +0200 <tomenos> any ideas?
2020-10-14 17:54:08 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-14 17:54:50 +0200oisdk(~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a)
2020-10-14 17:55:27 +0200 <merijn> Build a "Map Char Int" and then lookup the character with the highest count?
2020-10-14 17:56:05 +0200 <tomenos> ow tks!!! gonna try it
2020-10-14 17:56:26 +0200tomenos(c8afb96d@200.175.185.109) (Remote host closed the connection)
2020-10-14 17:57:07 +0200funkatron(~funkatron@185.104.184.43)
2020-10-14 17:59:04 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-14 18:00:08 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-14 18:01:05 +0200mav1(~mav@dynamic-002-247-241-121.2.247.pool.telefonica.de) (Ping timeout: 240 seconds)
2020-10-14 18:02:21 +0200avdb(~avdb@ip-213-49-123-30.dsl.scarlet.be)
2020-10-14 18:03:15 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-14 18:03:16 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-14 18:03:16 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-14 18:04:20 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 258 seconds)
2020-10-14 18:04:30 +0200vaibhavsagar(vaibhavsag@gateway/shell/matrix.org/x-xlkytutapnujrgwb) (Quit: Idle for 30+ days)
2020-10-14 18:05:03 +0200lemmih_(~lemmih@2406:3003:2072:44:3922:9cb3:b566:fd8)
2020-10-14 18:05:52 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at) (Remote host closed the connection)
2020-10-14 18:06:04 +0200acidjnk_new(~acidjnk@p200300d0c7237896b056d7f56d23f214.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-14 18:06:49 +0200lemmih(~lemmih@218.186.157.57) (Ping timeout: 264 seconds)
2020-10-14 18:07:33 +0200boistordu1(boistordum@gateway/shell/matrix.org/x-pisxxstrdnlvnxgf) (Quit: Idle for 30+ days)
2020-10-14 18:08:37 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 18:09:17 +0200sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) (Quit: WeeChat 2.9)
2020-10-14 18:09:36 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-14 18:10:41 +0200urdh(~urdh@unaffiliated/urdh)
2020-10-14 18:10:41 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-14 18:10:46 +0200sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com)
2020-10-14 18:11:27 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-14 18:11:28 +0200quintasan(~quassel@ubuntu/member/quintasan) (Quit: quintasan)
2020-10-14 18:13:15 +0200quintasan(~quassel@quintasan.pl)
2020-10-14 18:13:15 +0200quintasan(~quassel@quintasan.pl) (Changing host)
2020-10-14 18:13:15 +0200quintasan(~quassel@ubuntu/member/quintasan)
2020-10-14 18:17:38 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu)
2020-10-14 18:18:03 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-10-14 18:18:07 +0200lucid_0x80(~lucid_0x8@188.253.225.49)
2020-10-14 18:19:37 +0200 <hseg> merijn: ok, finally managed to bash things into the appropriate shape
2020-10-14 18:19:44 +0200 <hseg> let's see how long it takes it
2020-10-14 18:21:46 +0200quintasan(~quassel@ubuntu/member/quintasan) (Quit: quintasan)
2020-10-14 18:21:54 +0200quintasan(~quassel@quintasan.pl)
2020-10-14 18:21:54 +0200quintasan(~quassel@quintasan.pl) (Changing host)
2020-10-14 18:21:54 +0200quintasan(~quassel@ubuntu/member/quintasan)
2020-10-14 18:22:34 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-14 18:22:56 +0200dan64(~dan64@dannyadam.com) (Quit: ZNC - http://znc.in)
2020-10-14 18:22:57 +0200avdb(~avdb@ip-213-49-123-30.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-14 18:23:14 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-14 18:25:17 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-14 18:25:25 +0200conal(~conal@107.181.166.111) (Quit: Computer has gone to sleep.)
2020-10-14 18:25:26 +0200dan64(~dan64@dannyadam.com)
2020-10-14 18:25:32 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-14 18:25:33 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-14 18:25:33 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 18:28:50 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu)
2020-10-14 18:29:35 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-14 18:30:29 +0200dan64(~dan64@dannyadam.com) (Quit: ZNC - http://znc.in)
2020-10-14 18:31:56 +0200dan64(~dan64@dannyadam.com)
2020-10-14 18:33:18 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-10-14 18:33:27 +0200hackagetasty-ant-xml 1.1.7 - Render tasty output to XML for Jenkins https://hackage.haskell.org/package/tasty-ant-xml-1.1.7 (OliverCharles)
2020-10-14 18:35:27 +0200Lycurgus(~niemand@98.4.96.235) (Quit: Exeunt)
2020-10-14 18:35:37 +0200conal(~conal@107.181.166.111)
2020-10-14 18:36:43 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-10-14 18:36:45 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Ping timeout: 256 seconds)
2020-10-14 18:38:53 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-14 18:39:38 +0200urdh(~urdh@unaffiliated/urdh) (Ping timeout: 260 seconds)
2020-10-14 18:40:51 +0200knupfer(~Thunderbi@87.123.206.152) (Ping timeout: 265 seconds)
2020-10-14 18:41:22 +0200Codaraxis_(~Codaraxis@ip68-5-90-227.oc.oc.cox.net)
2020-10-14 18:42:56 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 18:44:23 +0200nineonine(~nineonine@216-19-190-182.dyn.novuscom.net) (Remote host closed the connection)
2020-10-14 18:47:12 +0200kamek(~kamek@modemcable169.17-58-74.mc.videotron.ca)
2020-10-14 18:47:25 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-14 18:48:39 +0200 <kamek> to convert my own datatypes to and from Data.Text, is there a typeclass I should implement ? Or do people simply write plain functions
2020-10-14 18:49:22 +0200 <monochrom> Just write plain functions.
2020-10-14 18:49:57 +0200 <sim590> kamek: https://stackoverflow.com/questions/10988253/is-there-an-equivalent-of-the-show-typeclass-for-data…
2020-10-14 18:50:18 +0200 <sim590> I know that it's 6 years old though.
2020-10-14 18:50:58 +0200lemmih_lemmih
2020-10-14 18:51:13 +0200 <monochrom> The problem with "a type class like Show" is that everyone wants it to do something slightly different, even for the same type. And it shows. (Pun!)
2020-10-14 18:51:35 +0200 <kamek> :p
2020-10-14 18:51:52 +0200 <monochrom> Some people want Show to stand for debugging output, some other want it to stand for user-facing output. Well they are in conflict.
2020-10-14 18:51:59 +0200 <kamek> same for deserializing I assume ?
2020-10-14 18:52:30 +0200 <monochrom> Oh deserialising is yet another different thing people want Show to stand for, too.
2020-10-14 18:53:09 +0200nyd(~lpy@unaffiliated/elysian) (Quit: nyd)
2020-10-14 18:53:15 +0200 <dolio> Serializing to Show output is a clear bad idea, though.
2020-10-14 18:53:51 +0200nineonine(~nineonine@216.81.48.202)
2020-10-14 18:54:18 +0200 <Uniaika> whereas having a simple set of rules like "Show is Read's counterpart, Debug/Inspect is for debugging output" <- now we don't try to shoehorn every usecase in one typeclass!
2020-10-14 18:54:59 +0200conal(~conal@107.181.166.111) (Quit: Computer has gone to sleep.)
2020-10-14 18:55:25 +0200 <monochrom> Yes I would support having multiple standard-endorsed classes, so one single class doesn't get too overloaded (pun!). For example look at Rust, it has two.
2020-10-14 18:56:34 +0200 <monochrom> But human nature is "I want one simple standard, and it does what I want".
2020-10-14 18:56:50 +0200 <Uniaika> monochrom: we need to form a coallition to upstream a Debug/Inspect for that kind of things
2020-10-14 18:57:14 +0200 <Uniaika> monochrom: nah, human nature is dead for a while now. "Human Nature" is now what your marketing is making people thing their nature is
2020-10-14 18:57:43 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-14 18:57:45 +0200 <monochrom> My opinion is that the stance "Show gives you valid Haskell syntax" is conceived out of the intersection of debugging output and serialization.
2020-10-14 18:58:38 +0200 <dolio> I don't think it really makes much sense to push for Show/Read to be anything but the debug-ish one, really. The majority of instances are going to be derived according to the mechanical procedure that isn't good for user-facing display, and you can't automatically derive a good user-facing display.
2020-10-14 18:59:39 +0200 <monochrom> Outputting Haskell syntax is sufficient, but not necessary, for debugging output purposes. For many types, there are nicer formats than Haskell syntax. For example my students agree that for tree types "deriving Show" is less readable than any homebrew format.
2020-10-14 18:59:39 +0200 <dsal> When you can read what you show, you make a lot of things a lot easier. I used to make clever user-friendly Show instances until I head to deal with someone else's.
2020-10-14 18:59:54 +0200 <maerwald> Show and read may be whatever you want, if you control the data (and as such, the instance definition)
2020-10-14 19:00:07 +0200conal(~conal@64.71.133.70)
2020-10-14 19:00:14 +0200 <monochrom> Outputting Haskell syntax is also sufficient, but not necessary, for serialization. Clearly there are more efficient formats.
2020-10-14 19:00:46 +0200 <monochrom> BUT! If you want the debugging camp and the serialization camp to both agree on one format, it's Haskell syntax.
2020-10-14 19:01:16 +0200 <Uniaika> + a pretty-printing package like pretty-simple
2020-10-14 19:01:35 +0200 <Uniaika> :P
2020-10-14 19:01:54 +0200 <dolio> Every time people invent fancy formatting for the debug output, they leave out important information that I eventually want when debugging, in my experience.
2020-10-14 19:02:18 +0200 <dolio> So I just want to see the actually Haskell value.
2020-10-14 19:03:23 +0200 <maerwald> meh, show could have been: show :: Style -> a -> String
2020-10-14 19:03:36 +0200 <maerwald> data Style = Debug | Serial | Pretty
2020-10-14 19:04:04 +0200conal(~conal@64.71.133.70) (Client Quit)
2020-10-14 19:04:07 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-14 19:04:23 +0200 <geekosaur> except someone will come up with a fourth
2020-10-14 19:04:30 +0200 <monochrom> You should that a type-level, not term-level, parameter. >:)
2020-10-14 19:04:39 +0200 <monochrom> s/should/should make/
2020-10-14 19:04:42 +0200 <maerwald> now we need open variants, easy
2020-10-14 19:04:51 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 19:05:19 +0200 <monochrom> Oh, type-level is open, too.
2020-10-14 19:05:25 +0200 <Uniaika> with a sprinkle of type apps
2020-10-14 19:05:39 +0200 <monochrom> show :: (ShowStyle s, Show a) => s -> a -> String
2020-10-14 19:05:57 +0200hackageuniqueness-periods-vector-examples 0.12.3.1 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.12.3.1 (OleksandrZhabenko)
2020-10-14 19:06:04 +0200 <monochrom> How do you like that monster? >:)
2020-10-14 19:06:36 +0200 <monochrom> err
2020-10-14 19:06:43 +0200 <monochrom> show :: (ShowStyle s, Show a) => Proxy s -> a -> String
2020-10-14 19:08:57 +0200 <geekosaur> don't forget Text :)
2020-10-14 19:09:20 +0200 <monochrom> Ah dammit.
2020-10-14 19:09:22 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-14 19:09:23 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-14 19:09:33 +0200 <monochrom> show :: (ShowStyle s, Show a, IsString t) => Proxy s -> a -> t
2020-10-14 19:10:02 +0200 <monochrom> Multiple dispatch at its finest.
2020-10-14 19:10:55 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-14 19:11:04 +0200 <Uniaika> tbh, Show is good enough for debugging
2020-10-14 19:11:12 +0200 <monochrom> CLOS be like "we figured that out 40 years ago, what took you so long"
2020-10-14 19:11:20 +0200seanvert(~user@177.84.244.242)
2020-10-14 19:11:31 +0200avdb(~avdb@ip-213-49-123-30.dsl.scarlet.be)
2020-10-14 19:11:35 +0200 <Uniaika> monochrom: what did it bring on the table?
2020-10-14 19:11:53 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-14 19:12:04 +0200 <monochrom> Multiple dispatch.
2020-10-14 19:12:04 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-14 19:12:05 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-14 19:12:05 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 19:12:51 +0200xff0x(~fox@2001:1a81:531c:4c00:832:9834:d4e8:1bdd)
2020-10-14 19:13:24 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-14 19:15:08 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 19:16:49 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-14 19:19:40 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-14 19:20:04 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-14 19:21:35 +0200 <ezzieyguywuf> if you were going to write a web app in which (1) there's a drag/drop interface, (2) users can put stuff together in an order of their choosing with some limitations, (3) the output is a configured part number and an image displaying the configuration...what language would you use?
2020-10-14 19:21:42 +0200 <ezzieyguywuf> I've never done something like this for a website
2020-10-14 19:22:12 +0200noumenon(~daemon@113.51-175-156.customer.lyse.net)
2020-10-14 19:22:34 +0200 <shapr> well, I'd use Haskell but I've a decent chunk of experience building webapps in Haskell
2020-10-14 19:23:06 +0200 <shapr> ezzieyguywuf: if it's for work, use what your team uses? if it's for fun, use what looks like the most fun?
2020-10-14 19:23:21 +0200acidjnk_new(~acidjnk@p200300d0c7237896b056d7f56d23f214.dip0.t-ipconnect.de)
2020-10-14 19:23:27 +0200hackagehttp-conduit-downloader 1.1.2 - HTTP downloader tailored for web-crawler needs. https://hackage.haskell.org/package/http-conduit-downloader-1.1.2 (VladimirShabanov)
2020-10-14 19:23:35 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 19:24:07 +0200 <shapr> I think there should be a 20th anniversary celebration for #haskell
2020-10-14 19:24:26 +0200 <shapr> that's a mere 28 weeks away!
2020-10-14 19:24:29 +0200 <ezzieyguywuf> it's for work but we're not software guys
2020-10-14 19:24:34 +0200 <ezzieyguywuf> so it's just kind of my fun side project
2020-10-14 19:24:55 +0200 <ezzieyguywuf> I'm not averse to using haskell, but I think we might hire a software dude in india to do it and I'll manage him.
2020-10-14 19:25:02 +0200 <ezzieyguywuf> just trying to figure out what sort of technologies are out there
2020-10-14 19:25:17 +0200 <shapr> it sounds like a decent sized web app
2020-10-14 19:25:23 +0200 <ski> shapr : 'twas in 2001 ?
2020-10-14 19:25:39 +0200 <ezzieyguywuf> shapr: yea, it's def. not a quicky
2020-10-14 19:25:41 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 19:25:45 +0200 <shapr> ski: according to chanserv Registered : Apr 30 22:22:56 2001 (19y 24w 3d ago)
2020-10-14 19:26:12 +0200 <vincenz> shapr: Hey!
2020-10-14 19:26:21 +0200 <ski> wasn't it at OpenProjects, some time before that ?
2020-10-14 19:26:24 +0200 <shapr> ezzieyguywuf: My suggestion is to create a prototype in whatever language you enjoy most, and possibly hire someone to rewrite it in whatever language is most easily maintained by that person?
2020-10-14 19:26:27 +0200 <monochrom> "28 weeks later"
2020-10-14 19:26:44 +0200 <shapr> howdy vincenz! long time no see! What're you doing these days?
2020-10-14 19:27:09 +0200skiidly recalls having to switch server host to connect to, with ircII, at some point
2020-10-14 19:27:11 +0200 <monochrom> Too bad it is not April 1.
2020-10-14 19:27:13 +0200 <vincenz> shapr: I'm still at Google, working on Maps, though now living in the US. you?
2020-10-14 19:27:24 +0200 <ezzieyguywuf> shapr: that's not a bad idea.
2020-10-14 19:27:27 +0200 <shapr> ski: I thought freenode was the new name for openprojects? jag glömmer, det var förmycket tiden
2020-10-14 19:27:40 +0200 <ezzieyguywuf> aren't there, like, a handful of languages that are the "go to" for this type of stuff on the web though?
2020-10-14 19:27:44 +0200 <ezzieyguywuf> i.e. javascript, ruby?
2020-10-14 19:27:58 +0200 <ezzieyguywuf> I don't really know, like I said I've got like 0 experience making stuff for the web outside of basic html
2020-10-14 19:28:02 +0200avdb(~avdb@ip-213-49-123-30.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-14 19:28:03 +0200 <ski> yes, but we still needed to connect using a different domain name
2020-10-14 19:28:05 +0200 <shapr> vincenz: writing Haskell for a living. living in the DC area while my employer is in Boston
2020-10-14 19:28:11 +0200 <dsal> ezzieyguywuf: javascript is what browsers speak, but it's not necessarily how you need to speak to the browser.
2020-10-14 19:28:30 +0200 <ezzieyguywuf> vincenz: you work on google maps? that's awesome, that's a great piece of software.
2020-10-14 19:28:35 +0200 <shapr> ezzieyguywuf: you could do 99% of what you need entirely on the server side, it depends on what's most comfortable for you
2020-10-14 19:28:36 +0200 <dsal> You can write haskell or elm or something on the browser side, and haskell on the server side.
2020-10-14 19:28:38 +0200avdb(~avdb@ip-213-49-123-30.dsl.scarlet.be)
2020-10-14 19:29:05 +0200 <ezzieyguywuf> shapr: hrm, that's starting to make sense to me. I think I need to educate myself on how this web stuff works, maybe do a small toy project
2020-10-14 19:29:17 +0200 <shapr> ezzieyguywuf: if you have any questions, I'm happy to help!
2020-10-14 19:29:23 +0200 <ezzieyguywuf> 👍
2020-10-14 19:29:26 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-14 19:29:27 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-14 19:29:27 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-14 19:29:43 +0200 <shapr> my last year's project was a web app in Haskell that was 99% server side: https://github.com/shapr/fermatslastmargin/
2020-10-14 19:29:46 +0200 <vincenz> ezzieyguywuf: Thanks!
2020-10-14 19:29:48 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-14 19:29:56 +0200 <vincenz> shapr: I guess that's the new normal
2020-10-14 19:29:57 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 244 seconds)
2020-10-14 19:30:02 +0200 <monochrom> ezzieyguywuf: Javascript is native for GUI in a web browser. However, if you like, many languages can be compiled to Javascript. Haskell (using GHCJS), Clojure, ...
2020-10-14 19:30:18 +0200 <vincenz> monochrom: don't forget typescript :)
2020-10-14 19:30:34 +0200 <monochrom> But GHCJS is a bit difficult to install. They say "just use Nix".
2020-10-14 19:32:09 +0200dexterlb(~dexterlb@2a01:9e40:2:2::2) (Quit: Boing)
2020-10-14 19:32:34 +0200 <bliminse> ezzieyguywuf: you may also want to consider the candidate pool that each language has. for frontend javascript definitely is number 1, and if you decide to split into backend/front I'm pretty certain Haskell
2020-10-14 19:32:47 +0200 <bliminse> will limit your options way more than a language like java to be honest
2020-10-14 19:33:01 +0200 <ezzieyguywuf> bliminse: yea, this is the type of stuff I was curious about too.
2020-10-14 19:33:15 +0200dexterlb(~dexterlb@2a01:9e40:2:2::2)
2020-10-14 19:33:21 +0200 <maerwald> monochrom: if nix is the only way to install something... makes you wonder why
2020-10-14 19:33:54 +0200Ariakenom(~Ariakenom@h-82-196-111-216.NA.cust.bahnhof.se)
2020-10-14 19:35:22 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-14 19:35:48 +0200 <gentauro> is there a Haskell project that reminds of `.NET LINQ`?
2020-10-14 19:35:52 +0200 <phadej> finding a skillful person who enjoys writing web-backend java feels to be a hard (or costly) task
2020-10-14 19:35:59 +0200 <gentauro> I want to get inspired :)
2020-10-14 19:36:00 +0200alp(~alp@2a01:e0a:58b:4920:35bf:57b0:490a:24ef)
2020-10-14 19:36:23 +0200 <gentauro> phadej: doesn't those people write Scala?
2020-10-14 19:36:26 +0200 <dolio> GHC has extended linq-like monad comprehensions, doesn't it?
2020-10-14 19:36:40 +0200 <maerwald> Scala devs are expensive
2020-10-14 19:36:44 +0200 <gentauro> phadej: a know many and they are pretty happy about writing Scala for $$$
2020-10-14 19:36:58 +0200 <phadej> gentauro: Scala would "limit your candidate pool" in the same way Haskell :)
2020-10-14 19:37:01 +0200 <geekosaur> yes, at least for now; I've heard at least one proposal to remove them due to lack of use
2020-10-14 19:37:31 +0200 <gentauro> phadej: but reaching out to Scala devs, would increase software quality
2020-10-14 19:37:41 +0200 <phadej> :)
2020-10-14 19:37:51 +0200 <maerwald> gentauro: why?
2020-10-14 19:38:28 +0200 <phadej> I thing that [scala devs increasing software quality] is a sarcastic comment
2020-10-14 19:38:29 +0200 <gentauro> maerwald: at least the people I know that write Scala for food are pretty competent :)
2020-10-14 19:38:48 +0200 <maerwald> gentauro: that's a weird conclusion then
2020-10-14 19:39:21 +0200 <gentauro> maerwald: I will not talk bad about people working with other `tech stacks`, but it's very clear who I would work with ;)
2020-10-14 19:39:22 +0200 <hseg> merijn: it ended up not being that much more efficient than a straight map
2020-10-14 19:39:46 +0200 <hseg> *shrugs* happens
2020-10-14 19:40:00 +0200 <maerwald> gentauro: I've worked with javascript devs who were pretty high on the engineer skill scale
2020-10-14 19:40:14 +0200 <maerwald> I don't think the language has anything to do with it, it's just community bias
2020-10-14 19:40:38 +0200 <maerwald> it might be true that low-slikk is less annoying in haskell
2020-10-14 19:40:44 +0200 <maerwald> but that's a different thing
2020-10-14 19:40:54 +0200 <maerwald> s/low-slikk/low-skill/
2020-10-14 19:40:56 +0200 <gentauro> maerwald: lucky you. I worked with JS "peeps" (I wouldn't even call them devs) that didn't know what they were doing
2020-10-14 19:41:18 +0200 <maerwald> you have the same in haskell, except that jobs are harder to get
2020-10-14 19:41:23 +0200 <gentauro> maerwald: my point is that it's very difficult to hear that sentence with people working with Scala ;)
2020-10-14 19:41:29 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-14 19:41:35 +0200 <merijn> maerwald: i think that's not entirely true
2020-10-14 19:41:43 +0200 <gentauro> s/Scala/FP/
2020-10-14 19:42:13 +0200 <merijn> maerwald: I think there is a historical (and decreasing) higher average skill in the Haskell community, but as it grows and expands it regresses back to the mean
2020-10-14 19:42:55 +0200 <maerwald> which is a good thing
2020-10-14 19:43:16 +0200 <merijn> Simply from sheer selection bias of "who feels attracted to small niche languages"
2020-10-14 19:43:31 +0200 <gentauro> btw, I can see that I just jumped into the disccusion :) but did anybody see my question? 19:35 < gentauro> is there a Haskell project that reminds of `.NET LINQ`?
2020-10-14 19:43:34 +0200 <gentauro> xD
2020-10-14 19:44:25 +0200 <dolio> I answered it.
2020-10-14 19:44:30 +0200 <dolio> And you didn't read it.
2020-10-14 19:44:51 +0200 <gentauro> dolio: you didn't tagged me :P
2020-10-14 19:44:58 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-10-14 19:45:16 +0200 <phadej> gentauro: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#extension-MonadC…
2020-10-14 19:45:20 +0200kori(~kori@arrowheads/kori) (Read error: Connection reset by peer)
2020-10-14 19:45:24 +0200 <[exa]> Hm so sometimes when starting a scotty app on a mac, I'm getting: "file descriptor 202794296 out of range for select (0--1024). Recompile with -threaded to work around this. Is there any good explanation of what's happening?
2020-10-14 19:45:29 +0200 <phadej> here go your tag.
2020-10-14 19:45:53 +0200Amras(~Amras@unaffiliated/amras0000)
2020-10-14 19:46:05 +0200 <monochrom> There is also this angle: If you can learn several different languages --- and very different, having learned n-1 of them doesn't help learning the nth one --- it is a good show of what your mind can do.
2020-10-14 19:46:20 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 272 seconds)
2020-10-14 19:46:34 +0200 <gentauro> phadej: and dolio: it's just what I was looking for. Thx
2020-10-14 19:46:51 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-14 19:47:41 +0200 <merijn> [exa]: "you need to recompile with -threaded"? :p
2020-10-14 19:47:52 +0200 <merijn> [exa]: Looks like you hit a limitation of the non-threaded RTS
2020-10-14 19:47:56 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-14 19:48:06 +0200 <ghoulguy> I bet 202794296 isn't a real file descriptor
2020-10-14 19:48:20 +0200 <merijn> Also that
2020-10-14 19:48:57 +0200 <[exa]> well yeah, the question is where this came from (can't find anything reasonable). I'm not aware of anything in the app that could break such stuff, it just starts scotty in a perfectly normal way, no magic, no workarounds, no nothing
2020-10-14 19:49:09 +0200 <monochrom> threaded RTS is not going to get a higher quota for file descriptors.
2020-10-14 19:49:18 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-14 19:49:42 +0200 <merijn> Well, it looks like he hit a *select* limit
2020-10-14 19:49:47 +0200 <geekosaur> but it may use poll instead of select() which by inherent design has a low file descriptor limit
2020-10-14 19:49:48 +0200 <merijn> Not a file descriptor limit
2020-10-14 19:49:48 +0200 <ghoulguy> The -threaded bit is a distraction. Something is generating or corrupting an invalid file descriptor
2020-10-14 19:50:07 +0200 <Ariakenom> threaded rts behaves nicer in a bunch of ways, right?
2020-10-14 19:50:14 +0200 <merijn> Ariakenom: Yes
2020-10-14 19:50:16 +0200 <geekosaur> that said, I agree that does not look to me like it was a valid fd in the first place
2020-10-14 19:50:36 +0200 <merijn> Ariakenom: You probably always want the threaded RTS (but with parallel GC disabled! which should become the default sometime soon-ish)
2020-10-14 19:50:37 +0200 <monochrom> However, non-threaded RTS asks for periodic SIGVTALRM, this can interfere with syscalls, and after a long story may lead to weird return values.
2020-10-14 19:51:20 +0200 <merijn> The parallel GC is bad in most cases, unless you know what you're doing
2020-10-14 19:51:22 +0200 <Ariakenom> merijn: soonTM :p. It's been the less buggy ines for years I think
2020-10-14 19:51:32 +0200 <Ariakenom> less buggy one
2020-10-14 19:51:40 +0200 <ghoulguy> OK, it could be the case that the non-threaded runtime is completely broken and shouldn't be used and in this case error message recommendation coincidentally applies
2020-10-14 19:51:44 +0200 <[exa]> like, I shall just compile with threaded and hope that this stops happening (the random nature of this occurring is what scares me), but a better explanation that "please just workaround" would be really cool
2020-10-14 19:52:12 +0200 <[exa]> certainly the number is not a valid FD
2020-10-14 19:52:15 +0200dirediresalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-14 19:53:12 +0200 <geekosaur> especially not on a Mac which has rather low fd limits out of the box, unlike linux
2020-10-14 19:53:20 +0200 <[exa]> yeah
2020-10-14 19:53:37 +0200 <[exa]> "non-threaded runtime is completely broken" oh noes
2020-10-14 19:53:50 +0200 <monochrom> Hrm, this can be very evil.
2020-10-14 19:53:53 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-14 19:53:56 +0200 <geekosaur> well, I wouldnt say completely broken, but it's not very stable
2020-10-14 19:54:03 +0200 <[exa]> I can collect versions of everything just for reference
2020-10-14 19:54:03 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-14 19:54:03 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-14 19:54:03 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 19:54:15 +0200 <[exa]> (it's not my box in particular)
2020-10-14 19:54:18 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Ping timeout: 260 seconds)
2020-10-14 19:54:56 +0200 <merijn> [exa]: It's not "completely broken", but there's a bunch of libraries that cannot work correctly with it (for example, process)
2020-10-14 19:55:56 +0200 <geekosaur> process can't work correctly anyway :/
2020-10-14 19:55:56 +0200 <monochrom> Here is the evil possibility. The suggestion "use -threaded" may be a blanket suggestion that applies to other scenerios but not yours.
2020-10-14 19:56:00 +0200 <merijn> Just remember "+RTS -qg" :p (or use -with-rtsopts)
2020-10-14 19:57:12 +0200cheater(~user@unaffiliated/cheater) (Quit: (BitchX) Time wasted: all of it)
2020-10-14 19:57:13 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2020-10-14 19:57:14 +0200 <ghoulguy> Why -qg?
2020-10-14 19:57:33 +0200 <geekosaur> disable parallel gc, I think
2020-10-14 19:57:38 +0200 <merijn> Disables parallel GC
2020-10-14 19:57:45 +0200 <ghoulguy> Yeah, I gathered that much
2020-10-14 19:58:05 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-14 19:58:17 +0200 <geekosaur> because that's only useful with specific workloads currently, as already discussed (and comes up in here every couple weeks)
2020-10-14 19:58:25 +0200 <merijn> ghoulguy: Because parallel GC often causes *huge* slowdown, an order of magnitude in my own code
2020-10-14 19:59:38 +0200 <ghoulguy> Do you know what kinds of workloads it is good for?
2020-10-14 20:00:02 +0200funkatron(~funkatron@185.104.184.43) ()
2020-10-14 20:00:11 +0200cheater(~user@unaffiliated/cheater)
2020-10-14 20:00:52 +0200 <merijn> No clue, haven't seen one yet :p
2020-10-14 20:01:15 +0200 <merijn> And even when it's good you'll want to explicitly configure how many parallel threads, instead of 1 per capability
2020-10-14 20:01:50 +0200 <monochrom> Yeah, I now feel that perhaps the non-threaded RTS was not the cause, rather the messenger. It notices bad FDs more often because of its other limitations. If you switch to the threaded RTS, you are not eliminating the cause, only eliminating a messenger.
2020-10-14 20:03:04 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 20:03:21 +0200conal(~conal@64.71.133.70)
2020-10-14 20:03:34 +0200dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-10-14 20:04:55 +0200conal(~conal@64.71.133.70) (Client Quit)
2020-10-14 20:05:17 +0200alp(~alp@2a01:e0a:58b:4920:35bf:57b0:490a:24ef) (Remote host closed the connection)
2020-10-14 20:05:44 +0200alp(~alp@2a01:e0a:58b:4920:a521:3fa3:56aa:9ff2)
2020-10-14 20:06:39 +0200conal(~conal@64.71.133.70)
2020-10-14 20:06:45 +0200conal(~conal@64.71.133.70) (Client Quit)
2020-10-14 20:07:09 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-14 20:07:42 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-14 20:08:01 +0200raichoo(~raichoo@dslb-092-073-214-254.092.073.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-14 20:09:20 +0200 <nihilazo> is it true that ghc can only cross-compile itself and not other programs? Why?
2020-10-14 20:09:24 +0200 <nihilazo> (I'm struggling with compiling stuff on my slow tablet that keeps freezing up)
2020-10-14 20:10:24 +0200 <monochrom> I don't know whether it's true, and I don't know why. But may I tell you an Aesop fable?
2020-10-14 20:10:25 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2020-10-14 20:10:40 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-14 20:10:59 +0200 <monochrom> A group of mice organized a conference to discuss how to deal with the threat from the cat.
2020-10-14 20:11:23 +0200 <phadej> a/wg 32
2020-10-14 20:11:29 +0200 <phadej> err
2020-10-14 20:11:34 +0200 <monochrom> They all agreed that a bell needed to be put on the cat so the mice could get early warning.
2020-10-14 20:11:47 +0200 <monochrom> They also agreed that someone else should do it.
2020-10-14 20:11:56 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-10-14 20:12:29 +0200nados(~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-14 20:14:29 +0200 <nihilazo> I don't understand compiler-fu enough to add something like that to ghc, if that's what you're suggesting
2020-10-14 20:14:47 +0200 <monochrom> No.
2020-10-14 20:15:17 +0200oisdk(~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a) (Quit: oisdk)
2020-10-14 20:15:25 +0200 <ghoulguy> nihilazo: Maybe you're the cat in this story? \o/
2020-10-14 20:15:42 +0200ghoulguyputs a bell on nihilazo just in case.
2020-10-14 20:15:45 +0200 <nihilazo> I don't really understand this story
2020-10-14 20:15:46 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-14 20:16:02 +0200 <monochrom> But instead of looking for a technical reason why something isn't done, it is usually much simpler to look for an economic reason.
2020-10-14 20:16:31 +0200 <ghoulguy> I think the first question is just "is this the case?"
2020-10-14 20:17:24 +0200 <davean> nihilazo: why do you think GHC can only cross compile its self?
2020-10-14 20:18:04 +0200 <nihilazo> I remember being told that before, although it may be totally untrue
2020-10-14 20:18:06 +0200John20(~John@82.46.59.122) (Read error: Connection reset by peer)
2020-10-14 20:18:28 +0200 <dsal> I use hugs to run ghc.
2020-10-14 20:18:41 +0200 <davean> GHC is just a Haskell program
2020-10-14 20:18:57 +0200 <davean> You need things like iserv to cross compile if TH is involved
2020-10-14 20:19:09 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-14 20:20:45 +0200 <nihilazo> ah, it seems that you can build ghc to work as a cross compiler
2020-10-14 20:21:00 +0200 <nihilazo> why did I not know this before
2020-10-14 20:21:55 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-14 20:22:12 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-14 20:23:55 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 20:24:08 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-14 20:24:36 +0200 <nihilazo> seems like it's a bit of a pain though
2020-10-14 20:24:38 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 20:26:02 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-14 20:26:19 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu)
2020-10-14 20:28:39 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-14 20:29:12 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-14 20:29:17 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 20:29:53 +0200kamek(~kamek@modemcable169.17-58-74.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-10-14 20:31:26 +0200zwarag(506e6233@80-110-98-51.cgn.dynamic.surfer.at)
2020-10-14 20:31:46 +0200 <davean> cross compilation always is, and I'm not sure why other than for GHC you'd want to do it.
2020-10-14 20:32:04 +0200Ariakenom_(~Ariakenom@h-82-196-111-216.NA.cust.bahnhof.se)
2020-10-14 20:33:46 +0200conal(~conal@64.71.133.70)
2020-10-14 20:34:14 +0200 <geekosaur> gcc can only cross-compile because all the real work is done by separate programs behind the "gcc" wrapper
2020-10-14 20:34:49 +0200 <geekosaur> each group of separate programs is specific to a host and target
2020-10-14 20:35:19 +0200larou(5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183)
2020-10-14 20:35:22 +0200 <geekosaur> (which is also how the gcc wrapper can also compile c++, ada, etc. if you have those backends installed)
2020-10-14 20:35:36 +0200Ariakenom(~Ariakenom@h-82-196-111-216.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2020-10-14 20:36:58 +0200 <zwarag> I'm having the troubles to understand how exactly is " f <= n `div` 2 " as seen in this SO answer interpreded ? f<=n is a Bool right? and is this casted automatically to 0 or 1 to be "{0 or 1} `div` 2"? https://stackoverflow.com/questions/24982800/haskell-factors-of-a-natural-number/24983236#24983236
2020-10-14 20:37:30 +0200 <monochrom> f <= (n `div` 2)
2020-10-14 20:37:42 +0200 <zwarag> merci
2020-10-14 20:39:03 +0200 <merijn> zwarag: There are no auto-casts in haskell, ever
2020-10-14 20:39:33 +0200 <merijn> zwarag: So logically it'd either be a type error or you got the bracketing wrong. You can figure out the bracketing by asking ghci for the fixity of operators
2020-10-14 20:39:44 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 20:39:47 +0200 <merijn> % :i (<=)
2020-10-14 20:39:48 +0200 <yahb> merijn: type Ord :: * -> Constraint; class Eq a => Ord a where; ...; (<=) :: a -> a -> Bool; ...; -- Defined in `GHC.Classes'; infix 4 <=
2020-10-14 20:39:51 +0200 <merijn> % :i `div`
2020-10-14 20:39:52 +0200 <yahb> merijn: type Integral :: * -> Constraint; class (Real a, Enum a) => Integral a where; ...; div :: a -> a -> a; ...; -- Defined in `GHC.Real'; infixl 7 `div`
2020-10-14 20:40:11 +0200 <merijn> So <= has fixity 4 and `div` has 7, meaning `div` binds more tightly
2020-10-14 20:40:33 +0200alp(~alp@2a01:e0a:58b:4920:a521:3fa3:56aa:9ff2) (Remote host closed the connection)
2020-10-14 20:40:56 +0200alp(~alp@2a01:e0a:58b:4920:e172:5b59:8b73:71e1)
2020-10-14 20:44:47 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 20:45:31 +0200hseg(~gesh@185.120.126.55) (Quit: WeeChat 2.9)
2020-10-14 20:46:51 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-14 20:49:39 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-14 20:49:42 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-14 20:49:56 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-10-14 20:53:28 +0200hackagepandoc 2.11.0.1 - Conversion between markup formats https://hackage.haskell.org/package/pandoc-2.11.0.1 (JohnMacFarlane)
2020-10-14 20:54:04 +0200tobiastom1(~tobiastom@185.104.184.43)
2020-10-14 20:54:38 +0200fendor(~fendor@212095005160.public.telering.at)
2020-10-14 20:55:12 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-10-14 20:56:00 +0200noumenon(~daemon@113.51-175-156.customer.lyse.net) (Quit: Leaving)
2020-10-14 20:56:16 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cce0:7bf3:3908:d5aa) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 20:59:20 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 20:59:28 +0200mirrorbird(~psutcliff@m83-187-163-53.cust.tele2.se)
2020-10-14 20:59:30 +0200LKoen(~LKoen@81.255.219.130) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-14 20:59:43 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:48a4:d3e1:21a1:6eb4)
2020-10-14 21:00:22 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-14 21:01:55 +0200ashbreeze(~mark@72-161-49-127.dyn.centurytel.net)
2020-10-14 21:03:34 +0200berberman_(~berberman@unaffiliated/berberman)
2020-10-14 21:03:42 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-14 21:03:53 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-14 21:04:11 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ...zzzZZZ)
2020-10-14 21:04:25 +0200_ashbreeze_(~mark@72-161-51-235.dyn.centurytel.net) (Ping timeout: 264 seconds)
2020-10-14 21:04:27 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-14 21:04:27 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-14 21:04:27 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-14 21:04:55 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 246 seconds)
2020-10-14 21:05:16 +0200oisdk(~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a)
2020-10-14 21:06:23 +0200leungbk(~user@2605:e000:1315:706:bdc5:eb84:c573:1c44)
2020-10-14 21:07:54 +0200knupfer(~Thunderbi@200116b82c71ce0084a424b0d7d6b42d.dip.versatel-1u1.de)
2020-10-14 21:09:23 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
2020-10-14 21:12:16 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-10-14 21:12:31 +0200Tops2(~Tobias@dyndsl-095-033-019-173.ewe-ip-backbone.de)
2020-10-14 21:13:05 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds)
2020-10-14 21:14:53 +0200fendor(~fendor@212095005160.public.telering.at) (Quit: Leaving)
2020-10-14 21:15:32 +0200_ashbreeze_(~mark@72-161-49-127.dyn.centurytel.net)
2020-10-14 21:15:58 +0200Gerula(~Gerula@unaffiliated/gerula)
2020-10-14 21:16:23 +0200ashbreeze(~mark@72-161-49-127.dyn.centurytel.net) (Ping timeout: 258 seconds)
2020-10-14 21:16:28 +0200hackagecalamity 0.1.21.0 - A library for writing discord bots in haskell https://hackage.haskell.org/package/calamity-0.1.21.0 (nitros12)
2020-10-14 21:18:27 +0200zebrag(~inkbottle@aaubervilliers-654-1-4-38.w83-200.abo.wanadoo.fr) (Remote host closed the connection)
2020-10-14 21:18:50 +0200zebrag(~inkbottle@aaubervilliers-654-1-4-38.w83-200.abo.wanadoo.fr)
2020-10-14 21:19:03 +0200zwarag(506e6233@80-110-98-51.cgn.dynamic.surfer.at) (Remote host closed the connection)
2020-10-14 21:21:45 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 258 seconds)
2020-10-14 21:23:15 +0200lucid_0x80(~lucid_0x8@188.253.225.49) (Ping timeout: 265 seconds)
2020-10-14 21:24:03 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-14 21:24:48 +0200gxt(~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-10-14 21:25:07 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2020-10-14 21:25:32 +0200gxt(~gxt@gateway/tor-sasl/gxt)
2020-10-14 21:28:05 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-14 21:29:26 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Ping timeout: 256 seconds)
2020-10-14 21:30:02 +0200mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Read error: Connection reset by peer)
2020-10-14 21:36:43 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a)
2020-10-14 21:36:58 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-14 21:37:37 +0200seanvert(~user@177.84.244.242) (Remote host closed the connection)
2020-10-14 21:38:12 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-14 21:38:29 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-14 21:39:34 +0200dirediresalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Ping timeout: 246 seconds)
2020-10-14 21:41:03 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 260 seconds)
2020-10-14 21:41:48 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 21:41:54 +0200avdb(~avdb@ip-213-49-123-30.dsl.scarlet.be) (Ping timeout: 256 seconds)
2020-10-14 21:42:03 +0200fendor(~fendor@91.141.0.198.wireless.dyn.drei.com)
2020-10-14 21:42:05 +0200dhil(~dhil@195.213.192.122) (Ping timeout: 240 seconds)
2020-10-14 21:43:23 +0200alp(~alp@2a01:e0a:58b:4920:e172:5b59:8b73:71e1) (Ping timeout: 272 seconds)
2020-10-14 21:45:25 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-14 21:45:39 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu) (Remote host closed the connection)
2020-10-14 21:46:10 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-14 21:46:54 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-14 21:47:00 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu)
2020-10-14 21:48:05 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-14 21:50:02 +0200zebrag(~inkbottle@aaubervilliers-654-1-4-38.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2020-10-14 21:50:25 +0200zebrag(~inkbottle@aaubervilliers-654-1-4-38.w83-200.abo.wanadoo.fr)
2020-10-14 21:53:31 +0200xff0x(~fox@2001:1a81:531c:4c00:832:9834:d4e8:1bdd) (Ping timeout: 272 seconds)
2020-10-14 21:54:02 +0200xff0x(~fox@2001:1a81:531c:4c00:c40a:58bd:2676:630d)
2020-10-14 21:54:10 +0200larou(5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183) (Quit: Connection closed)
2020-10-14 21:54:30 +0200larou(5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183)
2020-10-14 21:55:04 +0200cosimone(~cosimone@2001:b07:ae5:db26:fe52:4567:a4e4:fc3a) (Quit: cosimone)
2020-10-14 21:55:32 +0200oxide(~lambda@unaffiliated/mclaren) (Ping timeout: 272 seconds)
2020-10-14 21:55:32 +0200dhil(~dhil@78.156.97.38)
2020-10-14 21:56:03 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-14 21:57:03 +0200oxide(~lambda@unaffiliated/mclaren)
2020-10-14 21:59:32 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:48a4:d3e1:21a1:6eb4) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-14 22:00:48 +0200joy(2f0f16e3@47.15.22.227)
2020-10-14 22:00:54 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-14 22:01:45 +0200rprije(~rprije@14-203-72-60.tpgi.com.au)
2020-10-14 22:03:30 +0200joy58(2f0f16e3@47.15.22.227)
2020-10-14 22:03:47 +0200ensyde(~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 260 seconds)
2020-10-14 22:03:55 +0200joy58(2f0f16e3@47.15.22.227) (Remote host closed the connection)
2020-10-14 22:08:28 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:898b:a67a:695d:4361)
2020-10-14 22:10:12 +0200leungbk(~user@2605:e000:1315:706:bdc5:eb84:c573:1c44) (Quit: ERC (IRC client for Emacs 28.0.50))
2020-10-14 22:10:17 +0200lukelau_lukelau
2020-10-14 22:12:58 +0200hackagetime 1.11 - A time library https://hackage.haskell.org/package/time-1.11 (AshleyYakeley)
2020-10-14 22:14:42 +0200zacts(~zacts@dragora/developer/zacts) (Quit: leaving)
2020-10-14 22:14:46 +0200ashbreeze(~mark@72-161-49-127.dyn.centurytel.net)
2020-10-14 22:15:24 +0200chaosmasttter(~chaosmast@p200300c4a711b0010d42da9e3e5834d3.dip0.t-ipconnect.de)
2020-10-14 22:15:25 +0200Tops21(~Tobias@dyndsl-095-033-019-173.ewe-ip-backbone.de)
2020-10-14 22:17:30 +0200Tops22(~Tobias@dyndsl-095-033-019-173.ewe-ip-backbone.de)
2020-10-14 22:17:42 +0200_ashbreeze_(~mark@72-161-49-127.dyn.centurytel.net) (Ping timeout: 272 seconds)
2020-10-14 22:19:07 +0200Tops2(~Tobias@dyndsl-095-033-019-173.ewe-ip-backbone.de) (Ping timeout: 246 seconds)
2020-10-14 22:20:14 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-14 22:21:05 +0200Tops21(~Tobias@dyndsl-095-033-019-173.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2020-10-14 22:21:09 +0200joy(2f0f16e3@47.15.22.227) (Remote host closed the connection)
2020-10-14 22:21:48 +0200larou(5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183) (Quit: Connection closed)
2020-10-14 22:21:49 +0200knupfer(~Thunderbi@200116b82c71ce0084a424b0d7d6b42d.dip.versatel-1u1.de) (Ping timeout: 244 seconds)
2020-10-14 22:21:54 +0200knupfer1(~Thunderbi@87.123.206.152)
2020-10-14 22:22:02 +0200larou(5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183)
2020-10-14 22:22:25 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 240 seconds)
2020-10-14 22:24:18 +0200knupfer1knupfer
2020-10-14 22:24:36 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2020-10-14 22:24:55 +0200dirediresalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-14 22:25:20 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-14 22:25:25 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Ping timeout: 246 seconds)
2020-10-14 22:26:50 +0200knupfer(~Thunderbi@87.123.206.152) (Quit: knupfer)
2020-10-14 22:26:52 +0200knupfer1(~Thunderbi@200116b82c71ce00e99330bf5987d031.dip.versatel-1u1.de)
2020-10-14 22:27:25 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 22:27:28 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-10-14 22:27:46 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-14 22:27:50 +0200whatisRT(~whatisRT@2002:5b41:6a33:0:68f3:8b8f:f492:c19a) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-14 22:28:18 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com)
2020-10-14 22:29:16 +0200knupfer1knupfer
2020-10-14 22:33:26 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com) (Ping timeout: 258 seconds)
2020-10-14 22:33:47 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com)
2020-10-14 22:34:44 +0200conal(~conal@64.71.133.70)
2020-10-14 22:36:08 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-14 22:37:51 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-10-14 22:40:12 +0200mrchampion(~mrchampio@216-211-57-41.dynamic.tbaytel.net) (Ping timeout: 256 seconds)
2020-10-14 22:40:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-14 22:41:49 +0200geekosaur(82659a0e@host154-014.vpn.uakron.edu) (Remote host closed the connection)
2020-10-14 22:41:57 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 22:42:31 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 265 seconds)
2020-10-14 22:43:18 +0200conal(~conal@64.71.133.70)
2020-10-14 22:44:04 +0200mrchampion(~mrchampio@216-211-57-41.dynamic.tbaytel.net)
2020-10-14 22:44:25 +0200knupfer(~Thunderbi@200116b82c71ce00e99330bf5987d031.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-14 22:46:13 +0200chaosmasttter(~chaosmast@p200300c4a711b0010d42da9e3e5834d3.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-14 22:48:00 +0200fendor(~fendor@91.141.0.198.wireless.dyn.drei.com) (Quit: Leaving)
2020-10-14 22:50:54 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-14 22:55:44 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-14 22:56:01 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-14 22:58:57 +0200hackagej 0.1.1.0 - J in Haskell https://hackage.haskell.org/package/j-0.1.1.0 (vmchale)
2020-10-14 22:59:26 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-14 23:00:01 +0200tobiastom1(~tobiastom@185.104.184.43) ()
2020-10-14 23:01:15 +0200christo(516071d5@81.96.113.213)
2020-10-14 23:02:31 +0200dhil(~dhil@78.156.97.38) (Ping timeout: 246 seconds)
2020-10-14 23:03:45 +0200Patrick24(4881905c@cpe-72-129-144-92.new.res.rr.com)
2020-10-14 23:03:55 +0200hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-14 23:04:49 +0200 <christo> anyone know if can set cabal build to refer to cabal v1-build? it's so my haskell language server works with a certain project
2020-10-14 23:05:09 +0200 <christo> this projects only builds with v1- prefix
2020-10-14 23:05:23 +0200hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-14 23:05:25 +0200 <christo> but haskell language server uses build by default i think
2020-10-14 23:05:34 +0200 <monochrom> Cannot. But you could either use an older version, or write a shell script to do the translation.
2020-10-14 23:05:56 +0200 <monochrom> To be sure, it may be a bad idea to go back to an older version. :)
2020-10-14 23:06:06 +0200 <christo> i tried using cabal 2.4
2020-10-14 23:06:10 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-14 23:06:13 +0200 <christo> and it still had issues with that
2020-10-14 23:06:45 +0200 <christo> in that case is there a way to tell haskell language server to use v1- instead?
2020-10-14 23:06:54 +0200 <monochrom> It is very strange that v2- doesn't build that project. Maybe better to debug that instead.
2020-10-14 23:06:59 +0200 <Uniaika> why is that a problem, christo?
2020-10-14 23:07:05 +0200 <Uniaika> why do you need v1-?
2020-10-14 23:07:22 +0200 <monochrom> Because v1- won't be around forever.
2020-10-14 23:07:32 +0200 <christo> https://github.com/Euterpea/Euterpea2
2020-10-14 23:07:36 +0200 <monochrom> To be sure, we're talking about 5 years into the future.
2020-10-14 23:07:36 +0200 <christo> is the project
2020-10-14 23:07:58 +0200 <christo> and i can built it with v1-build
2020-10-14 23:08:30 +0200 <christo> but haskell language server in vs code uses default "cabal build" to do it's ide features
2020-10-14 23:08:46 +0200 <christo> i want to use the project with ide support/features working
2020-10-14 23:09:17 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-14 23:09:37 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-14 23:09:37 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-14 23:09:37 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-14 23:10:23 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2020-10-14 23:10:53 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-14 23:11:55 +0200 <Patrick24> Is anyone available to help me out with this: https://stackoverflow.com/questions/64360903/trouble-with-xmonad-handleeventhook
2020-10-14 23:11:56 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-14 23:12:03 +0200ashbreeze(~mark@72-161-49-127.dyn.centurytel.net) (Ping timeout: 260 seconds)
2020-10-14 23:12:13 +0200 <monochrom> Ah, custom Setup.hs. Now how do I convince it to use a modern Cabal lib?
2020-10-14 23:12:20 +0200ashbreeze(~mark@184-157-32-8.dyn.centurytel.net)
2020-10-14 23:13:24 +0200 <monochrom> Let's give --allow-newer a try.
2020-10-14 23:13:43 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2020-10-14 23:14:16 +0200 <dcoutts> monochrom: using the "custom-setup" section
2020-10-14 23:14:16 +0200 <dcoutts> https://cabal.readthedocs.io/en/3.4/cabal-package.html#custom-setup-scripts
2020-10-14 23:14:17 +0200Ariakenom_(~Ariakenom@h-82-196-111-216.NA.cust.bahnhof.se) (Quit: Leaving)
2020-10-14 23:14:34 +0200 <dcoutts> and constraining the Cabal version in setup-depends
2020-10-14 23:14:51 +0200 <monochrom> Ah nice. Thanks. This is for christo.
2020-10-14 23:14:53 +0200 <Uniaika> Patrick24: any reason you're not asking on the #Xmonad channel?
2020-10-14 23:15:18 +0200 <monochrom> Also, my blunt --allow-newer got passed that barrier. (But now I need to install asound-dev or something)
2020-10-14 23:15:40 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2020-10-14 23:15:48 +0200dhil(~dhil@195.213.192.122)
2020-10-14 23:15:57 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-14 23:16:28 +0200 <monochrom> libasound-dev
2020-10-14 23:17:40 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2020-10-14 23:20:46 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-14 23:21:02 +0200 <proofofme> I wish cabal operated like yarn or npm
2020-10-14 23:22:06 +0200ermau(~ermau@s91904426.blix.com)
2020-10-14 23:22:30 +0200 <hpc> each package can only have a single installed version?
2020-10-14 23:22:52 +0200jlamothe(~jlamothe@dev.jlamothe.net) (Quit: leaving)
2020-10-14 23:23:13 +0200 <proofofme> well, `cabal install` doesn't add to the cabal file ... and it creates a dependency nightmare, from what I found out the hard way the last few days
2020-10-14 23:23:47 +0200 <hpc> ah
2020-10-14 23:24:55 +0200 <hpc> rpm has the same issue, it's pretty trivial to create an rpm that doesn't have a declared dependency it's supposed to
2020-10-14 23:25:00 +0200 <christo> monochrom dcoutts did u guys figure it out?
2020-10-14 23:25:09 +0200fendor(~fendor@91.141.0.198.wireless.dyn.drei.com)
2020-10-14 23:25:15 +0200kori(~kori@2804:14c:85a3:9105::1000)
2020-10-14 23:25:15 +0200kori(~kori@2804:14c:85a3:9105::1000) (Changing host)
2020-10-14 23:25:15 +0200kori(~kori@arrowheads/kori)
2020-10-14 23:25:32 +0200 <monochrom> Yes. Final testing.
2020-10-14 23:25:37 +0200Thompson(~Thompson@2603-6000-9945-c66d-0000-0000-0000-1000.res6.spectrum.com)
2020-10-14 23:25:51 +0200 <monochrom> @paste
2020-10-14 23:25:51 +0200 <lambdabot> A pastebin: https://paste.debian.net/
2020-10-14 23:25:55 +0200 <monochrom> err
2020-10-14 23:25:57 +0200 <monochrom> @where paste
2020-10-14 23:25:57 +0200 <lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com
2020-10-14 23:26:57 +0200 <monochrom> And pasting patched *.cabal file
2020-10-14 23:27:23 +0200 <christo> brb
2020-10-14 23:27:47 +0200seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-14 23:28:32 +0200dansho(~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-10-14 23:28:44 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-14 23:29:24 +0200seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2020-10-14 23:29:40 +0200 <monochrom> christo: https://paste.tomsmeding.com/bLH1voGn
2020-10-14 23:30:43 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2020-10-14 23:33:28 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2020-10-14 23:36:32 +0200oisdk(~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a) (Quit: oisdk)
2020-10-14 23:37:00 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 23:38:00 +0200 <christo> monochrom just on a call will check it out in a mo
2020-10-14 23:40:12 +0200jalumar(uid392211@gateway/web/irccloud.com/x-pyjvlyahgokzopwq)
2020-10-14 23:41:16 +0200conal(~conal@64.71.133.70)
2020-10-14 23:41:23 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2020-10-14 23:41:44 +0200sjmz(~sjmz@host-79-40-14-170.business.telecomitalia.it)
2020-10-14 23:42:06 +0200Colpop4323(~logstash@82-132-239-127.dab.02.net)
2020-10-14 23:42:10 +0200larou(5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183) (Quit: Connection closed)
2020-10-14 23:42:30 +0200larou(5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183)
2020-10-14 23:43:06 +0200 <proofofme> I created a new project just to make things cleaner and I am trying to link mysql-haskell. I keep getting an error. I pasted my cabal file and error output to https://pastebin.com/raw/7bu2xSnm
2020-10-14 23:43:31 +0200sjmz(~sjmz@host-79-40-14-170.business.telecomitalia.it) ()
2020-10-14 23:45:46 +0200Colpop4323(~logstash@82-132-239-127.dab.02.net) (Read error: Connection reset by peer)
2020-10-14 23:47:19 +0200 <monochrom> Interesting, I just need an empty custom-setup section, I don't need to write setup-depends.
2020-10-14 23:50:47 +0200_bushido_(~user@185.80.118.78)
2020-10-14 23:54:14 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-14 23:54:22 +0200 <proofofme> Do y'all know how to fix the dependency error on https://pastebin.com/raw/7bu2xSnm ?
2020-10-14 23:54:25 +0200 <yushyin> proofofme: if I read it correctly the memory package is rejecting base>=4.13, you will need <4.13. Maybe you should try an older ghc with base-4.12
2020-10-14 23:55:18 +0200 <monochrom> Use --allow-newer again? >:)
2020-10-14 23:55:31 +0200 <monochrom> can be more refined: --allow-newer=base
2020-10-14 23:56:04 +0200_bushido_(~user@185.80.118.78) (Quit: ERC (IRC client for Emacs 28.0.50))
2020-10-14 23:56:43 +0200_bushido_(~user@185.80.118.78)
2020-10-14 23:57:02 +0200 <yushyin> or allow-newer=memory, because mysql-haskell rejects memory-0.15, but memory-0.15 supports base<5
2020-10-14 23:57:53 +0200 <proofofme> like this `$ cabal run :clay-sniper --minimize-conflict-set --allow-newer=memory`?
2020-10-14 23:58:53 +0200_bushido_(~user@185.80.118.78) (Client Quit)