IRCBrowse

2020/10/12

2020-10-12 00:00:25 +0200chenshen(~chenshen@2620:10d:c090:400::5:a58c)
2020-10-12 00:01:55 +0200chenshen(~chenshen@2620:10d:c090:400::5:a58c) (Client Quit)
2020-10-12 00:01:57 +0200 <maerwald> for the right amount of money, yes :)
2020-10-12 00:02:07 +0200 <maerwald> here's my bank account...
2020-10-12 00:02:20 +0200 <monochrom> They're gone.
2020-10-12 00:02:48 +0200carlomagno1(~cararell@inet-hqmc02-o.oracle.com)
2020-10-12 00:03:28 +0200hackagepandoc-plot 1.0.0.0 - A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice. https://hackage.haskell.org/package/pandoc-plot-1.0.0.0 (LaurentRDC)
2020-10-12 00:04:10 +0200darjeeling_(~darjeelin@122.245.210.138) (Ping timeout: 265 seconds)
2020-10-12 00:05:05 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com) (Ping timeout: 240 seconds)
2020-10-12 00:05:07 +0200chaosmasttter(~chaosmast@p200300c4a72cce01591a8a38471548a6.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-12 00:05:48 +0200darjeeling_(~darjeelin@122.245.210.138)
2020-10-12 00:08:12 +0200Guest18(4f7755cb@gateway/web/cgi-irc/kiwiirc.com/ip.79.119.85.203)
2020-10-12 00:09:35 +0200zebrag(~inkbottle@aaubervilliers-654-1-1-116.w83-200.abo.wanadoo.fr)
2020-10-12 00:10:13 +0200inkbottle(~inkbottle@aaubervilliers-654-1-1-121.w83-200.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-12 00:11:23 +0200 <rom1504> "the right amount of money", like a few dozens of billions :) ?
2020-10-12 00:16:39 +0200 <carter> lab fusion != net energy positive fusino
2020-10-12 00:16:41 +0200 <carter> *fusion
2020-10-12 00:17:10 +0200 <carter> theres some cool flavors where you could build it at home if you tolerated the eletrical bill and had enough materials to build stuff
2020-10-12 00:17:27 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 00:17:46 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 00:17:46 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 00:17:46 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 00:18:16 +0200 <rom1504> ah really? is that used for anything useful?
2020-10-12 00:18:48 +0200 <dminuoso> personal enjoyment
2020-10-12 00:18:57 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-12 00:19:05 +0200 <dminuoso> I've read articles that some kids even did build fusion reactors at home with easy-to-obtain materials
2020-10-12 00:19:15 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-12 00:19:19 +0200ensyde(~ensyde@2600:1702:2e30:1a40:9170:421:4d7b:753d)
2020-10-12 00:19:19 +0200 <dminuoso> nuclear fusion is not hard
2020-10-12 00:20:10 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 00:20:22 +0200 <dminuoso> sustained steady nuclear fusion with a Q > 1, that's an as-of-yet unsolved problem
2020-10-12 00:20:47 +0200 <dolio> What's a lab on a chip, though?
2020-10-12 00:22:32 +0200 <dolio> Sounds like a phrase from a Markov chain.
2020-10-12 00:23:39 +0200gawen(~gawen@movzbl.root.sx) (Remote host closed the connection)
2020-10-12 00:25:36 +0200gawen(~gawen@movzbl.root.sx)
2020-10-12 00:29:57 +0200hackagechurros 0.1.0.0 - Churros: Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.0.0 (LyndonMaydwell)
2020-10-12 00:34:05 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 00:35:09 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-12 00:35:59 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-12 00:38:28 +0200oisdk(~oisdk@2001:bb6:3329:d100:40aa:f743:137e:9f96) (Quit: oisdk)
2020-10-12 00:38:57 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-12 00:38:58 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-12 00:41:24 +0200Guest18(4f7755cb@gateway/web/cgi-irc/kiwiirc.com/ip.79.119.85.203) (Quit: Connection closed)
2020-10-12 00:43:07 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 00:43:14 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 00:43:38 +0200Guest_33(506efb95@80-110-251-149.static.upcbusiness.at)
2020-10-12 00:44:50 +0200Guest_33(506efb95@80-110-251-149.static.upcbusiness.at) (Remote host closed the connection)
2020-10-12 00:47:25 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-12 00:49:40 +0200Gerula(~Gerula@unaffiliated/gerula)
2020-10-12 00:49:47 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-12 00:50:57 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-12 00:52:41 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Quit: Leaving)
2020-10-12 00:52:54 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-12 00:55:58 +0200pingiun(~pingiun@j63019.upc-j.chello.nl) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 00:56:28 +0200hackagehstar 0.1.0.5 - Haskell version of tar CLI utility https://hackage.haskell.org/package/hstar-0.1.0.5 (vmchale)
2020-10-12 00:56:38 +0200irc_user(uid423822@gateway/web/irccloud.com/x-wvexijsynfnxdgbk)
2020-10-12 00:56:53 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-dyncoieblejuiqfh)
2020-10-12 00:59:24 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-12 01:02:55 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 240 seconds)
2020-10-12 01:03:21 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 244 seconds)
2020-10-12 01:05:19 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-12 01:06:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-12 01:08:05 +0200Guest_99(266158eb@buf-38-97-88-235.corp.synacor.com)
2020-10-12 01:08:28 +0200Guest_99(266158eb@buf-38-97-88-235.corp.synacor.com) (Remote host closed the connection)
2020-10-12 01:09:22 +0200ericsagnes(~ericsagne@i114-182-25-125.s42.a013.ap.plala.or.jp) (Ping timeout: 272 seconds)
2020-10-12 01:12:21 +0200_ashbreeze_(~mark@72-161-254-60.dyn.centurytel.net)
2020-10-12 01:12:39 +0200paintedindigo(~paintedin@2605:a000:1621:a03f:1d23:2ce2:9ed:2bb4)
2020-10-12 01:13:43 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 01:17:20 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-fnbfvizdbuvwdypf) (Quit: Connection closed for inactivity)
2020-10-12 01:17:33 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 01:17:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-12 01:17:45 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-12 01:17:45 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-12 01:17:45 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 01:18:10 +0200conal(~conal@64.71.133.70)
2020-10-12 01:21:10 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 258 seconds)
2020-10-12 01:21:11 +0200Habib(~Habib@178.239.161.88)
2020-10-12 01:23:26 +0200ericsagnes(~ericsagne@2405:6580:0:5100:e9f3:9297:73e4:fa18)
2020-10-12 01:25:12 +0200Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 272 seconds)
2020-10-12 01:25:44 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 01:25:47 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-12 01:26:28 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 01:27:35 +0200chenshen(~chenshen@2620:10d:c090:400::5:228b)
2020-10-12 01:27:35 +0200Cthalupa(~cthulhu@47.186.47.75)
2020-10-12 01:28:28 +0200 <proofofme> which MySql driver do y'all recommend?
2020-10-12 01:28:38 +0200 <koz_> mysql-haskell is pretty good in my experience.
2020-10-12 01:29:10 +0200 <koz_> It's what I use at my Real Job For Real Money due to us having to interact with a MySQL database.
2020-10-12 01:29:10 +0200chenshen(~chenshen@2620:10d:c090:400::5:228b) (Client Quit)
2020-10-12 01:29:55 +0200 <proofofme> thanks, i will check it out
2020-10-12 01:30:45 +0200 <proofofme> cabal: The following packages are likely to be broken by the reinstalls:
2020-10-12 01:30:46 +0200 <proofofme> tls-1.5.4
2020-10-12 01:30:46 +0200 <proofofme> http-client-tls-0.3.5.3
2020-10-12 01:30:47 +0200 <proofofme> scalpel-0.6.2
2020-10-12 01:30:49 +0200 <proofofme> http-conduit-2.3.7.3
2020-10-12 01:30:51 +0200 <proofofme> connection-0.3.1
2020-10-12 01:30:53 +0200 <proofofme> Use --force-reinstalls if you want to install anyway.
2020-10-12 01:30:59 +0200 <koz_> proofofme: What version of cabal are you using?
2020-10-12 01:31:01 +0200 <proofofme> would you trust --force-reinstalls?
2020-10-12 01:31:03 +0200 <koz_> This shoudl be a non-issue.
2020-10-12 01:31:24 +0200 <proofofme> cabal --version
2020-10-12 01:31:25 +0200 <proofofme> cabal-install version 2.2.0.0
2020-10-12 01:31:25 +0200 <proofofme> compiled using version 2.2.0.1 of the Cabal library
2020-10-12 01:31:30 +0200 <koz_> That is hilariously old.
2020-10-12 01:31:38 +0200 <koz_> Current is 3.2, and we're heading to 3.4 soon.
2020-10-12 01:31:41 +0200 <koz_> Upgrade first.
2020-10-12 01:31:43 +0200 <Axman6> That's an error message I have not seen for a long time - I thought reinstalls were completely unnecessary with modern cabal?
2020-10-12 01:32:02 +0200 <koz_> Axman6: Yes. Emphasis on 'with modern cabal' and *points to version above*.
2020-10-12 01:32:11 +0200 <Axman6> newhoggy: If you haven't seen it, you might enjoy https://liuliu.me/eyes/loading-csv-file-at-the-speed-limit-of-the-nvme-storage/
2020-10-12 01:32:16 +0200taurux(~taurux@net-93-144-165-153.cust.dsl.teletu.it) (Ping timeout: 256 seconds)
2020-10-12 01:32:36 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-12 01:32:37 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:b923:3f9b:1ec0:519e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 01:33:05 +0200taurux(~taurux@net-188-152-14-58.cust.dsl.teletu.it)
2020-10-12 01:33:46 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 01:34:37 +0200ensyde(~ensyde@2600:1702:2e30:1a40:9170:421:4d7b:753d) (Quit: WeeChat 2.9)
2020-10-12 01:36:02 +0200Tops21(~Tobias@dyndsl-095-033-022-112.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-10-12 01:36:18 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:b5b9:ec51:2bb2:42cb)
2020-10-12 01:38:18 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-12 01:38:59 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-12 01:40:19 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 01:43:45 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-12 01:43:46 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 01:43:46 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 01:43:46 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-12 01:43:51 +0200conal(~conal@64.71.133.70)
2020-10-12 01:44:21 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-12 01:46:10 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-12 01:46:24 +0200andreas303(~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2020-10-12 01:46:29 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 01:49:50 +0200andreas303(~andreas@gateway/tor-sasl/andreas303)
2020-10-12 01:51:57 +0200hackagechurros 0.1.0.1 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.0.1 (LyndonMaydwell)
2020-10-12 01:56:07 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 01:56:17 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-12 01:56:17 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-12 01:56:17 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 01:56:47 +0200 <proofofme> cabal install cabal-install, yeah? I did this, checked the version and it's the same one still hmmm
2020-10-12 01:57:05 +0200 <koz_> proofofme: What platform are you on?
2020-10-12 01:57:08 +0200 <koz_> (as in, which OS?)
2020-10-12 01:57:12 +0200 <proofofme> MacOS
2020-10-12 01:57:16 +0200 <koz_> Use ghcup.
2020-10-12 01:57:24 +0200 <koz_> To get a working toolchain.
2020-10-12 01:57:26 +0200 <koz_> Always and forever.
2020-10-12 01:57:49 +0200 <koz_> Since that'll not only do this for you, with sensible versions, it'll also show you what you have and when it becomes old.
2020-10-12 01:57:58 +0200polyrain(~polyrain@2001:8003:e501:6901:1d4a:4b8a:8ea1:adc0)
2020-10-12 01:57:58 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-12 02:00:01 +0200openstackstatus1(~openstack@185.163.110.116) ()
2020-10-12 02:00:10 +0200atk(~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
2020-10-12 02:00:11 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 244 seconds)
2020-10-12 02:00:34 +0200atk(~Arch-TK@ircpuzzles/staff/Arch-TK)
2020-10-12 02:00:56 +0200zoom8484(44beb1c9@068-190-177-201.res.spectrum.com)
2020-10-12 02:01:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-12 02:02:02 +0200 <zoom8484> basic question regarding how the list type is able to construct a list value using syntax like [5]
2020-10-12 02:02:11 +0200 <zoom8484> the list type is defined as: data [] a = [] | a : [a]
2020-10-12 02:02:28 +0200 <Axman6> it's syntax sugar
2020-10-12 02:02:31 +0200 <zoom8484> I've read that [5] is syntactic sugar for 5:[]
2020-10-12 02:02:38 +0200 <koz_> Yeah, basically this.
2020-10-12 02:02:53 +0200 <zoom8484> but is that sugar built into the compiler or is it derived the from list data definition
2020-10-12 02:03:03 +0200 <monochrom> built into the compiler
2020-10-12 02:03:04 +0200 <Axman6> it;s defined as part of the language
2020-10-12 02:03:07 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 02:03:18 +0200 <Axman6> so a haskell compiler has to support it
2020-10-12 02:03:29 +0200 <zoom8484> thanks. is it specific to only [], or is it available for my own types as well, of course using different symbols
2020-10-12 02:03:45 +0200 <Axman6> sort of
2020-10-12 02:03:46 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-12 02:03:59 +0200 <monochrom> Unavailable for your own types.
2020-10-12 02:04:17 +0200 <Axman6> we have the OVerloadedLists extensions which lets you construct things using list syntax
2020-10-12 02:04:33 +0200 <zoom8484> hmm, so even though the data type is really a library-defined type, there is hard-coded logic in the compiler to handle this specific case of it
2020-10-12 02:04:52 +0200 <Axman6> so you can write [('a',True),('b',False)] :: Map Char Bool
2020-10-12 02:05:00 +0200 <Axman6> yes
2020-10-12 02:05:12 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-12 02:05:24 +0200 <zoom8484> ok, thanks. just wanted to make sure I wasn't missing some magic in the data declaration for the list type
2020-10-12 02:05:31 +0200 <monochrom> Actually "data [] a = [] | a : [a]" cannot be library-defined either.
2020-10-12 02:05:51 +0200 <zoom8484> it's defined in GHC.Types. Is that considered "built-in"
2020-10-12 02:05:56 +0200 <Axman6> there is a lot of magic magic when it comes to making lists feel familliar
2020-10-12 02:06:33 +0200 <Axman6> s/magic magic/magic/
2020-10-12 02:07:26 +0200 <monochrom> I don't know what GHC.Types does, but you go through the Haskell grammar and there is no way "data [] a = [] | a : [a]" is correct syntax.
2020-10-12 02:07:38 +0200 <zoom8484> i got that via :i [] in ghci
2020-10-12 02:07:42 +0200 <monochrom> s/correct/legal/
2020-10-12 02:08:32 +0200 <Axman6> zoom8484: youy're right to be confused - all of this is only legal because the standard says it is, and it's inconsistent with every other data type definition
2020-10-12 02:08:45 +0200 <proofofme> `curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh` <= I did this. `cabal --version` says the same thing still :(
2020-10-12 02:09:02 +0200 <Axman6> you can't make your own list by saying data <> a = <> | a :+ <a> for example
2020-10-12 02:09:16 +0200 <Axman6> proofofme: how did you install cabal initially?
2020-10-12 02:09:23 +0200 <monochrom> It's easy to check. "data Maybe a = Nothing | Just a", this is library-defined but even if the library didn't have it, you could have entered this yourself. In fact you can enter it right into ghci and it will be gladly accepted.
2020-10-12 02:09:28 +0200 <ski> non-standard data constructor name `[]', non-standard type constructor name `[]', syntactic sugar for lists of definite length `[a,b,c,...y,z]', syntactic sugar for list types `[T]', list comprehensions `[E | x <- L,let {...},G]', `OverloadedLists' extension
2020-10-12 02:09:34 +0200chenshen(~chenshen@2620:10d:c090:400::5:228b)
2020-10-12 02:09:34 +0200 <proofofme> I think homebrew maybe? idr
2020-10-12 02:09:47 +0200 <monochrom> Now try "data [] a = [] | a : [a]", that will be a syntax error left right and centre.
2020-10-12 02:09:54 +0200 <Axman6> proofofme: well start by uninstalling it from homebrew
2020-10-12 02:10:20 +0200 <Axman6> monochrom: I love the inconsistency of using both [] a and [a]
2020-10-12 02:10:36 +0200 <monochrom> "[a]" is very intuitive.
2020-10-12 02:10:44 +0200 <ski> "intuitive"
2020-10-12 02:10:52 +0200 <monochrom> It's why I doubt everything intuitive. 90% probably of being wrong.
2020-10-12 02:10:52 +0200 <koz_> proofofme: You have to then use ghcup to install cabal.
2020-10-12 02:11:12 +0200 <Axman6> exept when people start writing f [a] = ... expecting a to represent all the a's (or something)
2020-10-12 02:11:15 +0200 <monochrom> If it's intuitive it's BS. Change my mind.
2020-10-12 02:11:27 +0200hackagechurros 0.1.0.2 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.0.2 (LyndonMaydwell)
2020-10-12 02:11:30 +0200 <ski> Axman6 : i wonder why people do that ..
2020-10-12 02:11:33 +0200chenshen(~chenshen@2620:10d:c090:400::5:228b) (Client Quit)
2020-10-12 02:11:38 +0200 <Axman6> yeah I see it a lot
2020-10-12 02:11:42 +0200 <monochrom> For example every mixfix syntax!
2020-10-12 02:11:52 +0200 <MarcelineVQ> at least it's not agda, where [a] is an identifier, like xs, and [ a ] is a list of a single a, like [x]
2020-10-12 02:11:55 +0200 <ski> i guess people want to represent the type (or some aspect of it), in the identifier name
2020-10-12 02:12:01 +0200 <ski> BASIC,Perl,..
2020-10-12 02:12:12 +0200 <Axman6> when I was teaching firsty years it qwas very common for students to get stuck in "I'm using a list, therefore I MUST use square brackets"
2020-10-12 02:12:19 +0200 <ski> (people even say `strlen()' when they mean `strlen' ..)
2020-10-12 02:12:45 +0200 <ski> Axman6 : the faster they get out of that, the better, imho
2020-10-12 02:13:02 +0200 <Axman6> indeed
2020-10-12 02:13:05 +0200 <proofofme> https://gist.github.com/begriffs/6408415 would something like this work, and then rerun the ghcup command?
2020-10-12 02:13:19 +0200 <ski> iirc, i saw some suggestion for allowing some syntax with square backets, as an alternative to `x : xs' .. not really a fan of that idea
2020-10-12 02:13:34 +0200 <Axman6> I think we might have changed the course to use data List a = Nil | Cons a (List a) at least for a few weeks at the beginning
2020-10-12 02:13:39 +0200 <ski> (Prolog,Erlang, and (iirc) Clean, does that)
2020-10-12 02:14:25 +0200 <Axman6> proofofme: if you haven't done anything, that will probably be a decent start, but if you used homebrew you will also need to uninstall ghc and cabal from there too
2020-10-12 02:14:28 +0200 <ski> MarcelineVQ : hah, yea ..
2020-10-12 02:14:42 +0200 <Axman6> ski: yeah I always found that gross
2020-10-12 02:14:53 +0200 <ski> MarcelineVQ : sometimes i name proofs of propositions, that way, in Agda, by removing the spaces
2020-10-12 02:14:58 +0200 <Axman6> but syntax is hard. all we need is trees and opaque hashes
2020-10-12 02:15:24 +0200 <MarcelineVQ> ski: ye
2020-10-12 02:15:40 +0200 <MarcelineVQ> foo a b x>y =...
2020-10-12 02:16:10 +0200 <ski> perhaps some notation for "the unique value in scope having this type" could be useful .. not sure
2020-10-12 02:16:33 +0200 <MarcelineVQ> _ ?
2020-10-12 02:16:56 +0200 <ski> it doesn't mean the same, in patterns
2020-10-12 02:17:30 +0200hwabyong(~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) (Quit: ZNC 1.6.5+deb1+deb9u2 - http://znc.in)
2020-10-12 02:17:48 +0200 <dolio> I've been using identifiers like `[a]` in Agda lately. It was pretty convenient that they aren't lists.
2020-10-12 02:17:53 +0200 <MarcelineVQ> not in pattern no but why would you you need that in patterns?
2020-10-12 02:18:03 +0200 <dolio> Because I don't even need lists for what I was doing.
2020-10-12 02:19:23 +0200 <ski> MarcelineVQ : to remind myself of the type of the particular pattern
2020-10-12 02:20:24 +0200 <ski> (taking into context the refinements made by matching on data constructors)
2020-10-12 02:23:26 +0200 <proofofme> tried that script ... still have the old cabal. should i use `rm -r /usr/local/bin/cabal`?
2020-10-12 02:25:34 +0200hwabyong(~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com)
2020-10-12 02:25:44 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-12 02:26:19 +0200ddere(uid110888@gateway/web/irccloud.com/x-vgusxnbjafubujyq)
2020-10-12 02:28:52 +0200jedws(~jedws@121.209.161.98)
2020-10-12 02:30:46 +0200 <koz_> proofofme: Did you adjust your PATH as ghcup suggested?
2020-10-12 02:31:30 +0200 <proofofme> no, I didn't ...
2020-10-12 02:31:48 +0200 <koz_> proofofme: Then it's highly likely you're not seeing the newly-installed (higher-versioned) cabal.
2020-10-12 02:32:34 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 02:32:34 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 02:32:34 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-12 02:32:44 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 244 seconds)
2020-10-12 02:36:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 02:36:16 +0200ystael(~ystael@209.6.50.55)
2020-10-12 02:36:32 +0200 <proofofme> yes! success! putStrLn "Thanks, koz_"
2020-10-12 02:36:58 +0200 <koz_> proofofme: No worries. You can use 'ghcup list' to see what cabal it gave you, and which are available.
2020-10-12 02:37:06 +0200 <koz_> You should now no longer see issues of the form you ran into.
2020-10-12 02:38:51 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 02:39:38 +0200conal(~conal@64.71.133.70)
2020-10-12 02:39:42 +0200 <proofofme> could not resolve dependencies. so Kafkaesque lol
2020-10-12 02:40:03 +0200 <koz_> Exact error message (in a pastebin)?
2020-10-12 02:41:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-10-12 02:42:30 +0200 <proofofme> https://pastebin.pl/view/d5fa52c0
2020-10-12 02:43:24 +0200 <zoom8484> thanks guys!
2020-10-12 02:43:28 +0200zoom8484(44beb1c9@068-190-177-201.res.spectrum.com) (Remote host closed the connection)
2020-10-12 02:43:40 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 02:43:59 +0200 <koz_> proofofme: Try re-running with --minimize-conflict-set?
2020-10-12 02:44:53 +0200 <proofofme> https://pastebin.pl/view/9d998ecb
2020-10-12 02:45:46 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 02:45:53 +0200 <koz_> Hmm, you can do one of two things: use GHC 8.6.5 or try with --allow-newer.
2020-10-12 02:46:57 +0200hackageweb-plugins 0.4.0 - dynamic plugin system for web applications https://hackage.haskell.org/package/web-plugins-0.4.0 (JeremyShaw)
2020-10-12 02:47:55 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-12 02:48:24 +0200 <proofofme> LICENSE: openBinaryFile: does not exist (No such file or directory). <---from --allow-newer
2020-10-12 02:48:39 +0200 <proofofme> wouldn't it be bad to go back to 8.6.5?
2020-10-12 02:48:41 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-12 02:48:41 +0200jchia(~jchia@58.32.32.136) (Quit: Leaving.)
2020-10-12 02:48:42 +0200sand_dull(~theuser@104.140.53.43)
2020-10-12 02:49:28 +0200jchia(~jchia@58.32.32.136)
2020-10-12 02:49:33 +0200conal(~conal@64.71.133.70)
2020-10-12 02:52:31 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-12 02:53:24 +0200 <koz_> proofofme: Why? I mean, is there a particular 8.8 feature you want?
2020-10-12 02:53:36 +0200 <koz_> ghcup can give you multiple GHC versions quite trivially.
2020-10-12 02:53:52 +0200 <koz_> And you can use 'cabal configure -w the.ghc.version.I.want' to set it up.
2020-10-12 02:54:23 +0200 <koz_> That error is a bit weird though - could you give the exact error message?
2020-10-12 02:54:44 +0200 <proofofme> that was the extent of it; it was only one line
2020-10-12 02:54:57 +0200 <koz_> OK, could you pastebin your cabal file?
2020-10-12 02:54:59 +0200Guest92188(~flo@178.162.204.214)
2020-10-12 02:56:11 +0200 <proofofme> one sec
2020-10-12 02:56:27 +0200Alleria_(~AllahuAkb@2604:2000:1484:26:d9b5:40ce:4a6a:3e0a) (Ping timeout: 240 seconds)
2020-10-12 02:57:39 +0200 <proofofme> `cat ~/.cabal/config`?
2020-10-12 02:57:46 +0200 <koz_> No, the cabal file of your project.
2020-10-12 02:58:05 +0200 <koz_> You shoudl have a whatever-you-named-your-project.cabal in your project folder.
2020-10-12 02:58:16 +0200 <koz_> That is typically referred to as 'a cabal file'.
2020-10-12 02:58:29 +0200 <proofofme> that was in the mysql haskell folder that I did this. I was trying to install the db driver
2020-10-12 02:58:46 +0200 <koz_> proofofme: mysql-haskell is a library.
2020-10-12 02:58:52 +0200 <koz_> You don't _install_ it, you depend on it.
2020-10-12 02:59:03 +0200 <proofofme> ah
2020-10-12 02:59:48 +0200 <koz_> You only install executables.
2020-10-12 02:59:49 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c)
2020-10-12 03:01:28 +0200jle`(~mstksg@unaffiliated/mstksg) (Ping timeout: 272 seconds)
2020-10-12 03:02:39 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-12 03:03:06 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 03:05:57 +0200gokkun(~dblbch@89.232.38.52)
2020-10-12 03:07:00 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:b5b9:ec51:2bb2:42cb) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 03:07:12 +0200 <proofofme> what's the proper way to add a library, like Text.HTML.Scalpel, for example?
2020-10-12 03:09:27 +0200xff0x(~fox@2001:1a81:5276:8500:a0c7:cc77:f7d4:2372) (Ping timeout: 240 seconds)
2020-10-12 03:10:39 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-12 03:11:09 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 03:11:23 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:994a:80db:3f3a:ee42)
2020-10-12 03:11:37 +0200xff0x(~fox@2001:1a81:52ad:5800:a0c7:cc77:f7d4:2372)
2020-10-12 03:11:47 +0200 <lemmih> proofofme: First you find the name of the library that has that module.
2020-10-12 03:12:02 +0200Alleria_(~AllahuAkb@2604:2000:1484:26:c13:bf83:d3a4:854a)
2020-10-12 03:12:21 +0200 <proofofme> https://hackage.haskell.org/package/scalpel
2020-10-12 03:12:45 +0200 <lemmih> proofofme: Good. Add 'scalpel' to the list of 'build-depends' in your cabal file.
2020-10-12 03:13:19 +0200 <proofofme> I don't have a cabal file in the project yet ... It's just an hs file for now
2020-10-12 03:13:24 +0200 <proofofme> I can create one
2020-10-12 03:13:44 +0200 <proofofme> `cabal init`
2020-10-12 03:13:51 +0200Wuzzy(~Wuzzy@p5790e6f5.dip0.t-ipconnect.de) (Quit: Wuzzy)
2020-10-12 03:14:30 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2020-10-12 03:15:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 03:15:37 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 244 seconds)
2020-10-12 03:17:28 +0200 <proofofme> cabal init didn't create the file hmmm
2020-10-12 03:19:17 +0200CMCDragonkai1(~Thunderbi@124.19.3.250)
2020-10-12 03:20:01 +0200 <monochrom> "cabal init" creates a lot of files silently. You'll have to do an "ls" and explore around.
2020-10-12 03:20:43 +0200jedii(~g@209.6.150.53) (Remote host closed the connection)
2020-10-12 03:21:09 +0200 <lemmih> proofofme: You can also just do 'cabal v1-install scalpel'. That will make the library globally available.
2020-10-12 03:21:23 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 03:21:54 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 03:24:41 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 03:24:55 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c) (Ping timeout: 244 seconds)
2020-10-12 03:26:28 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2020-10-12 03:26:45 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds)
2020-10-12 03:26:48 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-12 03:27:04 +0200 <proofofme> it's installing successfully so far :)
2020-10-12 03:28:04 +0200 <cohn> I'm playing around with the Text.CSV module. Hopefully this is an easy one: how can I get the "head" of the CSV data (the column names)?
2020-10-12 03:28:15 +0200 <cohn> when I do this: dat <- parseCSVFromFile "foo.csv"
2020-10-12 03:28:28 +0200 <cohn> the result has this type: dat :: Either parsec-3.1.14.0:Text.Parsec.Error.ParseError CSV
2020-10-12 03:28:48 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c)
2020-10-12 03:28:55 +0200 <cohn> so it's wrapped in an "Either"... just need to get the Right value.
2020-10-12 03:29:19 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-12 03:31:21 +0200aaaaaa(~ArthurStr@host-91-90-11-13.soborka.net)
2020-10-12 03:31:23 +0200 <proofofme> pattern matching and `case` is my best guess. I'm pretty novice though ...
2020-10-12 03:32:33 +0200 <proofofme> https://stackoverflow.com/questions/46944347/how-to-get-value-from-either Does this help?
2020-10-12 03:33:05 +0200 <cohn> yep, thanks proofofme!
2020-10-12 03:33:57 +0200ensyde(~ensyde@2600:1702:2e30:1a40:9170:421:4d7b:753d)
2020-10-12 03:34:47 +0200conal(~conal@64.71.133.70)
2020-10-12 03:34:50 +0200 <proofofme> apparently, you can use `fromRight` as well, but that can come with some issues, if not accounted for. I used `fromJust` to unwrap a Maybe from an IO monad to get to the [String] beneath yesterday. Took some time to figure it out lol
2020-10-12 03:34:57 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 258 seconds)
2020-10-12 03:35:03 +0200polyrain(~polyrain@2001:8003:e501:6901:1d4a:4b8a:8ea1:adc0) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 03:37:55 +0200vonfry(~user@li1870-189.members.linode.com)
2020-10-12 03:38:17 +0200 <ski> proofofme : probably better to handle the error case explicitly .. unless maybe if you're really sure it can't happen
2020-10-12 03:38:45 +0200wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-12 03:39:01 +0200 <ski> (but even then, it can be better to have an explicit pattern-match, rather than `fromJust',`fromRight',`head',`tail', since with those, you don't get a location if things go south)
2020-10-12 03:39:05 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-12 03:39:19 +0200 <cohn> crikey... not woring
2020-10-12 03:39:22 +0200 <proofofme> so you would use `case` and pattern matching for that just by default, yeah?
2020-10-12 03:39:23 +0200 <cohn> *working
2020-10-12 03:40:24 +0200 <proofofme> cohn, let me see if I can get the same thing working on my end
2020-10-12 03:40:42 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds)
2020-10-12 03:41:05 +0200CMCDragonkai1(~Thunderbi@124.19.3.250) (Ping timeout: 240 seconds)
2020-10-12 03:41:14 +0200 <ski> proofofme : you could use `Right x = ...' in a `let' or where. or apply `\(Right x) -> x' to the result
2020-10-12 03:41:28 +0200aaaaaa(~ArthurStr@host-91-90-11-13.soborka.net) (Ping timeout: 258 seconds)
2020-10-12 03:41:33 +0200 <cohn> for the curious: https://pastebin.com/MYixX2vp
2020-10-12 03:42:08 +0200aaaaaa(~ArthurStr@host-91-90-11-13.soborka.net)
2020-10-12 03:43:46 +0200 <cohn> this is what frustrates me about Haskell. It's easy to pick up the basics of the language but when it comes time to use library modules, it's a PITA.
2020-10-12 03:44:14 +0200 <proofofme> what is `dat`?
2020-10-12 03:44:23 +0200 <lemmih> cohn: Your problem is with static typing, though, not libraries.
2020-10-12 03:44:28 +0200hackagechurros 0.1.0.3 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.0.3 (LyndonMaydwell)
2020-10-12 03:45:04 +0200 <lemmih> cohn: What's the type of your expression?
2020-10-12 03:45:18 +0200 <cohn> proofofme: it's the result of reading the CSV file
2020-10-12 03:45:25 +0200 <cohn> https://hackage.haskell.org/package/csv-0.1.2/docs/Text-CSV.html
2020-10-12 03:45:26 +0200 <proofofme> ah
2020-10-12 03:45:37 +0200 <cohn> lemmih: I would agree
2020-10-12 03:45:43 +0200 <ski> cohn : probably `head d' doesn't have type `String'
2020-10-12 03:46:24 +0200 <lemmih> cohn: Static typing is not optional in Haskell. You just gotta bite the bullet and always keep types in mind.
2020-10-12 03:46:39 +0200 <jchia> Why is there a head fold but no 'tail' in Control.Foldl? Is a tail old that hard to define properly?
2020-10-12 03:46:45 +0200 <ski> cohn : do you know what you want to happen/do, in the error case ?
2020-10-12 03:46:59 +0200 <cohn> so, `dat <- parseCSVFromFile "foo.csv"`
2020-10-12 03:47:14 +0200 <cohn> ski: just print an error message.
2020-10-12 03:47:20 +0200 <ski> what is `CSV' ?
2020-10-12 03:47:27 +0200 <ski> a type synonym ?
2020-10-12 03:47:31 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-12 03:47:38 +0200aaaaaa(~ArthurStr@host-91-90-11-13.soborka.net) (Ping timeout: 256 seconds)
2020-10-12 03:47:39 +0200 <cohn> yes
2020-10-12 03:47:45 +0200 <ski> cohn : and abort the program, or not ?
2020-10-12 03:47:48 +0200 <lemmih> type CSV = [[String]]
2020-10-12 03:47:51 +0200 <ski> ok
2020-10-12 03:48:15 +0200 <cohn> ski: I'm playing around in GHCi, so no need to exit. : )
2020-10-12 03:48:17 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-12 03:48:17 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 03:48:28 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-12 03:48:29 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-12 03:48:29 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 03:48:57 +0200 <ski> cohn : yes, but i'm asking you what you want your program to do, when there's a parse error
2020-10-12 03:49:09 +0200 <cohn> just print an error message
2020-10-12 03:49:11 +0200 <ski> should it continue processing, somehow ?
2020-10-12 03:49:13 +0200 <ski> or just stop ?
2020-10-12 03:49:24 +0200 <cohn> yes, just stop and print an error message
2020-10-12 03:49:27 +0200polyrain(~polyrain@2001:8003:e501:6901:1d4a:4b8a:8ea1:adc0)
2020-10-12 03:49:39 +0200 <ski> then call `error' in the `Left' parameter case for `either'
2020-10-12 03:50:02 +0200 <ski> (that will also fix this type mismatch error)
2020-10-12 03:50:18 +0200_vaibhavingale_1(~Adium@203.188.228.27)
2020-10-12 03:50:36 +0200 <cohn> whoa! that worked! thanks, ski!
2020-10-12 03:50:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-12 03:50:43 +0200 <ski> because
2020-10-12 03:50:47 +0200 <ski> @type error
2020-10-12 03:50:48 +0200 <lambdabot> [Char] -> a
2020-10-12 03:51:03 +0200 <ski> `error' promises that its return value will be of any type `a' that the caller would like
2020-10-12 03:51:21 +0200 <ski> (this works, because `error' doesn't return a value, instead it aborts computation)
2020-10-12 03:52:00 +0200 <ski> cohn : btw, you can simplify ("eta-reduce") `\d -> head d', to just `head'
2020-10-12 03:52:01 +0200 <cohn> ah, okay. so because I didn't use `error`, the computation didn't abort, which caused the type mismatch message in my paste?
2020-10-12 03:52:13 +0200 <ski> (but possibly you want to put more code into that alternative ..)
2020-10-12 03:52:16 +0200_vaibhavingale_2(~Adium@203.188.228.27)
2020-10-12 03:52:19 +0200 <ski> yes, cohn
2020-10-12 03:52:25 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-10-12 03:52:39 +0200 <ski> it tried to check that the result type of both "branches" was the same .. and they weren't
2020-10-12 03:52:47 +0200_vaibhavingale_(~Adium@203.188.228.27) (Ping timeout: 265 seconds)
2020-10-12 03:53:12 +0200 <cohn> ok, so...
2020-10-12 03:53:16 +0200 <cohn> @type either
2020-10-12 03:53:18 +0200 <lambdabot> (a -> c) -> (b -> c) -> Either a b -> c
2020-10-12 03:53:35 +0200 <cohn> so the type of 'c' was different?
2020-10-12 03:53:45 +0200ttc(tomtauma1@gateway/shell/matrix.org/x-dyilsezwqgixpwcl)
2020-10-12 03:53:47 +0200polyrain(~polyrain@2001:8003:e501:6901:1d4a:4b8a:8ea1:adc0) (Client Quit)
2020-10-12 03:54:12 +0200_vaibhavingale_2(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-12 03:54:15 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-12 03:54:35 +0200hiptobecubic(~john@unaffiliated/hiptobecubic) (Remote host closed the connection)
2020-10-12 03:54:43 +0200_vaibhavingale_1(~Adium@203.188.228.27) (Ping timeout: 265 seconds)
2020-10-12 03:55:09 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-12 03:55:11 +0200 <cohn> and yes, it works with eta reduction: `either (\err -> error "Didn't work") head dat`
2020-10-12 03:56:05 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 03:56:19 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-10-12 03:56:45 +0200coot(~coot@37.30.56.73.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds)
2020-10-12 03:57:02 +0200polyrain(~polyrain@2001:8003:e501:6901:1d4a:4b8a:8ea1:adc0)
2020-10-12 03:57:08 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-10-12 03:57:47 +0200 <cohn> thanks everyone!
2020-10-12 03:58:22 +0200 <proofofme> main = allDivs >>= (\x -> mapM_ print (fromJust x))
2020-10-12 03:58:50 +0200 <proofofme> how would you rewrite the fromJust portion? I've been trying to do pattern matching but get a mismatched type error
2020-10-12 03:58:51 +0200 <Axman6> formJust is a code smell
2020-10-12 03:59:01 +0200 <Axman6> what have you tried?
2020-10-12 03:59:40 +0200 <proofofme> https://pastebin.com/HYHRj4PY
2020-10-12 03:59:47 +0200 <ski> main = maybe (putStrLn "Oups !") (mapM_ print) =<< allDivs -- one way. you could also use a `case', e.g.
2020-10-12 03:59:56 +0200 <Axman6> main = do {divs <- allDivs; case divs of Nothing -> <handle error case>; Just x -> do <things with x> }
2020-10-12 04:00:27 +0200skican't recall whether proofofme's seen `do' yet
2020-10-12 04:00:47 +0200 <proofofme> very briefly ... not an expert
2020-10-12 04:00:48 +0200 <ski> main = do divs <- allDivs
2020-10-12 04:00:49 +0200 <Axman6> proofofme: what is the type oif handleMaybe?
2020-10-12 04:00:56 +0200 <ski> case divs of
2020-10-12 04:01:01 +0200 <ski> Nothing -> <handle error case>
2020-10-12 04:01:07 +0200 <ski> Just x -> do <things with x>
2020-10-12 04:01:15 +0200Axman6notes that's the correct spelling of the Australian "of"
2020-10-12 04:02:13 +0200 <proofofme> type is [Div] | Nothing, right?
2020-10-12 04:02:23 +0200 <proofofme> data Div = Div String deriving (Show, Eq)
2020-10-12 04:02:49 +0200 <Axman6> doesn;'t sound right to me, | isn't a thing in types
2020-10-12 04:03:06 +0200 <Axman6> "" looks like a String to me though
2020-10-12 04:03:16 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-12 04:03:16 +0200wei2912(~wei2912@unaffiliated/wei2912)
2020-10-12 04:04:02 +0200wroathe_wroathe
2020-10-12 04:05:54 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-12 04:06:05 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-12 04:07:51 +0200rekahsoft(~rekahsoft@CPE0008a20f982f-CM64777d666260.cpe.net.cable.rogers.com)
2020-10-12 04:08:01 +0200 <Axman6> proofofme: you should start by adding a type signature to handleMaybe, that should help you get your thoughts in order
2020-10-12 04:08:50 +0200ensyde(~ensyde@2600:1702:2e30:1a40:9170:421:4d7b:753d) (Quit: WeeChat 2.9)
2020-10-12 04:14:05 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-12 04:14:22 +0200 <cohn> lemmih: can you recommend any good resources on types besides the Typeclassopedia?
2020-10-12 04:14:43 +0200lagothrixGuest59393
2020-10-12 04:14:43 +0200Guest59393(~lagothrix@unaffiliated/lagothrix) (Killed (verne.freenode.net (Nickname regained by services)))
2020-10-12 04:14:44 +0200ensyde(~ensyde@2600:1702:2e30:1a40:7dd1:8fed:5e86:6369)
2020-10-12 04:14:49 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-12 04:15:23 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds)
2020-10-12 04:18:39 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 244 seconds)
2020-10-12 04:20:00 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-12 04:20:27 +0200hackageclckwrks 0.26.2 - A secure, reliable content management system (CMS) and blogging platform https://hackage.haskell.org/package/clckwrks-0.26.2 (JeremyShaw)
2020-10-12 04:20:47 +0200polyrain(~polyrain@2001:8003:e501:6901:1d4a:4b8a:8ea1:adc0) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 04:21:29 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Read error: Connection reset by peer)
2020-10-12 04:23:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 04:24:20 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 244 seconds)
2020-10-12 04:24:29 +0200 <proofofme> `main = maybe (putStrLn "Error") (mapM_ print) =<< allDivs` this line ended up working
2020-10-12 04:25:01 +0200Saukk(~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3)
2020-10-12 04:26:12 +0200plutoniix(~q@175.176.222.7)
2020-10-12 04:27:20 +0200 <Axman6> do you understand it though? I still think you should do what I suggested above
2020-10-12 04:27:24 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-12 04:27:50 +0200 <Axman6> because I have a strong feeling you wrote handleMaybe without understanding why it compiled
2020-10-12 04:28:10 +0200 <Axman6> and it was not doing hwat you intended it to do
2020-10-12 04:28:32 +0200 <proofofme> I understand the maybe function. I was returning the wrong type, yeah?
2020-10-12 04:28:37 +0200theDon(~td@94.134.91.169) (Ping timeout: 258 seconds)
2020-10-12 04:29:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-12 04:29:27 +0200 <Axman6> for a hint about what type handleMaybe should have, in the code you had before, change it from main = allDivs >>= (\x -> mapM_ print (handleMaybe x)) main = allDivs >>= (\x -> mapM_ print (_handleMaybe x)) and let the compiler tell you
2020-10-12 04:29:31 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 04:30:01 +0200seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Ping timeout: 244 seconds)
2020-10-12 04:30:16 +0200theDon(~td@muedsl-82-207-238-192.citykom.de)
2020-10-12 04:30:33 +0200 <Axman6> "I was returning the wrong type" is almost always the answer to why something didn't compile, but you have to understand what types you expect to be returning (and accepting) to be able to do something with that fact
2020-10-12 04:30:58 +0200fraktor(~walt@129.93.191.18) (Ping timeout: 265 seconds)
2020-10-12 04:31:00 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9)
2020-10-12 04:32:20 +0200 <proofofme> Found hole: _handleMaybe :: Maybe [Div] -> t0 a0
2020-10-12 04:32:20 +0200 <proofofme> Where: ‘t0’ is an ambiguous type variable
2020-10-12 04:32:20 +0200 <proofofme> ‘a0’ is an ambiguous type variable
2020-10-12 04:32:22 +0200 <proofofme> Or perhaps ‘_handleMaybe’ is mis-spelled, or not in scope
2020-10-12 04:32:47 +0200fraktor(~walt@193.32.127.227)
2020-10-12 04:33:07 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c) (Ping timeout: 244 seconds)
2020-10-12 04:33:14 +0200 <Axman6> hmm, slightly less heklpful now mapM_ has a more general type than it used to. read `t0 a0` as [a]
2020-10-12 04:33:20 +0200 <proofofme> Couldn't match type ‘Div’ with ‘Char’
2020-10-12 04:33:31 +0200seanparsons(~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2020-10-12 04:33:33 +0200 <proofofme> this is when I use it without the `_`
2020-10-12 04:33:59 +0200 <Axman6> yep, so your function in the Nothing case returns a String, which is [Char], but you really wanted to return a [Div]
2020-10-12 04:34:29 +0200 <proofofme> oh! I see
2020-10-12 04:35:10 +0200 <proofofme> trying to fix it now ...
2020-10-12 04:35:37 +0200 <Axman6> uh, also, you had ... Just x -> return x, which means you're actually using some monad, which you probably didn't mean to, you probably wanted Just x -> x; Nothing -> <something that is also of tyoe [Div]>
2020-10-12 04:35:47 +0200 <Axman6> :t return
2020-10-12 04:35:49 +0200 <lambdabot> Monad m => a -> m a
2020-10-12 04:36:13 +0200 <Axman6> our return is not the same as everyone else's return
2020-10-12 04:36:20 +0200 <proofofme> so exclude the return
2020-10-12 04:36:41 +0200 <proofofme> compiled!
2020-10-12 04:36:43 +0200 <proofofme> makes sense
2020-10-12 04:37:00 +0200 <proofofme> handleMaybe x = case x of
2020-10-12 04:37:00 +0200 <proofofme> Just val -> val
2020-10-12 04:37:00 +0200 <proofofme> Nothing -> [Div ""]
2020-10-12 04:37:03 +0200 <proofofme> I used that
2020-10-12 04:37:12 +0200 <Axman6> is there a simpler way to make a [Div]?
2020-10-12 04:37:42 +0200 <Axman6> how can we construct lists in Haskell (hint, there are two answers, according to the definition of lists)
2020-10-12 04:37:42 +0200 <proofofme> hmm how?
2020-10-12 04:37:52 +0200 <Axman6> @src []
2020-10-12 04:37:52 +0200 <lambdabot> data [] a = [] | a : [a]
2020-10-12 04:37:53 +0200 <proofofme> cons
2020-10-12 04:37:56 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-12 04:38:20 +0200 <proofofme> use data?
2020-10-12 04:38:33 +0200 <Axman6> if I say to you "I need a list of Wombles", and you don't have any Wombles, can you give me a list of Wombles?
2020-10-12 04:38:49 +0200 <proofofme> I can give [], yeah?
2020-10-12 04:38:54 +0200 <Axman6> yep
2020-10-12 04:38:58 +0200hackageclckwrks 0.26.2.1 - A secure, reliable content management system (CMS) and blogging platform https://hackage.haskell.org/package/clckwrks-0.26.2.1 (JeremyShaw)
2020-10-12 04:39:09 +0200 <Axman6> since [] doesn't need any Wombles
2020-10-12 04:39:22 +0200 <proofofme> handleMaybe x = case x of
2020-10-12 04:39:23 +0200 <proofofme> Just val -> val
2020-10-12 04:39:23 +0200 <proofofme> Nothing -> []
2020-10-12 04:39:27 +0200 <proofofme> like that, yeah?
2020-10-12 04:39:32 +0200 <Axman6> what's the type of that function?
2020-10-12 04:39:42 +0200 <Axman6> looks good, but it;s only half the story!
2020-10-12 04:40:40 +0200 <proofofme> handleMaybe :: Maybe [Div] -> [Div]
2020-10-12 04:41:36 +0200 <Axman6> looks good to me (though, that's a much more specific type that that function actually needs - do you know what its most general type is?)
2020-10-12 04:42:24 +0200 <proofofme> handleMaybe :: Maybe [a] -> [a]
2020-10-12 04:42:34 +0200 <Axman6> noice, nailed it
2020-10-12 04:42:40 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-10-12 04:42:42 +0200 <proofofme> why generalize it?
2020-10-12 04:42:53 +0200 <dsal> Why write special code for every special case? :)
2020-10-12 04:43:02 +0200 <proofofme> ha good point
2020-10-12 04:43:18 +0200 <dsal> @hoogle Maybe [a] -> [a]
2020-10-12 04:43:19 +0200 <lambdabot> Prelude concat :: Foldable t => t [a] -> [a]
2020-10-12 04:43:19 +0200 <lambdabot> Data.List concat :: Foldable t => t [a] -> [a]
2020-10-12 04:43:19 +0200 <lambdabot> Data.Foldable concat :: Foldable t => t [a] -> [a]
2020-10-12 04:43:22 +0200 <Axman6> it's more useful then, I can use it on my Maybe [Womble] without having to write it myself, thansk for the useful function!
2020-10-12 04:43:55 +0200 <proofofme> I contributed to the commons!
2020-10-12 04:43:56 +0200 <Axman6> % :t concat @Maybe
2020-10-12 04:43:57 +0200 <yahb> Axman6: Maybe [a] -> [a]
2020-10-12 04:43:58 +0200hackageclckwrks-theme-bootstrap 0.4.2.4 - simple bootstrap based template for clckwrks https://hackage.haskell.org/package/clckwrks-theme-bootstrap-0.4.2.4 (JeremyShaw)
2020-10-12 04:44:11 +0200 <Axman6> damn, looks like someone beat you to it!
2020-10-12 04:44:44 +0200 <proofofme> XD
2020-10-12 04:44:53 +0200 <dsal> Notice that the same thing you'd use for `[[a]] -> [a]` also works for `Maybe [a] -> [a]` (and tons of other foldables)
2020-10-12 04:46:01 +0200 <Axman6> you mean, even my OWN foldables? :mindblown:
2020-10-12 04:46:27 +0200 <proofofme> guys brb. I must hunt for food. I will be back soon. thanks^1000000
2020-10-12 04:46:28 +0200nek0(~nek0@mail.nek0.eu) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-12 04:46:44 +0200 <dsal> I caught a pomegranate today.
2020-10-12 04:46:50 +0200 <Axman6> > a^1000000
2020-10-12 04:46:52 +0200 <lambdabot> a * a * (a * a) * (a * a * (a * a)) * (a * a * (a * a) * (a * a * (a * a))) ...
2020-10-12 04:47:18 +0200nek0(~nek0@mail.nek0.eu)
2020-10-12 04:47:24 +0200 <dsal> Is that a Gigafonzee?
2020-10-12 04:47:43 +0200 <Axman6> > let thanks = var "thanks" in thanks^1000000
2020-10-12 04:47:45 +0200 <lambdabot> thanks * thanks * (thanks * thanks) * (thanks * thanks * (thanks * thanks)) ...
2020-10-12 04:48:17 +0200 <dsal> That library is kind of magic.
2020-10-12 04:48:33 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-12 04:48:39 +0200 <Axman6> nah, it's simple... simple-reflect XD
2020-10-12 04:50:39 +0200 <monochrom> > 1^10 :: Expr
2020-10-12 04:50:42 +0200 <lambdabot> 1 * 1 * (1 * 1) * (1 * 1 * (1 * 1)) * (1 * 1)
2020-10-12 04:50:59 +0200drbean(~drbean@TC210-63-209-60.static.apol.com.tw)
2020-10-12 04:51:13 +0200 <Axman6> > reduction (1^10)
2020-10-12 04:51:16 +0200 <lambdabot> [1 * 1 * (1 * 1) * (1 * 1 * (1 * 1)) * (1 * 1),1 * (1 * 1) * (1 * 1 * (1 * 1...
2020-10-12 04:51:21 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Quit: Leaving)
2020-10-12 04:51:22 +0200 <monochrom> It's very dumb, like some kind of FreeNum.
2020-10-12 04:51:48 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:994a:80db:3f3a:ee42) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 04:53:11 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-12 04:53:49 +0200 <monochrom> > (-0)^10 ::
2020-10-12 04:53:52 +0200 <lambdabot> <hint>:1:12: error:
2020-10-12 04:53:52 +0200 <lambdabot> <hint>:1:12: error:
2020-10-12 04:53:52 +0200 <lambdabot> parse error (possibly incorrect indentation or mismatched brackets)
2020-10-12 04:53:55 +0200 <monochrom> > (-0)^10 :: Expr
2020-10-12 04:53:57 +0200 <lambdabot> negate 0 * negate 0 * (negate 0 * negate 0) * (negate 0 * negate 0 * (negate...
2020-10-12 04:54:05 +0200 <monochrom> I didn't expect that to be that dumb. :)
2020-10-12 04:54:57 +0200 <monochrom> You could imagine that it merely uses an AST, and so the most sophisticated code is in the Show instance.
2020-10-12 04:56:03 +0200fraktor(~walt@193.32.127.227) (Ping timeout: 260 seconds)
2020-10-12 04:57:24 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 244 seconds)
2020-10-12 04:59:41 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-12 05:00:00 +0200Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.)
2020-10-12 05:00:02 +0200Guest92188(~flo@178.162.204.214) ()
2020-10-12 05:00:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 05:00:36 +0200dyeplexer(~lol@unaffiliated/terpin)
2020-10-12 05:01:21 +0200OmegaDoug(8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca)
2020-10-12 05:01:33 +0200Taneb(~Taneb@runciman.hacksoc.org)
2020-10-12 05:03:58 +0200hackagelongshot 0.1.0.4 - Fast Brute-force search using parallelism https://hackage.haskell.org/package/longshot-0.1.0.4 (thyeem)
2020-10-12 05:04:05 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Quit: geowiesnot)
2020-10-12 05:04:07 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 244 seconds)
2020-10-12 05:04:26 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-12 05:04:36 +0200pingiun(~pingiun@j63019.upc-j.chello.nl)
2020-10-12 05:08:14 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Remote host closed the connection)
2020-10-12 05:10:27 +0200quazimodo(~quazimodo@27-33-123-50.tpgi.com.au) (Remote host closed the connection)
2020-10-12 05:13:15 +0200sword865(uid208942@gateway/web/irccloud.com/x-dthyagnvtpyokqxb)
2020-10-12 05:13:33 +0200jchia(~jchia@58.32.32.136) (Remote host closed the connection)
2020-10-12 05:14:37 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2020-10-12 05:15:32 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-12 05:15:34 +0200jchia(~jchia@45.32.62.73)
2020-10-12 05:16:36 +0200jchia(~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-12 05:16:47 +0200jchia(~jchia@45.32.62.73)
2020-10-12 05:17:08 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-10-12 05:18:08 +0200jchia(~jchia@45.32.62.73) (Remote host closed the connection)
2020-10-12 05:18:30 +0200drbean(~drbean@TC210-63-209-60.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in)
2020-10-12 05:18:50 +0200jchia(~jchia@58.32.32.136)
2020-10-12 05:19:14 +0200OmegaDoug(8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca) (Ping timeout: 245 seconds)
2020-10-12 05:22:43 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 05:24:13 +0200solonarv(~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2020-10-12 05:27:58 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-12 05:28:55 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-12 05:29:03 +0200drbean(~drbean@TC210-63-209-219.static.apol.com.tw)
2020-10-12 05:29:52 +0200sleepingisfun(~sleepingi@168.235.93.188)
2020-10-12 05:34:35 +0200kupi(uid212005@gateway/web/irccloud.com/x-qqaeittltyajhdin) (Quit: Connection closed for inactivity)
2020-10-12 05:34:36 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 244 seconds)
2020-10-12 05:35:33 +0200Saukk(~Saukk@2001:998:f1:3966:96a6:dee2:2e9:fdf3) (Remote host closed the connection)
2020-10-12 05:35:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-12 05:38:34 +0200wei2912(~wei2912@unaffiliated/wei2912) (Quit: Lost terminal)
2020-10-12 05:40:52 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) ("Killed buffer")
2020-10-12 05:42:07 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 05:43:58 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-12 05:44:12 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-12 05:44:55 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9)
2020-10-12 05:45:00 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-10-12 05:45:13 +0200Stanley00(~stanley00@unaffiliated/stanley00)
2020-10-12 05:45:43 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 256 seconds)
2020-10-12 05:46:21 +0200mirrorbird(~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Remote host closed the connection)
2020-10-12 05:47:14 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 05:47:14 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 05:47:14 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 05:48:02 +0200jwynn6(~jwynn6@050-088-122-078.res.spectrum.com) (Ping timeout: 272 seconds)
2020-10-12 05:52:55 +0200ericsagnes(~ericsagne@2405:6580:0:5100:e9f3:9297:73e4:fa18) (Ping timeout: 240 seconds)
2020-10-12 05:54:10 +0200Katarushisu7(~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net)
2020-10-12 05:55:02 +0200Katarushisu(~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Ping timeout: 260 seconds)
2020-10-12 05:55:02 +0200Katarushisu7Katarushisu
2020-10-12 05:55:43 +0200larsivi(~larsivi@84.39.117.57)
2020-10-12 05:55:56 +0200waskell(~quassel@d66-183-124-7.bchsia.telus.net)
2020-10-12 05:57:21 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-dyncoieblejuiqfh) (Quit: Connection closed for inactivity)
2020-10-12 05:59:05 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds)
2020-10-12 05:59:50 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-12 06:02:19 +0200todda7(~torstein@athedsl-279217.home.otenet.gr) (Ping timeout: 265 seconds)
2020-10-12 06:02:49 +0200polyrain(~polyrain@2001:8003:e501:6901:1d4a:4b8a:8ea1:adc0)
2020-10-12 06:02:53 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-10-12 06:05:50 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:994a:80db:3f3a:ee42)
2020-10-12 06:06:05 +0200ericsagnes(~ericsagne@2405:6580:0:5100:65f3:1e6d:ab49:97d4)
2020-10-12 06:06:14 +0200Tario(~Tario@201.192.165.173)
2020-10-12 06:10:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 06:10:54 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2020-10-12 06:11:52 +0200ski(~ski@m-1163-19.studat.chalmers.se) (Ping timeout: 260 seconds)
2020-10-12 06:13:11 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-12 06:13:28 +0200adminn(~admin@68.183.155.87)
2020-10-12 06:15:34 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-12 06:16:14 +0200irc_user(uid423822@gateway/web/irccloud.com/x-wvexijsynfnxdgbk) (Quit: Connection closed for inactivity)
2020-10-12 06:17:36 +0200seanvert(~user@177.84.244.242)
2020-10-12 06:17:36 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 06:19:41 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-12 06:20:32 +0200polyrain(~polyrain@2001:8003:e501:6901:1d4a:4b8a:8ea1:adc0) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 06:21:49 +0200polyrain(~polyrain@2001:8003:e501:6901:1d4a:4b8a:8ea1:adc0)
2020-10-12 06:21:56 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 06:22:42 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 06:25:55 +0200aaaaaa(~ArthurStr@host-91-90-11-13.soborka.net)
2020-10-12 06:27:02 +0200Tario(~Tario@201.192.165.173)
2020-10-12 06:27:30 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-12 06:30:07 +0200adminn(~admin@68.183.155.87) (Quit: ZNC 1.7.4+deb7 - https://znc.in)
2020-10-12 06:30:35 +0200gokkun(~dblbch@89.232.38.52) (Quit: Leaving)
2020-10-12 06:31:26 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 244 seconds)
2020-10-12 06:32:13 +0200day_(~Unknown@unaffiliated/day)
2020-10-12 06:33:45 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-10-12 06:35:05 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 240 seconds)
2020-10-12 06:35:05 +0200day_day
2020-10-12 06:38:50 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-12 06:39:05 +0200dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 240 seconds)
2020-10-12 06:40:59 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 265 seconds)
2020-10-12 06:42:55 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-12 06:43:24 +0200thir(~thir@pd9e1b838.dip0.t-ipconnect.de)
2020-10-12 06:43:25 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds)
2020-10-12 06:43:38 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-12 06:44:13 +0200vonfry(~user@li1870-189.members.linode.com) (Remote host closed the connection)
2020-10-12 06:48:03 +0200thir(~thir@pd9e1b838.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-12 06:51:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 06:53:02 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 06:53:17 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 06:53:17 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 06:53:17 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 06:53:55 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds)
2020-10-12 06:54:26 +0200 <proofofme> `cabal install mysql-haskell` fails for me
2020-10-12 07:04:44 +0200ddere(uid110888@gateway/web/irccloud.com/x-vgusxnbjafubujyq) (Quit: Connection closed for inactivity)
2020-10-12 07:05:47 +0200aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 258 seconds)
2020-10-12 07:07:25 +0200rekahsoft(~rekahsoft@CPE0008a20f982f-CM64777d666260.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds)
2020-10-12 07:08:28 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-12 07:15:38 +0200__ngua(~rory@2402:800:6379:81de:c01f:8864:9ffb:a477)
2020-10-12 07:19:20 +0200alinab(~alinab@c-73-73-226-52.hsd1.il.comcast.net)
2020-10-12 07:21:27 +0200solonarv(~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr)
2020-10-12 07:21:47 +0200yoja(~yoel.jaco@89.237.104.52)
2020-10-12 07:22:17 +0200kl1xto(~klixto@130.220.8.149)
2020-10-12 07:23:00 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl)
2020-10-12 07:23:42 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 07:24:12 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 260 seconds)
2020-10-12 07:24:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-12 07:26:07 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 07:26:50 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-12 07:27:40 +0200alinab(~alinab@c-73-73-226-52.hsd1.il.comcast.net) (Quit: leaving)
2020-10-12 07:28:58 +0200alinab(uid468903@gateway/web/irccloud.com/x-bpuhjlegovfytkui)
2020-10-12 07:30:08 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-12 07:30:51 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-12 07:31:16 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-12 07:31:21 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-12 07:31:35 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-12 07:33:34 +0200no-nu-ou
2020-10-12 07:34:16 +0200__ngua(~rory@2402:800:6379:81de:c01f:8864:9ffb:a477) (Remote host closed the connection)
2020-10-12 07:34:46 +0200 <yushyin> a bit more information would be needed to help you e.g. a log file
2020-10-12 07:35:09 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-12 07:36:26 +0200__ngua(~rory@2402:800:6379:81de:c01f:8864:9ffb:a477)
2020-10-12 07:38:10 +0200chele(~chele@5.53.222.202)
2020-10-12 07:48:11 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-12 07:51:33 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds)
2020-10-12 07:53:19 +0200ensyde(~ensyde@2600:1702:2e30:1a40:7dd1:8fed:5e86:6369) (Ping timeout: 272 seconds)
2020-10-12 07:56:03 +0200Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 256 seconds)
2020-10-12 07:58:28 +0200hackagelongshot 0.1.0.5 - Fast Brute-force search using parallelism https://hackage.haskell.org/package/longshot-0.1.0.5 (thyeem)
2020-10-12 07:58:57 +0200Cthalupa(~cthulhu@47.186.47.75)
2020-10-12 07:59:12 +0200__ngua(~rory@2402:800:6379:81de:c01f:8864:9ffb:a477) (Remote host closed the connection)
2020-10-12 08:00:01 +0200larsivi(~larsivi@84.39.117.57) ()
2020-10-12 08:00:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 08:00:29 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 08:05:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-12 08:05:51 +0200toorevitimirp(~tooreviti@117.182.180.245)
2020-10-12 08:06:54 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 08:07:33 +0200hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-10-12 08:07:54 +0200hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-12 08:08:02 +0200paintedindigo(~paintedin@2605:a000:1621:a03f:1d23:2ce2:9ed:2bb4) (Read error: Connection reset by peer)
2020-10-12 08:10:59 +0200kuribas(~user@ptr-25vy0i7sp90j0w6z65c.18120a2.ip6.access.telenet.be)
2020-10-12 08:11:34 +0200proteusguy(~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Remote host closed the connection)
2020-10-12 08:13:17 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:994a:80db:3f3a:ee42) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 08:16:05 +0200hbina(~hbina@42.153.132.48)
2020-10-12 08:16:43 +0200taurux(~taurux@net-188-152-14-58.cust.dsl.teletu.it) (Ping timeout: 260 seconds)
2020-10-12 08:18:56 +0200taurux(~taurux@net-188-152-14-58.cust.dsl.teletu.it)
2020-10-12 08:19:25 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 08:20:25 +0200proofofm_(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 08:20:25 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer)
2020-10-12 08:22:22 +0200Buntspecht(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-12 08:22:22 +0200proofofm_(~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer)
2020-10-12 08:22:45 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 08:23:36 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-12 08:23:40 +0200chele_(~chele@5.53.222.202)
2020-10-12 08:24:14 +0200chele(~chele@5.53.222.202) (Read error: Connection reset by peer)
2020-10-12 08:27:11 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Ping timeout: 260 seconds)
2020-10-12 08:29:35 +0200 <siraben> Is there an elegant way to implement hygienic macros?
2020-10-12 08:30:13 +0200 <Axman6> I don't know what defined hygenic macros, but there is a new way to write type safe Template Haskell in GHC
2020-10-12 08:30:13 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 08:30:18 +0200 <Axman6> defines*
2020-10-12 08:30:25 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-12 08:30:31 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 08:30:31 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 08:30:31 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 08:30:59 +0200xwvvvvwx-(~xwvvvvwx@185.213.155.160)
2020-10-12 08:31:47 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-12 08:32:37 +0200xwvvvvwx(~xwvvvvwx@185.213.155.160) (Ping timeout: 264 seconds)
2020-10-12 08:32:38 +0200xwvvvvwx-xwvvvvwx
2020-10-12 08:33:03 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 08:37:47 +0200jinblack(~JinBlack@new.jinblack.it) (Ping timeout: 246 seconds)
2020-10-12 08:37:59 +0200chenshen(~chenshen@2620:10d:c090:400::5:f372)
2020-10-12 08:45:59 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 08:46:15 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 08:46:15 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 08:46:15 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 08:46:25 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-12 08:46:46 +0200fendor(~fendor@178.115.131.211.wireless.dyn.drei.com) (Quit: Leaving)
2020-10-12 08:47:44 +0200seanvert(~user@177.84.244.242) (Remote host closed the connection)
2020-10-12 08:47:59 +0200jinblack(~JinBlack@2001:41d0:8:4b28::1)
2020-10-12 08:48:01 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-12 08:50:06 +0200 <kuribas> siraben: generics
2020-10-12 08:50:27 +0200 <siraben> Oh I should clarify, I meant I'm implementing a Lisp
2020-10-12 08:50:37 +0200 <siraben> and want to implement hygienic macros
2020-10-12 08:50:59 +0200 <suzu_> macros that wash their hands often
2020-10-12 08:51:31 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2020-10-12 08:51:37 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 08:53:11 +0200 <kuribas> do they wear masks?
2020-10-12 08:53:34 +0200 <suzu_> yes, safety first
2020-10-12 08:53:45 +0200 <kuribas> siraben: have a look at scheme
2020-10-12 08:54:02 +0200 <u-ou> what about macros individual freedom?
2020-10-12 08:54:52 +0200 <siraben> kuribas: Yeah, https://github.com/siraben/r5rs-denot
2020-10-12 08:55:06 +0200 <siraben> It just that, the hygienic expansion algorithms I'm looking at are quite stateful
2020-10-12 08:56:09 +0200 <kuribas> siraben: of course it's stateful, you need to create new identifiers.
2020-10-12 08:56:12 +0200blardo(~blardo@195.206.169.184)
2020-10-12 08:58:10 +0200 <suzu_> ok i just looked up these macros
2020-10-12 08:58:34 +0200 <suzu_> it means they don't pollute / consume / shadow any bindings in scope at macro-use time?
2020-10-12 08:58:50 +0200 <siraben> suzu_: Yes
2020-10-12 08:59:14 +0200 <suzu_> they're guaranteed an internal consistent binding scope by the compiler in some way?
2020-10-12 08:59:27 +0200 <suzu_> and you want this in a lisp interpreter?
2020-10-12 08:59:30 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-12 08:59:31 +0200John20(~John@82.46.59.122)
2020-10-12 08:59:56 +0200chele(~chele@5.53.222.202)
2020-10-12 09:00:10 +0200chele(~chele@5.53.222.202) (Remote host closed the connection)
2020-10-12 09:00:27 +0200chele(~chele@5.53.222.202)
2020-10-12 09:00:57 +0200 <siraben> Yes. I'm thinking of implementing http://3e8.org/pub/pdf-t1/macros_that_work.pdf
2020-10-12 09:01:33 +0200russruss8(~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-12 09:01:47 +0200xff0x(~fox@2001:1a81:52ad:5800:a0c7:cc77:f7d4:2372) (Ping timeout: 244 seconds)
2020-10-12 09:02:08 +0200chele_(~chele@5.53.222.202) (Ping timeout: 256 seconds)
2020-10-12 09:02:39 +0200russruss8(~russruss@my.russellmcc.com)
2020-10-12 09:02:57 +0200 <suzu_> idk seems like a compiler design question than a haskell thing
2020-10-12 09:02:57 +0200u-ouno-n
2020-10-12 09:03:23 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-12 09:03:25 +0200solonarv(~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2020-10-12 09:03:55 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-12 09:05:37 +0200 <siraben> Yeah
2020-10-12 09:07:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-12 09:07:48 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 256 seconds)
2020-10-12 09:09:32 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 244 seconds)
2020-10-12 09:10:34 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-12 09:12:05 +0200taurux(~taurux@net-188-152-14-58.cust.dsl.teletu.it) (Ping timeout: 240 seconds)
2020-10-12 09:13:11 +0200tzh(~tzh@2601:448:c500:5300::d90) (Quit: zzz)
2020-10-12 09:13:52 +0200taurux(~taurux@net-188-152-14-58.cust.vodafonedsl.it)
2020-10-12 09:13:57 +0200jespada(~jespada@90.254.245.15)
2020-10-12 09:14:11 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-12 09:17:33 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-12 09:22:02 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2020-10-12 09:23:24 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 09:27:12 +0200rihards_(~rihards@vpnlv.tilde.com) (Quit: rihards_)
2020-10-12 09:27:58 +0200rihards_(~rihards@vpnlv.tilde.com)
2020-10-12 09:28:37 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-12 09:31:54 +0200thc202(~thc202@unaffiliated/thc202)
2020-10-12 09:37:14 +0200aqd(~aqd@87-92-145-87.rev.dnainternet.fi)
2020-10-12 09:39:17 +0200fleursdumal(4832064b@gateway/web/cgi-irc/kiwiirc.com/ip.72.50.6.75)
2020-10-12 09:40:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 09:41:15 +0200kritzefitz(~kritzefit@fw-front.credativ.com)
2020-10-12 09:45:14 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-12 09:46:03 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-12 09:46:57 +0200hackagettn 0.2.0.0 - Things Tracker Network JSON Types https://hackage.haskell.org/package/ttn-0.2.0.0 (srk)
2020-10-12 09:47:15 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 244 seconds)
2020-10-12 09:48:05 +0200knupfer(~Thunderbi@dynamic-046-114-150-219.46.114.pool.telefonica.de)
2020-10-12 09:48:48 +0200alp(~alp@2a01:e0a:58b:4920:8ce:75eb:bbc3:eb73)
2020-10-12 09:49:06 +0200jedws(~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 09:49:45 +0200cpressey(~cpressey@88.144.68.224)
2020-10-12 09:50:31 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Ping timeout: 256 seconds)
2020-10-12 09:52:02 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2020-10-12 09:52:37 +0200xff0x(~fox@217.110.198.158)
2020-10-12 09:56:38 +0200darjeeli1(~darjeelin@122.245.210.138)
2020-10-12 09:56:39 +0200darjeeling_(~darjeelin@122.245.210.138) (Read error: Connection reset by peer)
2020-10-12 09:56:49 +0200chenshen(~chenshen@2620:10d:c090:400::5:f372) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…)
2020-10-12 09:57:40 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 256 seconds)
2020-10-12 09:58:47 +0200xff0x(~fox@217.110.198.158)
2020-10-12 09:59:28 +0200hackagettn-client 0.2.0.0 - TheThingsNetwork client https://hackage.haskell.org/package/ttn-client-0.2.0.0 (srk)
2020-10-12 09:59:34 +0200bahamas(~lucian@188.24.181.166)
2020-10-12 09:59:34 +0200bahamas(~lucian@188.24.181.166) (Changing host)
2020-10-12 09:59:34 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-12 10:00:03 +0200 <bahamas> does anyone have an example of a function in the prelude that uses pattern matching in the definition? and another example that uses guards?
2020-10-12 10:02:23 +0200raichoo(~raichoo@213.240.178.58)
2020-10-12 10:02:27 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 10:02:31 +0200ericsagnes(~ericsagne@2405:6580:0:5100:65f3:1e6d:ab49:97d4) (Ping timeout: 272 seconds)
2020-10-12 10:04:00 +0200Ariakenom(~Ariakenom@193.254.193.1)
2020-10-12 10:04:09 +0200 <hc> bahamas: pattern matching: https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.List.html#head
2020-10-12 10:04:46 +0200 <hc> guards: https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.List.html#dropWhile
2020-10-12 10:05:46 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-12 10:11:15 +0200 <bahamas> hc: thank you!
2020-10-12 10:11:15 +0200fleursdumal(4832064b@gateway/web/cgi-irc/kiwiirc.com/ip.72.50.6.75) (Quit: Connection closed)
2020-10-12 10:11:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 10:11:57 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 10:12:07 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-12 10:12:07 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-12 10:12:07 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 10:14:02 +0200 <bahamas> hc: interesting definition for "take". it uses a guard without `otherwise`, but it doesn't seem to be a problem
2020-10-12 10:14:06 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-12 10:14:35 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 10:14:39 +0200pfurla_(~pfurla@185.108.105.110)
2020-10-12 10:14:47 +0200ericsagnes(~ericsagne@2405:6580:0:5100:8f5:b7cb:eb3d:6e86)
2020-10-12 10:15:56 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds)
2020-10-12 10:17:51 +0200 <hc> bahamas: it isn't a problem because of the ordering of patterns
2020-10-12 10:18:22 +0200 <hc> bahamas: if the list is empty, #2 will match regardless of the value of n, unless n<=0 in which case the 2nd parameter won't be evaluated and thus an empty list wouldn't be a problem here either
2020-10-12 10:18:44 +0200 <hc> the 3rd case will only be attempted to match if the list isn't empty
2020-10-12 10:20:05 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-10-12 10:21:17 +0200pfurla_(~pfurla@185.108.105.110) (Ping timeout: 258 seconds)
2020-10-12 10:21:25 +0200drbean(~drbean@TC210-63-209-219.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-10-12 10:22:05 +0200 <bahamas> hc: yes. btw, an exclamation mark in front of a function argument forces the evaluation, right?
2020-10-12 10:24:37 +0200 <hc> bahamas: I think so; at least that's the case in Data declarations
2020-10-12 10:25:12 +0200cfricke(~cfricke@unaffiliated/cfricke)
2020-10-12 10:25:45 +0200 <dminuoso> bahamas: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#bang-patterns-in…
2020-10-12 10:27:02 +0200maroloccio(~marolocci@212.129.83.39) (Ping timeout: 244 seconds)
2020-10-12 10:29:23 +0200tdammers_tdammers
2020-10-12 10:31:02 +0200 <merijn> bahamas: btw, if all guards of a pattern fail it simply "falls through" to the next pattern of the function (similar to failing pattern matches) which can be useful in places :)
2020-10-12 10:31:08 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-12 10:31:53 +0200maroloccio(~marolocci@212.129.83.39)
2020-10-12 10:33:46 +0200dhouthoo(~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-10-12 10:34:35 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-12 10:34:52 +0200 <bahamas> merijn: right. I had forgotten about that. `otherwise` is a catch all
2020-10-12 10:35:08 +0200 <bahamas> dminuoso: thanks!
2020-10-12 10:35:10 +0200chaosmasttter(~chaosmast@p200300c4a72cce019c42f7589bbe6c59.dip0.t-ipconnect.de)
2020-10-12 10:35:27 +0200 <maerwald> @src otherwise
2020-10-12 10:35:27 +0200 <lambdabot> otherwise = True
2020-10-12 10:35:49 +0200 <bahamas> dminuoso: oh, so it's an extension. it's not part of the report
2020-10-12 10:36:09 +0200 <dminuoso> Right.
2020-10-12 10:36:19 +0200 <dminuoso> bahamas: Roughly, think it to be equivalent to `seq`
2020-10-12 10:36:29 +0200 <dminuoso> Perhaps, in hindsight, we should have had bang patterns instead of seq.
2020-10-12 10:36:57 +0200 <dminuoso> The ergonomics of bang patterns are much better. :)
2020-10-12 10:37:54 +0200 <dminuoso> So bang patterns are just syntactic sugar around Haskell2010, rather than introducing additional semantics.
2020-10-12 10:37:55 +0200yoja(~yoel.jaco@89.237.104.52) (Ping timeout: 246 seconds)
2020-10-12 10:38:16 +0200 <bahamas> I see
2020-10-12 10:39:12 +0200 <dminuoso> Then we could have defined `seq !l r = r`
2020-10-12 10:39:50 +0200RichardW(0140a8cb@1-64-168-203.static.netvigator.com)
2020-10-12 10:41:18 +0200 <bahamas> btw, judging from this file I assume there's an unwritten rule to put a fixity declaration at the top of a module? https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#.
2020-10-12 10:41:57 +0200 <Taneb> bahamas: differnet libraries do it differently, I prefer to keep it close to the operator
2020-10-12 10:42:11 +0200plutoniix(~q@175.176.222.7) (Quit: Leaving)
2020-10-12 10:42:25 +0200 <Taneb> If you're defining a lot of operators with a lot of different fixities it can make things clearer how they relate if the fixity declarations are together, though
2020-10-12 10:42:57 +0200 <dminuoso> Though, you can quickly extract the latter knowledge by just `grep infix foo.hs`
2020-10-12 10:42:58 +0200hackageZ-Data 0.1.6.1 - Array, vector and text https://hackage.haskell.org/package/Z-Data-0.1.6.1 (winterland)
2020-10-12 10:43:22 +0200 <bahamas> ok. it makes sense
2020-10-12 10:43:24 +0200 <dminuoso> Whereas relating a fixity declaration to its definition is not as easy, so I'd say keeping fixity declarations close to the definition is more useful
2020-10-12 10:44:15 +0200 <merijn> bahamas: No, I mean even in the absense of "otherwise"
2020-10-12 10:44:40 +0200 <merijn> bahamas: I'd say "put fixity near the definition", tbh
2020-10-12 10:45:36 +0200 <dminuoso> But really at the end, code convention is flexible and should fit your needs.
2020-10-12 10:45:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-12 10:46:11 +0200polyrain_(~polyrain@2001:8003:e501:6901:1ec:b302:c264:1713)
2020-10-12 10:46:18 +0200 <nshepperd2> I'd always put it right next to the type signature
2020-10-12 10:46:28 +0200 <dminuoso> nshepperd2: with a semicolon?
2020-10-12 10:46:35 +0200 <dminuoso> Or do you mean above/below?
2020-10-12 10:46:40 +0200chaosmasttter(~chaosmast@p200300c4a72cce019c42f7589bbe6c59.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-12 10:47:13 +0200 <nshepperd2> err, above
2020-10-12 10:47:32 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 256 seconds)
2020-10-12 10:47:46 +0200 <nshepperd2> is a semicolon legal? that would be interesting
2020-10-12 10:48:09 +0200 <dminuoso> GHCi accepts it at least
2020-10-12 10:48:17 +0200cfricke(~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9)
2020-10-12 10:48:18 +0200yoja(~yoel.jaco@89.237.104.52)
2020-10-12 10:48:44 +0200polyrain(~polyrain@2001:8003:e501:6901:1d4a:4b8a:8ea1:adc0) (Ping timeout: 244 seconds)
2020-10-12 10:48:48 +0200 <dminuoso> % infixr 6 `f`; f = f
2020-10-12 10:48:48 +0200 <yahb> dminuoso:
2020-10-12 10:49:00 +0200graf_blutwurst(~user@2a02:168:49bc:0:60e6:a793:624b:d03a)
2020-10-12 10:49:00 +0200 <dminuoso> % f :: Int; infixr 6 `f`; f = f
2020-10-12 10:49:00 +0200 <yahb> dminuoso:
2020-10-12 10:49:13 +0200xff0x(~fox@217.110.198.158)
2020-10-12 10:49:38 +0200 <bahamas> merijn: what do you mean by "I mean even in the absense of `otherwise`"?
2020-10-12 10:50:06 +0200dminuosowonders whether merijn forgot to press enter on some message
2020-10-12 10:50:09 +0200akegalj(~akegalj@93-138-187-99.adsl.net.t-com.hr)
2020-10-12 10:50:10 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-12 10:54:59 +0200kl1xto(~klixto@130.220.8.149) (Quit: WeeChat 2.9)
2020-10-12 10:55:07 +0200 <merijn> Nah, I got distracted by work
2020-10-12 10:56:08 +0200 <merijn> bahamas: I meant that this is perfectly fine: https://paste.tomsmeding.com/bYa6W8My
2020-10-12 10:56:21 +0200 <merijn> If the 2 guards fail, it will simply fall through to the 2nd pattern
2020-10-12 11:00:01 +0200blardo(~blardo@195.206.169.184) ()
2020-10-12 11:01:00 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 11:01:13 +0200 <dminuoso> Useful to know, you can define let bindings in guards. :)
2020-10-12 11:01:26 +0200 <dminuoso> Took me a while to figure that one out
2020-10-12 11:01:45 +0200 <merijn> dminuoso: Or, you just use pattern guards :p
2020-10-12 11:01:57 +0200 <merijn> Pattern guards are the most underrated feature of Haskell2010
2020-10-12 11:02:48 +0200 <kuribas> merijn: I found a solution for the json representation problem. I made a DSL for rewriting the JSON before parsing it using generics.
2020-10-12 11:03:09 +0200 <kuribas> https://gist.github.com/kuribas/9826b1fb9f2907a5c40baff1d7bbcb83
2020-10-12 11:03:18 +0200 <kuribas> it's typesafe
2020-10-12 11:03:20 +0200 <merijn> Not sure I wanna click that xD
2020-10-12 11:03:55 +0200 <dminuoso> merijn: pattern guards are more limited though
2020-10-12 11:04:04 +0200 <merijn> dminuoso: How so?
2020-10-12 11:04:13 +0200 <dminuoso> Can you set up recursive bindings with them?
2020-10-12 11:04:21 +0200 <merijn> ah...probably not?
2020-10-12 11:05:16 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-12 11:05:57 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be)
2020-10-12 11:05:57 +0200GyroW_(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-12 11:05:57 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-12 11:05:58 +0200 <dminuoso> merijn: And at the same time, why would I use `Foo r <- bar` over `let Foo r = bar`?
2020-10-12 11:06:25 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-12 11:06:28 +0200 <dminuoso> Non-simple bindings are already part of Haskel2010
2020-10-12 11:06:28 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 260 seconds)
2020-10-12 11:07:02 +0200 <dminuoso> I mean, pattern guards have their use for when you want to *filter* out based on non-match
2020-10-12 11:07:05 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-12 11:07:10 +0200 <dminuoso> but they dont seem like a good alternative to let just for the sake of it
2020-10-12 11:07:12 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 11:07:30 +0200 <bahamas> merijn: do you have an example of pattern guards usage?
2020-10-12 11:08:14 +0200 <dminuoso> bahamas: https://gist.github.com/dminuoso/0da790d5ac72f0cfab1e451a306ca064
2020-10-12 11:08:19 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-xtrudmadhpdzbuzh) (Quit: Connection closed for inactivity)
2020-10-12 11:08:24 +0200xff0x(~fox@217.110.198.158)
2020-10-12 11:09:50 +0200plutoniix(~q@175.176.222.7)
2020-10-12 11:10:48 +0200 <kuribas> merijn: it's pretty easy
2020-10-12 11:11:09 +0200 <kuribas> merijn: you give the destination field, and the path to the origin field.
2020-10-12 11:11:26 +0200 <kuribas> merijn: and the destination field is typechecked against the given type.
2020-10-12 11:11:30 +0200chaosmasttter(~chaosmast@p200300c4a72cce019c42f7589bbe6c59.dip0.t-ipconnect.de)
2020-10-12 11:11:41 +0200 <bahamas> dminuoso: thanks
2020-10-12 11:11:56 +0200 <kuribas> merijn: and there is a Maybe variant for possible empty fields.
2020-10-12 11:12:16 +0200 <kuribas> merijn: and the generator does the opposite operation.
2020-10-12 11:13:02 +0200knupfer(~Thunderbi@dynamic-046-114-150-219.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2020-10-12 11:13:07 +0200 <kuribas> merijn: here is the implementation: https://gist.github.com/kuribas/5c617ecf025ccb37467a23556cbe963e
2020-10-12 11:13:11 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Read error: Connection reset by peer)
2020-10-12 11:13:37 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-12 11:14:19 +0200dyeplexer(~lol@unaffiliated/terpin)
2020-10-12 11:14:33 +0200 <kuribas> merijn: and you simply apply the transformation before/after parsing/toJSON
2020-10-12 11:18:19 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-10-12 11:24:00 +0200totte(~totte@chakra/totte)
2020-10-12 11:25:15 +0200jedws(~jedws@121.209.161.98)
2020-10-12 11:25:23 +0200 <kuribas> merijn: this substantially reduces the amount of boilerplate required when writing manual instances.
2020-10-12 11:25:36 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 272 seconds)
2020-10-12 11:25:56 +0200 <kuribas> merijn: and also solves the problem that manual instances aren't guaranteed to be consistend, when going to and from JSON.
2020-10-12 11:28:03 +0200jedws(~jedws@121.209.161.98) (Client Quit)
2020-10-12 11:28:09 +0200 <kuribas> I am not saying this solves every usecase, for everyone, but it works great for ours.
2020-10-12 11:28:19 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-12 11:29:03 +0200jedws(~jedws@121.209.161.98)
2020-10-12 11:29:57 +0200jedws(~jedws@121.209.161.98) (Client Quit)
2020-10-12 11:30:11 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-10-12 11:30:49 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2020-10-12 11:32:43 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 11:39:55 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Read error: Connection reset by peer)
2020-10-12 11:41:22 +0200Guest18(567e8866@gateway/web/cgi-irc/kiwiirc.com/ip.86.126.136.102)
2020-10-12 11:41:53 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-10-12 11:43:18 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-10-12 11:44:25 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-10-12 11:45:00 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 11:45:14 +0200yoja(~yoel.jaco@89.237.104.52) (Ping timeout: 272 seconds)
2020-10-12 11:47:19 +0200esp32_prog(yoann@gateway/vpn/protonvpn/esp32prog/x-46565127)
2020-10-12 11:49:00 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 11:49:41 +0200ensyde(~ensyde@2600:1702:2e30:1a40:7dd1:8fed:5e86:6369)
2020-10-12 11:50:34 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-12 11:51:32 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Max SendQ exceeded)
2020-10-12 11:51:49 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi)
2020-10-12 11:52:03 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-12 11:52:58 +0200hackagemu-schema 0.3.1.0 - Format-independent schemas for serialization https://hackage.haskell.org/package/mu-schema-0.3.1.0 (AlejandroSerrano)
2020-10-12 11:53:55 +0200ensyde(~ensyde@2600:1702:2e30:1a40:7dd1:8fed:5e86:6369) (Ping timeout: 240 seconds)
2020-10-12 11:54:06 +0200Stanley|00(~stanley00@unaffiliated/stanley00)
2020-10-12 11:54:41 +0200bitmagie(~Thunderbi@200116b80693b700305a6826a7578388.dip.versatel-1u1.de)
2020-10-12 11:54:45 +0200inkbottle(~inkbottle@alagny-155-1-18-83.w83-200.abo.wanadoo.fr)
2020-10-12 11:54:53 +0200zebrag(~inkbottle@aaubervilliers-654-1-1-116.w83-200.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-12 11:55:53 +0200slopjong(~slopjong@195.206.169.184)
2020-10-12 11:56:05 +0200Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2020-10-12 11:56:27 +0200hackagemu-rpc 0.4.0.0 - Protocol-independent declaration of services and servers. https://hackage.haskell.org/package/mu-rpc-0.4.0.0 (AlejandroSerrano)
2020-10-12 11:58:39 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone)
2020-10-12 12:00:10 +0200zebrag(~inkbottle@aaubervilliers-654-1-4-38.w83-200.abo.wanadoo.fr)
2020-10-12 12:00:36 +0200Rudd0(~Rudd0@185.189.115.108)
2020-10-12 12:00:58 +0200hackagemu-lens 0.3.0.0 - Lenses for @mu-schema@ terms https://hackage.haskell.org/package/mu-lens-0.3.0.0 (AlejandroSerrano)
2020-10-12 12:01:13 +0200oisdk(~oisdk@2001:bb6:3329:d100:40aa:f743:137e:9f96)
2020-10-12 12:01:23 +0200inkbottle(~inkbottle@alagny-155-1-18-83.w83-200.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-12 12:04:08 +0200berberman_berberman
2020-10-12 12:04:23 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-12 12:05:27 +0200hackagemu-avro 0.4.0.0 - Avro serialization support for Mu microservices https://hackage.haskell.org/package/mu-avro-0.4.0.0 (AlejandroSerrano)
2020-10-12 12:06:18 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-12 12:08:58 +0200hackagemu-protobuf 0.4.0.0 - Protocol Buffers serialization and gRPC schema import for Mu microservices https://hackage.haskell.org/package/mu-protobuf-0.4.0.0 (AlejandroSerrano)
2020-10-12 12:09:18 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-12 12:12:28 +0200hackagemu-graphql 0.4.0.0 - GraphQL support for Mu https://hackage.haskell.org/package/mu-graphql-0.4.0.0 (AlejandroSerrano)
2020-10-12 12:12:45 +0200rprije(~rprije@203.214.95.251) (Ping timeout: 240 seconds)
2020-10-12 12:16:27 +0200hackageuniqueness-periods-vector-examples 0.12.2.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.12.2.0 (OleksandrZhabenko)
2020-10-12 12:17:30 +0200Sanchayan(~Sanchayan@106.201.37.251)
2020-10-12 12:17:36 +0200chaosmasttter(~chaosmast@p200300c4a72cce019c42f7589bbe6c59.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-12 12:18:27 +0200hackagemu-servant-server 0.4.0.0 - Servant servers for Mu definitions https://hackage.haskell.org/package/mu-servant-server-0.4.0.0 (AlejandroSerrano)
2020-10-12 12:21:39 +0200bitmagie(~Thunderbi@200116b80693b700305a6826a7578388.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-12 12:22:58 +0200hackagemu-prometheus 0.4.0.0 - Metrics support for Mu using Prometheus https://hackage.haskell.org/package/mu-prometheus-0.4.0.0 (AlejandroSerrano)
2020-10-12 12:23:57 +0200hackagemu-tracing 0.4.0.0 - Tracing support for Mu https://hackage.haskell.org/package/mu-tracing-0.4.0.0 (AlejandroSerrano)
2020-10-12 12:30:04 +0200chaosmasttter(~chaosmast@p200300c4a72cce01a54348c8faec0ca9.dip0.t-ipconnect.de)
2020-10-12 12:31:34 +0200alp(~alp@2a01:e0a:58b:4920:8ce:75eb:bbc3:eb73) (Remote host closed the connection)
2020-10-12 12:31:43 +0200alp(~alp@2a01:e0a:58b:4920:8ce:75eb:bbc3:eb73)
2020-10-12 12:36:16 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 12:41:45 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 12:41:45 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 12:41:45 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 12:41:53 +0200toorevitimirp(~tooreviti@117.182.180.245) (Quit: Konversation terminated!)
2020-10-12 12:42:27 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-12 12:43:40 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 12:43:41 +0200toorevitimirp(~tooreviti@117.182.180.245)
2020-10-12 12:47:57 +0200hackagedata-reify 0.6.3 - Reify a recursive data structure into an explicit graph. https://hackage.haskell.org/package/data-reify-0.6.3 (ryanglscott)
2020-10-12 12:54:36 +0200plutoniix(~q@175.176.222.7) (Quit: Leaving)
2020-10-12 12:55:17 +0200Gerula(~Gerula@unaffiliated/gerula) (Quit: Leaving)
2020-10-12 12:58:26 +0200yoja(~yoel.jaco@89.237.104.52)
2020-10-12 13:01:23 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 13:04:28 +0200gxt(~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 2.9)
2020-10-12 13:04:37 +0200juuandyy(~juuandyy@90.166.144.65)
2020-10-12 13:06:02 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-12 13:09:15 +0200Stanley|00(~stanley00@unaffiliated/stanley00) ()
2020-10-12 13:13:43 +0200hiroaki(~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-10-12 13:15:19 +0200p8m_(p8m@gateway/vpn/protonvpn/p8m)
2020-10-12 13:16:26 +0200juuandyy(~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-10-12 13:16:41 +0200juuandyy(~juuandyy@90.166.144.65)
2020-10-12 13:17:14 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds)
2020-10-12 13:17:25 +0200__ngua(~rory@2402:800:6379:81de:c01f:8864:9ffb:a477)
2020-10-12 13:20:02 +0200polyrain_(~polyrain@2001:8003:e501:6901:1ec:b302:c264:1713) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-12 13:21:23 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone)
2020-10-12 13:26:57 +0200hiroaki(~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-10-12 13:30:14 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 256 seconds)
2020-10-12 13:30:34 +0200lemmih(~lemmih@2406:3003:2072:44:7cf8:46a0:1918:e607) (Remote host closed the connection)
2020-10-12 13:31:08 +0200lemmih(~lemmih@2406:3003:2072:44:dd05:443a:4cbd:495a)
2020-10-12 13:32:03 +0200xff0x(~fox@217.110.198.158)
2020-10-12 13:32:47 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 13:33:05 +0200Amras(~Amras@unaffiliated/amras0000)
2020-10-12 13:33:06 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 13:33:06 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 13:33:06 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 13:36:14 +0200Buntspecht(~user@unaffiliated/siracusa)
2020-10-12 13:40:55 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 240 seconds)
2020-10-12 13:41:00 +0200Cthalupa(~cthulhu@47.186.47.75) (Ping timeout: 256 seconds)
2020-10-12 13:42:20 +0200__skn(~sunil@sec.nimmagadda.net) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-12 13:43:00 +0200Cthalupa(~cthulhu@47.186.47.75)
2020-10-12 13:43:01 +0200__skn(~sunil@sec.nimmagadda.net)
2020-10-12 13:45:12 +0200hiroaki(~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-10-12 13:46:21 +0200hiroaki(~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-10-12 13:47:44 +0200jedws(~jedws@121.209.161.98)
2020-10-12 13:47:49 +0200jedws(~jedws@121.209.161.98) (Client Quit)
2020-10-12 13:48:43 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-12 13:52:25 +0200alx741(~alx741@181.196.68.41) (Ping timeout: 264 seconds)
2020-10-12 13:53:18 +0200juuandyy(~juuandyy@90.166.144.65) (Ping timeout: 260 seconds)
2020-10-12 13:54:49 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-12 13:56:25 +0200chaosmasttter(~chaosmast@p200300c4a72cce01a54348c8faec0ca9.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-12 13:57:58 +0200chaosmasttter(~chaosmast@p200300c4a72cce01a54348c8faec0ca9.dip0.t-ipconnect.de)
2020-10-12 13:59:04 +0200cpressey(~cpressey@88.144.68.224) (Quit: WeeChat 1.9.1)
2020-10-12 13:59:27 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 260 seconds)
2020-10-12 14:00:02 +0200slopjong(~slopjong@195.206.169.184) ()
2020-10-12 14:00:06 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 14:01:14 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-12 14:02:02 +0200lep-delete(~lep@94.31.82.44) (Ping timeout: 272 seconds)
2020-10-12 14:02:54 +0200ski(~ski@ft-4011-12.studat.chalmers.se)
2020-10-12 14:03:42 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-12 14:04:23 +0200z0k(~user@101.50.127.2) (Ping timeout: 256 seconds)
2020-10-12 14:05:40 +0200alx741(~alx741@181.196.69.128)
2020-10-12 14:06:45 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2020-10-12 14:08:55 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 256 seconds)
2020-10-12 14:10:32 +0200xff0x(~fox@217.110.198.158)
2020-10-12 14:11:09 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-12 14:11:18 +0200 <xsperry> vr
2020-10-12 14:11:24 +0200Gerula(~Gerula@unaffiliated/gerula)
2020-10-12 14:11:30 +0200 <xsperry> r
2020-10-12 14:12:28 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net)
2020-10-12 14:12:54 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-10-12 14:12:56 +0200lep-delete(~lep@94.31.82.44)
2020-10-12 14:12:56 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-12 14:12:56 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2020-10-12 14:12:56 +0200akegalj(~akegalj@93-138-187-99.adsl.net.t-com.hr) (Quit: leaving)
2020-10-12 14:16:12 +0200machinedgod(~machinedg@24.105.81.50)
2020-10-12 14:16:25 +0200ericsagnes(~ericsagne@2405:6580:0:5100:8f5:b7cb:eb3d:6e86) (Ping timeout: 240 seconds)
2020-10-12 14:16:47 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 14:23:23 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-12 14:23:58 +0200ekleog_ekleog
2020-10-12 14:24:27 +0200hackageZ-IO 0.1.5.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.5.0 (winterland)
2020-10-12 14:25:28 +0200zariuq(~zar@fw1.ciirc.cvut.cz) (Ping timeout: 258 seconds)
2020-10-12 14:27:55 +0200mdunnio(~mdunnio@208.59.170.5) (Ping timeout: 260 seconds)
2020-10-12 14:28:36 +0200aaaaaa(~ArthurStr@host-91-90-11-13.soborka.net) ()
2020-10-12 14:28:45 +0200toorevitimirp(~tooreviti@117.182.180.245) (Ping timeout: 256 seconds)
2020-10-12 14:29:07 +0200ericsagnes(~ericsagne@2405:6580:0:5100:f45a:395d:f712:98d3)
2020-10-12 14:32:25 +0200Gerula(~Gerula@unaffiliated/gerula) (Quit: Leaving)
2020-10-12 14:32:33 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-12 14:33:25 +0200chaosmasttter(~chaosmast@p200300c4a72cce01a54348c8faec0ca9.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-12 14:36:43 +0200ffan1122(ad361138@pool-173-54-17-56.nwrknj.fios.verizon.net)
2020-10-12 14:38:05 +0200John20(~John@82.46.59.122) (Ping timeout: 240 seconds)
2020-10-12 14:38:29 +0200geekosaur(ac3a8f30@172.58.143.48)
2020-10-12 14:40:27 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 265 seconds)
2020-10-12 14:41:42 +0200_ashbreeze_(~mark@72-161-254-60.dyn.centurytel.net) (Remote host closed the connection)
2020-10-12 14:42:07 +0200xff0x(~fox@217.110.198.158)
2020-10-12 14:43:04 +0200_ashbreeze_(~mark@72-161-254-60.dyn.centurytel.net)
2020-10-12 14:44:31 +0200gxt(~gxt@gateway/tor-sasl/gxt)
2020-10-12 14:45:27 +0200lep-deleteGuest40023
2020-10-12 14:45:31 +0200__ngua(~rory@2402:800:6379:81de:c01f:8864:9ffb:a477) (Remote host closed the connection)
2020-10-12 14:46:03 +0200motherfsck(~motherfsc@unaffiliated/motherfsck)
2020-10-12 14:47:27 +0200hackagebarbies-th 0.1.5 - Create strippable HKD via TH https://hackage.haskell.org/package/barbies-th-0.1.5 (FumiakiKinoshita)
2020-10-12 14:47:39 +0200chaosmasttter(~chaosmast@p200300c4a72cce01a54348c8faec0ca9.dip0.t-ipconnect.de)
2020-10-12 14:48:12 +0200 <gentauro> leaving `intero` and reaching `HIE` which seems to be another `historical artifact`. So the way to go forward is `haskell-language-server`? https://github.com/haskell/haskell-language-server
2020-10-12 14:49:04 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-12 14:49:38 +0200 <geekosaur> pretty much, yes. rather than N different approaches everyone has converged on haskell-language-server
2020-10-12 14:50:06 +0200 <dminuoso> Well. Some, others stick with the simpler solution of `ghcid`
2020-10-12 14:50:18 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl)
2020-10-12 14:50:30 +0200 <gentauro> geekosaur: I will give it a try https://github.com/haskell/haskell-language-server#using-haskell-language-server-with-emacs :)
2020-10-12 14:50:41 +0200 <dminuoso> You get some good portion of the functionality, but in a future proof and minimalistic way.
2020-10-12 14:50:57 +0200 <siraben> Does anyone know if there's a way to avoid having to pass JSNoAnnot to Language.JavaScript.Parser.AST's constructors?
2020-10-12 14:50:57 +0200 <siraben> https://github.com/siraben/lisp-to-js/blob/master/src/Translation.hs#L17-L28
2020-10-12 14:50:59 +0200 <dminuoso> (Dunno if you will ever convince me to move from ghcid to haskell-language-server)
2020-10-12 14:51:09 +0200 <siraben> There's a generic instance but not sure if it can help me make unannotated trees
2020-10-12 14:51:23 +0200 <Zetagon> ghcid is pretty nice :)
2020-10-12 14:51:42 +0200 <siraben> (also, is Language.JavaScript the best way to work with JS ASTs in Haskell?)
2020-10-12 14:51:55 +0200 <fendor> geekosaur, also, there is a nice emacs plugin: https://gitlab.com/tseenshe/haskell-tng.el
2020-10-12 14:51:57 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com) (Remote host closed the connection)
2020-10-12 14:52:12 +0200bliminse(~bliminse@host217-42-95-37.range217-42.btcentralplus.com)
2020-10-12 14:52:45 +0200 <gentauro> dminuoso: I was pretty happy with `intero` but the GH-banner "No Maintenance Intended" helps me "moving on" (sadly)
2020-10-12 14:55:57 +0200hackagevulkan 3.6.10 - Bindings to the Vulkan graphics API. https://hackage.haskell.org/package/vulkan-3.6.10 (jophish)
2020-10-12 14:59:34 +0200urodna(~urodna@unaffiliated/urodna)
2020-10-12 15:01:05 +0200__skn-(~sunil@sec.nimmagadda.net)
2020-10-12 15:01:17 +0200cpressey(~cpressey@88.144.68.224)
2020-10-12 15:02:32 +0200John20(~John@82.46.59.122)
2020-10-12 15:02:36 +0200__skn(~sunil@sec.nimmagadda.net) (Ping timeout: 256 seconds)
2020-10-12 15:03:49 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 264 seconds)
2020-10-12 15:05:05 +0200 <merijn> gentauro: Basically all the tool contributors have (thankfully) converged on one platform to collaborate and work together (hls), which is good
2020-10-12 15:05:24 +0200xff0x(~fox@217.110.198.158)
2020-10-12 15:05:42 +0200 <gentauro> merijn: yeah, and I can see it's under the `https://github.com/haskell/` group on GH which is nice
2020-10-12 15:06:06 +0200 <gentauro> hopefully it's not a painfull transition and hopefully I can get up and running fast :)
2020-10-12 15:06:35 +0200 <merijn> gentauro: I'm still on ghcide (hls builds on top of that) and it's working pretty well
2020-10-12 15:07:05 +0200 <gentauro> merijn: roger that. Good to hear that there are alternatives to fall back to ;)
2020-10-12 15:07:15 +0200 <geekosaur> part of the reason they converged on hls is that there's a common language server platform that's cross-language they can integrate with
2020-10-12 15:07:17 +0200 <gentauro> but I will give `hls` a try and see how it goes
2020-10-12 15:09:20 +0200 <fendor> if hls does not work for you, chances are, neither will ghcide
2020-10-12 15:11:46 +0200sand_dull(~theuser@104.140.53.43)
2020-10-12 15:12:20 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-12 15:13:58 +0200drbean(~drbean@TC210-63-209-96.static.apol.com.tw)
2020-10-12 15:16:31 +0200 <gentauro> fendor: `Error when running Shake build system` ;)
2020-10-12 15:16:34 +0200 <gentauro> good to know
2020-10-12 15:16:59 +0200 <fendor> lol. I have never seen that one. When does that happen?
2020-10-12 15:17:29 +0200 <gentauro> `stack ./install.hs hls-8.6.5`
2020-10-12 15:17:35 +0200 <gentauro> and `stack ./install.hs hls`
2020-10-12 15:18:00 +0200 <gentauro> fendor: I will do a bit of `debugging` to see if it works (or not) then I will update with a status ;)
2020-10-12 15:18:57 +0200 <fendor> I am trying as well. Personally, I only use cabal for installation, but that worked well and should be the same as stack...
2020-10-12 15:19:24 +0200 <Taneb> Well, I finally got around to trying haskell-language-server
2020-10-12 15:19:36 +0200 <Taneb> Been a while since I tried to use an IDE in, like, any language
2020-10-12 15:19:46 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:994a:80db:3f3a:ee42)
2020-10-12 15:20:44 +0200ski(~ski@ft-4011-12.studat.chalmers.se) (Remote host closed the connection)
2020-10-12 15:21:01 +0200ski(~ski@nc-2504-30.studat.chalmers.se)
2020-10-12 15:21:41 +0200 <fendor> oh well, nixos and stack do not really work together...
2020-10-12 15:22:10 +0200maroloccio(~marolocci@212.129.83.39) (Quit: WeeChat 2.3)
2020-10-12 15:22:16 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2020-10-12 15:22:25 +0200alp(~alp@2a01:e0a:58b:4920:8ce:75eb:bbc3:eb73) (Ping timeout: 240 seconds)
2020-10-12 15:24:07 +0200linuxnoob(~linuxnoob@s91904424.blix.com)
2020-10-12 15:24:12 +0200 <linuxnoob> haskell is terrible.
2020-10-12 15:26:23 +0200 <Uniaika> aren't we all
2020-10-12 15:26:33 +0200 <linuxnoob> haskell is shit.
2020-10-12 15:26:50 +0200kees1(~kees@84.39.117.57)
2020-10-12 15:27:45 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 240 seconds)
2020-10-12 15:28:03 +0200 <ski> all languages have bad parts
2020-10-12 15:28:26 +0200 <ski> do you have some specific thing in mind you wanted to discuss ?
2020-10-12 15:29:06 +0200 <merijn> Man...why engage such blatantly trolling
2020-10-12 15:29:15 +0200 <merijn> s/trolling/obvious trolling
2020-10-12 15:30:54 +0200 <dminuoso> ski: My language has no bad parts, I designed it particularly that way.
2020-10-12 15:31:10 +0200 <linuxnoob> thats what she said.
2020-10-12 15:31:54 +0200 <dminuoso> I mean consider a language specification that starts off with "This language has no bad parts", then by definition it can't be bad.
2020-10-12 15:32:10 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 258 seconds)
2020-10-12 15:32:10 +0200 <linuxnoob> its shit lang thats all
2020-10-12 15:32:24 +0200 <linuxnoob> and its also MANGLED
2020-10-12 15:34:05 +0200ddellacosta(~dd@86.106.121.168)
2020-10-12 15:34:10 +0200 <ski> seems like you don't have any specific criticism, then .. ?
2020-10-12 15:34:25 +0200 <linuxnoob> i get mangled output
2020-10-12 15:35:10 +0200 <merijn> I'm putting $10 on "trying to use Haskell on Arch and blaming Haskell for Arch's brokenness"
2020-10-12 15:35:13 +0200 <merijn> Any takers?
2020-10-12 15:35:27 +0200 <ski> linuxnoob : what, specifically, did you try ?
2020-10-12 15:35:31 +0200 <maerwald> raise to 100$
2020-10-12 15:35:40 +0200linuxnoob(~linuxnoob@s91904424.blix.com) ("Leaving")
2020-10-12 15:35:58 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:994a:80db:3f3a:ee42) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 15:37:24 +0200sand_dull(~theuser@104.140.53.43)
2020-10-12 15:37:59 +0200Gerula(~Gerula@unaffiliated/gerula)
2020-10-12 15:38:53 +0200 <cohn> merijn: happily using Haskell on Arch. Using `ghcup` of course... :D
2020-10-12 15:39:00 +0200 <merijn> cohn: Of course
2020-10-12 15:39:10 +0200 <merijn> But can't blame beginners for trusting the distro package manager
2020-10-12 15:39:12 +0200 <maerwald> as you should!
2020-10-12 15:40:27 +0200 <cohn> in my experience, many programming languages are much more pleasant when you don't use the distro's package manager to manage the language's packages, libraries, etc...
2020-10-12 15:40:30 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-12 15:40:44 +0200 <maerwald> only exception is C/C++
2020-10-12 15:41:00 +0200 <cohn> for example, I switched to using the "pipenv" utility for Python and have never looked back.
2020-10-12 15:41:05 +0200 <merijn> That's because those don't have one :p
2020-10-12 15:41:05 +0200geekosaur(ac3a8f30@172.58.143.48) (Remote host closed the connection)
2020-10-12 15:41:28 +0200 <merijn> cohn: I'd give a kidney to get v2-build for python over all it's pip and virtualenv BS :(
2020-10-12 15:41:30 +0200 <dminuoso> I have a file format that Im parsing with megaparsec. The file itself has `include` stanzas, are there combinators to fork off new parsers while running from inside one?
2020-10-12 15:41:46 +0200 <maerwald> merijn: you can go full nix!
2020-10-12 15:42:02 +0200 <merijn> dminuoso: That's just "liftIO + join"? :p
2020-10-12 15:42:23 +0200 <dminuoso> merijn: No its not, it's more like runParserT and connecting error output correctly
2020-10-12 15:42:25 +0200oisdk(~oisdk@2001:bb6:3329:d100:40aa:f743:137e:9f96) (Ping timeout: 240 seconds)
2020-10-12 15:42:35 +0200 <merijn> dminuoso: I'd just two stage it
2020-10-12 15:42:43 +0200 <merijn> Handle all includes first, then parse the result
2020-10-12 15:43:17 +0200 <dminuoso> Mmmm, that complicates the context information on diagnostics. :(
2020-10-12 15:43:19 +0200 <cohn> merijn: yea, true. But even with C++, I find that using Eigin (http://eigen.tuxfamily.org/) is nicer than (and more current) than what apt/yum/pacman gives
2020-10-12 15:43:48 +0200 <merijn> dminuoso: why?
2020-10-12 15:43:57 +0200ffan1122(ad361138@pool-173-54-17-56.nwrknj.fios.verizon.net) (Remote host closed the connection)
2020-10-12 15:44:28 +0200oisdk(~oisdk@2001:bb6:3329:d100:40aa:f743:137e:9f96)
2020-10-12 15:45:26 +0200 <dminuoso> merijn: line numbers will be all wrong
2020-10-12 15:45:47 +0200 <cohn> merijn: yes, it'd be *really* nice to have a real build system for Python. There are a few templates out there at least.
2020-10-12 15:45:52 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-12 15:46:56 +0200reallymemorable(~quassel@ip68-9-215-56.ri.ri.cox.net) (Remote host closed the connection)
2020-10-12 15:47:10 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 272 seconds)
2020-10-12 15:48:07 +0200drbean(~drbean@TC210-63-209-96.static.apol.com.tw) (Ping timeout: 265 seconds)
2020-10-12 15:48:19 +0200 <merijn> dminuoso: Easily fixed by inserting some metadata
2020-10-12 15:48:35 +0200 <merijn> "easily" ;)
2020-10-12 15:48:38 +0200 <dminuoso> Forking off new parsers seems more easy than that
2020-10-12 15:48:42 +0200 <cohn> also, and hopefully I don't get too many sharp, pointy objects thrown at me for saying this, but VS Code has some nice dev container templates for various languages. Sadly, no Stack or Cabal stuff. :(
2020-10-12 15:49:10 +0200 <dminuoso> But to be fair, for my usecase, I can actually go with a 2-pass solution
2020-10-12 15:49:23 +0200 <dminuoso> This is just a haskell code generator
2020-10-12 15:49:25 +0200mupf(~micha@v22017094964653601.ultrasrv.de) (Quit: WeeChat 2.9)
2020-10-12 15:49:40 +0200 <dminuoso> Im the sole user of that code generator...
2020-10-12 15:50:03 +0200ensyde(~ensyde@2600:1702:2e30:1a40:7dd1:8fed:5e86:6369)
2020-10-12 15:50:26 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-12 15:51:13 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 264 seconds)
2020-10-12 15:51:44 +0200mupf(~micha@v22017094964653601.ultrasrv.de)
2020-10-12 15:52:03 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds)
2020-10-12 15:53:09 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2020-10-12 15:54:25 +0200ensyde(~ensyde@2600:1702:2e30:1a40:7dd1:8fed:5e86:6369) (Ping timeout: 240 seconds)
2020-10-12 15:55:38 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-oyommivrsqekgfrf) (Quit: Connection closed for inactivity)
2020-10-12 15:59:31 +0200lemmih_(~lemmih@218.186.157.57)
2020-10-12 16:00:55 +0200lemmih(~lemmih@2406:3003:2072:44:dd05:443a:4cbd:495a) (Remote host closed the connection)
2020-10-12 16:01:06 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 272 seconds)
2020-10-12 16:01:24 +0200mupf_(~micha@v22017094964653601.ultrasrv.de)
2020-10-12 16:01:26 +0200mupf(~micha@v22017094964653601.ultrasrv.de) (Read error: Connection reset by peer)
2020-10-12 16:02:04 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-12 16:02:57 +0200 <kuribas> gentauro: I am trying HLS with HIE, but I keep comming back to emacs
2020-10-12 16:04:48 +0200mdunnio(~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-10-12 16:05:00 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-12 16:06:47 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 16:09:02 +0200 <merijn> phadej: Are there any project with a haskell-ci config file I can use as example?
2020-10-12 16:10:41 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-12 16:12:44 +0200sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com) (Quit: WeeChat 2.9)
2020-10-12 16:12:47 +0200mupf_(~micha@v22017094964653601.ultrasrv.de) (Quit: WeeChat 2.9)
2020-10-12 16:12:53 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:f48a:ba54:a7d9:1ba5)
2020-10-12 16:13:37 +0200mupf(~micha@v22017094964653601.ultrasrv.de)
2020-10-12 16:14:46 +0200sw1nn(~sw1nn@host86-173-104-87.range86-173.btcentralplus.com)
2020-10-12 16:15:05 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-12 16:15:08 +0200yoja(~yoel.jaco@89.237.104.52) (Ping timeout: 256 seconds)
2020-10-12 16:16:43 +0200pingiun(~pingiun@j63019.upc-j.chello.nl) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-12 16:17:28 +0200hackagexmonad-dbus 0.1.0.0 - https://hackage.haskell.org/package/xmonad-dbus-0.1.0.0 (troydm)
2020-10-12 16:17:51 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-12 16:23:57 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...)
2020-10-12 16:28:10 +0200jathan(~jathan@69.61.93.38)
2020-10-12 16:29:21 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-12 16:29:58 +0200xff0x(~fox@217.110.198.158)
2020-10-12 16:30:33 +0200petersen(~petersen@redhat/juhp)
2020-10-12 16:32:03 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds)
2020-10-12 16:32:06 +0200fendor(~fendor@e237-037.eduroam.tuwien.ac.at) (Ping timeout: 265 seconds)
2020-10-12 16:32:49 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2020-10-12 16:34:24 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-12 16:36:06 +0200jathan(~jathan@69.61.93.38) (Quit: WeeChat 2.3)
2020-10-12 16:36:37 +0200RichardW(0140a8cb@1-64-168-203.static.netvigator.com) (Remote host closed the connection)
2020-10-12 16:36:43 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-12 16:37:31 +0200nitrixnitrix-or-treat
2020-10-12 16:37:39 +0200jathan(~jathan@69.61.93.38)
2020-10-12 16:39:04 +0200jathan(~jathan@69.61.93.38) (Client Quit)
2020-10-12 16:39:38 +0200perdent(~blah@101.175.82.233)
2020-10-12 16:40:12 +0200jathan(~jathan@69.61.93.38)
2020-10-12 16:40:12 +0200jathan(~jathan@69.61.93.38) (Client Quit)
2020-10-12 16:40:23 +0200jathan(~jathan@69.61.93.38)
2020-10-12 16:40:56 +0200jathan(~jathan@69.61.93.38) (Client Quit)
2020-10-12 16:41:01 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 264 seconds)
2020-10-12 16:41:07 +0200jathan(~jathan@69.61.93.38)
2020-10-12 16:41:07 +0200jathan(~jathan@69.61.93.38) (Client Quit)
2020-10-12 16:41:38 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 272 seconds)
2020-10-12 16:42:25 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 240 seconds)
2020-10-12 16:42:30 +0200xff0x(~fox@217.110.198.158)
2020-10-12 16:43:41 +0200mdunnio(~mdunnio@208.59.170.5) (Read error: Connection reset by peer)
2020-10-12 16:44:14 +0200 <dminuoso> (a ~ Tokens s, IsString a, Eq a, Stream s, Ord e) => IsString (ParsecT e s m a)
2020-10-12 16:44:18 +0200mdunnio(~mdunnio@208.59.170.5)
2020-10-12 16:44:20 +0200 <dminuoso> Wow, that one tripped me up.
2020-10-12 16:44:57 +0200 <dminuoso> At times, I wish I could limit the reach of OverloadedStrings.
2020-10-12 16:45:48 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-12 16:46:07 +0200 <merijn> Word
2020-10-12 16:46:54 +0200 <merijn> phadej: Relatedly: Is there any reason why the --osx flag doesn't have a wildcard that adds a job for each GHC?
2020-10-12 16:51:53 +0200raichoo(~raichoo@213.240.178.58) (Quit: Lost terminal)
2020-10-12 16:54:20 +0200knupfer(~Thunderbi@200116b82c8e3e00449feef014960466.dip.versatel-1u1.de)
2020-10-12 16:55:42 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-12 16:57:12 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-12 16:57:22 +0200cosimone_(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-12 16:57:27 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Read error: Connection reset by peer)
2020-10-12 16:58:10 +0200cosimone_cosimone
2020-10-12 16:59:51 +0200alp(~alp@2a01:e0a:58b:4920:61fb:21a9:d42a:3901)
2020-10-12 16:59:57 +0200ralejs(~ralejs@2620:10d:c093:400::5:a494) (Ping timeout: 260 seconds)
2020-10-12 17:00:02 +0200kees1(~kees@84.39.117.57) ()
2020-10-12 17:00:13 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 244 seconds)
2020-10-12 17:01:18 +0200ralejs(~ralejs@163.114.131.1)
2020-10-12 17:01:19 +0200hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-10-12 17:01:20 +0200sword865(uid208942@gateway/web/irccloud.com/x-dthyagnvtpyokqxb) (Quit: Connection closed for inactivity)
2020-10-12 17:01:48 +0200hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-12 17:02:47 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 17:05:52 +0200hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-10-12 17:06:13 +0200hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-12 17:06:50 +0200ambiso(~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds))
2020-10-12 17:07:10 +0200ambiso(~ambiso@209.182.239.205)
2020-10-12 17:07:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-12 17:07:37 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 258 seconds)
2020-10-12 17:08:45 +0200chaosmasttter(~chaosmast@p200300c4a72cce01a54348c8faec0ca9.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-12 17:15:55 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 260 seconds)
2020-10-12 17:16:11 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2)
2020-10-12 17:16:12 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:f48a:ba54:a7d9:1ba5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 17:16:31 +0200 <merijn> heh
2020-10-12 17:16:41 +0200 <merijn> Why is GHC head in hvr's PPA 8.7?
2020-10-12 17:17:55 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-12 17:20:07 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-12 17:20:27 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-12 17:20:52 +0200 <merijn> (incidentally, what happened to him, I haven't seen him in ages...)
2020-10-12 17:20:53 +0200sfvm(~sfvm@37.228.215.148)
2020-10-12 17:21:04 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:f48a:ba54:a7d9:1ba5)
2020-10-12 17:21:26 +0200jhf(~jhf@185.244.214.216)
2020-10-12 17:23:03 +0200xff0x(~fox@217.110.198.158)
2020-10-12 17:23:35 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-nkhvkoypuffdqqdu)
2020-10-12 17:23:40 +0200nikonikotine
2020-10-12 17:26:49 +0200graf_blutwurst(~user@2a02:168:49bc:0:60e6:a793:624b:d03a) (Remote host closed the connection)
2020-10-12 17:28:43 +0200pgib(~textual@lmms/pgib)
2020-10-12 17:29:01 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-10-12 17:29:15 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 17:29:46 +0200aarvar(~foewfoiew@50.35.43.33)
2020-10-12 17:31:28 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:f48a:ba54:a7d9:1ba5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 17:32:37 +0200knupfer(~Thunderbi@200116b82c8e3e00449feef014960466.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-12 17:33:28 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com)
2020-10-12 17:33:28 +0200da39a3ee5e6b4b0d(~textual@n11211935170.netvigator.com) (Client Quit)
2020-10-12 17:34:06 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-12 17:34:32 +0200knupfer(~Thunderbi@mue-88-130-61-039.dsl.tropolys.de)
2020-10-12 17:35:04 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 17:37:37 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:f48a:ba54:a7d9:1ba5)
2020-10-12 17:39:03 +0200aqd(~aqd@87-92-145-87.rev.dnainternet.fi) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 17:39:23 +0200LKoen(~LKoen@81.255.219.130)
2020-10-12 17:39:43 +0200LKoen(~LKoen@81.255.219.130) (Read error: Connection reset by peer)
2020-10-12 17:39:49 +0200 <maerwald> sometimes rants on the mailing list, so probably just busy :p
2020-10-12 17:39:58 +0200LKoen(~LKoen@81.255.219.130)
2020-10-12 17:40:05 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-12 17:41:25 +0200Ariakenom(~Ariakenom@193.254.193.1) (Ping timeout: 256 seconds)
2020-10-12 17:41:38 +0200 <merijn> Ugh...Christ
2020-10-12 17:41:46 +0200 <merijn> Travis is so brittle and broken nowadays
2020-10-12 17:41:58 +0200 <maerwald> everyone is on github actions now
2020-10-12 17:42:12 +0200 <merijn> maerwald: haskell-ci doesn't have a backend yet and I haven't had the time to make one :p
2020-10-12 17:42:39 +0200 <phadej> merijn: 1) `haskell-ci dump-config`, 2) not really, and comments like maerwalds ^ really dismotivate to do anything to haskell-ci
2020-10-12 17:42:39 +0200jonathanx(~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-12 17:42:54 +0200 <phadej> just use github actions
2020-10-12 17:43:23 +0200oisdk(~oisdk@2001:bb6:3329:d100:40aa:f743:137e:9f96) (Quit: oisdk)
2020-10-12 17:43:25 +0200 <merijn> phadej: I know about dump-config, but I'm not sure what the syntax of, e.g., the osx field looks like
2020-10-12 17:43:38 +0200 <phadej> try, the parser will yell atyou
2020-10-12 17:43:57 +0200 <phadej> aka. I don't really remember myself
2020-10-12 17:44:02 +0200 <phadej> probably whitespace separated tokens
2020-10-12 17:44:09 +0200 <merijn> phadej: Any objections to a PR that does "--osx *" or "--osx all" to just generate an OSX job for all the versions?
2020-10-12 17:44:49 +0200 <phadej> https://github.com/haskell-CI/haskell-ci/blob/d5d3da6823acbb207f35e06ab59f71c8822ee72c/cabal.haske…
2020-10-12 17:44:57 +0200hackageclckwrks-plugin-page 0.4.3.23 - support for CMS/Blogging in clckwrks https://hackage.haskell.org/package/clckwrks-plugin-page-0.4.3.23 (JeremyShaw)
2020-10-12 17:45:19 +0200 <phadej> merijn: if you also change it to use ghcup rather then haskell.futurice.com script
2020-10-12 17:45:26 +0200 <phadej> as ghcup has wider version support
2020-10-12 17:45:42 +0200 <phadej> ... at least for now, until maerwald's gets bored with it too :P
2020-10-12 17:45:57 +0200 <maerwald> ;/
2020-10-12 17:46:14 +0200 <merijn> phadej: Incidentally, the ghc-head entry fetches ghc-head from hvr's PPA but that seems to still be 8.7?
2020-10-12 17:46:17 +0200 <maerwald> you can be sure I at least support alpine, so I don't have to use nix for static linking
2020-10-12 17:46:27 +0200 <phadej> merijn: Herbert didn't bother to rebuild it
2020-10-12 17:46:37 +0200 <merijn> That's what I guessed
2020-10-12 17:46:48 +0200 <phadej> I guess he found it busy work to keep track of GHC's build system changes
2020-10-12 17:46:48 +0200Guest40023(~lep@94.31.82.44) (Read error: Connection reset by peer)
2020-10-12 17:46:48 +0200berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-12 17:46:49 +0200 <merijn> Does ghcup support ghc-head? Probably not?
2020-10-12 17:46:57 +0200 <maerwald> you can install it yes
2020-10-12 17:47:01 +0200 <merijn> \o/
2020-10-12 17:47:12 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 17:47:19 +0200 <merijn> So maybe just rip out the PPA from haskell-ci entirely and just use ghcup always?
2020-10-12 17:47:33 +0200 <maerwald> ghcup install ghc -u 'https://gitlab.haskell.org/api/v4/projects/1/jobs/artifacts/master/raw/ghc-x86_64-fedora27-linux.t… head
2020-10-12 17:47:50 +0200 <maerwald> but there's a bug in ghc-pkg detection that requires you to *set* it as your active version
2020-10-12 17:48:08 +0200 <merijn> maerwald: In general or in this specific head?
2020-10-12 17:48:29 +0200 <maerwald> if you *know* the exact version, then you can use that instead of `head`
2020-10-12 17:48:31 +0200 <phadej> merijn: haskell-ci is originally Herbert's project. Feel free to fork it.
2020-10-12 17:48:41 +0200 <phadej> I don't think not using hvr-ppa is an option in haskell-ci
2020-10-12 17:48:49 +0200 <maerwald> merijn: https://gitlab.haskell.org/haskell/ghcup-hs#custom-ghc-version-names
2020-10-12 17:48:52 +0200 <merijn> hmm
2020-10-12 17:49:08 +0200 <tomjaguarpaw> merijn: I'm not completely following the thread by I use Neil Mitchell's "neil" package for Travis CI. It works well for the basic use cases that I have.
2020-10-12 17:49:11 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 17:49:31 +0200 <merijn> tomjaguarpaw: Haskell-CI works fine, it's travis that's not working well :p
2020-10-12 17:49:44 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 17:50:13 +0200 <phadej> `neil` is tuned for Neils liking, haskell-ci maintainer occasionally listens for others ;)
2020-10-12 17:50:21 +0200 <merijn> phadej: I want to avoid forking/writing something from scratch as much as possible as I don't want to have to reinvent all your and hvr's work :p
2020-10-12 17:50:41 +0200 <phadej> merijn: then find out how to help herbert with his ppa
2020-10-12 17:50:56 +0200 <phadej> merijn: as far as I understood, packaging GHC is "not fun"
2020-10-12 17:51:08 +0200 <merijn> yeah
2020-10-12 17:51:40 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 17:51:49 +0200 <merijn> Unfortunately that's the sorta thing it's hard to make time to improve until someone starts paying me to write Haskell...
2020-10-12 17:51:56 +0200 <phadej> in particular, hadrian is very very much not fun
2020-10-12 17:52:13 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-12 17:52:22 +0200 <merijn> I'd love to spend more time on GHC/cabal-install/etc. :\
2020-10-12 17:52:24 +0200 <phadej> it works for development like a charm, but in restricted build environments...
2020-10-12 17:53:04 +0200 <phadej> no-one pays me (nor herbert afaik) to work on e.g. haskell-ci
2020-10-12 17:53:15 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 17:53:18 +0200 <phadej> so, nothing new.
2020-10-12 17:53:57 +0200 <merijn> I know, but I meant that I can sneak in some Haskell and minor PRs during work/free time, but getting familiar enough to do more comprehensive things is something I don't have time for atm
2020-10-12 17:54:04 +0200 <tomjaguarpaw> It's interesting you say hadrian isn't fun. I thought it was supposed to be the new, "fun" way.
2020-10-12 17:54:14 +0200 <phadej> tomjaguarpaw: it's fun for development
2020-10-12 17:54:21 +0200 <merijn> tomjaguarpaw: "development" and "packaging" are very different beasts :)
2020-10-12 17:55:04 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 17:55:06 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 272 seconds)
2020-10-12 17:55:33 +0200 <tomjaguarpaw> Interesting. Is the makefile version better for packaging?
2020-10-12 17:55:41 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 17:56:03 +0200 <phadej> it's not better, but its dependencies are easier to manage
2020-10-12 17:56:17 +0200 <phadej> e.g. hadrian have to be built itself, so you need to package that too
2020-10-12 17:56:29 +0200 <phadej> and hadrians dependencies don't come in ghc source distribution
2020-10-12 17:57:08 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:f48a:ba54:a7d9:1ba5) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 17:57:29 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-12 17:57:55 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 17:58:36 +0200 <phadej> in fact, source distribution for 8.10.2 doesn't seem to contain hadrian at all
2020-10-12 17:59:11 +0200cpressey(~cpressey@88.144.68.224) (Quit: WeeChat 1.9.1)
2020-10-12 17:59:14 +0200 <phadej> I guess that [hadrian for packaging] is work which is not even started
2020-10-12 17:59:21 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cbf:8681:88ff:8025)
2020-10-12 17:59:36 +0200knupfer(~Thunderbi@mue-88-130-61-039.dsl.tropolys.de) (Quit: knupfer)
2020-10-12 17:59:36 +0200knupfer1(~Thunderbi@200116b82c8e3e0025e565b517e6d2da.dip.versatel-1u1.de)
2020-10-12 17:59:59 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 18:00:28 +0200Rudd0(~Rudd0@185.189.115.103)
2020-10-12 18:01:01 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 18:02:00 +0200knupfer1knupfer
2020-10-12 18:02:06 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 18:02:28 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-12 18:02:37 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 18:03:27 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 18:03:37 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-12 18:03:37 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-12 18:03:37 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 18:04:27 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 18:04:56 +0200ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 18:05:10 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 18:05:27 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-12 18:05:34 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Ping timeout: 246 seconds)
2020-10-12 18:05:59 +0200geekosaur(ac3a5727@172.58.87.39)
2020-10-12 18:06:27 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-12 18:06:49 +0200xff0x(~fox@217.110.198.158) (Ping timeout: 264 seconds)
2020-10-12 18:06:56 +0200ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net)
2020-10-12 18:07:28 +0200hackageclckwrks-plugin-media 0.6.17 - media plugin for clckwrks https://hackage.haskell.org/package/clckwrks-plugin-media-0.6.17 (JeremyShaw)
2020-10-12 18:07:29 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 18:07:55 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 18:09:25 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 18:09:55 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 18:10:10 +0200jchia(~jchia@58.32.32.136) (Ping timeout: 256 seconds)
2020-10-12 18:10:27 +0200lep-delete(~lep@94.31.82.44)
2020-10-12 18:11:21 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 18:11:34 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 18:11:50 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 18:12:33 +0200emmanuel`(~user@2604:2000:1382:ce03:4cd9:b90b:27ea:9c15)
2020-10-12 18:13:18 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-12 18:13:33 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 18:14:36 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 18:14:49 +0200 <siraben> Is there a way to do pattern matching on raw bytestrings?
2020-10-12 18:14:50 +0200 <siraben> ViewPatterns?
2020-10-12 18:14:55 +0200ransom(~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Quit: Textual IRC Client: www.textualapp.com)
2020-10-12 18:15:44 +0200conal(~conal@64.71.133.70)
2020-10-12 18:15:51 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-12 18:16:11 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 18:16:35 +0200fendor(~fendor@178.115.131.211.wireless.dyn.drei.com)
2020-10-12 18:16:38 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-10-12 18:16:51 +0200 <merijn> siraben: What's wrong with guards?
2020-10-12 18:16:52 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 18:17:23 +0200lep-deleteGuest40023
2020-10-12 18:17:40 +0200Guest40023lep-delete
2020-10-12 18:17:42 +0200lep-deletetest
2020-10-12 18:18:12 +0200testGuest88073
2020-10-12 18:18:24 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 18:18:54 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 18:19:14 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2020-10-12 18:19:43 +0200kritzefitz(~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-10-12 18:19:47 +0200 <phadej> foo "bar" = ... works for bytestrings with OverloadedStrings
2020-10-12 18:20:02 +0200 <phadej> but if you want to extract individual bytes then it's indeed trickier
2020-10-12 18:20:21 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2020-10-12 18:20:55 +0200berberman(~berberman@unaffiliated/berberman) (Max SendQ exceeded)
2020-10-12 18:21:10 +0200dwt(~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2020-10-12 18:21:13 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-12 18:21:15 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer)
2020-10-12 18:21:28 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-12 18:22:22 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2020-10-12 18:26:45 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-10-12 18:28:48 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cbf:8681:88ff:8025) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 18:29:02 +0200Sanchayan(~Sanchayan@106.201.37.251) (Quit: leaving)
2020-10-12 18:29:29 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-upzgdjixzxbjunfz)
2020-10-12 18:31:25 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cbf:8681:88ff:8025)
2020-10-12 18:31:27 +0200hackagecapnp 0.6.0.3 - Cap'n Proto for Haskell https://hackage.haskell.org/package/capnp-0.6.0.3 (isd)
2020-10-12 18:32:42 +0200emmanuel`(~user@2604:2000:1382:ce03:4cd9:b90b:27ea:9c15) (Ping timeout: 244 seconds)
2020-10-12 18:33:33 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-10-12 18:33:38 +0200sand_dull(~theuser@104.140.53.43)
2020-10-12 18:38:30 +0200topos(uid467876@gateway/web/irccloud.com/x-twpqbqvekrcsozee) (Quit: Connection closed for inactivity)
2020-10-12 18:39:36 +0200Chi1thangoo(~Chi1thang@87.112.60.168) (Remote host closed the connection)
2020-10-12 18:39:37 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-12 18:39:58 +0200Chi1thangoo(~Chi1thang@87.112.60.168)
2020-10-12 18:40:53 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c)
2020-10-12 18:41:47 +0200howdoi(uid224@gateway/web/irccloud.com/x-yqmynplgqpklanea)
2020-10-12 18:42:36 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 18:42:45 +0200pgib(~textual@lmms/pgib) (Ping timeout: 240 seconds)
2020-10-12 18:45:10 +0200chele(~chele@5.53.222.202) (Remote host closed the connection)
2020-10-12 18:46:38 +0200Jeanne-Kamikaze(~Jeanne-Ka@68.235.43.110)
2020-10-12 18:46:39 +0200pgib(~textual@lmms/pgib)
2020-10-12 18:47:09 +0200ralejs(~ralejs@163.114.131.1) (Read error: Connection reset by peer)
2020-10-12 18:47:10 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-12 18:47:23 +0200ralejs(~ralejs@2620:10d:c093:400::5:c80)
2020-10-12 18:47:35 +0200Guest18(567e8866@gateway/web/cgi-irc/kiwiirc.com/ip.86.126.136.102) (Quit: Connection closed)
2020-10-12 18:49:07 +0200ralejs(~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-12 18:49:30 +0200ralejs(~ralejs@2620:10d:c093:400::5:c80)
2020-10-12 18:51:23 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-12 18:51:28 +0200sand_dull(~theuser@104.140.53.43) (Ping timeout: 272 seconds)
2020-10-12 18:52:09 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-12 18:52:09 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-12 18:52:09 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 18:52:54 +0200jchia(~jchia@58.32.38.34)
2020-10-12 18:54:06 +0200ggole(~ggole@2001:8003:8119:7200:7085:2b43:4bf6:e2e3)
2020-10-12 18:55:27 +0200st8less(~st8less@2603:a060:11fd:0:9c66:9b18:c21:60c) (Ping timeout: 260 seconds)
2020-10-12 18:57:29 +0200nyd(~lpy@unaffiliated/elysian)
2020-10-12 18:57:48 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-12 18:59:19 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-12 18:59:20 +0200ralejs(~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-12 19:00:10 +0200ralejs(~ralejs@2620:10d:c093:400::5:c80)
2020-10-12 19:00:38 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-12 19:01:45 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-12 19:02:01 +0200emmanuel`(~user@2604:2000:1382:ce03:4cd9:b90b:27ea:9c15)
2020-10-12 19:05:17 +0200alp(~alp@2a01:e0a:58b:4920:61fb:21a9:d42a:3901) (Ping timeout: 272 seconds)
2020-10-12 19:05:27 +0200hackageuniqueness-periods-vector-common 0.5.1.0 - Generalization of the dobutokO-poetry-general package functionality https://hackage.haskell.org/package/uniqueness-periods-vector-common-0.5.1.0 (OleksandrZhabenko)
2020-10-12 19:07:55 +0200jespada(~jespada@90.254.245.15) (Ping timeout: 260 seconds)
2020-10-12 19:09:24 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-12 19:09:36 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-12 19:11:04 +0200jespada(~jespada@90.254.245.15)
2020-10-12 19:12:27 +0200hackagedeferred-folds 0.9.11 - Abstractions over deferred folds https://hackage.haskell.org/package/deferred-folds-0.9.11 (NikitaVolkov)
2020-10-12 19:12:36 +0200ralejs(~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-12 19:13:04 +0200ralejs(~ralejs@2620:10d:c093:400::5:c80)
2020-10-12 19:13:57 +0200Guest88073lep-delete
2020-10-12 19:14:17 +0200nyd(~lpy@unaffiliated/elysian) (Quit: nyd)
2020-10-12 19:15:02 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-12 19:18:21 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cbf:8681:88ff:8025) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 19:19:28 +0200hackageuniqueness-periods-vector-general 0.5.1.0 - Some kind of the optimization approach to data inner structure. https://hackage.haskell.org/package/uniqueness-periods-vector-general-0.5.1.0 (OleksandrZhabenko)
2020-10-12 19:20:50 +0200sudden(~lax@unaffiliated/laxask) (Remote host closed the connection)
2020-10-12 19:21:42 +0200fendor_(~fendor@77.119.130.38.wireless.dyn.drei.com)
2020-10-12 19:21:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-12 19:23:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 19:23:43 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 19:23:57 +0200hackageuniqueness-periods-vector-properties 0.5.5.0 - Metrices for the maximum element for the uniqueness-periods-vector packages family. https://hackage.haskell.org/package/uniqueness-periods-vector-properties-0.5.5.0 (OleksandrZhabenko)
2020-10-12 19:24:24 +0200fendor(~fendor@178.115.131.211.wireless.dyn.drei.com) (Ping timeout: 272 seconds)
2020-10-12 19:25:35 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 19:25:48 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-12 19:26:41 +0200oisdk(~oisdk@2001:bb6:3329:d100:7c51:293a:6844:5080)
2020-10-12 19:27:55 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-12 19:28:52 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cbf:8681:88ff:8025)
2020-10-12 19:30:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-12 19:31:07 +0200Spooktober(~Thunderbi@freenode/staff/grumble) (Quit: Well, would you look at the time. I've almost missed my ambiguous, non-existent appointment that I have scheduled just when I start to lose interest in my current conversation.)
2020-10-12 19:31:48 +0200fendor_fendor
2020-10-12 19:33:07 +0200foldr(~foldr@90.248.57.181)
2020-10-12 19:34:10 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-10-12 19:35:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 244 seconds)
2020-10-12 19:35:38 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-12 19:36:18 +0200xff0x(~fox@2001:1a81:52ad:5800:a0c7:cc77:f7d4:2372)
2020-10-12 19:36:40 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-10-12 19:36:48 +0200knupfer(~Thunderbi@200116b82c8e3e0025e565b517e6d2da.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-12 19:37:01 +0200knupfer(~Thunderbi@200116b82c8e3e00dc9440f6f84de4f5.dip.versatel-1u1.de)
2020-10-12 19:37:04 +0200taurux(~taurux@net-188-152-14-58.cust.vodafonedsl.it) (Ping timeout: 272 seconds)
2020-10-12 19:37:38 +0200taurux(~taurux@net-93-144-24-88.cust.vodafonedsl.it)
2020-10-12 19:38:04 +0200chenshen(~chenshen@2620:10d:c090:400::5:f7f9)
2020-10-12 19:38:27 +0200hackageuniqueness-periods-vector-examples 0.12.3.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.12.3.0 (OleksandrZhabenko)
2020-10-12 19:39:05 +0200grumboo(~Thunderbi@freenode/staff/grumble)
2020-10-12 19:39:48 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-10-12 19:39:52 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-12 19:41:05 +0200z0(~z0@bl15-161-239.dsl.telepac.pt)
2020-10-12 19:41:24 +0200hyiltiz(~quassel@unaffiliated/hyiltiz) (Remote host closed the connection)
2020-10-12 19:41:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-12 19:42:31 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-12 19:44:39 +0200 <z0> if we do something like `f l = go l l where go (x:xs) (y:yy:ys) = x + yy + go xs ys` is haskell keeping a single l in memory with 2 pointers behind the scenes?
2020-10-12 19:45:14 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-10-12 19:45:20 +0200 <monochrom> Yes
2020-10-12 19:45:22 +0200John20(~John@82.46.59.122) (Ping timeout: 256 seconds)
2020-10-12 19:45:32 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection)
2020-10-12 19:46:44 +0200 <z0> nice. thanks
2020-10-12 19:47:19 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-12 19:48:33 +0200 <z0> whats a good resource on reasoning about performance in thinks like this?
2020-10-12 19:48:48 +0200 <z0> s/thinks/things
2020-10-12 19:50:05 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-12 19:50:16 +0200ensyde(~ensyde@2600:1702:2e30:1a40:7dd1:8fed:5e86:6369)
2020-10-12 19:50:33 +0200 <dsal> Do you mean as to entirely copying a potentially infinite list?
2020-10-12 19:50:39 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-10-12 19:51:38 +0200 <dsal> er, as opposed to. I don't quite understand what else it could do.
2020-10-12 19:52:03 +0200 <phadej> i'd rewrite that as f l = go 0 l l where go !acc (x:xs) (y:yy:ys) = go (acc + x + yy) xs ys
2020-10-12 19:52:11 +0200 <phadej> i.e. foldr to foldl'
2020-10-12 19:52:43 +0200hiroaki(~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2020-10-12 19:52:58 +0200 <phadej> "whats a good resource on reasoning about performance in thinks like this?" - there's plenty of resources, e.g. https://www.well-typed.com/blog/2017/09/visualize-cbn/
2020-10-12 19:54:14 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-12 19:54:29 +0200__monty__(~toonn@unaffiliated/toonn)
2020-10-12 19:54:41 +0200 <gentauro> 16:02 < kuribas> gentauro: I am trying HLS with HIE, but I keep comming back to emacs
2020-10-12 19:55:08 +0200solonarv(~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr)
2020-10-12 19:55:15 +0200 <gentauro> kuribas: I thought `hls` would work with `emacs` just like `intero` did. Still not working, but not giving up (yet)
2020-10-12 19:55:19 +0200ensyde(~ensyde@2600:1702:2e30:1a40:7dd1:8fed:5e86:6369) (Ping timeout: 272 seconds)
2020-10-12 19:55:54 +0200geekosaur(ac3a5727@172.58.87.39) (Ping timeout: 245 seconds)
2020-10-12 19:55:57 +0200hackageprolude 0.0.0.2 - ITProTV's custom prelude https://hackage.haskell.org/package/prolude-0.0.0.2 (saramuse)
2020-10-12 19:59:03 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 260 seconds)
2020-10-12 19:59:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-12 20:00:01 +0200jhf(~jhf@185.244.214.216) ()
2020-10-12 20:00:27 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-12 20:03:45 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-12 20:03:51 +0200dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-10-12 20:04:10 +0200alp(~alp@2a01:e0a:58b:4920:7d9f:c45b:a876:4aa8)
2020-10-12 20:04:41 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-12 20:05:04 +0200chaosmasttter(~chaosmast@p200300c4a72cce01a54348c8faec0ca9.dip0.t-ipconnect.de)
2020-10-12 20:05:50 +0200geekosaur(ac3a5499@172.58.84.153)
2020-10-12 20:06:02 +0200hiroaki(~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-10-12 20:07:27 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 20:07:28 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 20:07:28 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-12 20:08:02 +0200kish(~oracle@unaffiliated/oracle)
2020-10-12 20:08:32 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-10-12 20:11:23 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Ping timeout: 244 seconds)
2020-10-12 20:12:02 +0200p-core(~Thunderbi@2a0e:1c80:4:1022::1004)
2020-10-12 20:13:00 +0200shaprhops randomly
2020-10-12 20:13:04 +0200 <shapr> good afternoon #haskell !
2020-10-12 20:14:35 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 20:15:15 +0200thir(~thir@pd9e1b838.dip0.t-ipconnect.de)
2020-10-12 20:15:45 +0200pera(~pera@unaffiliated/pera)
2020-10-12 20:17:24 +0200 <juri_> shapr: hio. :)
2020-10-12 20:17:33 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-12 20:17:41 +0200 <shapr> howdy juri_! You still scaddin' ?
2020-10-12 20:17:59 +0200 <shapr> I'm in the DC area for the new few years it seems, but you've left forever, right?
2020-10-12 20:18:02 +0200delobuchcomorbid_antiflo
2020-10-12 20:18:18 +0200 <juri_> shapr: indeed, on both counts. :)
2020-10-12 20:18:34 +0200 <shapr> well, too bad I didn't get to meet you when we were both in the same area
2020-10-12 20:19:40 +0200knupfer(~Thunderbi@200116b82c8e3e00dc9440f6f84de4f5.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-12 20:19:53 +0200 <juri_> watch talks, write code.. profit? :)
2020-10-12 20:19:58 +0200knupfer(~Thunderbi@200116b82c8e3e0099587a5e6444be1a.dip.versatel-1u1.de)
2020-10-12 20:20:03 +0200 <koz_> juri_: Sounds delicious.
2020-10-12 20:20:14 +0200comorbid_antiflocomorbid_enflori
2020-10-12 20:22:14 +0200falafel(~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 244 seconds)
2020-10-12 20:25:45 +0200carlomagno1(~cararell@inet-hqmc02-o.oracle.com) (Ping timeout: 240 seconds)
2020-10-12 20:28:12 +0200Amras(~Amras@unaffiliated/amras0000)
2020-10-12 20:28:14 +0200whiteline(~whiteline@unaffiliated/whiteline) (Remote host closed the connection)
2020-10-12 20:28:16 +0200mupf(~micha@v22017094964653601.ultrasrv.de) (Quit: WeeChat 2.9)
2020-10-12 20:29:01 +0200whiteline(~whiteline@unaffiliated/whiteline)
2020-10-12 20:29:11 +0200mupf(~micha@v22017094964653601.ultrasrv.de)
2020-10-12 20:29:57 +0200ericsagnes(~ericsagne@2405:6580:0:5100:f45a:395d:f712:98d3) (Ping timeout: 260 seconds)
2020-10-12 20:32:12 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-12 20:32:35 +0200mupf(~micha@v22017094964653601.ultrasrv.de) (Client Quit)
2020-10-12 20:32:51 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-ycssaquegccjnbcx)
2020-10-12 20:33:26 +0200mupf(~micha@v22017094964653601.ultrasrv.de)
2020-10-12 20:34:03 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com)
2020-10-12 20:37:09 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 265 seconds)
2020-10-12 20:37:45 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Quit: cosimone)
2020-10-12 20:38:07 +0200grfnJenbobo
2020-10-12 20:38:28 +0200hackageunicode-transforms 0.3.7.1 - Unicode normalization https://hackage.haskell.org/package/unicode-transforms-0.3.7.1 (Bodigrim)
2020-10-12 20:38:33 +0200Jenbobogrfn
2020-10-12 20:38:46 +0200chaosmasttter(~chaosmast@p200300c4a72cce01a54348c8faec0ca9.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-12 20:39:01 +0200 <ezzieyguywuf> I seem to recall reading that hledger doesn't work too great at tracking/managing investments, specificially stocks. I do that a bit in beancount today but even that's sort of a pain. Do you all know of any good, solid, FOSS tools that I can use for this?
2020-10-12 20:39:08 +0200 <ezzieyguywuf> I don't mind manually importing transactions etc.
2020-10-12 20:39:30 +0200 <ezzieyguywuf> also, this is "vaguely haskell related" due to hledger, but if this is more appropriate in #haskell-offtopic feel free to tell me so
2020-10-12 20:40:47 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.7.1)
2020-10-12 20:41:55 +0200ericsagnes(~ericsagne@2405:6580:0:5100:5cf1:c22d:8d13:ca36)
2020-10-12 20:42:42 +0200lowryder(~djlowry@web603.webfaction.com) (Read error: Connection reset by peer)
2020-10-12 20:45:56 +0200jathan(~jathan@69.61.93.38)
2020-10-12 20:46:23 +0200kuribas(~user@ptr-25vy0i7sp90j0w6z65c.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2020-10-12 20:48:58 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-12 20:50:42 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 256 seconds)
2020-10-12 20:51:27 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2020-10-12 20:51:31 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 20:51:38 +0200chaosmasttter(~chaosmast@p200300c4a72cce01992392edfb5baa55.dip0.t-ipconnect.de)
2020-10-12 20:52:27 +0200s00pcan(~chris@107.181.165.217)
2020-10-12 20:52:28 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl)
2020-10-12 20:56:51 +0200dwfreed1(~dwfreed@178.162.204.214)
2020-10-12 20:57:37 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 258 seconds)
2020-10-12 20:57:57 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection)
2020-10-12 20:58:31 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl)
2020-10-12 20:59:57 +0200chaosmasttter(~chaosmast@p200300c4a72cce01992392edfb5baa55.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-12 21:02:09 +0200roc(510b9feb@ip-81-11-159-235.dsl.scarlet.be)
2020-10-12 21:02:26 +0200motherfsck(~motherfsc@unaffiliated/motherfsck) (Read error: Connection reset by peer)
2020-10-12 21:03:01 +0200motherfsck(~motherfsc@unaffiliated/motherfsck)
2020-10-12 21:03:26 +0200berberman_(~berberman@unaffiliated/berberman)
2020-10-12 21:04:22 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-12 21:10:13 +0200 <maerwald> the real question is: do you need blockchain?
2020-10-12 21:12:37 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-12 21:13:58 +0200supercoven(~Supercove@dsl-hkibng32-54fb54-166.dhcp.inet.fi) (Ping timeout: 272 seconds)
2020-10-12 21:15:10 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 21:16:10 +0200domenkozar[m](domenkozar@NixOS/user/domenkozar) (Quit: killed)
2020-10-12 21:16:10 +0200psydruid(psydruidma@gateway/shell/matrix.org/x-jnwhbopqsvzftvuy) (Quit: killed)
2020-10-12 21:16:10 +0200SlackIntegration(slackbotma@gateway/shell/matrix.org/x-rxhzofxlqowyvoex) (Quit: killed)
2020-10-12 21:16:10 +0200Ericson2314(ericson231@gateway/shell/matrix.org/x-jqfqhltqwawefczw) (Quit: killed)
2020-10-12 21:16:11 +0200bonvoyage[m](bonvoyageu@gateway/shell/matrix.org/x-gwfeippcnxqufbie) (Quit: killed)
2020-10-12 21:16:11 +0200hnOsmium0001[m](hnosmium00@gateway/shell/matrix.org/x-szmgbxfcnviaeywn) (Quit: killed)
2020-10-12 21:16:11 +0200JoelMcCracken[m](joelmccrac@gateway/shell/matrix.org/x-fgrnajlvcmfxorzc) (Quit: killed)
2020-10-12 21:16:11 +0200themsay[m](themsaymat@gateway/shell/matrix.org/x-twnfzasmxscnzufy) (Quit: killed)
2020-10-12 21:16:11 +0200drozdziak1(drozdziak1@gateway/shell/matrix.org/x-qbmoanboxydujdwb) (Quit: killed)
2020-10-12 21:16:13 +0200iinuwa(iinuwamatr@gateway/shell/matrix.org/x-jxlnqrgayqijmilv) (Quit: killed)
2020-10-12 21:16:13 +0200jtojnar(jtojnarmat@gateway/shell/matrix.org/x-usgrtgvgawipzskz) (Quit: killed)
2020-10-12 21:16:13 +0200alvinsj[m](alvinsjmat@gateway/shell/matrix.org/x-nwfftzrznvagqvns) (Quit: killed)
2020-10-12 21:16:13 +0200jeffcasavant[m](jeffcasava@gateway/shell/matrix.org/x-hjhltkjttsndhhkz) (Quit: killed)
2020-10-12 21:16:13 +0200lambdaclan(lambdaclan@gateway/shell/matrix.org/x-ohajfkfwbdgxlpmo) (Quit: killed)
2020-10-12 21:16:13 +0200pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-gsboooajgyollaro) (Quit: killed)
2020-10-12 21:16:13 +0200sureyeaah(shauryab98@gateway/shell/matrix.org/x-huvitbkiaeizvifg) (Quit: killed)
2020-10-12 21:16:13 +0200mmynsted[m](mmynstedko@gateway/shell/matrix.org/x-vezacdswknregcsw) (Quit: killed)
2020-10-12 21:16:17 +0200srid(sridmatrix@gateway/shell/matrix.org/x-bwagjvhebtsmrixk) (Quit: killed)
2020-10-12 21:16:17 +0200materialfuture[m(materialfu@gateway/shell/matrix.org/x-ahudgacklhknadwx) (Quit: killed)
2020-10-12 21:16:17 +0200CaptainFox[m](onianimatr@gateway/shell/matrix.org/x-psgxuihgrttrwsoo) (Quit: killed)
2020-10-12 21:16:17 +0200mikr[m](mikrdavral@gateway/shell/matrix.org/x-kwgubaqxdcmojbtm) (Quit: killed)
2020-10-12 21:16:17 +0200betrion[m](betrionmat@gateway/shell/matrix.org/x-jxfdancklrdizijq) (Quit: killed)
2020-10-12 21:16:18 +0200sepp2k(sepp2kmatr@gateway/shell/matrix.org/x-uvkezxfeawylssgh) (Quit: killed)
2020-10-12 21:16:18 +0200nihilazo(nihilazoma@gateway/shell/matrix.org/x-gmshkgiyniprfgmk) (Quit: killed)
2020-10-12 21:16:18 +0200michaelpj(michaelpjm@gateway/shell/matrix.org/x-qaoqeszlpidmiidi) (Quit: killed)
2020-10-12 21:16:20 +0200mmynsted[m]1(mmynstedtc@gateway/shell/matrix.org/x-otbnrbbvnxztknls) (Quit: killed)
2020-10-12 21:16:21 +0200ThaEwat(thaewraptm@gateway/shell/matrix.org/x-wcgncleyegjgbdei) (Quit: killed)
2020-10-12 21:16:21 +0200dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-djxhqzczqzhwogcr) (Quit: killed)
2020-10-12 21:16:22 +0200GuillaumeChrel[m(guillaumec@gateway/shell/matrix.org/x-irgukfuwtdkplfnf) (Quit: killed)
2020-10-12 21:16:22 +0200steve[m](stevetrout@gateway/shell/matrix.org/x-nolzmrzxmohotgty) (Quit: killed)
2020-10-12 21:16:24 +0200johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-ovxgmrxlhxbfutlg) (Quit: killed)
2020-10-12 21:16:24 +0200ethercrow[m](ethercrowm@gateway/shell/matrix.org/x-dntiwkhliuznumkc) (Quit: killed)
2020-10-12 21:16:24 +0200unclechu(unclechuma@gateway/shell/matrix.org/x-bhndimvrkskoumgf) (Quit: killed)
2020-10-12 21:16:25 +0200siraben(sirabenmat@gateway/shell/matrix.org/x-pjuezldzdrfckkhi) (Quit: killed)
2020-10-12 21:16:25 +0200kadoban(kadobanmat@gateway/shell/matrix.org/x-vbpdmawecokvypon) (Quit: killed)
2020-10-12 21:16:26 +0200rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-oghntmrrwnjpmjbo) (Quit: killed)
2020-10-12 21:16:26 +0200io_r_us[m](commandlin@gateway/shell/matrix.org/x-iuazxucigypytios) (Quit: killed)
2020-10-12 21:16:26 +0200gmind[m](gmindmatri@gateway/shell/matrix.org/x-gmveyibovwosfovg) (Quit: killed)
2020-10-12 21:16:27 +0200fgaz(fgazmatrix@gateway/shell/matrix.org/x-rcbiqvrwdgnckxzs) (Quit: killed)
2020-10-12 21:16:28 +0200Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-xbftvmnvnltaxjya) (Quit: killed)
2020-10-12 21:16:29 +0200tttom[m](tttommatri@gateway/shell/matrix.org/x-ubytuwosgjqchrej) (Quit: killed)
2020-10-12 21:16:29 +0200theduke(thedukem1@gateway/shell/matrix.org/x-uxfoavbkhrpjinhc) (Quit: killed)
2020-10-12 21:16:29 +0200albestro[m](albestroma@gateway/shell/matrix.org/x-ceoaxwandmwefloq) (Quit: killed)
2020-10-12 21:16:29 +0200alexfmpe(alexfmpema@gateway/shell/matrix.org/x-ibothraqnolnyjqn) (Quit: killed)
2020-10-12 21:16:30 +0200jiribenes1(jbjiribene@gateway/shell/matrix.org/x-hlzxlgqhzheuoshi) (Quit: killed)
2020-10-12 21:16:30 +0200hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-pxllgyrlikkrbict) (Quit: killed)
2020-10-12 21:16:31 +0200PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-qjylcwexkmjwddia) (Quit: killed)
2020-10-12 21:16:31 +0200sm[m](simonmicma@gateway/shell/matrix.org/x-tneitzltqviyrfjn) (Quit: killed)
2020-10-12 21:16:31 +0200jlv(jlvjustinl@gateway/shell/matrix.org/x-swiqiodpvtdrchep) (Quit: killed)
2020-10-12 21:16:32 +0200ttc(tomtauma1@gateway/shell/matrix.org/x-dyilsezwqgixpwcl) (Quit: killed)
2020-10-12 21:16:33 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-dmqlqgksqfwgdqxg) (Quit: killed)
2020-10-12 21:16:33 +0200chreekat[m](chreekatma@gateway/shell/matrix.org/x-gyqozthiikgblchd) (Quit: killed)
2020-10-12 21:16:33 +0200jkaye[m](jkayematri@gateway/shell/matrix.org/x-lrcpehufnviyldxo) (Quit: killed)
2020-10-12 21:16:33 +0200Fernando-Basso[m(fernando-b@gateway/shell/matrix.org/x-rfafrfaeofybwlyc) (Quit: killed)
2020-10-12 21:16:33 +0200maralorn(maralornma@gateway/shell/matrix.org/x-demcjapioxfxjwwc) (Quit: killed)
2020-10-12 21:16:36 +0200caef^(caef@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded)
2020-10-12 21:18:52 +0200caef^(caef@ip98-184-89-2.mc.at.cox.net)
2020-10-12 21:18:52 +0200thir(~thir@pd9e1b838.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2020-10-12 21:19:06 +0200avdb(~avdb@ip-83-134-68-210.dsl.scarlet.be)
2020-10-12 21:19:49 +0200lortabac(~lortabac@51.158.65.124) (Ping timeout: 246 seconds)
2020-10-12 21:21:09 +0200lortabac(~lortabac@51.158.65.124)
2020-10-12 21:22:53 +0200roc(510b9feb@ip-81-11-159-235.dsl.scarlet.be) (Remote host closed the connection)
2020-10-12 21:23:39 +0200steve[m](stevetrout@gateway/shell/matrix.org/x-rtatbjmnbxiznpmg)
2020-10-12 21:24:32 +0200coot(~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-12 21:25:05 +0200esp32_prog(yoann@gateway/vpn/protonvpn/esp32prog/x-46565127) (Ping timeout: 240 seconds)
2020-10-12 21:27:06 +0200chaosmasttter(~chaosmast@p200300c4a72cce01992392edfb5baa55.dip0.t-ipconnect.de)
2020-10-12 21:27:18 +0200avdb(~avdb@ip-83-134-68-210.dsl.scarlet.be) (Ping timeout: 256 seconds)
2020-10-12 21:29:50 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it)
2020-10-12 21:30:55 +0200taurux(~taurux@net-93-144-24-88.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2020-10-12 21:31:35 +0200taurux(~taurux@net-109-115-33-170.cust.vodafonedsl.it)
2020-10-12 21:31:53 +0200 <ezzieyguywuf> maerwald: I don't think so
2020-10-12 21:32:20 +0200s00pcan(~chris@107.181.165.217) (Ping timeout: 272 seconds)
2020-10-12 21:32:20 +0200 <ezzieyguywuf> I have a bunch of money wrapped up in different securities and funds, and I want one centralized place where I can track their performance and figure out my allocations
2020-10-12 21:33:50 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2020-10-12 21:35:57 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-12 21:36:39 +0200themsay[m](themsaymat@gateway/shell/matrix.org/x-zjmsdphtuogbzdnl)
2020-10-12 21:36:39 +0200alvinsj[m](alvinsjmat@gateway/shell/matrix.org/x-jkdshcytuttkbfpt)
2020-10-12 21:36:39 +0200JoelMcCracken[m](joelmccrac@gateway/shell/matrix.org/x-koqjdeyeiyqanqia)
2020-10-12 21:36:39 +0200srid(sridmatrix@gateway/shell/matrix.org/x-qzwenlzhtlhlcace)
2020-10-12 21:36:39 +0200psydruid(psydruidma@gateway/shell/matrix.org/x-oprbmexkbiobupsb)
2020-10-12 21:36:39 +0200iinuwa(iinuwamatr@gateway/shell/matrix.org/x-nfkeciehgetsazih)
2020-10-12 21:36:39 +0200bonvoyage[m](bonvoyageu@gateway/shell/matrix.org/x-netifemzzfxlmlap)
2020-10-12 21:36:39 +0200jeffcasavant[m]1(jeffcasava@gateway/shell/matrix.org/x-eehnfkgrainilxie)
2020-10-12 21:36:39 +0200rednaZ[m](r3dnazmatr@gateway/shell/matrix.org/x-hmsbyitwctjrefyg)
2020-10-12 21:36:39 +0200theduke(thedukem1@gateway/shell/matrix.org/x-tfitaspyhmnjubsl)
2020-10-12 21:36:39 +0200vaibhavsagar(vaibhavsag@gateway/shell/matrix.org/x-xlkytutapnujrgwb)
2020-10-12 21:36:39 +0200fgaz(fgazmatrix@gateway/shell/matrix.org/x-sccsqjcyzbrdqsny)
2020-10-12 21:36:39 +0200sm[m](simonmicma@gateway/shell/matrix.org/x-lsmbcsozkdzcnpwu)
2020-10-12 21:36:40 +0200ThaEwat(thaewraptm@gateway/shell/matrix.org/x-agqptcwygxrodhxb)
2020-10-12 21:36:40 +0200maralorn(maralornma@gateway/shell/matrix.org/x-zkyzkncpuafqbgyu)
2020-10-12 21:36:40 +0200jtojnar(jtojnarmat@gateway/shell/matrix.org/x-clashmxqyivyyrpr)
2020-10-12 21:36:40 +0200domenkozar[m](domenkozar@NixOS/user/domenkozar)
2020-10-12 21:36:40 +0200siraben(sirabenmat@gateway/shell/matrix.org/x-ltzmckarrmguosgk)
2020-10-12 21:36:40 +0200hnOsmium0001[m](hnosmium00@gateway/shell/matrix.org/x-gyngapiijxrddvgg)
2020-10-12 21:36:40 +0200drozdziak1(drozdziak1@gateway/shell/matrix.org/x-qsrzjrmwedxwifhe)
2020-10-12 21:36:40 +0200hsiktas[m](hsiktasmat@gateway/shell/matrix.org/x-icdlnorsjqgkpxaw)
2020-10-12 21:36:40 +0200unclechu(unclechuma@gateway/shell/matrix.org/x-zgeyqatdetfrsgfy)
2020-10-12 21:36:40 +0200PotatoHatsue(berbermanp@gateway/shell/matrix.org/x-nbsqkvyjxpcolcjf)
2020-10-12 21:36:40 +0200lnxw37d4(lnxw37d4ma@gateway/shell/matrix.org/x-ptvuhwxuhfxasuxj)
2020-10-12 21:36:41 +0200michaelpj(michaelpjm@gateway/shell/matrix.org/x-eajfsrqdggsxtjvo)
2020-10-12 21:36:41 +0200kadoban(kadobanmat@gateway/shell/matrix.org/x-koqtjvguqdzqkcxh)
2020-10-12 21:36:41 +0200Ericson2314(ericson231@gateway/shell/matrix.org/x-wjxgdezrhvtzaogq)
2020-10-12 21:36:41 +0200sureyeaah(shauryab98@gateway/shell/matrix.org/x-cwwiukanmlcbaqdo)
2020-10-12 21:36:41 +0200Noughtmare[m](naughtmare@gateway/shell/matrix.org/x-pcihubjetuqwkhon)
2020-10-12 21:36:41 +0200chreekat[m](chreekatma@gateway/shell/matrix.org/x-xbcxbptrlxxpfxsr)
2020-10-12 21:36:41 +0200texasmynsted[m]1(mmynstedko@gateway/shell/matrix.org/x-jzvbrkpfvqeicyva)
2020-10-12 21:36:41 +0200Fernando-Basso[m(fernando-b@gateway/shell/matrix.org/x-ggwqzbckrjzoebqm)
2020-10-12 21:36:41 +0200gmind[m](gmindmatri@gateway/shell/matrix.org/x-dtqofmafghxzbxls)
2020-10-12 21:36:41 +0200lambdaclan(lambdaclan@gateway/shell/matrix.org/x-sdymrxybgjfdnoyu)
2020-10-12 21:36:41 +0200io_r_us[m](commandlin@gateway/shell/matrix.org/x-ooxzqxwxkykjcelk)
2020-10-12 21:36:41 +0200nihilazo(nihilazoma@gateway/shell/matrix.org/x-oybdwgyjgiaqufzl)
2020-10-12 21:36:41 +0200boistordu1(boistordum@gateway/shell/matrix.org/x-pisxxstrdnlvnxgf)
2020-10-12 21:36:41 +0200SlackIntegration(slackbotma@gateway/shell/matrix.org/x-gsmubjcfwartpuyv)
2020-10-12 21:36:42 +0200pqwy[m](pqwymatrix@gateway/shell/matrix.org/x-bitadduvtvbneaeb)
2020-10-12 21:36:42 +0200johnnyboy[m](gifumatrix@gateway/shell/matrix.org/x-gbyrgzvhkjxxusae)
2020-10-12 21:36:44 +0200CaptainFox[m](onianimatr@gateway/shell/matrix.org/x-drbxwvoncpbckyzk)
2020-10-12 21:36:45 +0200mikr[m](mikrdavral@gateway/shell/matrix.org/x-hacnsmsjuxjtzoxd)
2020-10-12 21:36:46 +0200GuillaumeChrel[m(guillaumec@gateway/shell/matrix.org/x-gnseeldmgheyniaq)
2020-10-12 21:36:46 +0200materialfuture[m(materialfu@gateway/shell/matrix.org/x-oqqgzyvgqemxlxor)
2020-10-12 21:36:46 +0200ttc(tomtauma1@gateway/shell/matrix.org/x-haadxrqzgtcsrdca)
2020-10-12 21:36:46 +0200jiribenes1(jbjiribene@gateway/shell/matrix.org/x-depxshgmerhghelp)
2020-10-12 21:36:47 +0200betrion[m](betrionmat@gateway/shell/matrix.org/x-tvrpywqkiskftcqo)
2020-10-12 21:36:47 +0200jkaye[m](jkayematri@gateway/shell/matrix.org/x-titsgoawtmwelkxy)
2020-10-12 21:36:47 +0200ethercrow[m](ethercrowm@gateway/shell/matrix.org/x-mhxrudfakkaxubql)
2020-10-12 21:36:48 +0200dyniec[m](dyniecmatr@gateway/shell/matrix.org/x-vcivbailtuqowgfi)
2020-10-12 21:36:48 +0200tttom[m](tttommatri@gateway/shell/matrix.org/x-soasxrnveoheosxm)
2020-10-12 21:36:48 +0200sepp2k(sepp2kmatr@gateway/shell/matrix.org/x-kjjsajpvynbjxyjt)
2020-10-12 21:36:48 +0200albestro[m](albestroma@gateway/shell/matrix.org/x-pjjqsudezxydksrs)
2020-10-12 21:36:48 +0200jlv(jlvjustinl@gateway/shell/matrix.org/x-kssklhfqxoumhtye)
2020-10-12 21:36:49 +0200mmynsted[m](mmynstedtc@gateway/shell/matrix.org/x-niyifdmgamjmeagm)
2020-10-12 21:36:50 +0200alexfmpe(alexfmpema@gateway/shell/matrix.org/x-fxxfrxcrsgikwrue)
2020-10-12 21:37:11 +0200emmanuel`(~user@2604:2000:1382:ce03:4cd9:b90b:27ea:9c15) (Remote host closed the connection)
2020-10-12 21:37:19 +0200emmanuel`(~user@2604:2000:1382:ce03:4cd9:b90b:27ea:9c15)
2020-10-12 21:37:40 +0200emmanuel`(~user@2604:2000:1382:ce03:4cd9:b90b:27ea:9c15) (Client Quit)
2020-10-12 21:38:09 +0200emmanuel_erc(~user@2604:2000:1382:ce03:4cd9:b90b:27ea:9c15)
2020-10-12 21:38:38 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-12 21:40:59 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-12 21:42:58 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-10-12 21:50:23 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-12 21:53:00 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-12 21:53:42 +0200Tario(~Tario@200.119.187.185)
2020-10-12 21:56:56 +0200knupfer(~Thunderbi@200116b82c8e3e0099587a5e6444be1a.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-12 21:56:56 +0200ralejs(~ralejs@2620:10d:c093:400::5:c80) (Read error: Connection reset by peer)
2020-10-12 21:57:03 +0200knupfer(~Thunderbi@200116b82c8e3e004d528d974d6e668b.dip.versatel-1u1.de)
2020-10-12 21:57:12 +0200ralejs(~ralejs@2620:10d:c093:400::5:c80)
2020-10-12 22:00:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-12 22:03:13 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 264 seconds)
2020-10-12 22:03:50 +0200geekosaur(ac3a5499@172.58.84.153) (Remote host closed the connection)
2020-10-12 22:04:12 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-10-12 22:04:30 +0200rprije(~rprije@203.214.95.251)
2020-10-12 22:04:35 +0200kish(~oracle@unaffiliated/oracle) ("Leaving")
2020-10-12 22:04:38 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-12 22:05:59 +0200untseac(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2020-10-12 22:06:16 +0200 <untseac> hello. is it me doing something really wrong or yesod uses a archaic LTS?
2020-10-12 22:06:37 +0200 <c_wraith> that would be surprising, as yesod is the main reason stack exists
2020-10-12 22:06:49 +0200 <untseac> hum that I didn't know
2020-10-12 22:07:27 +0200hackagehwk 0.4 - Simple cli text processing with Haskell functions https://hackage.haskell.org/package/hwk-0.4 (JensPetersen)
2020-10-12 22:07:29 +0200 <untseac> so nobody likes stack anymore?
2020-10-12 22:07:31 +0200 <hc> true... yesod was pretty much unusable before stack :)
2020-10-12 22:07:46 +0200 <c_wraith> And the latest stackage LTS lists yesod
2020-10-12 22:07:47 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer)
2020-10-12 22:08:06 +0200hchas the feeling that the growing dislike for stack is mostly political
2020-10-12 22:08:09 +0200 <untseac> ok so maybe the templates are just old but yesod itself is not
2020-10-12 22:08:15 +0200 <c_wraith> that's probable
2020-10-12 22:08:23 +0200 <unclechu> untseac: i like stack when i can’t use nix
2020-10-12 22:08:41 +0200 <hc> i was in a webinar with fp complete once and specifically (and innocently) asked for their thoughts about nixos/cabal and didn't get an answer :)
2020-10-12 22:08:42 +0200 <c_wraith> I don't like stack because it's extra complication that doesn't provide value for me. But I can see how it would be useful for others.
2020-10-12 22:08:46 +0200 <untseac> yeah I'm on arch and don't really want to bother with nix yet
2020-10-12 22:08:49 +0200 <untseac> yeah I'm on arch and don't really want to bother with nix yet unclechu
2020-10-12 22:08:56 +0200 <untseac> oops duplicate
2020-10-12 22:09:04 +0200 <koz_> https://www.stackage.org/lts-16.18/package/yesod-1.6.1.0
2020-10-12 22:09:19 +0200 <hc> i for one wouldn't have dared to use haskell at my company without stack and the stability promise it bringe :)
2020-10-12 22:09:23 +0200 <koz_> 16.18 is pretty recent!
2020-10-12 22:09:24 +0200 <c_wraith> are you using matrix? Editing messages in matrix causes its IRC bridge to resend messages.
2020-10-12 22:09:40 +0200 <untseac> ok so it's probably just the templates
2020-10-12 22:09:52 +0200 <koz_> untseac: Stack templates right?
2020-10-12 22:09:57 +0200 <untseac> yeah
2020-10-12 22:10:04 +0200 <koz_> In my experience they are completely unusable garbage in the general sense.
2020-10-12 22:10:10 +0200 <untseac> it's on yesod webpage: https://www.yesodweb.com/page/quickstart
2020-10-12 22:10:19 +0200 <koz_> I literally had to roll my own using cookiecutter because of how utterly useless they were.
2020-10-12 22:10:22 +0200 <untseac> but they're using this usper old LTS
2020-10-12 22:10:30 +0200 <koz_> Both in terms of content and documentation.
2020-10-12 22:10:40 +0200 <untseac> which kind of made me not want to try yesod lol
2020-10-12 22:10:48 +0200 <untseac> I was already looking into alternativs
2020-10-12 22:10:56 +0200 <koz_> untseac: What're you trying to build?
2020-10-12 22:11:09 +0200 <untseac> just experimenting
2020-10-12 22:11:13 +0200 <untseac> nothing special
2020-10-12 22:11:27 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 22:11:27 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 22:11:27 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 22:12:05 +0200 <untseac> yesod seems to be the most popular web framework in haskell right now
2020-10-12 22:12:13 +0200 <untseac> that's why I was trying first
2020-10-12 22:12:25 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-12 22:12:52 +0200bitmagie(~Thunderbi@200116b80693b700305a6826a7578388.dip.versatel-1u1.de)
2020-10-12 22:12:53 +0200 <untseac> but all main web frameworks looks okay to me to be honest
2020-10-12 22:12:58 +0200bitmagie(~Thunderbi@200116b80693b700305a6826a7578388.dip.versatel-1u1.de) (Client Quit)
2020-10-12 22:13:03 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 22:13:12 +0200 <davean> yesod is definately the most *marketed*
2020-10-12 22:13:32 +0200 <koz_> davean: Interestingly enough, I had to bench yesod vs servant vs snap recently.
2020-10-12 22:13:32 +0200 <untseac> yeah might as well start with the most marketed
2020-10-12 22:13:42 +0200 <koz_> Yesod came out _by far_ behind the other two.
2020-10-12 22:13:48 +0200 <davean> koz_: oh of course
2020-10-12 22:14:01 +0200 <koz_> It also trips spurious GHC warnings with its TH.
2020-10-12 22:14:06 +0200 <davean> Of course it does
2020-10-12 22:14:28 +0200 <koz_> davean: You sound unsurprised.
2020-10-12 22:14:32 +0200 <davean> Entirely
2020-10-12 22:14:34 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer)
2020-10-12 22:14:35 +0200 <koz_> LOL
2020-10-12 22:14:44 +0200 <davean> I couldn't believe it wasn't that way
2020-10-12 22:14:45 +0200 <koz_> Good to know I wasn't wrong to be skeptical to my workmates.
2020-10-12 22:14:53 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 22:15:46 +0200 <untseac> I finally have a good grasp and can handle haskell more or less easily. the most annoying part is that all these places try to teach monads and friends in a weird way when it's really simple.
2020-10-12 22:16:03 +0200 <untseac> but that's just me ranting as usual
2020-10-12 22:16:41 +0200 <untseac> codewars helped lol
2020-10-12 22:17:07 +0200 <koz_> I found a lot of practice helped. Weirdly, getting my first Haskell Job For Money made me improve almost instantly.
2020-10-12 22:17:23 +0200 <untseac> yeah practice is indeed the best way to learn haskell
2020-10-12 22:17:30 +0200 <untseac> that's what I found
2020-10-12 22:18:01 +0200 <untseac> usually it's the opposite, read first do later, but with haskell it's just do it
2020-10-12 22:18:10 +0200hbina(~hbina@42.153.132.48) (Remote host closed the connection)
2020-10-12 22:18:16 +0200 <untseac> at least worked for me
2020-10-12 22:18:55 +0200thc202(~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds)
2020-10-12 22:19:25 +0200 <untseac> which is the most technically decent web framework btw? if there's one.
2020-10-12 22:19:37 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Ping timeout: 265 seconds)
2020-10-12 22:19:38 +0200 <davean> Depends on what you want, theres levels of complexity
2020-10-12 22:19:44 +0200 <untseac> fair enough
2020-10-12 22:19:47 +0200 <davean> like servant is rather complicated but buys a lot of nice features with that
2020-10-12 22:20:03 +0200 <davean> But you might not want to pay that overhead for some basic stuff
2020-10-12 22:20:34 +0200 <koz_> Servant is good _if_ you work in the way they intend.
2020-10-12 22:20:47 +0200 <koz_> If you need anything else, it's _very_ difficult to work around.
2020-10-12 22:20:57 +0200 <untseac> oof I hate that
2020-10-12 22:21:00 +0200 <koz_> And the typelevel stuff can give _horrific_ error messages if you're not familiar with it.
2020-10-12 22:21:01 +0200 <cohn> anyone using HDBC to connect to a SQLite database?
2020-10-12 22:21:28 +0200 <davean> koz_: right, though I'd disagree with the "_very_ difficult" part - you can patch your own stuff in pretty easily
2020-10-12 22:21:33 +0200 <koz_> (I literally had pages of vomit giving me headaches before going 'oh, ScopedTypeVariables wasn't on)
2020-10-12 22:22:05 +0200 <untseac> I come from Java world so I doubt any of these web frameworks are worse
2020-10-12 22:22:47 +0200mapperr(~mapperr@vmi389916.contaboserver.net)
2020-10-12 22:23:52 +0200 <koz_> cohn: What sort of issue are you seeing?
2020-10-12 22:23:52 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-12 22:24:56 +0200 <cohn> koz_: can't seem to install HDBC + HDBC-sqlite3 via Stack. Wondering if it's because I'm using a too-new GHC.
2020-10-12 22:25:11 +0200 <koz_> cohn: Exact error message (in a pastebin)?
2020-10-12 22:25:56 +0200 <cohn> koz_: yep, one sec
2020-10-12 22:27:41 +0200 <cohn> koz_: https://pastebin.com/eWfUc67E
2020-10-12 22:27:55 +0200 <cohn> fwiw, this is on an OS X box
2020-10-12 22:28:31 +0200 <koz_> Yeah, I think it's an issue that HDBC-sqlite3 leans on a deprecated library.
2020-10-12 22:28:32 +0200 <bliminse> what were you using in Java untseac ? Spring/quarkus/micronaut?
2020-10-12 22:28:33 +0200 <davean> Oh my sqlite is old
2020-10-12 22:28:35 +0200 <maerwald> koz_: the funny thing is... most ppl don't make actual use of servant (e.g. sharing types or generating clients) :p
2020-10-12 22:28:58 +0200 <bliminse> if you were using smaller frameworks (i.e., not spring), you could try warp in haskell
2020-10-12 22:29:03 +0200 <davean> maerwald: Is that true? I know dozens of places using it and doing that.
2020-10-12 22:29:05 +0200 <koz_> But yeah, what's your resolver?
2020-10-12 22:29:15 +0200 <dminuoso> Where in either the Haskell report and GHC manual can I find a remark, how instance contexts are not considered for instance selection?
2020-10-12 22:29:16 +0200 <untseac> bliminse, spring
2020-10-12 22:29:22 +0200 <bliminse> it's going to require you implementing some things that may be available in the other frameworks but it's nowhere near as bloated
2020-10-12 22:29:24 +0200 <untseac> it's not fun
2020-10-12 22:29:28 +0200 <maerwald> davean: I've seen a good chunk of "let's use it, because it's cooler than scotty"
2020-10-12 22:29:32 +0200 <bliminse> ahhh, yeah :/
2020-10-12 22:29:38 +0200 <cohn> koz_: lts-16.16
2020-10-12 22:29:38 +0200 <davean> maerwald: huh, never seen that.
2020-10-12 22:29:45 +0200 <bliminse> I mean I get the appeal of spring, having the kitchen sink and then some
2020-10-12 22:30:05 +0200 <bliminse> but all the behind-the-doors magic is not something I enjoy
2020-10-12 22:30:17 +0200 <untseac> it's enterprise over-engineering crap tbh
2020-10-12 22:30:23 +0200 <bliminse> and that's considering at work I have to deal with the whole spring family! xD
2020-10-12 22:30:29 +0200 <dminuoso> In particular, Im trying to understand how instance methods of classes with superclass constraints are type checked.
2020-10-12 22:31:03 +0200 <davean> maerwald: infact, I've often seen it used *only* to produce clients
2020-10-12 22:31:05 +0200 <untseac> yeah my main issue with spring is that it tries to solve everything with this weird complicated mechanism but it's okayish I guess
2020-10-12 22:31:19 +0200 <koz_> I'm wondering why it has a dependency on sqlite - neither HDBC nor HDBC-sqlite seem to want it.
2020-10-12 22:31:22 +0200 <dminuoso> davean: Id be willing to argue that servant is great even for small APIs.
2020-10-12 22:31:48 +0200snakemas1(~snakemast@213.100.206.23)
2020-10-12 22:31:54 +0200 <dminuoso> The complexity is mostly in your head, the actual implementation of servant/servant-server is rather simple.
2020-10-12 22:31:54 +0200 <davean> dminuoso: I didn't mean your API size anywhere
2020-10-12 22:31:57 +0200 <cohn> koz_: it?
2020-10-12 22:31:58 +0200 <untseac> I just want to get rid of Java. Haskell looks like the best way to make maintainable software. At least so far.
2020-10-12 22:31:59 +0200 <koz_> cohn: What's your stack.yaml look like?
2020-10-12 22:32:09 +0200 <maerwald> For API layer, I don't care about typed API, I want proper structural typing, so I can create web-types easily. TypeScript is better at that
2020-10-12 22:32:16 +0200 <davean> dminuoso: Though I really dislike some of its things, like setting HTTP headers is *brokenly bad* in servant
2020-10-12 22:32:18 +0200 <bliminse> heh yes it's very enjoyable. well so, if you want to give a try with warp you can set something up really quickly with just a few packages:
2020-10-12 22:32:32 +0200 <cohn> koz_: I just have these lines in there. everything else is default:
2020-10-12 22:32:33 +0200 <cohn> extra-deps:
2020-10-12 22:32:33 +0200 <cohn> - sqlite-0.5.5@sha256:2ffbff8fdeeb4db51550755a4a8fa73f33ac74313713a6f2608e108889d0ef13,1875
2020-10-12 22:32:36 +0200 <cohn> - HDBC-sqlite3-2.3.3.1@sha256:5025fd94d02b9b3f0b8b8233796dd9a85a0b3dda6503c6e671e3eddbc51cb4d4,2424
2020-10-12 22:32:40 +0200 <davean> you have to set them in 3 places, its rediculous
2020-10-12 22:32:49 +0200 <untseac> I don't see much future in imperative languages, not with 32 cores, which we already have. That's my noobish prepective.
2020-10-12 22:32:50 +0200 <bliminse> warp itself, warp-tls for HTTPS, and possibly wai-extra for some handlers/middleware
2020-10-12 22:32:56 +0200 <davean> Where as *none* of most headers is what servant is supposed to represent at the type level.
2020-10-12 22:33:00 +0200 <koz_> Did it ask you to add the sqlite-0.5.5 line when you tried 'stack build' or something?
2020-10-12 22:33:04 +0200 <dminuoso> davean: I agree that it has some ergonomics problems, luckily if you're the one providing an API it's a non-issue. :)
2020-10-12 22:33:28 +0200alp(~alp@2a01:e0a:58b:4920:7d9f:c45b:a876:4aa8) (Ping timeout: 244 seconds)
2020-10-12 22:33:35 +0200 <cohn> koz_: yes.
2020-10-12 22:33:35 +0200 <davean> dminuoso: incorrect?
2020-10-12 22:33:44 +0200 <untseac> I do want to see a decent game engine in haskell but it seems like no one figured that out yet
2020-10-12 22:33:46 +0200 <davean> The header things is exactly a case where it doesn't matter - its always a problem
2020-10-12 22:33:49 +0200knupfer(~Thunderbi@200116b82c8e3e004d528d974d6e668b.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-12 22:33:54 +0200 <koz_> Can you remove that line, run 'stack build' again, and pastebin its error message?
2020-10-12 22:33:56 +0200 <cohn> koz_: now that I think of it, I can probably get away with using sqlite-simple instead
2020-10-12 22:33:56 +0200knupfer(~Thunderbi@200116b82c8e3e00d4b0380cf8092937.dip.versatel-1u1.de)
2020-10-12 22:33:58 +0200 <maerwald> untseac: why
2020-10-12 22:34:06 +0200 <untseac> maerwald, why what?
2020-10-12 22:34:07 +0200 <koz_> If you _can_, definitely do so.
2020-10-12 22:34:11 +0200 <dminuoso> davean: What do you want to encode in headers that you can't encode in QueryParams or a ReqBody?
2020-10-12 22:34:11 +0200 <koz_> sqlite is deprecated.
2020-10-12 22:34:17 +0200 <maerwald> untseac: why would you want to see it
2020-10-12 22:34:17 +0200knupfer(~Thunderbi@200116b82c8e3e00d4b0380cf8092937.dip.versatel-1u1.de) (Client Quit)
2020-10-12 22:34:17 +0200 <cohn> koz_: lemme try that first.
2020-10-12 22:34:21 +0200 <davean> dminuoso: You know - like cache controls?
2020-10-12 22:34:24 +0200 <davean> HTTP semantics
2020-10-12 22:34:26 +0200knupfer(~Thunderbi@200116b82c8e3e00808f1416e66f4b20.dip.versatel-1u1.de)
2020-10-12 22:34:32 +0200 <davean> HTTP has semantics, those semantics are controlled by headers often, they are not the client's concern and they don't represent anything on the recieve handling
2020-10-12 22:34:55 +0200 <davean> They are decisions made about the request by the hander, based on the request, and none something the client observes
2020-10-12 22:35:20 +0200 <davean> Which makes getting HTTP-correct requests encoded in Servant *very* difficult
2020-10-12 22:35:47 +0200 <untseac> maerwald, because declarative seems like a good way to make games. imperative is gives too many changes to make mistakes. if everything is functional than there's a good change that it's easy to maintain. but as everybody else I don't know a good way to do it.
2020-10-12 22:35:56 +0200knupfer(~Thunderbi@200116b82c8e3e00808f1416e66f4b20.dip.versatel-1u1.de) (Client Quit)
2020-10-12 22:36:04 +0200knupfer(~Thunderbi@200116b82c8e3e00d959907963760a34.dip.versatel-1u1.de)
2020-10-12 22:36:06 +0200 <maerwald> I think that's a fallacy, but we'd have to see
2020-10-12 22:36:07 +0200 <dminuoso> davean: It depends on your problem domain I guess. In mine, I can get away without any caching.
2020-10-12 22:36:27 +0200hackageyamlparse-applicative 0.1.0.2 - Declaritive configuration parsing with free docs https://hackage.haskell.org/package/yamlparse-applicative-0.1.0.2 (Norfair)
2020-10-12 22:36:31 +0200snakemas1(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-12 22:36:35 +0200 <davean> dminuoso: Right - if you're using HTTP as a dumb transport, but it isn't. Servant's design can't really handle that sanely.
2020-10-12 22:36:42 +0200 <untseac> perhaps maerwald but no point in not trying
2020-10-12 22:36:52 +0200 <dminuoso> davean: Im well aware.
2020-10-12 22:36:53 +0200 <davean> dminuoso: theres a bunch of other semantic HTTP headers
2020-10-12 22:37:08 +0200 <maerwald> I'd rather use rust for a game engine
2020-10-12 22:37:16 +0200knupfer(~Thunderbi@200116b82c8e3e00d959907963760a34.dip.versatel-1u1.de) (Client Quit)
2020-10-12 22:37:21 +0200knupfer1(~Thunderbi@200116b82c8e3e0065c803bf9b6001f6.dip.versatel-1u1.de)
2020-10-12 22:37:27 +0200 <maerwald> haskell seems more like "because I want to", not because it makes terrible sense for an engine
2020-10-12 22:37:31 +0200knupfer1(~Thunderbi@200116b82c8e3e0065c803bf9b6001f6.dip.versatel-1u1.de) (Client Quit)
2020-10-12 22:37:39 +0200knupfer(~Thunderbi@200116b82c8e3e0045b1d251e43f77de.dip.versatel-1u1.de)
2020-10-12 22:37:40 +0200 <untseac> so far it seems like it
2020-10-12 22:37:58 +0200 <davean> maerwald: As an ex-cared-about-game-dev I can think of a few ways in which Haskell is good, or more really functional.
2020-10-12 22:38:05 +0200 <davean> But its hard to get the other stuff right
2020-10-12 22:38:17 +0200 <dminuoso> davean: If you grok HTTP well, and understand programming well enough, it's quite insane how people stuff data into an unstructured and inefficient protocol like JSON, and then stuff it into a highly semantic, inefficient and human readable protocol like HTTP...
2020-10-12 22:38:23 +0200 <maerwald> engines care about performance and predictable memory consumption
2020-10-12 22:38:27 +0200 <dminuoso> And I must admit, we do it as well
2020-10-12 22:38:35 +0200 <untseac> real time is hard in haskell. I think anyone figured that out with some time.
2020-10-12 22:38:40 +0200 <dminuoso> The main reason is just, it's fast to get communication between two agents with servant.
2020-10-12 22:38:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-12 22:39:06 +0200 <dminuoso> (And in the above, my main beef isnt even HTTP, it's how JSON is an awful serialization format)
2020-10-12 22:39:40 +0200 <maerwald> I could much rather imagine a DSL-style API around a C engine. But why do the low-level work in Haskell
2020-10-12 22:39:43 +0200 <dminuoso> What happened to the art of writing a simple wire protocol ontop of TCP..
2020-10-12 22:40:06 +0200 <untseac> that could be an option maerwald
2020-10-12 22:40:16 +0200 <cohn> koz_: yep, sqlite-simple installed without a hitch
2020-10-12 22:40:19 +0200 <cohn> thanks!
2020-10-12 22:40:20 +0200knupfer(~Thunderbi@200116b82c8e3e0045b1d251e43f77de.dip.versatel-1u1.de) (Client Quit)
2020-10-12 22:40:23 +0200 <koz_> cohn: No worries.
2020-10-12 22:40:25 +0200 <untseac> but there are many games in Java and it's far from the fastest or with predictable memory
2020-10-12 22:40:29 +0200knupfer(~Thunderbi@200116b82c8e3e00b0c84bfaac702eb0.dip.versatel-1u1.de)
2020-10-12 22:40:35 +0200 <davean> maerwald: its easier to talk about the data structure changes, which are pretty critical for performance, and the functional style avoids a whole bunch of (very common in games) errors around pipelining.
2020-10-12 22:40:36 +0200 <untseac> in fact it's really bad at predictable memory
2020-10-12 22:40:57 +0200laserpants(c59d0021@197.157.0.33)
2020-10-12 22:42:08 +0200 <untseac> the main problem from what I see in game dev is that everyone thinks imperative by default so there's a lack of interest. Even languages other than C++ took a very long time to be popular in video game development.
2020-10-12 22:42:13 +0200 <untseac> let alone haskell
2020-10-12 22:42:35 +0200 <untseac> only now C# and python are popular choices
2020-10-12 22:42:47 +0200 <davean> C++ took a while too
2020-10-12 22:42:58 +0200 <davean> C++ use to be a lot harder to write efficiently than it is now
2020-10-12 22:43:01 +0200 <untseac> yeah it was C before that and assembly before
2020-10-12 22:43:31 +0200 <davean> I was mostly active in the C-like-C++-but-with-custom-assembly-for-every-CPU era
2020-10-12 22:43:36 +0200 <untseac> game development cares more about what exists, not what can be done. after all it's a business model to sell fast.
2020-10-12 22:43:37 +0200JordiGH(jordi@octave/developer/JordiGH)
2020-10-12 22:43:47 +0200 <dminuoso> davean: At any rate, I fully understand your beef with servant if managing headers is something you actually have to do. I just noticed that myself and some others don't have that need.
2020-10-12 22:43:50 +0200 <JordiGH> What's the syntax to define several where variables on the same line?
2020-10-12 22:44:00 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 22:44:03 +0200motte(~weechat@unaffiliated/motte)
2020-10-12 22:44:14 +0200 <JordiGH> (Haskell's the whitespace thing is an optional the whitespace thing, right?)
2020-10-12 22:44:21 +0200 <davean> dminuoso: of course. I just wish they would have a sane approach to HTTP given its supposed to be for HTTP ;)
2020-10-12 22:44:32 +0200 <ski> JordiGH : `... where x = 2; f y = x + y'
2020-10-12 22:44:32 +0200 <untseac> JordiGH, put another variable bellow
2020-10-12 22:44:48 +0200 <untseac> or that
2020-10-12 22:44:54 +0200 <JordiGH> ski: k thanks, let me see.
2020-10-12 22:44:57 +0200 <laserpants> Is anyone using hdevtools and Syntastic with vim/neovim? I reinstalled my machine and probably missed some step because the checks are not working. The background service is running and hdevtools is in the PATH. Typing :SyntasticInfo in vim also says that it is active.
2020-10-12 22:44:57 +0200 <JordiGH> untseac: Below?
2020-10-12 22:45:11 +0200 <ski> they mean, "not on the same line"
2020-10-12 22:45:27 +0200 <untseac> y
2020-10-12 22:46:29 +0200 <JordiGH> Alright, this works, let me see if I can figure out how to do this... I want to write a four-point recurrence... two-point is pretty easy with zipWith and tail
2020-10-12 22:47:05 +0200 <dminuoso> davean: To partially quote monochrom: "Programming is a dialectic class struggle between the author and the user.". On one hand you want to get easy access to headers, and on the other side of the table there's the desire to consider all parameters in a request to be parameters that belong in the declarative description of the API.
2020-10-12 22:47:25 +0200 <dminuoso> It's a trade off either way
2020-10-12 22:47:37 +0200knupfer(~Thunderbi@200116b82c8e3e00b0c84bfaac702eb0.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-12 22:47:44 +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-12 22:48:23 +0200 <davean> dminuoso: Eh, thats true for some HTTP headers, but I don't think that can be considered true for the semantic ones because they should not be observable on either end
2020-10-12 22:48:36 +0200 <davean> They are how the infastructure handles the transport
2020-10-12 22:50:09 +0200 <ski> JordiGH : `as = a0 : a1 : a2 : a3 : [..an0..an1..an2..an3.. | an0:an1:an2:an3:_ <- tails as]' ?
2020-10-12 22:50:15 +0200proofofme(~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-12 22:50:20 +0200 <JordiGH> Okay, yeah, I don't have enough for this. I want to compute fib_2*fib_4 - fib_1*fib_3 where fib_1, fib_2, fib_3, and fib_4 are four consecutive fibonacci numbers.
2020-10-12 22:51:06 +0200 <dminuoso> davean: Id say a web server is not separated from the semantics, it's part of it. For instance, it's your job to produce the correct semantic HTTP status codes.
2020-10-12 22:51:08 +0200 <JordiGH> ski: Ohhhh, wait, I think I get it.
2020-10-12 22:51:28 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-12 22:51:31 +0200 <JordiGH> And I also realise I didn't mean a recurrence. :-/
2020-10-12 22:51:33 +0200 <davean> dminuoso: But its not even the server - its things like the caches inbetween, etc
2020-10-12 22:51:46 +0200 <davean> Also, status codes are header-invariant
2020-10-12 22:51:54 +0200 <JordiGH> I meant... taking four elements at a time from the fibonacci sequence.
2020-10-12 22:52:04 +0200 <ski> > let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:_ <- tails fibs]om [fib_1*fib_3 - fib_0*fib_2 | fib_0:fib_1:fib_2:fib_3:_ <- fibs]
2020-10-12 22:52:07 +0200 <lambdabot> <no location info>: error:
2020-10-12 22:52:07 +0200 <lambdabot> not an expression: ‘let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:...
2020-10-12 22:52:14 +0200 <ski> > let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:_ <- tails fibs] in [fib_1*fib_3 - fib_0*fib_2 | fib_0:fib_1:fib_2:fib_3:_ <- fibs]
2020-10-12 22:52:17 +0200 <lambdabot> error:
2020-10-12 22:52:17 +0200 <lambdabot> • No instance for (Num [Integer])
2020-10-12 22:52:17 +0200 <lambdabot> arising from a use of ‘e_101010113020123’
2020-10-12 22:52:30 +0200 <JordiGH> A use of what??
2020-10-12 22:52:53 +0200 <ski> er, sorry
2020-10-12 22:53:07 +0200 <ski> > let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:_ <- tails fibs] in [fib_1*fib_3 - fib_0*fib_2 | fib_0:fib_1:fib_2:fib_3:_ <- tails fibs]
2020-10-12 22:53:09 +0200 <lambdabot> [2,1,7,14,41,103,274,713,1871,4894,12817,33551,87842,229969,602071,1576238,4...
2020-10-12 22:53:11 +0200 <ski> > let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:_ <- tails fibs] in [fib_1*fib_3 - fib_0*fib_2 | [fib_0,fib_1,fib_2,fib_3] <- chunksOf 4 fibs]
2020-10-12 22:53:13 +0200 <lambdabot> [2,41,1871,87842,4126649,193864607,9107509826,427859097161,20100270056687,94...
2020-10-12 22:53:14 +0200 <JordiGH> The ghc error messages never make any sense to me, I've learned to ignore them.
2020-10-12 22:53:25 +0200 <ski> the latter is "four at a time". the former is "sliding window of four"
2020-10-12 22:53:51 +0200 <davean> dminuoso: specificly headers vary on the occuring path between the client and server
2020-10-12 22:54:02 +0200 <davean> So you can't know them without knowing the path
2020-10-12 22:54:16 +0200 <JordiGH> ski: Huh, thanks, okay... that wasn't the result I expected, though. Let me check my math...
2020-10-12 22:54:39 +0200 <ski> JordiGH : perhaps i misinterpreted what you wanted, possibly ?
2020-10-12 22:55:22 +0200 <ski> > tails "abcdefghijklmnop"
2020-10-12 22:55:25 +0200 <lambdabot> ["abcdefghijklmnop","bcdefghijklmnop","cdefghijklmnop","defghijklmnop","efgh...
2020-10-12 22:55:32 +0200 <ski> > chunksOf 5 "abcdefghijklmnop"
2020-10-12 22:55:35 +0200 <lambdabot> ["abcde","fghij","klmno","p"]
2020-10-12 22:55:53 +0200 <JordiGH> ski: Yeah, wait, you have the right thing, what do I have wrong, hmmm...
2020-10-12 22:56:08 +0200laserpants(c59d0021@197.157.0.33) (Remote host closed the connection)
2020-10-12 22:58:27 +0200Tario(~Tario@200.119.187.185) (Read error: Connection reset by peer)
2020-10-12 22:58:51 +0200Tario(~Tario@201.192.165.173)
2020-10-12 23:00:01 +0200dwfreed1(~dwfreed@178.162.204.214) ()
2020-10-12 23:01:24 +0200hekkaidekapus}(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-12 23:01:49 +0200 <JordiGH> ski: right, I meant fib_0*fib_3 - fib_1*fib_2 whoops
2020-10-12 23:02:09 +0200 <JordiGH> > let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:_ <- tails fibs] in [fib_0*fib_3 - fib_1*fib_2 | [fib_0,fib_1,fib_2,fib_3] <- chunksOf 4 fibs]
2020-10-12 23:02:11 +0200 <lambdabot> [-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,...
2020-10-12 23:02:16 +0200 <JordiGH> Yay that worked.
2020-10-12 23:02:25 +0200 <JordiGH> Except chunking but close enoguh.
2020-10-12 23:02:39 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Read error: Connection reset by peer)
2020-10-12 23:02:52 +0200 <ski> ok
2020-10-12 23:03:09 +0200 <JordiGH> > let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:_ <- tails fibs] in [fib_0*fib_3 - fib_1*fib_2 | [fib_0,fib_1,fib_2,fib_3] <- tails fibs]
2020-10-12 23:03:15 +0200 <lambdabot> mueval-core: Time limit exceeded
2020-10-12 23:03:23 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-12 23:03:43 +0200hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-12 23:04:59 +0200 <JordiGH> > let fibs = 0 : 1 : [fib_n0 + fib_n1 | fib_n0:fib_n1:_ <- tails fibs] in [fib_0*fib_3 - fib_1*fib_2 | fib_0:fib_1:fib_2:fib_3:_ <- tails fibs]
2020-10-12 23:05:04 +0200 <lambdabot> [-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,-1,1,...
2020-10-12 23:05:07 +0200 <JordiGH> w00t
2020-10-12 23:05:19 +0200 <JordiGH> ski: thank you so much!
2020-10-12 23:05:40 +0200 <JordiGH> But that took a while to compute, is this doing the dumb exponential recursive thing?
2020-10-12 23:06:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 23:06:27 +0200ggole(~ggole@2001:8003:8119:7200:7085:2b43:4bf6:e2e3) (Quit: Leaving)
2020-10-12 23:06:37 +0200 <ski> no
2020-10-12 23:08:47 +0200 <JordiGH> Hm, how do I make ghci remember readline history across sessions?
2020-10-12 23:11:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-12 23:11:47 +0200 <dminuoso> Doesn't ghci do this out of the box already?
2020-10-12 23:12:01 +0200_xor(~xor@74.215.46.133)
2020-10-12 23:12:10 +0200 <JordiGH> Oh, it does, my bad, sorry.
2020-10-12 23:14:19 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-12 23:14:22 +0200kelanu(~kelanu@2600:1700:9750:cf20:84af:84e5:5767:cbf0)
2020-10-12 23:14:44 +0200 <koz_> Does anyone know if snap-core's Params type handles percent encoding for you, or whether you have to do it yourself?
2020-10-12 23:14:52 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-12 23:14:58 +0200 <koz_> I _think_ the answer is 'you have to do it yourself', but I'd like to be sure.
2020-10-12 23:15:41 +0200 <kelanu> I noticed that Google Colab said it supports the IHaskell kernel, which got me pretty excited. But I can't find any documentation for this, any ideas? I fonud a StackOverflow but it was removed.
2020-10-12 23:15:47 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 23:17:56 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-12 23:19:58 +0200thir(~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-12 23:21:49 +0200CrystalNice(~CrystalNi@s91904426.blix.com)
2020-10-12 23:23:47 +0200p-core(~Thunderbi@2a0e:1c80:4:1022::1004) (Ping timeout: 260 seconds)
2020-10-12 23:27:07 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 23:27:23 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 23:27:23 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 23:27:23 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 23:28:51 +0200kelanu_(~kelanu@2600:1700:9750:cf20:84af:84e5:5767:cbf0)
2020-10-12 23:29:02 +0200kelanu(~kelanu@2600:1700:9750:cf20:84af:84e5:5767:cbf0) (Ping timeout: 260 seconds)
2020-10-12 23:29:10 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-12 23:30:12 +0200jneira(501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250)
2020-10-12 23:30:39 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-12 23:40:23 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-12 23:40:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 23:42:47 +0200cosimone(~cosimone@93-47-228-249.ip115.fastwebnet.it) (Ping timeout: 260 seconds)
2020-10-12 23:43:55 +0200sfvm(~sfvm@37.228.215.148) (Quit: off to the basement, mixing up the medicine)
2020-10-12 23:52:11 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 23:52:23 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-12 23:52:23 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-12 23:52:23 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-12 23:55:31 +0200_xor(~xor@74.215.46.133) (Quit: brb)
2020-10-12 23:56:07 +0200_xor(~xor@74.215.46.133)
2020-10-12 23:57:48 +0200oleks(~oleks@188.166.34.97) (Quit: leaving)
2020-10-12 23:58:19 +0200oleks(~oleks@188.166.34.97)
2020-10-12 23:58:34 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)