IRCBrowse

2020/09/27

2020-09-27 00:00:12 +0200IceMichael(~IceMichae@v43666.php-friends.de) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in)
2020-09-27 00:03:30 +0200Achylles(~Achylles@200-161-190-140.dsl.telesp.net.br) (Quit: Leaving)
2020-09-27 00:03:42 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-09-27 00:04:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-27 00:07:24 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-09-27 00:09:06 +0200Dolly(585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-27 00:09:12 +0200Dolly(585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-27 00:11:47 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-oxndjxbsupaxjafx) (Ping timeout: 246 seconds)
2020-09-27 00:13:23 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-ilwvjocsxxlvfkle)
2020-09-27 00:15:14 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-27 00:18:57 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-27 00:19:51 +0200shafox(~shafox@106.51.234.111) (Remote host closed the connection)
2020-09-27 00:20:19 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-09-27 00:20:31 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-27 00:20:58 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 00:24:13 +0200dhil(~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 264 seconds)
2020-09-27 00:24:27 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 272 seconds)
2020-09-27 00:25:07 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-09-27 00:28:28 +0200fendor(~fendor@178.115.129.156.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-27 00:28:56 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 00:34:04 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 00:35:49 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-27 00:39:33 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 00:40:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 00:43:54 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-27 00:44:52 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-09-27 00:46:06 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-27 00:47:47 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 240 seconds)
2020-09-27 00:50:58 +0200hackagetest-monad-laws 0.0.0.0 - Laws for mtl classes as QuickCheck properties. https://hackage.haskell.org/package/test-monad-laws-0.0.0.0 (lyxia)
2020-09-27 00:53:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-27 00:55:27 +0200ericsagnes(~ericsagne@2405:6580:0:5100:b877:8b34:4984:caf9) (Ping timeout: 260 seconds)
2020-09-27 00:55:41 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-27 00:56:29 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-27 00:59:43 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 01:01:11 +0200Bergle_2(~Bergle_4@101.165.90.119) (Quit: Leaving)
2020-09-27 01:03:11 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-27 01:03:29 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 01:05:22 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-09-27 01:05:26 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-27 01:06:28 +0200hackagebrick 0.56 - A declarative terminal user interface library https://hackage.haskell.org/package/brick-0.56 (JonathanDaugherty)
2020-09-27 01:07:18 +0200dsf_(~dsf@2605:e000:1c0b:47c2:6014:cd97:238c:74bb) (Quit: Konversation terminated!)
2020-09-27 01:07:29 +0200dsf_(~dsf@cpe-75-82-64-167.socal.res.rr.com)
2020-09-27 01:07:48 +0200ericsagnes(~ericsagne@2405:6580:0:5100:2d0f:9cfc:e69e:d83f)
2020-09-27 01:08:47 +0200Bergle_1(~Bergle_4@101.165.90.119)
2020-09-27 01:10:27 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 240 seconds)
2020-09-27 01:12:44 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 01:13:30 +0200yogani(sid42623@gateway/web/irccloud.com/x-fupgdjzqtdogxqww) (Read error: Connection reset by peer)
2020-09-27 01:13:30 +0200ajmcmiddlin(sid284402@gateway/web/irccloud.com/x-ejbmjmchctwtsxcb) (Read error: Connection reset by peer)
2020-09-27 01:13:32 +0200adamse(sid72084@gateway/web/irccloud.com/x-ibjuwillctxzxezq) (Ping timeout: 260 seconds)
2020-09-27 01:13:36 +0200verlet64_(sid261276@gateway/web/irccloud.com/x-olzkamcxrqzvgctd) (Read error: Connection reset by peer)
2020-09-27 01:13:38 +0200yogani(sid42623@gateway/web/irccloud.com/x-nguvyfsvhgyshvjf)
2020-09-27 01:13:44 +0200idnar(sid12240@gateway/web/irccloud.com/x-wekokikpeshbhqyj) (Read error: Connection reset by peer)
2020-09-27 01:13:45 +0200pent(sid313808@gateway/web/irccloud.com/x-ztipyrtlkdbfutmv) (Ping timeout: 240 seconds)
2020-09-27 01:13:46 +0200ajmcmiddlin(sid284402@gateway/web/irccloud.com/x-fawmkuicgdpfjppp)
2020-09-27 01:13:50 +0200integral(sid296274@p3m/member/integral) (Read error: Connection reset by peer)
2020-09-27 01:13:55 +0200verlet64_(sid261276@gateway/web/irccloud.com/x-gtjwwpwdhrqekihq)
2020-09-27 01:13:57 +0200nlofaro(sid258233@gateway/web/irccloud.com/x-luupihxgwjhpolne) (Read error: Connection reset by peer)
2020-09-27 01:13:59 +0200idnar(sid12240@gateway/web/irccloud.com/x-ksrpwtdqweqhqhsk)
2020-09-27 01:14:13 +0200integral(sid296274@p3m/member/integral)
2020-09-27 01:14:21 +0200adamse(sid72084@gateway/web/irccloud.com/x-acsiiwpllajbbwmz)
2020-09-27 01:14:40 +0200nlofaro(sid258233@gateway/web/irccloud.com/x-czuznqcijtcgyazu)
2020-09-27 01:15:12 +0200pent(sid313808@gateway/web/irccloud.com/x-jidkyfivzjscwhcc)
2020-09-27 01:18:05 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 240 seconds)
2020-09-27 01:19:28 +0200hackagestm-actor 0.2.3.0 - A simplistic actor model based on STM https://hackage.haskell.org/package/stm-actor-0.2.3.0 (sgschlesinger)
2020-09-27 01:21:44 +0200adam_wespiser(~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-27 01:22:12 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds)
2020-09-27 01:22:20 +0200adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-27 01:23:11 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2020-09-27 01:23:58 +0200frdg(~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-27 01:24:39 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 01:25:24 +0200barzo(~sosal@188.119.4.97)
2020-09-27 01:25:25 +0200oisdk(~oisdk@2001:bb6:3329:d100:4c4c:f42f:20c9:6844)
2020-09-27 01:26:10 +0200barzo(~sosal@188.119.4.97) (Client Quit)
2020-09-27 01:26:27 +0200adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 240 seconds)
2020-09-27 01:28:59 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-09-27 01:29:44 +0200frdg`(~user@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-09-27 01:29:55 +0200frdg(~user@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection)
2020-09-27 01:30:28 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-27 01:30:30 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cc55:612b:5adc:f6f1)
2020-09-27 01:31:03 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 01:31:09 +0200todaysTomorrow(324c22e1@50-76-34-225-ip-static.hfc.comcastbusiness.net)
2020-09-27 01:31:11 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
2020-09-27 01:31:44 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 01:33:12 +0200 <todaysTomorrow> Who here has any experience with the seL4 kernel?
2020-09-27 01:33:57 +0200acidjnk_new(~acidjnk@p200300d0c723789624d205acd1b15fd8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-27 01:34:31 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-27 01:37:18 +0200totallynotnate(~nate@125.161.70.37)
2020-09-27 01:38:02 +0200frdg`(~user@pool-71-184-143-249.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.1))
2020-09-27 01:40:33 +0200 <todaysTomorrow> HEllo totallynotnate
2020-09-27 01:40:45 +0200 <todaysTomorrow> What experience do you have with haskell
2020-09-27 01:41:14 +0200 <totallynotnate> oh not much right now really
2020-09-27 01:41:38 +0200 <totallynotnate> i just have this channel on autojoin just in case
2020-09-27 01:41:52 +0200 <todaysTomorrow> Would you like to learn, if you're just starting I recommend learn you a haskell for great good
2020-09-27 01:42:27 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cc55:612b:5adc:f6f1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-27 01:42:32 +0200 <totallynotnate> i have that book in my possession, and yes it is a great book
2020-09-27 01:42:55 +0200 <todaysTomorrow> What learning have you done with it?
2020-09-27 01:43:09 +0200javran(~javran@76.126.242.127)
2020-09-27 01:43:10 +0200 <totallynotnate> not much apart from some basic practices
2020-09-27 01:43:18 +0200 <totallynotnate> i take it you're pretty active around here?
2020-09-27 01:43:54 +0200 <todaysTomorrow> if you want to know more about me please pm me
2020-09-27 01:45:00 +0200 <totallynotnate> oh not really i was just asking if you're always around in this channel
2020-09-27 01:45:03 +0200 <todaysTomorrow> I just got here after a long break
2020-09-27 01:45:24 +0200 <todaysTomorrow> I'm a retired computer hacker
2020-09-27 01:46:04 +0200javran(~javran@76.126.242.127) (Remote host closed the connection)
2020-09-27 01:46:18 +0200javran(~javran@76.126.242.127)
2020-09-27 01:46:25 +0200 <todaysTomorrow> totallynotnate what projects are you doing right now?
2020-09-27 01:46:53 +0200 <totallynotnate> not many, i'm a student and i haven't done much with haskell
2020-09-27 01:46:53 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cc55:612b:5adc:f6f1)
2020-09-27 01:47:07 +0200 <totallynotnate> i gotta go now cya!
2020-09-27 01:47:09 +0200totallynotnate(~nate@125.161.70.37) (Quit: WeeChat 2.9)
2020-09-27 01:47:16 +0200 <todaysTomorrow> Hello nbloomf what projects are you working on
2020-09-27 01:47:41 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds)
2020-09-27 01:47:51 +0200 <javran> @hoogle MonadError e m => e -> Maybe a -> m a
2020-09-27 01:47:52 +0200 <lambdabot> Data.Either.Utils maybeToEither :: MonadError e m => e -> Maybe a -> m a
2020-09-27 01:47:52 +0200 <lambdabot> Protolude note :: MonadError e m => e -> Maybe a -> m a
2020-09-27 01:47:52 +0200 <lambdabot> Protolude.Exceptions note :: MonadError e m => e -> Maybe a -> m a
2020-09-27 01:47:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-27 01:48:37 +0200 <javran> is there a function directly from Maybe to Except? I know I can do it with maybeToEither and liftEither, it's too verbose to my liking.
2020-09-27 01:48:58 +0200 <javran> :t liftEither
2020-09-27 01:49:00 +0200 <lambdabot> MonadError e m => Either e a -> m a
2020-09-27 01:49:12 +0200 <todaysTomorrow> javran you sound like you are punding
2020-09-27 01:49:23 +0200 <todaysTomorrow> why do verbosity matter?
2020-09-27 01:49:29 +0200remexre(~nathan@207-153-38-50.fttp.usinternet.com) (Read error: Connection reset by peer)
2020-09-27 01:49:47 +0200 <javran> when you want to do lots of Maybes inside a ExceptT
2020-09-27 01:50:02 +0200rprije(~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au)
2020-09-27 01:50:28 +0200 <todaysTomorrow> oh I see, could you teach me what ExceptT is? I haven't worked with it. Maybe then I can help you
2020-09-27 01:50:34 +0200ech(~user@gateway/tor-sasl/ech)
2020-09-27 01:50:49 +0200adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-27 01:51:01 +0200 <javran> it's just Either in disguist
2020-09-27 01:51:13 +0200 <javran> http://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Except.html
2020-09-27 01:51:37 +0200 <todaysTomorrow> I don't remember ever using Either in my life but I have probably used it extensively before suffering from brain damage
2020-09-27 01:51:54 +0200 <todaysTomorrow> reading your link now
2020-09-27 01:53:04 +0200 <todaysTomorrow> "Please do not confuse ExceptT and throwError with Exception / SomeException and catch, respectively. The latter are for exceptions built into GHC, by default, and are mostly used from within the IO monad. They do not interact with the "exceptions" in this package at all. This package allows you to define a new kind of exception control mechanism
2020-09-27 01:53:04 +0200 <todaysTomorrow> which does not necessarily need your code to be placed in the IO monad."
2020-09-27 01:53:10 +0200 <todaysTomorrow> from javran's link
2020-09-27 01:55:07 +0200adam_wespiser(~adam_wesp@209.6.42.110) (Ping timeout: 240 seconds)
2020-09-27 01:56:00 +0200acidjnk_new(~acidjnk@p200300d0c723788981cc0ce7da3b2720.dip0.t-ipconnect.de)
2020-09-27 01:56:23 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds)
2020-09-27 01:56:42 +0200 <javran> I'm basically just enhancing a Maybe with a bit more error message for debugging. so instead of do { a <- actionA; b <- actionB; ... }, I can do { a <- m2e "actionA failed bcs..."; b <- m2e "actionB failed bcs.."; ... }, where m2e stands for maybeToExcept
2020-09-27 01:56:53 +0200sand_dull(~theuser@185.217.69.182)
2020-09-27 01:57:10 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2020-09-27 01:57:10 +0200zbioe(b3bb5fea@179.187.95.234.dynamic.adsl.gvt.net.br)
2020-09-27 01:57:18 +0200 <javran> opss, `m2e "..." actionA` I meant
2020-09-27 01:57:30 +0200 <todaysTomorrow> javran I have mostly used haskell as a crude alternative to octave I don't have much experience with the IO monad, would you like to teach me how to do IO in haskell with the IO monad?
2020-09-27 01:57:55 +0200 <javran> um, ExceptT actually has nothing to do with IO
2020-09-27 01:58:31 +0200 <todaysTomorrow> okay I see
2020-09-27 01:58:39 +0200 <todaysTomorrow> could you give me real world examples?
2020-09-27 01:58:51 +0200 <javran> for using ExceptT?
2020-09-27 01:58:53 +0200 <todaysTomorrow> yes
2020-09-27 01:58:58 +0200 <todaysTomorrow> I've never used it before
2020-09-27 01:59:12 +0200 <koz_> todaysTomorrow: Do you understand the purpose monad transformers serve in general?
2020-09-27 01:59:41 +0200 <xsperry> he asked this 2 minutes ago.. "would you like to teach me how to do IO in haskell with the IO monad?"
2020-09-27 01:59:45 +0200 <xsperry> so I would guess, no
2020-09-27 01:59:47 +0200 <todaysTomorrow> well that's actually a very complicated problem I suffer from brain damage and I may have used it in the past
2020-09-27 01:59:59 +0200 <koz_> xsperry: I prefer to be clear.
2020-09-27 02:00:01 +0200kaimi1(~kaimi@178.239.168.171) ()
2020-09-27 02:00:12 +0200 <javran> I actually haven't been in this channel for a while so my lambdabot knowledge is rotten.
2020-09-27 02:00:28 +0200 <xsperry> I can't imagine someone not knowing how to use IO monad but knowing the purpose of monad transformers
2020-09-27 02:00:36 +0200 <todaysTomorrow> xsperry like many people I have been using the IO monad without knowing
2020-09-27 02:00:51 +0200 <todaysTomorrow> xsperry for two reasons that doesn't apply to me
2020-09-27 02:01:32 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-27 02:01:32 +0200 <todaysTomorrow> I suffer from brain damage I may suddenly remember the IO monad and monad transformers and be able to teach you a thing or two ;-)
2020-09-27 02:03:33 +0200 <javran> well it's hard to come up with examples that can fit into a single line, let's see.. do you know Either?
2020-09-27 02:04:27 +0200 <todaysTomorrow> I remember from a few years ago using it. Let's all pretend I don't know anything about it
2020-09-27 02:05:13 +0200 <todaysTomorrow> how do I use hoogle?
2020-09-27 02:05:32 +0200ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2020-09-27 02:05:58 +0200 <javran> @let notPositive x = if x <= 0 then Right x else Left "not positive"
2020-09-27 02:06:00 +0200 <lambdabot> Defined.
2020-09-27 02:06:28 +0200 <javran> @let notNegative x = if x >= 0 then Right x else Left "not negative"
2020-09-27 02:06:29 +0200 <lambdabot> Defined.
2020-09-27 02:06:38 +0200 <javran> > notPositive 1
2020-09-27 02:06:41 +0200 <lambdabot> Left "not positive"
2020-09-27 02:06:47 +0200 <javran> > notPositive (-2)
2020-09-27 02:06:49 +0200 <lambdabot> Right (-2)
2020-09-27 02:06:56 +0200ChaiTRex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-09-27 02:07:03 +0200 <todaysTomorrow> Oh yes! I remember using this. I made a tree with either a long time ago
2020-09-27 02:07:20 +0200 <javran> just like that, it's Maybe but you can give a bit more information about what was wrong as Left
2020-09-27 02:07:24 +0200remexre(~nathan@207-153-38-50.fttp.usinternet.com)
2020-09-27 02:08:35 +0200 <todaysTomorrow> seems very useful for defining you're own data type
2020-09-27 02:08:42 +0200 <javran> now say you want to put those two computations together to stop at first error and report what was wrong, that's Except
2020-09-27 02:08:52 +0200 <todaysTomorrow> !
2020-09-27 02:08:56 +0200falafel_(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-27 02:09:15 +0200 <javran> :t liftEither
2020-09-27 02:09:16 +0200 <lambdabot> MonadError e m => Either e a -> m a
2020-09-27 02:10:20 +0200 <javran> @let onlyZero x = liftEither (notPositive x) >>= (liftEither . notNegative)
2020-09-27 02:10:22 +0200 <lambdabot> Defined.
2020-09-27 02:10:29 +0200 <javran> > onlyZero (-1)
2020-09-27 02:10:31 +0200 <lambdabot> error:
2020-09-27 02:10:31 +0200 <lambdabot> • Ambiguous type variable ‘m0’ arising from a use of ‘show_M877596031243...
2020-09-27 02:10:31 +0200 <lambdabot> prevents the constraint ‘(Show (m0 Integer))’ from being solved.
2020-09-27 02:10:45 +0200 <javran> > onlyZero (-1) :: Except String Int
2020-09-27 02:10:48 +0200 <lambdabot> ExceptT (Identity (Left "not negative"))
2020-09-27 02:10:56 +0200 <javran> > onlyZero 3 :: Except String Int
2020-09-27 02:10:58 +0200 <lambdabot> ExceptT (Identity (Left "not positive"))
2020-09-27 02:11:04 +0200 <todaysTomorrow> "is there a function directly from Maybe to Except? I know I can do it with maybeToEither and liftEither, it's too verbose to my liking."
2020-09-27 02:11:05 +0200 <javran> > onlyZero 0 :: Except String Int
2020-09-27 02:11:07 +0200 <lambdabot> ExceptT (Identity (Right 0))
2020-09-27 02:12:08 +0200 <javran> if you totally ignore ExceptT and Identity, it's simple.
2020-09-27 02:12:58 +0200 <javran> those are monad transformer machinery
2020-09-27 02:13:39 +0200 <todaysTomorrow> http://book.realworldhaskell.org/read/monad-transformers.html
2020-09-27 02:14:08 +0200adam_wespiser(~adam_wesp@209.6.42.110)
2020-09-27 02:16:05 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-09-27 02:17:09 +0200 <todaysTomorrow> Excuse me, it seems like we're abdononing a problem that needs to be solved
2020-09-27 02:17:49 +0200 <javran> like what
2020-09-27 02:19:24 +0200 <javran> if you meant my original question, I ended up just defining my own m2e function, it just bothers me a bit that there isn't an utility function for doing exactly that with fewer typing.
2020-09-27 02:20:19 +0200 <todaysTomorrow> Yes javran is your problem resolved?
2020-09-27 02:20:38 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 260 seconds)
2020-09-27 02:20:45 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2020-09-27 02:21:14 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-27 02:21:20 +0200 <javran> technically it's already solved, I'm only wondering if there is a better way
2020-09-27 02:21:52 +0200 <todaysTomorrow> How are you trying to influence the world?
2020-09-27 02:22:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 02:23:40 +0200 <javran> oh actually, I'm wondering if I can just coerce that
2020-09-27 02:24:38 +0200 <todaysTomorrow> I don't understand what you mean
2020-09-27 02:25:37 +0200 <javran> well.. coercion is kinda advanced topic i guess
2020-09-27 02:26:18 +0200 <todaysTomorrow> Want to know what I've been working on? javran?
2020-09-27 02:26:33 +0200 <int-e> . o O ( unsafeBlackmail )
2020-09-27 02:27:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-27 02:28:11 +0200javranwas just wondering, if ExceptT is just newtype Either, that should allow me to do some safe coercion as they are representationally identical
2020-09-27 02:30:34 +0200 <todaysTomorrow> I've been working on making a very specific form of programming using haskell elm seL4 emacs and coq to produce formally verified code
2020-09-27 02:31:45 +0200 <MarcelineVQ> ExceptT e m a is a newtype but not a newtype of Either, it's a newtype of m (Either e a)
2020-09-27 02:31:46 +0200 <todaysTomorrow> I'm more interested in writing a system for a team of programmers to use rather than actually creating an open source application
2020-09-27 02:33:43 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-27 02:33:47 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-131-140.cust.tzulo.com) (Ping timeout: 240 seconds)
2020-09-27 02:36:35 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-09-27 02:37:13 +0200 <javran> I did it, albeit it looks silly - at this point I'm just curious: e where
2020-09-27 02:37:13 +0200 <javran> 3
2020-09-27 02:37:19 +0200 <javran> https://gist.github.com/Javran/aef0895f58048e1234b883afc8623f32
2020-09-27 02:37:53 +0200 <javran> MarcelineVQ: yes. But if the base is Identity, I think that's still doable
2020-09-27 02:38:07 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-27 02:38:53 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-09-27 02:38:55 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-09-27 02:40:12 +0200flex14(~flex14@2601:280:c780:7ea0:d233:9ddf:c010:c113) (Remote host closed the connection)
2020-09-27 02:41:46 +0200bloodstalker(~bloodstal@46.166.187.178) (Ping timeout: 256 seconds)
2020-09-27 02:43:00 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-09-27 02:43:40 +0200bloodstalker(~bloodstal@46.166.187.178)
2020-09-27 02:50:37 +0200oxide(~lambda@unaffiliated/mclaren) (Ping timeout: 264 seconds)
2020-09-27 02:54:57 +0200haritz(~hrtz@unaffiliated/haritz)
2020-09-27 02:55:26 +0200mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection)
2020-09-27 02:55:56 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-27 02:58:06 +0200zbioe(b3bb5fea@179.187.95.234.dynamic.adsl.gvt.net.br) (Remote host closed the connection)
2020-09-27 02:58:35 +0200todaysTomorrow(324c22e1@50-76-34-225-ip-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2020-09-27 02:58:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 02:58:51 +0200affinespaces(sid327561@gateway/web/irccloud.com/x-kvltnsabbhcplluv) (Ping timeout: 258 seconds)
2020-09-27 02:59:02 +0200lexi-lambda(sid92601@gateway/web/irccloud.com/x-ogjhnupgzawfysnk) (Read error: Connection reset by peer)
2020-09-27 02:59:02 +0200PoliticsII____(sid193551@gateway/web/irccloud.com/x-kufaifprsfovqzzx) (Read error: Connection reset by peer)
2020-09-27 02:59:02 +0200Tritlo(sid58727@gateway/web/irccloud.com/x-woqhwqvwdbcgbmea) (Read error: Connection reset by peer)
2020-09-27 02:59:26 +0200PoliticsII____(sid193551@gateway/web/irccloud.com/x-mjvkfuacygrjfvtp)
2020-09-27 03:00:06 +0200affinespaces(sid327561@gateway/web/irccloud.com/x-uvkionscqpuxysza)
2020-09-27 03:00:27 +0200hackagemap-reduce-folds 0.1.0.5 - foldl wrappers for map-reduce https://hackage.haskell.org/package/map-reduce-folds-0.1.0.5 (adamCS)
2020-09-27 03:01:12 +0200lexi-lambda(sid92601@gateway/web/irccloud.com/x-gzrfkljqohobksef)
2020-09-27 03:01:21 +0200Tritlo(sid58727@gateway/web/irccloud.com/x-wvdtimilnbylevtp)
2020-09-27 03:01:25 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Ping timeout: 264 seconds)
2020-09-27 03:02:06 +0200dsturnbull(sid347899@gateway/web/irccloud.com/x-zvyjmsbgqpyqliaf) (Ping timeout: 256 seconds)
2020-09-27 03:05:30 +0200skewerr(~spoonm@gunma.spoonm.org)
2020-09-27 03:05:55 +0200dsturnbull(sid347899@gateway/web/irccloud.com/x-yqnrvyjyssesilet)
2020-09-27 03:06:03 +0200beaky_(~beaky@2a03:b0c0:0:1010::17cf:7003)
2020-09-27 03:06:05 +0200NextHendrix(NextHendri@finickitively.co.uk)
2020-09-27 03:06:08 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi) (Ping timeout: 258 seconds)
2020-09-27 03:06:09 +0200Xnuk-(~xnuk@45.76.202.58)
2020-09-27 03:06:44 +0200Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2020-09-27 03:07:12 +0200morbeus(vhamalai@gateway/shell/tkk.fi/x-hwupxkyflbqjppdl) (Ping timeout: 256 seconds)
2020-09-27 03:07:20 +0200PtxDK(~quassel@2a01:7c8:aac3:591:5054:ff:fe3d:cac6)
2020-09-27 03:11:43 +0200noexcept_(~noexcept@noexcept.org)
2020-09-27 03:11:53 +0200heredoc_(heredoc@2a01:7e01::f03c:91ff:fec1:de1d)
2020-09-27 03:11:53 +0200dequbed_(~dequbed@yanduxian.paranoidlabs.org)
2020-09-27 03:12:08 +0200fii(~Dykomii@kyoto.mii.moe)
2020-09-27 03:13:27 +0200itai33[m](itai33matr@gateway/shell/matrix.org/x-wnrutdelscmogfwp) (*.net *.split)
2020-09-27 03:13:27 +0200GuillaumeChrel[m(guillaumec@gateway/shell/matrix.org/x-kshkczvcmipqxvet) (*.net *.split)
2020-09-27 03:13:27 +0200unclechu(unclechuma@gateway/shell/matrix.org/x-lntdfkrgyhbmpftv) (*.net *.split)
2020-09-27 03:13:27 +0200psydruid(psydruidma@gateway/shell/matrix.org/x-yxbkfyedfgyqaksb) (*.net *.split)
2020-09-27 03:13:27 +0200PtxDK_(~quassel@2a01:7c8:aac3:591:5054:ff:fe3d:cac6) (*.net *.split)
2020-09-27 03:13:27 +0200Xnuk(~xnuk@vultr.xnu.kr) (*.net *.split)
2020-09-27 03:13:27 +0200dexterlb(~dexterlb@2a01:9e40:2:2::2) (*.net *.split)
2020-09-27 03:13:27 +0200pong(chiya@2406:3003:2077:2341::babe) (*.net *.split)
2020-09-27 03:13:27 +0200barrucadu(~barrucadu@fsf/member/barrucadu) (*.net *.split)
2020-09-27 03:13:27 +0200bcoppens_(~bartcopp@vpn2.bartcoppens.be) (*.net *.split)
2020-09-27 03:13:27 +0200Iroha(~Dykomii@kyoto.mii.moe) (*.net *.split)
2020-09-27 03:13:27 +0200heredoc(heredoc@2a01:7e01::f03c:91ff:fec1:de1d) (*.net *.split)
2020-09-27 03:13:27 +0200spoonm(~spoonm@gunma.spoonm.org) (*.net *.split)
2020-09-27 03:13:27 +0200beaky(~beaky@2a03:b0c0:0:1010::17cf:7003) (*.net *.split)
2020-09-27 03:13:27 +0200rom1504(rom1504@rom1504.fr) (*.net *.split)
2020-09-27 03:13:27 +0200dequbed(~dequbed@yanduxian.paranoidlabs.org) (*.net *.split)
2020-09-27 03:13:27 +0200noexcept(~noexcept@2a03:b0c0:3:d0::33:9001) (*.net *.split)
2020-09-27 03:13:27 +0200noteness(~noteness@unaffiliated/nessessary129) (*.net *.split)
2020-09-27 03:13:27 +0200martin02(silas@hund.fs.lmu.de) (*.net *.split)
2020-09-27 03:13:27 +0200opqdonut(opqdonut@pseudo.fixme.fi) (*.net *.split)
2020-09-27 03:13:27 +0200nh(NextHendri@unaffiliated/nexthendrix) (*.net *.split)
2020-09-27 03:13:27 +0200Velpoman(~Velpoman@159.65.76.124) (*.net *.split)
2020-09-27 03:13:27 +0200cow-orker(~foobar@pogostick.net) (*.net *.split)
2020-09-27 03:13:27 +0200dixie(~dixie@real.wilbury.sk) (*.net *.split)
2020-09-27 03:13:27 +0200bananagram(~bananagra@2604:180:0:af5::6c9a) (*.net *.split)
2020-09-27 03:13:27 +0200uwap(~uwap@genja.uwap.name) (*.net *.split)
2020-09-27 03:14:20 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 03:14:26 +0200zbioe(b3bb5fea@179.187.95.234.dynamic.adsl.gvt.net.br)
2020-09-27 03:14:38 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds)
2020-09-27 03:15:55 +0200psydruid(psydruidma@gateway/shell/matrix.org/x-txusvakrguymexoi)
2020-09-27 03:16:27 +0200hackageFrames-map-reduce 0.4.0.0 - Frames wrapper for map-reduce-folds and some extra folds helpers. https://hackage.haskell.org/package/Frames-map-reduce-0.4.0.0 (adamCS)
2020-09-27 03:17:24 +0200sand_dull(~theuser@185.217.69.182) (Ping timeout: 256 seconds)
2020-09-27 03:17:32 +0200morbeus(vhamalai@gateway/shell/tkk.fi/x-xcupkqlqeemccqxa)
2020-09-27 03:18:58 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-09-27 03:20:03 +0200rom1504(rom1504@rom1504.fr)
2020-09-27 03:21:11 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-131-92.cust.tzulo.com)
2020-09-27 03:21:38 +0200martin02(silas@hund.fs.lmu.de)
2020-09-27 03:23:53 +0200fluffypony1(~fluffypon@84.39.117.57)
2020-09-27 03:27:24 +0200kelsey(~kelsey@2600:6c64:7b7f:fa42:2cda:1ff8:55be:a617)
2020-09-27 03:27:47 +0200kelseyGuest98542
2020-09-27 03:27:52 +0200Guest98542(~kelsey@2600:6c64:7b7f:fa42:2cda:1ff8:55be:a617) (Client Quit)
2020-09-27 03:28:15 +0200kelsey1(~kelsey@2600:6c64:7b7f:fa42:2cda:1ff8:55be:a617)
2020-09-27 03:28:18 +0200Noldorin(~noldorin@unaffiliated/noldorin) (Quit: Textual IRC Client: www.textualapp.com)
2020-09-27 03:31:50 +0200kelsey1keteskyl
2020-09-27 03:33:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-27 03:35:22 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Read error: Connection reset by peer)
2020-09-27 03:35:47 +0200keteskyl(~kelsey@2600:6c64:7b7f:fa42:2cda:1ff8:55be:a617) (Quit: WeeChat 2.8)
2020-09-27 03:37:38 +0200xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2020-09-27 03:39:17 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-09-27 03:41:34 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2020-09-27 03:41:47 +0200falafel_(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-27 03:48:11 +0200Achylles(~Achylles@200-161-190-140.dsl.telesp.net.br)
2020-09-27 03:48:55 +0200remexre(~nathan@207-153-38-50.fttp.usinternet.com) (Quit: WeeChat 2.9)
2020-09-27 03:49:31 +0200falafel(~falafel@cpe-104-172-194-249.socal.res.rr.com)
2020-09-27 03:49:39 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-09-27 03:50:58 +0200hackagetasty-mgolden 0.0.2 - Golden testing provider for tasty with muti-line diff output https://hackage.haskell.org/package/tasty-mgolden-0.0.2 (mbj)
2020-09-27 03:51:27 +0200ryansmccoy(~ryansmcco@156.96.151.132) (Ping timeout: 240 seconds)
2020-09-27 03:52:36 +0200ryansmccoy(~ryansmcco@193.37.254.27)
2020-09-27 03:55:07 +0200acidjnk_new(~acidjnk@p200300d0c723788981cc0ce7da3b2720.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-27 03:55:26 +0200xff0x_(~fox@2001:1a81:5304:1100:600f:1d33:a4fd:a80e) (Ping timeout: 246 seconds)
2020-09-27 03:57:32 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-09-27 03:57:35 +0200xff0x_(~fox@2001:1a81:533e:8e00:b1b8:25fe:117c:c2a0)
2020-09-27 03:58:53 +0200xsperry(~as@cpe-188-129-91-153.dynamic.amis.hr)
2020-09-27 03:59:38 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 03:59:47 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-09-27 04:02:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 04:03:33 +0200p0a(~user@unaffiliated/p0a)
2020-09-27 04:03:44 +0200 <p0a> hello in [(i,j) | i<-[1..3], j<-[1..3], i < j], am I guaranteed the order in which the tuples are ordered in the resulting list?
2020-09-27 04:05:41 +0200 <ski> yes
2020-09-27 04:06:23 +0200 <ski> > [(i,j) | i <- [1 .. 3],j <- [1 .. 3],i < j]
2020-09-27 04:06:26 +0200 <lambdabot> [(1,2),(1,3),(2,3)]
2020-09-27 04:06:33 +0200 <ski> > [(i,j) | i <- [1 .. 3],j <- [1 .. j-1]]
2020-09-27 04:06:35 +0200 <lambdabot> *Exception: not an integer: j - 1
2020-09-27 04:06:45 +0200 <ski> ah, right
2020-09-27 04:06:55 +0200 <p0a> that's a typo
2020-09-27 04:06:57 +0200 <ski> > [(i,j) | i <- [1 .. 3],j <- [i+1 .. 3]]
2020-09-27 04:06:59 +0200 <lambdabot> [(1,2),(1,3),(2,3)]
2020-09-27 04:07:13 +0200 <p0a> I see your point
2020-09-27 04:07:15 +0200 <ski> > [(i,j) | i <- [1 .. j-1],j <- [1 .. 3]]
2020-09-27 04:07:17 +0200 <lambdabot> *Exception: not an integer: j - 1
2020-09-27 04:07:38 +0200 <ski> hmpf, that error comes from another `j' that is in scope
2020-09-27 04:07:45 +0200 <ski> > let j = () in [(i,j) | i <- [1 .. j-1],j <- [1 .. 3]]
2020-09-27 04:07:47 +0200 <lambdabot> error:
2020-09-27 04:07:47 +0200 <lambdabot> • Could not deduce (Num ()) arising from the literal ‘1’
2020-09-27 04:07:47 +0200 <lambdabot> from the context: (Num b, Enum b)
2020-09-27 04:07:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-27 04:07:59 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 04:08:20 +0200 <ski> anyway, the `j' from `j <- [1 .. 3]' is not in scope in `i <- [1 .. j-1]', so you can't use `j' there
2020-09-27 04:08:44 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 04:08:49 +0200 <p0a> yeah
2020-09-27 04:09:01 +0200 <ski> but the `i' from `i <- [1 .. 3]' is in scope in the `j <- [1 .. 3],i < j' part (and the initial `(i,j)') part, so you could replace that generator part by `j <- [i+1 .. 3]'
2020-09-27 04:09:52 +0200 <ski> and the order you get for `[(i,j) | i <- [1 .. 3],j <- [1 .. 3]]' is still the same order. `i' is the "outer loop", `j' is the "inner loop" (whose bounds are allowed to depend on the index `i' of the outer loop)
2020-09-27 04:10:45 +0200 <ski> or, if you think of this in terms of enumerating cells in a matrix, then `i' is row index, `j' is column index. and different rows are allowed to have different lengths
2020-09-27 04:11:00 +0200 <p0a> yeah, right
2020-09-27 04:11:25 +0200 <ski> > [[(i,j) | j <- [i+1 .. 3]] | i <- [1 .. 3]]
2020-09-27 04:11:27 +0200 <lambdabot> [[(1,2),(1,3)],[(2,3)],[]]
2020-09-27 04:11:33 +0200 <ski> > concat [[(i,j) | j <- [i+1 .. 3]] | i <- [1 .. 3]]
2020-09-27 04:11:35 +0200 <lambdabot> [(1,2),(1,3),(2,3)]
2020-09-27 04:11:54 +0200 <ski> @undo [(i,j) | i <- [1 .. 3],j <- [i+1 .. 3]]
2020-09-27 04:11:55 +0200 <lambdabot> concatMap (\ i -> concatMap (\ j -> [(i, j)]) [i + 1 .. 3]) [1 .. 3]
2020-09-27 04:11:59 +0200 <p0a> So that's an implementation I guess, eh
2020-09-27 04:12:03 +0200 <ski> @undo [(i,j) | i <- [1 .. 3],j <- [i .. 3],i < j]
2020-09-27 04:12:04 +0200 <lambdabot> concatMap (\ i -> concatMap (\ j -> if i < j then [(i, j)] else []) [i .. 3]) [1 .. 3]
2020-09-27 04:12:23 +0200 <p0a> okay makes sense
2020-09-27 04:13:25 +0200 <ski> the `[[(i,j) | j <- [i+1 .. 3]] | i <- [1 .. 3]]' shows what to do, if you wanted a list of lists (each being a row, in the above image), rather than a single list with all pairs in it (the result of `concat' on the list of lists)
2020-09-27 04:14:04 +0200remexre(~nathan@207-153-38-50.fttp.usinternet.com)
2020-09-27 04:14:36 +0200rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo)
2020-09-27 04:14:42 +0200 <p0a> sure
2020-09-27 04:15:02 +0200 <p0a> well that's not what I want, but I see how that is superior in the sense that concatMap gives you the other one
2020-09-27 04:15:22 +0200 <p0a> it's a forgetful functor!
2020-09-27 04:15:25 +0200p0aruns
2020-09-27 04:15:30 +0200 <ski> hm
2020-09-27 04:16:00 +0200 <ski> anyway, earlier generators in a list comprehension vary more slowly than later generators
2020-09-27 04:16:25 +0200 <p0a> right
2020-09-27 04:17:42 +0200 <p0a> thank you!
2020-09-27 04:18:01 +0200 <p0a> One more question, it seems that variable name clashes can happen often in Haskell right?
2020-09-27 04:18:01 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 04:18:13 +0200 <p0a> Unless everything is qualified, if an import changes in the future, it may clash
2020-09-27 04:18:26 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 04:18:55 +0200asan(~yan4138@124.78.5.33)
2020-09-27 04:19:19 +0200 <monochrom> You can use explicit imports "import M(a, b, c)" to limit it.
2020-09-27 04:20:13 +0200 <p0a> That's a good point, thank you
2020-09-27 04:20:24 +0200mu_(~mu@unaffiliated/mu) (Client Quit)
2020-09-27 04:21:29 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 04:21:59 +0200 <ski> p0a : if there's an ambiguity, it'll tell you, so you can qualify the name by the module name (or alias) that you imported the identifier from
2020-09-27 04:24:31 +0200 <ski> (if the ambiguity is between an imported identifier, and an identifier defined at top-level in the current module, then if you import the identifier qualified, then the plain (unqualified) identifier will refer to the one defined in the current module. and i suppose you don't even need to import qualified, if the identifier is locally bound)
2020-09-27 04:27:05 +0200lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (card.freenode.net (Nickname regained by services)))
2020-09-27 04:27:13 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-09-27 04:27:41 +0200wei2912(~wei2912@unaffiliated/wei2912)
2020-09-27 04:28:39 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 04:28:47 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2020-09-27 04:28:47 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Read error: Connection reset by peer)
2020-09-27 04:28:49 +0200mu__(~mu@unaffiliated/mu)
2020-09-27 04:29:51 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com)
2020-09-27 04:31:40 +0200holo1Faye
2020-09-27 04:32:43 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-09-27 04:34:12 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cc55:612b:5adc:f6f1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-27 04:34:20 +0200xerox_(~xerox@unaffiliated/xerox)
2020-09-27 04:35:15 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-27 04:37:45 +0200elliott_(~elliott@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2020-09-27 04:38:19 +0200elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-27 04:38:20 +0200mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 04:38:48 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 04:40:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 04:40:19 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-09-27 04:42:11 +0200_xor(~xor@74.215.46.133) (Ping timeout: 240 seconds)
2020-09-27 04:42:56 +0200elliott__(~elliott@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-27 04:44:07 +0200Achylles(~Achylles@200-161-190-140.dsl.telesp.net.br) (Ping timeout: 240 seconds)
2020-09-27 04:48:17 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 04:48:56 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 04:49:08 +0200 <p0a> For example I am trying to use `sum'
2020-09-27 04:49:24 +0200 <p0a> but it is defined in Numeric.Matrix. But that is a hidden module?
2020-09-27 04:49:57 +0200hackagemtsl 0.1.0.0 - Reified monad transformer stacks https://hackage.haskell.org/package/mtsl-0.1.0.0 (sgschlesinger)
2020-09-27 04:50:24 +0200 <p0a> How do I see where sum is also defined? I don't think I want either of the suggestions (one is Data.Complex and the other is GHC.Num)
2020-09-27 04:50:34 +0200 <p0a> and of course the one I mentioned
2020-09-27 04:51:07 +0200 <p0a> The line I have is `trace = sum . toList . takeDiag', which is supposed to give me the trace of a matrix
2020-09-27 04:52:21 +0200 <p0a> Huh, I guess the pointfree style was confusing GHC, (or rather, confusing me). I changed it and now it works fine
2020-09-27 04:52:25 +0200TooDifficult(~TooDiffic@106.206.110.145)
2020-09-27 04:52:46 +0200 <p0a> Not sure why `f x = g x' and `f = g' would be so different
2020-09-27 04:52:50 +0200ystael(~ystael@209.6.50.55) (Ping timeout: 256 seconds)
2020-09-27 04:53:44 +0200theDon(~td@muedsl-82-207-238-034.citykom.de) (Ping timeout: 256 seconds)
2020-09-27 04:54:11 +0200_xor(~xor@74.215.46.133)
2020-09-27 04:54:43 +0200zbioe(b3bb5fea@179.187.95.234.dynamic.adsl.gvt.net.br) (Remote host closed the connection)
2020-09-27 04:55:30 +0200theDon(~td@muedsl-82-207-238-220.citykom.de)
2020-09-27 04:56:09 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-27 04:57:38 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com)
2020-09-27 04:58:44 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 04:58:50 +0200mu__(~mu@unaffiliated/mu)
2020-09-27 04:59:53 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-27 05:00:01 +0200fluffypony1(~fluffypon@84.39.117.57) ()
2020-09-27 05:00:46 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2020-09-27 05:01:53 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2020-09-27 05:01:53 +0200Lord_of_Life_Lord_of_Life
2020-09-27 05:02:38 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 05:03:05 +0200darjeeling_(~darjeelin@122.245.123.72) (Ping timeout: 240 seconds)
2020-09-27 05:03:45 +0200ericsagnes(~ericsagne@2405:6580:0:5100:2d0f:9cfc:e69e:d83f) (Ping timeout: 272 seconds)
2020-09-27 05:07:25 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-09-27 05:08:18 +0200mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 05:08:48 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 05:12:59 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-27 05:14:35 +0200Xnuk-Xnuk
2020-09-27 05:15:20 +0200sand_dull(~theuser@185.217.69.182)
2020-09-27 05:15:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-27 05:16:05 +0200ericsagnes(~ericsagne@2405:6580:0:5100:50eb:31f:7734:396f)
2020-09-27 05:16:25 +0200darjeeling_(~darjeelin@122.245.121.113)
2020-09-27 05:16:25 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-27 05:17:02 +0200bloodstalker(~bloodstal@46.166.187.178) (Remote host closed the connection)
2020-09-27 05:17:18 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com)
2020-09-27 05:18:43 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 05:18:57 +0200mu__(~mu@unaffiliated/mu)
2020-09-27 05:21:54 +0200fimp(~fimp@193.56.252.210)
2020-09-27 05:23:52 +0200p0a(~user@unaffiliated/p0a) (Quit: bye)
2020-09-27 05:26:41 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-09-27 05:28:43 +0200mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 05:28:49 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 05:31:27 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-27 05:32:05 +0200shatriff(~vitaliish@176.52.219.10)
2020-09-27 05:32:27 +0200hackagemetro 0.1.0.3 - A simple tcp and udp socket server framework https://hackage.haskell.org/package/metro-0.1.0.3 (Lupino)
2020-09-27 05:32:55 +0200oisdk(~oisdk@2001:bb6:3329:d100:4c4c:f42f:20c9:6844) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-27 05:34:05 +0200oisdk(~oisdk@2001:bb6:3329:d100:4c4c:f42f:20c9:6844)
2020-09-27 05:34:06 +0200oisdk(~oisdk@2001:bb6:3329:d100:4c4c:f42f:20c9:6844) (Client Quit)
2020-09-27 05:34:51 +0200 <orzo> I'm debuging a space leak and -hy shows me BLACKHOLE is a big cost. I have no threads in this application. What does this mean?
2020-09-27 05:35:40 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cc55:612b:5adc:f6f1)
2020-09-27 05:35:58 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 05:38:35 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 05:38:49 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 05:41:47 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 240 seconds)
2020-09-27 05:43:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 05:43:49 +0200asan(~yan4138@124.78.5.33) (Remote host closed the connection)
2020-09-27 05:44:22 +0200 <hololeap> does it sound like p0a ran into the monomorphism restriction?
2020-09-27 05:44:37 +0200drbean(~drbean@TC210-63-209-185.static.apol.com.tw)
2020-09-27 05:47:10 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-09-27 05:48:19 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 05:48:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-27 05:48:48 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 05:53:43 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com) (Read error: Connection reset by peer)
2020-09-27 05:53:47 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-09-27 05:55:54 +0200alx741(~alx741@186.178.110.72) (Quit: alx741)
2020-09-27 05:56:14 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-09-27 05:57:20 +0200evanjs(~evanjs@075-129-188-019.res.spectrum.com)
2020-09-27 05:58:44 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 05:58:49 +0200mu__(~mu@unaffiliated/mu)
2020-09-27 06:00:03 +0200Henson(~kvirc@24-246-25-37.cable.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2020-09-27 06:04:14 +0200Rudd0(~Rudd0@185.189.115.108)
2020-09-27 06:05:17 +0200day_(~Unknown@unaffiliated/day)
2020-09-27 06:06:39 +0200BalterNotz(ca420871@202.66.8.113)
2020-09-27 06:07:03 +0200 <BalterNotz> hi
2020-09-27 06:07:13 +0200ryansmccoy(~ryansmcco@193.37.254.27) (Ping timeout: 260 seconds)
2020-09-27 06:07:29 +0200ryansmccoy(~ryansmcco@193.37.254.27)
2020-09-27 06:08:26 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 246 seconds)
2020-09-27 06:08:26 +0200day_day
2020-09-27 06:08:27 +0200mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 06:08:48 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 06:09:34 +0200 <justsomeguy> I have a stupid theoretical question: Are data types (such as sum types and their related functions) finite state machines? (I got the idea from here... http://raganwald.com/2018/02/23/forde.html)
2020-09-27 06:10:13 +0200xerox_(~xerox@unaffiliated/xerox)
2020-09-27 06:10:41 +0200 <justsomeguy> (For context, I'm new to strongly typed programming; Currently reading haskellbook; and entertaining myself tonight by pondering what a type is exactly and drinking beer.)
2020-09-27 06:12:30 +0200 <justsomeguy> What would you say a type is?
2020-09-27 06:13:12 +0200 <fraktor> What is a type? A miserable little pile of data.
2020-09-27 06:13:30 +0200pong(chiya@2406:3003:2077:2341::babe)
2020-09-27 06:13:58 +0200hackageerrata 0.2.0.0 - Source code error pretty printing https://hackage.haskell.org/package/errata-0.2.0.0 (comp)
2020-09-27 06:14:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 06:14:28 +0200 <fraktor> I don't quite understand how a type is a finite state machine. It certainly has "finite states" (although the types associated with those states can be infinite, as in a String), but there aren't really transitions.
2020-09-27 06:15:22 +0200 <fraktor> I see now that you included "related functions" in your definition, and I would say in FP-land, those aren't really "part" of the type. The particular pairing of data and behavior like that is more OO IMO.
2020-09-27 06:15:52 +0200 <justsomeguy> I guess that in my view functions that act on a data type are part of the type. In that case, the functions describe permissible state transitions.
2020-09-27 06:16:17 +0200 <justsomeguy> ...but only conceptually.
2020-09-27 06:18:14 +0200Saukk(~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4)
2020-09-27 06:18:17 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 06:18:36 +0200 <justsomeguy> Which is pretty much what you just said, but I'd pressed enter just as your comment appeared. Otherwise I'd have left that unsaid.
2020-09-27 06:18:54 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 06:19:13 +0200justsomeguyis a kind of a slow typist
2020-09-27 06:19:53 +0200shad0w_(~shad0w_@160.202.37.29)
2020-09-27 06:21:28 +0200falafel(~falafel@cpe-104-172-194-249.socal.res.rr.com) (Remote host closed the connection)
2020-09-27 06:21:32 +0200 <fraktor> Nah you're good :)
2020-09-27 06:22:05 +0200 <fraktor> I would say that using types and associated functions to build state machines is perfectly correct, but those functions are not part of the type.
2020-09-27 06:22:25 +0200 <justsomeguy> That sounds reasonable.
2020-09-27 06:22:26 +0200furnost(~guy-laure@62-210-71-182.rev.poneytelecom.eu) (Read error: Connection reset by peer)
2020-09-27 06:22:31 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-27 06:22:32 +0200 <dsal> A type is more like a set of possible values. A sum type adds to of those sets together. A product type multiplies them together. Probably something about burritos as well.
2020-09-27 06:22:36 +0200 <dolio> How is `data Peano = Zero | Suc Peano` a finite state machine?
2020-09-27 06:23:17 +0200 <dsal> s/to of// -- not sure what happened there.
2020-09-27 06:23:23 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 240 seconds)
2020-09-27 06:25:45 +0200 <justsomeguy> I suppose that would be an infinite type!
2020-09-27 06:25:57 +0200 <dolio> It has infinite things in it, yeah.
2020-09-27 06:26:20 +0200 <justsomeguy> I haven't yet figured out how to calculate the carnality of types, yet.
2020-09-27 06:26:46 +0200 <justsomeguy> :g/ yet /d
2020-09-27 06:26:55 +0200 <dolio> Infinitely many, even. Even in languages where the values themselves aren't infinite.
2020-09-27 06:27:55 +0200 <solonarv> it is actually fairly simple
2020-09-27 06:28:25 +0200 <solonarv> '|' becomes '+', constructors with multiple fields become products
2020-09-27 06:28:25 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 06:28:57 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 06:29:05 +0200 <solonarv> e.g. 'data Foo = X Int Bool | Y Word8' becomes 'Foo = Int * Bool + Word8'
2020-09-27 06:29:26 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 246 seconds)
2020-09-27 06:29:40 +0200 <solonarv> substituting in the numbers for those: 'Foo = 2^64 * 2 + 2^8', and the rest is arithmetic
2020-09-27 06:29:51 +0200ystael(~ystael@209.6.50.55)
2020-09-27 06:30:00 +0200 <dsal> justsomeguy: Well, you can calculate cardinality of types at some point, but a product type of two lists is ∞*∞ whereas a sum type of two lists is just ∞+∞
2020-09-27 06:30:15 +0200 <justsomeguy> If you have a type like “Peano = Zero | Suc Peano”, is the carnality (1 * infinity) + 1?
2020-09-27 06:30:36 +0200 <dolio> Infinite cardinalities get kind of ill behaved in constructive settings, though.
2020-09-27 06:31:37 +0200 <dsal> Yeah. A more practical way to think of it is, e.g. what `Maybe t` does to `t`. It increases the cardinality by 1. Whereas you had all of the values of `t` before, now you have the same values + `Nothing`
2020-09-27 06:33:28 +0200 <dsal> `Either a b` can contain any value of type `b` or any value of type `a`, so the total number of values it can contain is the sum of the cardinality of those two.
2020-09-27 06:34:04 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-09-27 06:34:06 +0200 <dsal> A product type `t` like `t a b` can contain a value of `b` for every value of `a`
2020-09-27 06:34:58 +0200ystael(~ystael@209.6.50.55) (Ping timeout: 260 seconds)
2020-09-27 06:37:13 +0200 <justsomeguy> Oh man, this beer is so good. Blueberry maple stout -- it's like I'm drinking a blueberry pancake.
2020-09-27 06:37:39 +0200 <justsomeguy> Agh, that sounds awful, lol.
2020-09-27 06:37:40 +0200sand_dull(~theuser@185.217.69.182) (Quit: Lost terminal)
2020-09-27 06:38:17 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 06:38:49 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 06:45:45 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-09-27 06:47:35 +0200elliott__(~elliott@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2020-09-27 06:48:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-09-27 06:48:29 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 06:48:49 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 06:54:52 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 06:58:27 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 06:58:48 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 06:59:46 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 272 seconds)
2020-09-27 07:02:07 +0200ryansmccoy(~ryansmcco@193.37.254.27) (Ping timeout: 240 seconds)
2020-09-27 07:02:50 +0200ryansmccoy(~ryansmcco@193.37.254.27)
2020-09-27 07:07:24 +0200ryansmccoy(~ryansmcco@193.37.254.27) (Ping timeout: 265 seconds)
2020-09-27 07:07:45 +0200ryansmccoy(~ryansmcco@193.37.254.27)
2020-09-27 07:08:44 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 07:08:50 +0200mu__(~mu@unaffiliated/mu)
2020-09-27 07:11:43 +0200fraktor(~walt@129.93.191.18) (Ping timeout: 260 seconds)
2020-09-27 07:11:45 +0200 <koz_> Something something I wrote a whole library for calculating the cardinality of finitary types.
2020-09-27 07:13:41 +0200fraktor(~walt@193.32.127.214)
2020-09-27 07:13:41 +0200 <solonarv> justsomeguy: for a recursive type, you end up with an equation like Peano = 1 + Peano; solve it and the solution is indeed Peano = ∞
2020-09-27 07:14:08 +0200_vaibhavingale_(~Adium@203.188.228.27) (Read error: Connection reset by peer)
2020-09-27 07:14:24 +0200 <justsomeguy> Interesting!
2020-09-27 07:14:29 +0200 <koz_> solonarv: Yay for the weird and wonderful world of infinity, where ordinars and cardinals no longer line up.
2020-09-27 07:14:50 +0200fraktor(~walt@193.32.127.214) (Client Quit)
2020-09-27 07:16:18 +0200 <justsomeguy> (One question I've had is: If you have a set of 0..-Inf and a set of 1..+inf, is the superset of both of them larger than either of the member sets?)
2020-09-27 07:16:29 +0200 <koz_> justsomeguy: What do you mean by 'larger'?
2020-09-27 07:16:40 +0200_vaibhavingale_(~Adium@203.188.228.27)
2020-09-27 07:16:48 +0200 <justsomeguy> ...huh, I don't know. I guess the cardinality of the set.
2020-09-27 07:17:01 +0200 <solonarv> in that case they are the same size, because there is a bijection between them
2020-09-27 07:17:12 +0200 <koz_> Yep, that's exactly right.
2020-09-27 07:17:30 +0200 <koz_> The only notion of 'size' sets admit is bijection.
2020-09-27 07:17:55 +0200 <justsomeguy> Is a bijection a one-to-one correspondence?
2020-09-27 07:17:56 +0200 <koz_> So therefore, a set which can be bijected with N (i.e. the natural numbers) has the same cardinality as any other such set.
2020-09-27 07:17:59 +0200 <koz_> justsomeguy: Yep.
2020-09-27 07:17:59 +0200 <solonarv> yes
2020-09-27 07:18:08 +0200 <koz_> More precisely, a function that is both one-to-one and onto.
2020-09-27 07:18:18 +0200 <koz_> (or 'injective and surjective' if you prefer)
2020-09-27 07:18:18 +0200mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 07:18:20 +0200 <solonarv> if the sets have additional structure (such as an ordering) then you can talk about more fine-grained size distinctions
2020-09-27 07:18:30 +0200 <solonarv> this is the difference between cardinals and ordinals, sort of
2020-09-27 07:18:36 +0200 <koz_> solonarv: Technically _all_ sets have an ordering.
2020-09-27 07:18:42 +0200 <koz_> (thanks, well-ordering theorem!)
2020-09-27 07:18:49 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 07:19:03 +0200 <solonarv> right but you have to pick one and that affects which other ordered sets they're the same size as
2020-09-27 07:19:21 +0200 <koz_> Yeah, then sure. That's where ordinals come in.
2020-09-27 07:19:40 +0200 <koz_> Because while omega + 1 and omega + 2 have the same cardinality, they're different ordinals.
2020-09-27 07:19:44 +0200 <koz_> Because infinity is weird.
2020-09-27 07:20:44 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 07:21:27 +0200xerox_(~xerox@unaffiliated/xerox)
2020-09-27 07:21:31 +0200 <koz_> (I also love that technically, due to AC, all sets are well-ordered, but the ordering is not specified)
2020-09-27 07:21:40 +0200 <koz_> (since we can only assert that it exists, not what it is)
2020-09-27 07:21:47 +0200 <koz_> (thanks, non-constructive axioms...)
2020-09-27 07:23:05 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-09-27 07:24:11 +0200howdoi(uid224@gateway/web/irccloud.com/x-lsrmpslujgdujhwj)
2020-09-27 07:26:11 +0200 <dolio> Ordering isn't size, though.
2020-09-27 07:26:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-27 07:27:06 +0200danso(~dan@107-190-41-58.cpe.teksavvy.com) (Quit: WeeChat 2.9)
2020-09-27 07:27:37 +0200 <dolio> Like, when you consider the additional structure, it isn't affecting the size.
2020-09-27 07:28:41 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 07:28:50 +0200mu__(~mu@unaffiliated/mu)
2020-09-27 07:30:19 +0200 <petersen> dminuoso: right but somehow it is giving me a CPP error
2020-09-27 07:34:20 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-09-27 07:34:26 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-09-27 07:36:14 +0200 <nshepperd> solonarv: what's an example of a notion of size that depends on ordering?
2020-09-27 07:36:45 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-ilwvjocsxxlvfkle) ()
2020-09-27 07:36:59 +0200 <solonarv> "which ordinal is this this order-isomorphic to?"
2020-09-27 07:36:59 +0200eager_lambda(~gdrvnl@cpe-76-94-36-134.socal.res.rr.com) (Ping timeout: 246 seconds)
2020-09-27 07:37:39 +0200 <solonarv> the ordinals are ordered (obviously), so this gives you a notion of size that is more fine-grained than cardinality
2020-09-27 07:37:40 +0200 <nshepperd> is that like defining 'same size' = 'there exists a order preserving bijection'?
2020-09-27 07:37:48 +0200 <solonarv> hm, yes, I think so
2020-09-27 07:38:27 +0200mu__(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 07:38:48 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 07:39:17 +0200 <nshepperd> interesting
2020-09-27 07:39:43 +0200 <solonarv> this is "finer-grained" in that if two ordered sets are the same size by this definition, then they are also the same size if you forget the ordering and look for any bijection
2020-09-27 07:41:17 +0200 <nshepperd> so like the rational numbers are bigger than the natural numbers in that sense, because any two rational numbers has one between them
2020-09-27 07:41:37 +0200 <nshepperd> the rational numebrs with the standard ordering that is
2020-09-27 07:41:46 +0200 <dolio> The usual ordering on the rationals isn't a well-order.
2020-09-27 07:42:17 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 07:42:30 +0200 <nshepperd> does it have to be a well order
2020-09-27 07:42:42 +0200 <dolio> If you want it to be an ordinal.
2020-09-27 07:44:03 +0200 <dolio> I mean, I don't think the ordinal ordering is usually considered to be "size" either. That is reserved for cardinality.
2020-09-27 07:46:58 +0200hackageunboxing-vector 0.2.0.0 - A newtype-friendly variant of unboxed vectors https://hackage.haskell.org/package/unboxing-vector-0.2.0.0 (aratamizuki)
2020-09-27 07:48:32 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 07:48:49 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 07:49:18 +0200 <dolio> Anyhow, using the naturals or the rationals doesn't really change the ordinals you can can define, which is the point of cardinality, I guess.
2020-09-27 07:49:47 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-09-27 07:49:47 +0200 <dolio> You can put the same well-orders on either one.
2020-09-27 07:51:42 +0200Saten-san(~Saten-san@ip-62-235-12-222.dsl.scarlet.be)
2020-09-27 07:52:07 +0200Jeanne-Kamikaze(~Jeanne-Ka@static-198-54-131-92.cust.tzulo.com) (Quit: Leaving)
2020-09-27 07:52:23 +0200cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 246 seconds)
2020-09-27 07:57:26 +0200berberman(~berberman@123.118.109.217) (Quit: ZNC 1.7.5 - https://znc.in)
2020-09-27 07:58:20 +0200utopic_int0x80(~lucid_0x8@188.253.232.227)
2020-09-27 07:58:20 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 07:58:48 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 07:59:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 08:00:02 +0200fimp(~fimp@193.56.252.210) ()
2020-09-27 08:00:11 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 08:00:39 +0200utopic_int0x80(~lucid_0x8@188.253.232.227) (Client Quit)
2020-09-27 08:00:44 +0200 <nshepperd> https://en.wikipedia.org/wiki/Order_type seems to be the thing
2020-09-27 08:00:57 +0200lucid_0x80(~lucid_0x8@188.253.232.227)
2020-09-27 08:02:27 +0200mu_(~mu@unaffiliated/mu) (Client Quit)
2020-09-27 08:03:07 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-27 08:03:11 +0200dead10cc(63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207)
2020-09-27 08:04:22 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 246 seconds)
2020-09-27 08:05:49 +0200cyphase(~cyphase@unaffiliated/cyphase)
2020-09-27 08:07:58 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-09-27 08:11:32 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-27 08:12:21 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving)
2020-09-27 08:12:40 +0200mmohammadi9812(~mmohammad@188.210.108.97)
2020-09-27 08:15:15 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-27 08:16:27 +0200mmohammadi98129(~mmohammad@5.116.3.183)
2020-09-27 08:17:23 +0200Saukk(~Saukk@2001:998:dc:4a67:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-09-27 08:17:57 +0200mmohammadi9812(~mmohammad@188.210.108.97) (Ping timeout: 256 seconds)
2020-09-27 08:17:58 +0200mmohammadi98129mmohammadi9812
2020-09-27 08:18:19 +0200abhixec(~abhixec@c-67-169-141-95.hsd1.ca.comcast.net) (Quit: leaving)
2020-09-27 08:25:12 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 08:26:36 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-27 08:26:55 +0200dead10cc(63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) (Quit: Connection closed)
2020-09-27 08:27:16 +0200kenran(~maier@mue-88-130-62-200.dsl.tropolys.de)
2020-09-27 08:29:19 +0200sphalerite(~sphalerit@NixOS/user/lheckemann) (Quit: WeeChat 2.6)
2020-09-27 08:29:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 08:31:00 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-09-27 08:32:05 +0200shailangsa(~shailangs@host86-186-191-89.range86-186.btcentralplus.com) (Ping timeout: 240 seconds)
2020-09-27 08:32:24 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2020-09-27 08:34:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-09-27 08:34:39 +0200mmohammadi9812(~mmohammad@5.116.3.183) (Ping timeout: 258 seconds)
2020-09-27 08:34:48 +0200andyo(~andyo@63.228.117.102) (Quit: ZNC 1.7.2 - https://znc.in)
2020-09-27 08:35:12 +0200sphalerite(~sphalerit@NixOS/user/lheckemann)
2020-09-27 08:35:44 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 08:36:39 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-27 08:38:04 +0200Saten-san(~Saten-san@ip-62-235-12-222.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-09-27 08:39:38 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) ()
2020-09-27 08:40:05 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 08:40:47 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-27 08:42:04 +0200shafox(~shafox@106.51.234.111)
2020-09-27 08:43:31 +0200andyo(~andyo@63.228.117.102)
2020-09-27 08:43:52 +0200kenran(~maier@mue-88-130-62-200.dsl.tropolys.de) (Ping timeout: 256 seconds)
2020-09-27 08:44:13 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 08:45:56 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 08:45:57 +0200beaky_beaky
2020-09-27 08:49:20 +0200tzh(~tzh@2601:448:c500:5300::82b3) (Quit: zzz)
2020-09-27 08:50:09 +0200_xor(~xor@74.215.46.133) (Read error: Connection reset by peer)
2020-09-27 08:50:21 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-27 08:50:55 +0200_xor(~xor@74.215.46.133)
2020-09-27 08:56:06 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 08:57:31 +0200vicfred(~vicfred@unaffiliated/vicfred) (Remote host closed the connection)
2020-09-27 08:57:56 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-09-27 08:59:03 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-27 08:59:07 +0200ericsagnes(~ericsagne@2405:6580:0:5100:50eb:31f:7734:396f) (Ping timeout: 240 seconds)
2020-09-27 09:00:49 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-27 09:01:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 09:04:01 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-09-27 09:04:03 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-09-27 09:04:05 +0200hazard-pointer(sid331723@gateway/web/irccloud.com/x-uyiwpjjxikwikqxq) (Ping timeout: 240 seconds)
2020-09-27 09:04:11 +0200kozowu(uid44796@gateway/web/irccloud.com/x-hudcnsdmybxuceok) (Ping timeout: 240 seconds)
2020-09-27 09:04:33 +0200alehander92(sid331460@gateway/web/irccloud.com/x-idkdgfbsseuoqnwz) (Ping timeout: 258 seconds)
2020-09-27 09:04:35 +0200jackdk(sid373013@gateway/web/irccloud.com/x-gslbfnrpxcdhxppp) (Read error: Connection reset by peer)
2020-09-27 09:04:53 +0200J_Arcane(sid119274@gateway/web/irccloud.com/x-yztzwpsxstctldzt) (Read error: Connection reset by peer)
2020-09-27 09:05:00 +0200glowcoil(sid3405@gateway/web/irccloud.com/x-vxenmydbtxdrjhcw) (Read error: Connection reset by peer)
2020-09-27 09:05:06 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-09-27 09:05:14 +0200kozowu(uid44796@gateway/web/irccloud.com/x-hqvlesuvhveaoukp)
2020-09-27 09:05:20 +0200hazard-pointer(sid331723@gateway/web/irccloud.com/x-emxsbfbbibuuxpjg)
2020-09-27 09:05:23 +0200jackdk(sid373013@gateway/web/irccloud.com/x-jvxjcrsfdwntomgo)
2020-09-27 09:05:26 +0200J_Arcane(sid119274@gateway/web/irccloud.com/x-pttjdeuurfecvkvw)
2020-09-27 09:05:47 +0200alehander92(sid331460@gateway/web/irccloud.com/x-ozzrcywtgynyigrd)
2020-09-27 09:06:06 +0200glowcoil(sid3405@gateway/web/irccloud.com/x-aducpsaplmgukare)
2020-09-27 09:06:06 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 09:06:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-27 09:10:41 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-09-27 09:11:01 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds)
2020-09-27 09:12:20 +0200ericsagnes(~ericsagne@2405:6580:0:5100:6097:6a50:1fce:f222)
2020-09-27 09:12:26 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-09-27 09:14:16 +0200poljar(~poljar@93-139-70-179.adsl.net.t-com.hr) (Remote host closed the connection)
2020-09-27 09:15:28 +0200poljar(~poljar@93-139-70-179.adsl.net.t-com.hr)
2020-09-27 09:16:13 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 09:17:25 +0200TooDifficult(~TooDiffic@106.206.110.145) (Quit: TooDifficult)
2020-09-27 09:17:43 +0200TooDifficult(~TooDiffic@106.206.110.145)
2020-09-27 09:17:56 +0200TooDifficult(~TooDiffic@106.206.110.145) (Remote host closed the connection)
2020-09-27 09:18:11 +0200TooDifficult(~TooDiffic@106.206.110.145)
2020-09-27 09:20:39 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-27 09:22:10 +0200prae(~prae@178.162.209.171)
2020-09-27 09:22:34 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-27 09:22:58 +0200mmohammadi98129(~mmohammad@188.210.108.97)
2020-09-27 09:26:27 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 240 seconds)
2020-09-27 09:26:30 +0200mounty(~mounty@mail.nextgenerationvoice.com.au) (Ping timeout: 260 seconds)
2020-09-27 09:27:05 +0200mounty(~mounty@n49-198-160-249.mrk1.qld.optusnet.com.au)
2020-09-27 09:32:41 +0200mmohammadi98129(~mmohammad@188.210.108.97) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-27 09:35:31 +0200carladam(~carladam@94.191.138.174.mobile.tre.se)
2020-09-27 09:36:33 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 09:37:43 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-ljepinlfusvtsirz) (Quit: Connection closed for inactivity)
2020-09-27 09:38:36 +0200howdoi(uid224@gateway/web/irccloud.com/x-lsrmpslujgdujhwj) (Quit: Connection closed for inactivity)
2020-09-27 09:38:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 09:40:03 +0200_vaibhavingale_(~Adium@203.188.228.27) (Quit: Leaving.)
2020-09-27 09:41:16 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 09:46:59 +0200polyrain(~polyrain@2001:8003:e501:6901:1082:cead:a610:ec28)
2020-09-27 09:47:08 +0200carladam(~carladam@94.191.138.174.mobile.tre.se) ()
2020-09-27 09:49:00 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 09:49:39 +0200mmohammadi98129(~mmohammad@188.210.108.97)
2020-09-27 09:51:37 +0200bitmagie(~Thunderbi@200116b806f7d3007d184b2b0727248d.dip.versatel-1u1.de)
2020-09-27 09:52:34 +0200Tops21(~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de)
2020-09-27 09:52:46 +0200nbloomf(~nbloomf@2600:1700:83e0:1f40:cc55:612b:5adc:f6f1) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-27 09:54:20 +0200carladam(~carladam@94.191.138.174.mobile.tre.se)
2020-09-27 09:55:54 +0200Tops2(~Tobias@dyndsl-095-033-089-216.ewe-ip-backbone.de) (Ping timeout: 260 seconds)
2020-09-27 09:56:27 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 09:56:35 +0200carladam(~carladam@94.191.138.174.mobile.tre.se) (Quit: Leaving.)
2020-09-27 09:57:40 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-27 09:58:09 +0200Quarl(~quarl@94.191.138.174.mobile.tre.se)
2020-09-27 09:59:07 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-09-27 09:59:33 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 10:00:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 10:01:13 +0200Quarl(~quarl@94.191.138.174.mobile.tre.se) (Client Quit)
2020-09-27 10:01:25 +0200Quarl(~Quarl@94.191.138.174.mobile.tre.se)
2020-09-27 10:04:18 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-09-27 10:04:22 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds)
2020-09-27 10:04:57 +0200hackagearch-hs 0.1.1.0 - A program generating PKGBUILD for hackage packages https://hackage.haskell.org/package/arch-hs-0.1.1.0 (berberman)
2020-09-27 10:06:59 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 10:07:45 +0200fluturel(~fluturel@82.137.14.51)
2020-09-27 10:09:31 +0200chloe_2(75c9e152@117.201.225.82)
2020-09-27 10:11:38 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-27 10:12:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-27 10:15:14 +0200Turmfalke(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-09-27 10:15:25 +0200TooDifficult(~TooDiffic@106.206.110.145) (Quit: TooDifficult)
2020-09-27 10:15:41 +0200TooDifficult(~TooDiffic@106.206.110.145)
2020-09-27 10:16:03 +0200fluturel_(~fluturel@82.137.14.51)
2020-09-27 10:17:06 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 10:18:37 +0200ubert(~Thunderbi@178.115.131.219.wireless.dyn.drei.com)
2020-09-27 10:21:53 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 10:25:07 +0200ubert(~Thunderbi@178.115.131.219.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-09-27 10:25:11 +0200mmohammadi98129(~mmohammad@188.210.108.97) (Quit: Ping timeout (120 seconds))
2020-09-27 10:25:52 +0200mmohammadi98129(~mmohammad@188.210.108.97)
2020-09-27 10:26:06 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2020-09-27 10:26:28 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2020-09-27 10:30:11 +0200fendor(~fendor@91.141.0.143.wireless.dyn.drei.com)
2020-09-27 10:30:48 +0200fluturel(~fluturel@82.137.14.51) (Ping timeout: 258 seconds)
2020-09-27 10:31:07 +0200drbean(~drbean@TC210-63-209-185.static.apol.com.tw) (Ping timeout: 240 seconds)
2020-09-27 10:31:18 +0200fluturel_(~fluturel@82.137.14.51) (Ping timeout: 272 seconds)
2020-09-27 10:34:06 +0200chaosmasttter(~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de)
2020-09-27 10:35:02 +0200ubert(~Thunderbi@91.141.3.25.wireless.dyn.drei.com)
2020-09-27 10:35:26 +0200itai33[m](itai33matr@gateway/shell/matrix.org/x-wnrutdelscmogfwp)
2020-09-27 10:35:26 +0200GuillaumeChrel[m(guillaumec@gateway/shell/matrix.org/x-kshkczvcmipqxvet)
2020-09-27 10:35:26 +0200unclechu(unclechuma@gateway/shell/matrix.org/x-lntdfkrgyhbmpftv)
2020-09-27 10:35:26 +0200dexterlb(~dexterlb@2a01:9e40:2:2::2)
2020-09-27 10:35:26 +0200barrucadu(~barrucadu@fsf/member/barrucadu)
2020-09-27 10:35:26 +0200bcoppens_(~bartcopp@vpn2.bartcoppens.be)
2020-09-27 10:35:26 +0200noteness(~noteness@unaffiliated/nessessary129)
2020-09-27 10:35:26 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2020-09-27 10:35:26 +0200Velpoman(~Velpoman@159.65.76.124)
2020-09-27 10:35:26 +0200cow-orker(~foobar@pogostick.net)
2020-09-27 10:35:26 +0200dixie(~dixie@real.wilbury.sk)
2020-09-27 10:35:26 +0200uwap(~uwap@genja.uwap.name)
2020-09-27 10:37:20 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 10:40:27 +0200ubert(~Thunderbi@91.141.3.25.wireless.dyn.drei.com) (Ping timeout: 240 seconds)
2020-09-27 10:41:53 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-27 10:43:07 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-09-27 10:43:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 10:44:51 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-27 10:46:08 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-27 10:47:09 +0200chloe_2(75c9e152@117.201.225.82) (Ping timeout: 245 seconds)
2020-09-27 10:47:29 +0200heatsink(~heatsink@107.136.5.69)
2020-09-27 10:48:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-27 10:48:38 +0200Saten-san(~Saten-san@ip-62-235-12-222.dsl.scarlet.be)
2020-09-27 10:51:27 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 272 seconds)
2020-09-27 10:52:13 +0200heatsink(~heatsink@107.136.5.69) (Ping timeout: 260 seconds)
2020-09-27 10:56:43 +0200NextHendrixnh
2020-09-27 10:56:59 +0200nh(NextHendri@finickitively.co.uk) (Changing host)
2020-09-27 10:56:59 +0200nh(NextHendri@unaffiliated/nexthendrix)
2020-09-27 10:57:35 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 10:57:49 +0200solonarv(~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr) (Ping timeout: 264 seconds)
2020-09-27 10:58:26 +0200shad0w_(~shad0w_@160.202.37.29) (Ping timeout: 260 seconds)
2020-09-27 10:59:48 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-09-27 11:00:01 +0200prae(~prae@178.162.209.171) ()
2020-09-27 11:01:19 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-27 11:02:05 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-lzobmyeruzzsqioe) (Quit: Connection closed for inactivity)
2020-09-27 11:02:20 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 11:06:24 +0200dhil(~dhil@11.29.39.217.dyn.plus.net)
2020-09-27 11:07:53 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 11:10:35 +0200mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-09-27 11:11:47 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 240 seconds)
2020-09-27 11:11:58 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-09-27 11:16:04 +0200Enrico63(5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net)
2020-09-27 11:16:39 +0200 <Enrico63> Hello
2020-09-27 11:17:51 +0200rprije(~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) (Quit: Leaving)
2020-09-27 11:18:02 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 11:18:21 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-09-27 11:18:40 +0200 <Enrico63> I'm installing [haskell-ide-engine](https://aur.archlinux.org/packages/haskell-ide-engine), but too late I read the comment "If you are suffering from long build times: Consider adjusting the _enabled_ghc_versions variable in the PKGBUILD to only the ghc versions you need", so the build process has been running for more than 1 hour now, and I do
2020-09-27 11:18:40 +0200 <Enrico63> have seen outputs like [this](https://gist.github.com/Aster89/70b2e5570eb8447c15db04e2dd62dff9) several times
2020-09-27 11:20:17 +0200 <Enrico63> I could kill it or leave it go, but how do I unistall whatever has been uninstalled in excess?
2020-09-27 11:20:30 +0200 <Enrico63> Or you think I should ask on the archlinux channel?
2020-09-27 11:22:36 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 11:24:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 11:24:34 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 260 seconds)
2020-09-27 11:27:26 +0200rprije(~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au)
2020-09-27 11:28:18 +0200sw1nn(~sw1nn@host86-157-211-183.range86-157.btcentralplus.com) (Ping timeout: 258 seconds)
2020-09-27 11:30:01 +0200 <aldum> did you finish the build?
2020-09-27 11:30:37 +0200 <aldum> if not, just clear the cache/remove the build directory
2020-09-27 11:30:58 +0200mmohammadi98129(~mmohammad@188.210.108.97) (Ping timeout: 256 seconds)
2020-09-27 11:33:11 +0200acidjnk_new(~acidjnk@p200300d0c7237889ddc2d989891ef55f.dip0.t-ipconnect.de)
2020-09-27 11:33:27 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-27 11:33:43 +0200shatriff(~vitaliish@176.52.219.10)
2020-09-27 11:34:06 +0200 <Enrico63> aldum, since it's isntalling now the last most recent version, I'm letting it finish
2020-09-27 11:34:19 +0200carlomagno1(~cararell@inet-hqmc02-o.oracle.com)
2020-09-27 11:35:03 +0200 <Enrico63> carlomagno1, are you a Gas Dynamic prof?
2020-09-27 11:37:01 +0200 <yushyin> and then you find out that hardly anybody uses haskell-ide-engine anymore but haskell-language-server. and also that ghcup can install the prebuild binaries for you
2020-09-27 11:37:16 +0200carlomagno(~cararell@inet-hqmc02-o.oracle.com) (Ping timeout: 256 seconds)
2020-09-27 11:37:32 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 11:38:16 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 11:39:05 +0200mmohammadi98129(~mmohammad@2.178.185.215)
2020-09-27 11:40:06 +0200 <aldum> the haskell situation on Arch is not optimal, to say the least
2020-09-27 11:40:43 +0200 <Enrico63> yushyin, I plan to use it with Vim and YouCompleteMe. Is it haskeell-language-server a better choice, in this case?
2020-09-27 11:42:56 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-27 11:45:03 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-09-27 11:45:45 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-27 11:46:27 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-09-27 11:47:01 +0200shailangsa(~shailangs@host165-120-169-97.range165-120.btcentralplus.com)
2020-09-27 11:47:10 +0200lagothrix(~lagothrix@unaffiliated/lagothrix) (Read error: Connection reset by peer)
2020-09-27 11:47:14 +0200 <yushyin> Enrico63: YouCompleteMe implements a language server protocol client, so you can use haskell-language-server with it. If it's better I don't know. You'll have to try it.
2020-09-27 11:47:30 +0200fluturel(~fluturel@82.137.14.51)
2020-09-27 11:47:47 +0200fluturel_(~fluturel@82.137.14.51)
2020-09-27 11:48:18 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 11:48:32 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-09-27 11:50:43 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-09-27 11:52:03 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-27 11:52:07 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch)
2020-09-27 11:53:00 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 11:57:08 +0200 <fendor> Enrico63, HIE is not actively developed anymore. Haskell Language Server is the successor. I would recommend Haskell Language Server
2020-09-27 11:59:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-27 12:00:31 +0200Rudd0(~Rudd0@185.189.115.98)
2020-09-27 12:00:48 +0200polyrain(~polyrain@2001:8003:e501:6901:1082:cead:a610:ec28) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-27 12:01:58 +0200 <Enrico63> fendor, the "not-actively-developed anymore" seems a good reason to use the other one, but I wanted to ask the question on stackoverflow, with the hope that it gets more visibility: https://stackoverflow.com/questions/64087188/what-is-the-current-situation-for-using-vim-as-ide-fo…
2020-09-27 12:03:08 +0200skewerrspoonm
2020-09-27 12:03:46 +0200mounty(~mounty@n49-198-160-249.mrk1.qld.optusnet.com.au) (Ping timeout: 272 seconds)
2020-09-27 12:03:49 +0200shwouchk(uid154201@gateway/web/irccloud.com/x-ykbxoiqnbfhomykv)
2020-09-27 12:04:04 +0200ahri(~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-27 12:04:26 +0200mounty(~mounty@139.130.85.54)
2020-09-27 12:04:59 +0200ahri(~ahri@178.209.40.84)
2020-09-27 12:08:29 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 12:10:35 +0200koankeeper(sid216950@gateway/web/irccloud.com/x-kuumlbepnnvmulch) (Read error: Connection reset by peer)
2020-09-27 12:10:52 +0200koankeeper(sid216950@gateway/web/irccloud.com/x-syslkpiebyqhjoto)
2020-09-27 12:10:56 +0200jonrh(sid5185@gateway/web/irccloud.com/x-vrzamnbrmfpulknf) (Read error: Connection reset by peer)
2020-09-27 12:11:02 +0200 <fendor> Enrico63, I answered
2020-09-27 12:11:05 +0200mmohammadi98129(~mmohammad@2.178.185.215) (Ping timeout: 240 seconds)
2020-09-27 12:11:16 +0200moobar(sid171730@gateway/web/irccloud.com/x-uosvpoonemwbnosq) (Read error: Connection reset by peer)
2020-09-27 12:11:16 +0200bitonic(sid61915@gateway/web/irccloud.com/x-indhjgkukoetiqtf) (Read error: Connection reset by peer)
2020-09-27 12:11:26 +0200drupol(sid117588@gateway/web/irccloud.com/x-gvykpmtfnmgofllh) (Read error: Connection reset by peer)
2020-09-27 12:11:27 +0200ullbeking(sid5364@gateway/web/irccloud.com/x-nuizesoknxmuomew) (Read error: Connection reset by peer)
2020-09-27 12:11:45 +0200jonrh(sid5185@gateway/web/irccloud.com/x-kmnnkmgjpjlhftsl)
2020-09-27 12:11:53 +0200drupol(sid117588@gateway/web/irccloud.com/x-fskigpwmolejzutt)
2020-09-27 12:12:54 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-27 12:12:59 +0200bitonic(sid61915@gateway/web/irccloud.com/x-jpfawwdoltfxqtdr)
2020-09-27 12:13:09 +0200moobar(sid171730@gateway/web/irccloud.com/x-gndqbhnlgmetppkc)
2020-09-27 12:13:49 +0200ullbeking(sid5364@gateway/web/irccloud.com/x-fktbgzptuxsmswdm)
2020-09-27 12:14:27 +0200bitmagie(~Thunderbi@200116b806f7d3007d184b2b0727248d.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-09-27 12:14:30 +0200bitmagie1(~Thunderbi@87.122.7.46)
2020-09-27 12:14:46 +0200 <yushyin> Enrico63: 'the haskell situation on Arch is not optimal, to say the least' because arch linux uses dynamic linking for haskell packages. It results in odd compile time errors, because ghc/cabal still want to build static by default and cannot find any static libs. also ghc does not provide a stable abi which results in a rebuild of every reverse dependency each time package is updated.
2020-09-27 12:14:47 +0200cemerick(sid54985@gateway/web/irccloud.com/x-jgattjyyxojabrge) (Ping timeout: 260 seconds)
2020-09-27 12:15:03 +0200aristid(sid1599@gateway/web/irccloud.com/x-xcvzgeubwazbgttv) (Ping timeout: 260 seconds)
2020-09-27 12:15:14 +0200lally(sid388228@gateway/web/irccloud.com/x-ttpmvetxyxqhrgnc) (Read error: Connection reset by peer)
2020-09-27 12:15:17 +0200d0liver(sid363046@gateway/web/irccloud.com/x-mobhkddospuvumcg) (Read error: Connection reset by peer)
2020-09-27 12:15:22 +0200systemfault(sid267009@gateway/web/irccloud.com/x-domoukaafsguzygi) (Ping timeout: 260 seconds)
2020-09-27 12:15:27 +0200SrPx(sid108780@gateway/web/irccloud.com/x-wjejjdsspacspndl) (Read error: Connection reset by peer)
2020-09-27 12:15:29 +0200Cir0X(sid221743@gateway/web/irccloud.com/x-ghtetmherfetfvlm) (Read error: Connection reset by peer)
2020-09-27 12:15:33 +0200 <yushyin> Enrico63: it's an odd decision
2020-09-27 12:15:37 +0200systemfault(sid267009@gateway/web/irccloud.com/x-sfyoklqzvaqfavha)
2020-09-27 12:15:49 +0200Cir0X(sid221743@gateway/web/irccloud.com/x-obthuqhxhrpgtptx)
2020-09-27 12:15:54 +0200 <Enrico63> what decision?
2020-09-27 12:15:57 +0200cemerick(sid54985@gateway/web/irccloud.com/x-vhzrinxizastpatl)
2020-09-27 12:16:02 +0200SrPx(sid108780@gateway/web/irccloud.com/x-ewgpqpdkoawdjsvm)
2020-09-27 12:16:10 +0200lally(sid388228@gateway/web/irccloud.com/x-lwhbjdguutvknmcz)
2020-09-27 12:16:14 +0200 <Uniaika> dynamically linking haskell packages
2020-09-27 12:16:19 +0200 <yushyin> this ^
2020-09-27 12:16:36 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Read error: Connection reset by peer)
2020-09-27 12:16:49 +0200bitmagie1bitmagie
2020-09-27 12:17:15 +0200 <Enrico63> Oh, ok, for a moment I though that asking also on SO was considered an odd decision of mine XD
2020-09-27 12:17:32 +0200aristid(sid1599@gateway/web/irccloud.com/x-tmxjacnukwymwzmb)
2020-09-27 12:18:12 +0200 <yushyin> ghc's support for this is not great and probably will never be. So it's an odd decision from the arch linux haskell package maintainer.
2020-09-27 12:18:37 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 12:18:38 +0200L29Ah(~L29Ah@unaffiliated/l29ah) (Ping timeout: 256 seconds)
2020-09-27 12:18:48 +0200d0liver(sid363046@gateway/web/irccloud.com/x-fqaugfmivohbxqbc)
2020-09-27 12:19:10 +0200kotrcka(~peter@ip-94-112-194-11.net.upcbroadband.cz) (Ping timeout: 260 seconds)
2020-09-27 12:19:57 +0200 <yushyin> Enrico63: I recommend to use ghcup for the purpose of developing haskell stuff. Just don't bother with the packages from your linux distribution.
2020-09-27 12:21:05 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 265 seconds)
2020-09-27 12:21:24 +0200mmohammadi98129(~mmohammad@2.178.218.61)
2020-09-27 12:21:49 +0200 <yushyin> Enrico63: https://gitlab.haskell.org/haskell/ghcup-hs#installation
2020-09-27 12:22:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 12:23:04 +0200 <Enrico63> Well, if that's my distribution it's clear I have to deal with it, no? And I was asking here too, because the intersection of the sets of haskell programmers and archlinux users could be other than empty. I'm sorry if telling my distribution made too much noise.
2020-09-27 12:23:48 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-27 12:24:13 +0200filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-27 12:26:07 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-09-27 12:26:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 12:28:14 +0200aldum(~vishera@aldum.pw) (Quit: Lost terminal)
2020-09-27 12:28:18 +0200MononcQc1(~MononcQc@84.39.117.57)
2020-09-27 12:28:29 +0200aldum(~vishera@aldum.pw)
2020-09-27 12:28:51 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 12:28:54 +0200 <Enrico63> yushyin, the above message was meant to be directed to you. Just to make it clear that I don't want to bother anybody and that I'm sorry if you perceived it this way.
2020-09-27 12:29:01 +0200 <aldum> irssi shat itself, did I miss anything after the apology?
2020-09-27 12:29:28 +0200hackageZ-IO 0.1.2.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.2.0 (winterland)
2020-09-27 12:29:49 +0200Achylles(~Achylles@201-1-35-151.dsl.telesp.net.br)
2020-09-27 12:31:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-27 12:31:15 +0200cvlad-(sid203065@gateway/web/irccloud.com/x-fewqvluttyvfpqrl) (Ping timeout: 256 seconds)
2020-09-27 12:32:10 +0200runeks(sid21167@gateway/web/irccloud.com/x-psijzjnqmteljxro) (Ping timeout: 256 seconds)
2020-09-27 12:32:14 +0200 <aldum> also, if anyone has a good idea on how arch should handle haskell, talk to me
2020-09-27 12:32:16 +0200caasih(sid13241@gateway/web/irccloud.com/x-inrpoiaisxjinedq) (Ping timeout: 272 seconds)
2020-09-27 12:32:24 +0200cvlad-(sid203065@gateway/web/irccloud.com/x-bnxicsmvxfrqidpa)
2020-09-27 12:32:56 +0200dmiles(dmiles@c-73-67-179-188.hsd1.wa.comcast.net)
2020-09-27 12:33:15 +0200 <yushyin> Enrico63: you are not bothering me at least. I think ghcup is a great tool to help to set up a haskell developing evironment and I would recommend it regardless the linux distribution in use.
2020-09-27 12:33:43 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 12:34:07 +0200caasih(sid13241@gateway/web/irccloud.com/x-qqxnxucjsbybstdv)
2020-09-27 12:34:29 +0200runeks(sid21167@gateway/web/irccloud.com/x-dikezscovkucfwrf)
2020-09-27 12:35:28 +0200TooDifficult(~TooDiffic@106.206.110.145) (Ping timeout: 260 seconds)
2020-09-27 12:36:57 +0200 <yushyin> aldum: I do have an opinion on that matter. don't bother with libraries packages, just build typical haskell tools static (pandoc, shellcheck, etc). Let people know to use either ghcup or stack for developing haskell stuff. (perhaps not a popular opinion ;))
2020-09-27 12:37:15 +0200knupfer(~Thunderbi@mue-88-130-61-225.dsl.tropolys.de)
2020-09-27 12:37:58 +0200cvlad-(sid203065@gateway/web/irccloud.com/x-bnxicsmvxfrqidpa) (Ping timeout: 272 seconds)
2020-09-27 12:37:58 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-27 12:38:14 +0200cvlad-(sid203065@gateway/web/irccloud.com/x-mpioidbgyaapnjay)
2020-09-27 12:38:16 +0200 <aldum> there are -bin packages in the AUR for pandoc and shellcheck
2020-09-27 12:38:24 +0200 <aldum> maybe already doable depending what etc entails
2020-09-27 12:38:59 +0200John20(~John@82.46.59.122)
2020-09-27 12:39:01 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 12:39:14 +0200banjiewen(sid115913@gateway/web/irccloud.com/x-rewtcdbdusjizrvy) (Ping timeout: 272 seconds)
2020-09-27 12:39:26 +0200petersen(~petersen@redhat/juhp) (Quit: petersen)
2020-09-27 12:40:05 +0200petersen(~petersen@redhat/juhp)
2020-09-27 12:40:10 +0200lucid_0x80(~lucid_0x8@188.253.232.227) (Ping timeout: 260 seconds)
2020-09-27 12:40:30 +0200jared-w(uid405292@gateway/web/irccloud.com/x-nigyfvoydxcxiets) (Ping timeout: 272 seconds)
2020-09-27 12:40:41 +0200banjiewen(sid115913@gateway/web/irccloud.com/x-cfyiyxhggjpdnbsm)
2020-09-27 12:41:02 +0200kotrcka(~peter@ip-94-112-194-11.net.upcbroadband.cz)
2020-09-27 12:41:10 +0200wei2912(~wei2912@unaffiliated/wei2912) (Quit: Lost terminal)
2020-09-27 12:41:37 +0200kotrcka(~peter@ip-94-112-194-11.net.upcbroadband.cz) (Client Quit)
2020-09-27 12:42:12 +0200jared-w(uid405292@gateway/web/irccloud.com/x-buqniywashydfoae)
2020-09-27 12:43:02 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-27 12:43:17 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 12:43:40 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 12:45:46 +0200dhil(~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 256 seconds)
2020-09-27 12:47:10 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-09-27 12:48:15 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-09-27 12:49:05 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 12:51:06 +0200metadave(sid28102@gateway/web/irccloud.com/x-qpnnitlhecwrrsgq) (Ping timeout: 256 seconds)
2020-09-27 12:52:23 +0200drbrule(sid395654@gateway/web/irccloud.com/x-ogdudpwfmbcjqaew) (Ping timeout: 260 seconds)
2020-09-27 12:52:25 +0200slikts(~nelabs@wikipedia/reinis) (Ping timeout: 240 seconds)
2020-09-27 12:52:51 +0200metadave(sid28102@gateway/web/irccloud.com/x-cdlxasoxplxxhgfg)
2020-09-27 12:53:29 +0200L29Ah(~L29Ah@unaffiliated/l29ah)
2020-09-27 12:53:33 +0200benl23(sid284234@gateway/web/irccloud.com/x-ymhnarrzfbwgukrc) (Ping timeout: 260 seconds)
2020-09-27 12:53:48 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 12:54:20 +0200drbrule(sid395654@gateway/web/irccloud.com/x-wymmvrsbnkdeuwas)
2020-09-27 12:55:19 +0200alexknvl(sid259568@gateway/web/irccloud.com/x-gxewnkgtcktglgdk) (Ping timeout: 258 seconds)
2020-09-27 12:55:34 +0200Firedancer(sid336191@gateway/web/irccloud.com/x-tyukfastssascyhk) (Ping timeout: 246 seconds)
2020-09-27 12:55:47 +0200benl23(sid284234@gateway/web/irccloud.com/x-vofwvposnuzciuxt)
2020-09-27 12:56:01 +0200`slikts(~nelabs@2a00:d880:5:395::37ca)
2020-09-27 12:56:01 +0200`slikts(~nelabs@2a00:d880:5:395::37ca) (Changing host)
2020-09-27 12:56:01 +0200`slikts(~nelabs@wikipedia/reinis)
2020-09-27 12:57:14 +0200alexknvl(sid259568@gateway/web/irccloud.com/x-kbonmpmnmqrrezib)
2020-09-27 12:58:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 12:58:17 +0200Firedancer(sid336191@gateway/web/irccloud.com/x-frlnuobcpesgtznh)
2020-09-27 12:59:11 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 13:03:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-27 13:04:40 +0200polyrain(~polyrain@2001:8003:e501:6901:5c8b:e3a:4e9b:3df8)
2020-09-27 13:06:25 +0200Saten-san(~Saten-san@ip-62-235-12-222.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-09-27 13:06:53 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-27 13:07:57 +0200blackfield(~blackfiel@85.255.4.218)
2020-09-27 13:08:01 +0200blackfield(~blackfiel@85.255.4.218) (Changing host)
2020-09-27 13:08:01 +0200blackfield(~blackfiel@unaffiliated/blackfield)
2020-09-27 13:09:17 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 13:13:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 13:14:27 +0200ericsagnes(~ericsagne@2405:6580:0:5100:6097:6a50:1fce:f222) (Ping timeout: 240 seconds)
2020-09-27 13:17:11 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-27 13:17:15 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 13:19:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 13:21:52 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Read error: Connection reset by peer)
2020-09-27 13:22:00 +0200aplainze1akind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-27 13:22:25 +0200aplainze1akindaplainzetakind
2020-09-27 13:24:04 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-27 13:24:46 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-09-27 13:25:40 +0200mmohammadi98129(~mmohammad@2.178.218.61) (Ping timeout: 246 seconds)
2020-09-27 13:26:15 +0200dhil(~dhil@11.29.39.217.dyn.plus.net)
2020-09-27 13:26:55 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 13:27:30 +0200ericsagnes(~ericsagne@2405:6580:0:5100:74e9:5ac6:5b4b:6ddf)
2020-09-27 13:29:57 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-27 13:31:28 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 260 seconds)
2020-09-27 13:32:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-09-27 13:33:01 +0200_hekkaidekapus(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-09-27 13:34:23 +0200zargoertzel(~zar@fw4.ciirc.cvut.cz)
2020-09-27 13:35:03 +0200hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-09-27 13:37:20 +0200zariuq(~zar@fw1.ciirc.cvut.cz) (Ping timeout: 256 seconds)
2020-09-27 13:39:46 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 13:42:32 +0200chaosmasttter(~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-27 13:43:27 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 240 seconds)
2020-09-27 13:43:38 +0200knupfer(~Thunderbi@mue-88-130-61-225.dsl.tropolys.de) (Quit: knupfer)
2020-09-27 13:43:39 +0200knupfer1(~Thunderbi@200116b824c86d00d435c8b89e73e911.dip.versatel-1u1.de)
2020-09-27 13:44:20 +0200Achylles(~Achylles@201-1-35-151.dsl.telesp.net.br) (Quit: Leaving)
2020-09-27 13:44:21 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-27 13:44:47 +0200rprije(~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au) (Ping timeout: 240 seconds)
2020-09-27 13:45:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 13:45:27 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-27 13:45:56 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-27 13:46:03 +0200knupfer1knupfer
2020-09-27 13:46:11 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-09-27 13:46:44 +0200Enrico63(5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net) (Ping timeout: 245 seconds)
2020-09-27 13:46:45 +0200Ranhir(~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2020-09-27 13:47:36 +0200aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 265 seconds)
2020-09-27 13:47:41 +0200drbean(~drbean@TC210-63-209-205.static.apol.com.tw)
2020-09-27 13:48:18 +0200John20(~John@82.46.59.122) (Ping timeout: 260 seconds)
2020-09-27 13:49:58 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 13:51:07 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-27 13:53:34 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-27 13:54:48 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 13:56:30 +0200__monty__(~toonn@unaffiliated/toonn)
2020-09-27 13:57:40 +0200MononcQc1(~MononcQc@84.39.117.57) (Remote host closed the connection)
2020-09-27 13:58:43 +0200fluturel_(~fluturel@82.137.14.51) (Ping timeout: 265 seconds)
2020-09-27 13:59:37 +0200fluturel(~fluturel@82.137.14.51) (Ping timeout: 264 seconds)
2020-09-27 14:00:06 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 14:01:05 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 14:04:38 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 14:04:46 +0200ahri(~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-27 14:05:05 +0200ahri(~ahri@178.209.40.84)
2020-09-27 14:05:34 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-09-27 14:09:03 +0200xff0x_(~fox@2001:1a81:533e:8e00:b1b8:25fe:117c:c2a0) (Ping timeout: 272 seconds)
2020-09-27 14:10:12 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 14:11:44 +0200xff0x_(~fox@2001:1a81:533e:8e00:b1b8:25fe:117c:c2a0)
2020-09-27 14:12:56 +0200shwouchk(uid154201@gateway/web/irccloud.com/x-ykbxoiqnbfhomykv) (Quit: Connection closed for inactivity)
2020-09-27 14:14:11 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 14:17:24 +0200rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-27 14:20:17 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 14:22:07 +0200Saten-san(~Saten-san@ip-62-235-12-222.dsl.scarlet.be)
2020-09-27 14:24:35 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 14:30:41 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-27 14:35:46 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 256 seconds)
2020-09-27 14:36:32 +0200Amras(~Amras@unaffiliated/amras0000)
2020-09-27 14:37:19 +0200Saten-san(~Saten-san@ip-62-235-12-222.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-09-27 14:50:41 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 14:52:52 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2020-09-27 14:53:55 +0200random(~random@185.219.70.106)
2020-09-27 14:55:11 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-27 14:56:09 +0200ksamak(~ksamak@178.162.212.214)
2020-09-27 14:56:25 +0200jneira(501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Quit: Connection closed)
2020-09-27 14:57:35 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 14:57:36 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-27 14:58:10 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 14:59:26 +0200machinedgod(~machinedg@24.105.81.50)
2020-09-27 15:00:46 +0200sw1nn(~sw1nn@host86-129-128-20.range86-129.btcentralplus.com)
2020-09-27 15:00:50 +0200jneira(501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206)
2020-09-27 15:00:51 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 15:02:37 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-09-27 15:04:05 +0200ahri(~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-27 15:04:52 +0200ahri(~ahri@178.209.40.84)
2020-09-27 15:05:32 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 15:07:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-09-27 15:09:05 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 15:09:36 +0200ggole(~ggole@2001:8003:8119:7200:259a:6f8b:cb91:2342)
2020-09-27 15:10:57 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 15:14:11 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-09-27 15:15:12 +0200xsperry(~as@cpe-188-129-91-153.dynamic.amis.hr) (Changing host)
2020-09-27 15:15:12 +0200xsperry(~as@unaffiliated/xsperry)
2020-09-27 15:15:34 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-27 15:15:47 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 240 seconds)
2020-09-27 15:17:26 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-27 15:18:00 +0200Saten-san(~Saten-san@ip-62-235-12-222.dsl.scarlet.be)
2020-09-27 15:21:01 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 15:22:48 +0200minwuek(uid466029@gateway/web/irccloud.com/x-fkobzjneikrfqrhj) ()
2020-09-27 15:23:03 +0200p0a(~user@unaffiliated/p0a)
2020-09-27 15:25:23 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 15:31:16 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 15:31:30 +0200 <p0a> if I want to calculate n*(n+1)/2, which is an integer
2020-09-27 15:31:52 +0200 <p0a> do I have to do all the conversions in between? fromIntegral and then with floor?
2020-09-27 15:32:01 +0200 <int-e> odd:t div
2020-09-27 15:32:03 +0200 <int-e> oops
2020-09-27 15:32:05 +0200 <int-e> :t div
2020-09-27 15:32:06 +0200 <lambdabot> Integral a => a -> a -> a
2020-09-27 15:32:18 +0200 <int-e> so, no, just don't use /
2020-09-27 15:32:24 +0200 <p0a> aha, thank you
2020-09-27 15:32:32 +0200 <p0a> that makes sense
2020-09-27 15:35:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 15:38:22 +0200 <p0a> how can I `let' a function? a named lambda?
2020-09-27 15:38:40 +0200 <p0a> oh nevermind, let f = (\x -> ..)
2020-09-27 15:39:04 +0200 <xsperry> which is the same as let f x = ..
2020-09-27 15:39:39 +0200 <xsperry> > let f x = x * x in f 10
2020-09-27 15:39:42 +0200 <lambdabot> 100
2020-09-27 15:39:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 15:40:18 +0200urodna(~urodna@unaffiliated/urodna)
2020-09-27 15:41:11 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 15:41:19 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 15:41:54 +0200 <p0a> oh thank you xsperry
2020-09-27 15:42:13 +0200random(~random@185.219.70.106) (Ping timeout: 264 seconds)
2020-09-27 15:42:26 +0200 <xsperry> np
2020-09-27 15:43:55 +0200polyrain(~polyrain@2001:8003:e501:6901:5c8b:e3a:4e9b:3df8) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-27 15:44:36 +0200polyrain(~polyrain@2001:8003:e501:6901:5c8b:e3a:4e9b:3df8)
2020-09-27 15:44:37 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 264 seconds)
2020-09-27 15:44:55 +0200polyrain(~polyrain@2001:8003:e501:6901:5c8b:e3a:4e9b:3df8) (Client Quit)
2020-09-27 15:45:03 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 265 seconds)
2020-09-27 15:45:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2020-09-27 15:45:27 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-09-27 15:45:40 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-09-27 15:47:46 +0200rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo)
2020-09-27 15:48:00 +0200rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-27 15:49:59 +0200geekosaur(ae68c070@cpe-174-104-192-112.neo.res.rr.com)
2020-09-27 15:51:10 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-zzdfhwhqcgnnihzq)
2020-09-27 15:51:27 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 15:52:18 +0200rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Client Quit)
2020-09-27 15:52:35 +0200rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-27 15:53:26 +0200ksamak(~ksamak@178.162.212.214) (Remote host closed the connection)
2020-09-27 15:55:07 +0200drbean(~drbean@TC210-63-209-205.static.apol.com.tw) (Ping timeout: 246 seconds)
2020-09-27 15:55:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 15:56:23 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 244 seconds)
2020-09-27 15:57:21 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-27 15:57:49 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 15:58:07 +0200coot(~coot@37.30.52.6.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-27 15:59:56 +0200mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-27 16:00:20 +0200andreas303(~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2020-09-27 16:01:37 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 16:02:41 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-157-9.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-09-27 16:03:09 +0200shatriff(~vitaliish@176.52.219.10)
2020-09-27 16:03:44 +0200 <p0a> Is there a function f :: Maybe a -> a with f (Just x) = x? Partially defined
2020-09-27 16:03:51 +0200 <p0a> or must I pattern match every time I want to do that?
2020-09-27 16:03:52 +0200andreas303(~andreas@gateway/tor-sasl/andreas303)
2020-09-27 16:03:57 +0200 <[exa]> something like fromJust ?
2020-09-27 16:04:02 +0200 <p0a> nice, thank you
2020-09-27 16:04:27 +0200 <[exa]> there's a whole heap of such easy matchers in Data.Maybe
2020-09-27 16:05:13 +0200 <[exa]> you might like fromMaybe which has "default a"
2020-09-27 16:06:03 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 16:06:06 +0200 <p0a> sure. I like mapMaybe the best I think
2020-09-27 16:08:59 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-27 16:09:13 +0200shatriff(~vitaliish@176.52.219.10)
2020-09-27 16:09:26 +0200 <[exa]> dodging manual conditions is great
2020-09-27 16:09:45 +0200 <[exa]> also, Maybe monoids are monoids
2020-09-27 16:10:03 +0200 <p0a> right now I'm having a bit of trouble figuring out how to dodge this
2020-09-27 16:10:13 +0200 <p0a> but it's not hte end of the world I can just write some bad looking code
2020-09-27 16:10:36 +0200 <[exa]> well after having something that works you can ask hlint for a hint
2020-09-27 16:10:44 +0200 <p0a> that's a good idea
2020-09-27 16:11:18 +0200 <[exa]> (...or just paste it here and have it torn to pieces and reduced to half-line combination of arrows and lens magic, as usual.)
2020-09-27 16:11:45 +0200 <[exa]> (I forgot to add "incomprehensible" to the above description)
2020-09-27 16:12:11 +0200 <p0a> Sure I can tell you
2020-09-27 16:12:23 +0200 <p0a> I am searching a list for x and -x. Only one can be found (but one will certainly be present)
2020-09-27 16:12:33 +0200 <p0a> and I want the result to be f x or (- f x) accordingly
2020-09-27 16:12:44 +0200 <p0a> Sorry, I mean, either f x or (- f (- x))
2020-09-27 16:12:52 +0200 <p0a> Let's say f is only defined for x > 0
2020-09-27 16:13:48 +0200 <p0a> Maybe 2 'case of' will work out
2020-09-27 16:14:03 +0200 <[exa]> so you have a list of whatever that contains at least one of (x) and (-x) for some specified x?
2020-09-27 16:14:23 +0200 <[exa]> s/at least/exactly
2020-09-27 16:14:26 +0200 <p0a> yeah
2020-09-27 16:14:37 +0200 <p0a> well the list only contains positive x's. The x I have may be positive or negative
2020-09-27 16:14:42 +0200 <[exa]> you might want to use list comprehensions
2020-09-27 16:15:29 +0200BalterNotz(ca420871@202.66.8.113) (Ping timeout: 245 seconds)
2020-09-27 16:15:37 +0200 <[exa]> or just filter with abs, that might be even neater
2020-09-27 16:16:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 16:16:30 +0200 <[exa]> then extract head of the list (or patternmatch it to a singleton list if you wanna be triple-sure), apply `f`, done.
2020-09-27 16:16:46 +0200 <p0a> I think I have a workable function I can paste now
2020-09-27 16:16:50 +0200 <[exa]> ok
2020-09-27 16:17:57 +0200 <[exa]> we've got a shiny new pastebing at https://paste.tomsmeding.com/ btw
2020-09-27 16:18:02 +0200 <[exa]> *pastebin
2020-09-27 16:18:08 +0200 <p0a> okay le tme use htat
2020-09-27 16:18:35 +0200 <p0a> https://paste.tomsmeding.com/3PTXPmjI
2020-09-27 16:19:03 +0200 <[exa]> oh noes this is with floats. :]
2020-09-27 16:19:22 +0200 <p0a> floats? :)
2020-09-27 16:19:38 +0200 <p0a> oh you mean it's not integers, right
2020-09-27 16:19:43 +0200 <p0a> it's matrices in fact
2020-09-27 16:19:54 +0200xerox_(~xerox@unaffiliated/xerox)
2020-09-27 16:20:45 +0200 <p0a> are you saying that == fails because they're Double's? maybe that's true, although the calculations are binary (either 0 or 1)
2020-09-27 16:21:05 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 240 seconds)
2020-09-27 16:21:49 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 16:22:28 +0200 <[exa]> if the calculation is binary you might really want to say it's Int
2020-09-27 16:22:55 +0200 <p0a> yeah you are right
2020-09-27 16:23:07 +0200 <[exa]> (==) tends to fail in completely non-algebraic ways with floats&doubles, more precisely you can forget that it holds through associative&distributive laws
2020-09-27 16:24:20 +0200 <p0a> I remember my professor chewing me with questions from ieee754 before
2020-09-27 16:24:37 +0200 <[exa]> general advice is to avoid ieee754 questions. :]
2020-09-27 16:24:56 +0200 <int-e> "general"
2020-09-27 16:25:52 +0200 <p0a> I held ground for a bit, but eventually resolved to saying something like "we need more bytes?"
2020-09-27 16:26:05 +0200knupfer(~Thunderbi@200116b824c86d00d435c8b89e73e911.dip.versatel-1u1.de) (Quit: knupfer)
2020-09-27 16:26:12 +0200knupfer(~Thunderbi@200116b824c86d008116bda35d13d85e.dip.versatel-1u1.de)
2020-09-27 16:26:36 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 16:28:22 +0200josh_(~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-27 16:31:49 +0200Chefe(~Chefe@84.39.117.57)
2020-09-27 16:34:07 +0200Guest_67(5284e9b3@82-132-233-179.dab.02.net)
2020-09-27 16:34:44 +0200 <Guest_67> .
2020-09-27 16:35:51 +0200 <Guest_67> Permission was denied when I wanted to add the required PATH variable to /Users/b/.bashrc
2020-09-27 16:36:59 +0200Guest_67(5284e9b3@82-132-233-179.dab.02.net) ()
2020-09-27 16:37:32 +0200 <[exa]> p0a: I didn't try to compile this but it might show how to really exploit the list machinery https://paste.tomsmeding.com/crh9oaVX
2020-09-27 16:37:42 +0200coot(~coot@37.30.52.6.nat.umts.dynamic.t-mobile.pl)
2020-09-27 16:38:28 +0200 <[exa]> (oh and you might need to place `head $` before `do` to get a single possibility there)
2020-09-27 16:38:41 +0200 <p0a> [exa]: that' svery nice
2020-09-27 16:38:50 +0200 <p0a> I see you're using guard and also some tricks with *>
2020-09-27 16:38:54 +0200 <p0a> I'll have to think about it
2020-09-27 16:39:39 +0200 <[exa]> p0a: the monad binding (<-) for lists works like list comprehension, it tries the rest of the code for all values in the list you bound
2020-09-27 16:39:51 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-27 16:40:15 +0200 <[exa]> and `guard` kindof terminates the attempt to reach a result if the condition is false
2020-09-27 16:41:24 +0200 <[exa]> intuition for the rest: <|> is an "or" for this kind of wrapped computations (if the first branch fails, you still get some results for the second)
2020-09-27 16:41:38 +0200 <p0a> right
2020-09-27 16:41:48 +0200 <p0a> I'm going to learn from that example
2020-09-27 16:41:55 +0200 <[exa]> and *> is a fancy version of "if nothing broke yet, return the thing on the right"
2020-09-27 16:42:03 +0200 <p0a> guard seems handy, it's just foreign to me
2020-09-27 16:42:07 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 16:42:17 +0200 <p0a> I don't use it because I think I've never seen it before
2020-09-27 16:42:32 +0200 <[exa]> I might have simplified that with $> 1 and $> -1 from Data.Functor
2020-09-27 16:42:34 +0200 <p0a> (Except for the tutorials/books on haskell that I've read)
2020-09-27 16:42:49 +0200elliott__(~elliott@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-27 16:42:54 +0200 <[exa]> uh, and list functor/applicative primer:
2020-09-27 16:43:09 +0200 <[exa]> > [(+1),(*10)] <*> [1,2,3]
2020-09-27 16:43:11 +0200 <lambdabot> [2,3,4,10,20,30]
2020-09-27 16:43:25 +0200 <p0a> that reminds me
2020-09-27 16:43:31 +0200 <p0a> Why does it work in that fashion?
2020-09-27 16:43:45 +0200 <p0a> I saw an example `liftA2 (,) list1 list2' for cartesian product
2020-09-27 16:43:54 +0200 <[exa]> > [1,2] $> 10
2020-09-27 16:43:56 +0200 <lambdabot> error:
2020-09-27 16:43:56 +0200 <lambdabot> • Variable not in scope: ($>) :: [a0] -> t0 -> t
2020-09-27 16:43:56 +0200 <lambdabot> • Perhaps you meant one of these:
2020-09-27 16:44:04 +0200 <[exa]> oh noes, $> is from Data.Functor
2020-09-27 16:44:07 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-27 16:44:37 +0200 <[exa]> p0a: list Applicative instance is derived exactly like that. The semantics is something like "Listing of all possibilities" (with some rough corners about infinities)
2020-09-27 16:45:39 +0200 <p0a> why couldn't it be zip-like instead?
2020-09-27 16:45:59 +0200 <[exa]> p0a: btw the liftA2 rewrites to the "operator" form like this, I find it kindof more illustrative:
2020-09-27 16:46:00 +0200 <p0a> i.e. [(+1),(*10)] <*> [1,2,3] would give [2, 20]
2020-09-27 16:46:16 +0200 <[exa]> > (,) <$> [1,2,3] <*> [1,2,3]
2020-09-27 16:46:19 +0200 <lambdabot> [(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)]
2020-09-27 16:46:36 +0200 <p0a> yeah I see what that means
2020-09-27 16:46:51 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-27 16:47:11 +0200 <p0a> the magic is in <*> then; that's why I'm asking my question above about an alternative definition
2020-09-27 16:47:14 +0200 <p0a> would it violate some 'axiom' ?
2020-09-27 16:47:21 +0200 <[exa]> p0a: good question; the simple answer is that list comprehension wouldn't work, but I believe there's some slightly more rigorous reason
2020-09-27 16:47:23 +0200 <kosmikus> it could be zip-like. in fact, there's a newtype called ZipList that implements exactly that applicative instance. the "default" instance is chosen to be compatible with the monad instance for lists.
2020-09-27 16:48:06 +0200 <p0a> oh nice. I see, thank you
2020-09-27 16:49:12 +0200ericsagnes(~ericsagne@2405:6580:0:5100:74e9:5ac6:5b4b:6ddf) (Ping timeout: 260 seconds)
2020-09-27 16:49:57 +0200 <[exa]> oh yes there's no (reasonable) way to "flatten" lists by zipping, so their monad instance would have to be kinda fishy (thanks kosmikus!)
2020-09-27 16:50:06 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-27 16:51:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-09-27 16:52:16 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 16:53:11 +0200antaoiseach(~z0ltan@103.5.134.18)
2020-09-27 16:53:40 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-27 16:54:19 +0200 <antaoiseach> Hello folks, I'm just learning about the various GHC extensions, and I was trying this example - https://limperg.de/ghc-extensions/#bangpatterns, but the code does not seem to be working as expected for me.
2020-09-27 16:54:29 +0200 <antaoiseach> The code snippet is here https://paste.ofcode.org/AFpzbG8CCY3fftWuYKHuWs
2020-09-27 16:54:48 +0200 <[exa]> p0a: btw in case of lists, the `a <- b ; c ....` is basically a fun syntax for `concatMap (\a -> c ...) b`
2020-09-27 16:55:21 +0200 <antaoiseach> The linked guide says that with the bang pattern, `main` should execute almost instantly, but that does not seem to be the case when I try it (both in GHCi and GHC).. can anyone help me understand this?
2020-09-27 16:56:20 +0200 <[exa]> antaoiseach: are you sure that this amount of recursion should finish almost instantly?
2020-09-27 16:56:49 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds)
2020-09-27 16:56:54 +0200 <antaoiseach> exarkun: No, I'm not sure... the guide says that it should - hence my confusion!
2020-09-27 16:57:07 +0200 <[exa]> uh, if you _remove_ the ! it can finish instantly because it doesn't have to compute the fibs
2020-09-27 16:57:28 +0200 <yushyin> 'Without the bang pattern, the programme terminates almost instantly ...' -- from your source
2020-09-27 16:57:36 +0200 <antaoiseach> Oh
2020-09-27 16:57:39 +0200alx741_(~alx741@186.178.110.72)
2020-09-27 16:57:44 +0200 <antaoiseach> Okay ... sorry ... my mistake then! :(
2020-09-27 16:57:52 +0200 <[exa]> no problem :]
2020-09-27 16:57:59 +0200 <antaoiseach> Hahaha ... sorry guys! :D
2020-09-27 16:58:17 +0200 <[exa]> I was myself expecting a completely different kind of twist :D
2020-09-27 16:58:23 +0200 <antaoiseach> hahaha! :D
2020-09-27 16:58:58 +0200hackagevulkan 3.6.7 - Bindings to the Vulkan graphics API. https://hackage.haskell.org/package/vulkan-3.6.7 (jophish)
2020-09-27 16:59:08 +0200kelsey(~keteskyl@2600:6c64:7b7f:fa42:2cda:1ff8:55be:a617)
2020-09-27 16:59:23 +0200 <antaoiseach> Okay, so maybe I could make better use of this chance and ask a better question then! So I'm done with "Programming in Haskell" (2nd Edition), and loved the book. Now I'm trying to get more into the practical side of things - monad transformers, stack, various extensions etc.
2020-09-27 16:59:31 +0200kelseyGuest18832
2020-09-27 16:59:33 +0200 <antaoiseach> What would you recommend in addition/instead of this path?
2020-09-27 16:59:48 +0200Guest18832keteskyl
2020-09-27 16:59:55 +0200 <antaoiseach> To move from a basic but relatively strong theoretical foundation onto more advanced and practical stuff?
2020-09-27 17:00:02 +0200Chefe(~Chefe@84.39.117.57) ()
2020-09-27 17:00:39 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-27 17:01:39 +0200ericsagnes(~ericsagne@2405:6580:0:5100:652c:34a0:8a11:d7f2)
2020-09-27 17:01:58 +0200 <maralorn> Can I newtype derive an instance for "MyClass MyType B" when there is an instance "MyClass A B" and a "newtype MyType = MyType A"?
2020-09-27 17:02:11 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 258 seconds)
2020-09-27 17:02:26 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 17:02:31 +0200 <maralorn> antaoiseach: I like http://dev.stephendiehl.com/hask/
2020-09-27 17:02:37 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 264 seconds)
2020-09-27 17:03:16 +0200Lord_of_Life_Lord_of_Life
2020-09-27 17:03:37 +0200 <antaoiseach> maralorn: Thank you.. that looks very nicely organised indeed!
2020-09-27 17:04:38 +0200 <antaoiseach> maralorn: yes, that looks almost exactly like what I am looking for right now. Thanks again! :-)
2020-09-27 17:04:40 +0200asavan(585a3df0@ti0059a400-5844.bb.online.no)
2020-09-27 17:05:40 +0200antaoiseach(~z0ltan@103.5.134.18) (Quit: leaving)
2020-09-27 17:05:51 +0200coot(~coot@37.30.52.6.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-09-27 17:07:18 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 17:09:01 +0200jneira[m](~jneira@125.red-193-152-119.dynamicip.rima-tde.net)
2020-09-27 17:10:08 +0200keteskyl(~keteskyl@2600:6c64:7b7f:fa42:2cda:1ff8:55be:a617) (Quit: WeeChat 2.8)
2020-09-27 17:12:40 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 17:14:40 +0200oisdk(~oisdk@2001:bb6:3329:d100:b45e:e1cb:af9:6e8)
2020-09-27 17:15:32 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2020-09-27 17:16:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 17:17:10 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-pfytdyvohwtqwlkb)
2020-09-27 17:17:40 +0200sedeki(~textual@unaffiliated/sedeki)
2020-09-27 17:18:20 +0200sedeki(~textual@unaffiliated/sedeki) (Client Quit)
2020-09-27 17:18:31 +0200Thra11(~Thra11@5.1.169.217.in-addr.arpa) (Quit: WeeChat 2.9)
2020-09-27 17:18:54 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 17:20:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 17:22:45 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 17:23:09 +0200mu_(~mu@unaffiliated/mu) (Read error: Connection reset by peer)
2020-09-27 17:23:23 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-27 17:23:41 +0200mu_(~mu@unaffiliated/mu)
2020-09-27 17:23:42 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 17:25:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-27 17:25:45 +0200zaquest(~notzaques@5.128.210.178)
2020-09-27 17:28:03 +0200mu_(~mu@unaffiliated/mu) (Client Quit)
2020-09-27 17:28:57 +0200hackageirc-core 2.9 - IRC core library for glirc https://hackage.haskell.org/package/irc-core-2.9 (EricMertens)
2020-09-27 17:30:27 +0200hackageglirc 2.37 - Console IRC client https://hackage.haskell.org/package/glirc-2.37 (EricMertens)
2020-09-27 17:30:47 +0200mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-09-27 17:31:25 +0200Rudd0(~Rudd0@185.189.115.98) (Ping timeout: 264 seconds)
2020-09-27 17:32:22 +0200Dolly(585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-27 17:32:28 +0200Dolly(585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-27 17:36:59 +0200knupfer(~Thunderbi@200116b824c86d008116bda35d13d85e.dip.versatel-1u1.de) (Remote host closed the connection)
2020-09-27 17:37:03 +0200Tesseraction(~Tesseract@unaffiliated/tesseraction) (Ping timeout: 260 seconds)
2020-09-27 17:37:07 +0200knupfer(~Thunderbi@200116b824c86d00d435c8b89e73e911.dip.versatel-1u1.de)
2020-09-27 17:43:33 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2020-09-27 17:45:47 +0200acidjnk_new(~acidjnk@p200300d0c7237889ddc2d989891ef55f.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-27 17:45:53 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-27 17:47:47 +0200xff0x_(~fox@2001:1a81:533e:8e00:b1b8:25fe:117c:c2a0) (Ping timeout: 240 seconds)
2020-09-27 17:49:08 +0200xff0x_(~fox@2001:1a81:533e:8e00:b1b8:25fe:117c:c2a0)
2020-09-27 17:49:47 +0200dhil(~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 240 seconds)
2020-09-27 17:51:02 +0200nschoe(~quassel@2a01:e0a:3c4:c7b0:dcec:5235:21ee:c285)
2020-09-27 17:53:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 17:55:07 +0200knupfer(~Thunderbi@200116b824c86d00d435c8b89e73e911.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-09-27 17:55:49 +0200Amras(~Amras@unaffiliated/amras0000) (Remote host closed the connection)
2020-09-27 17:55:50 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 17:56:18 +0200bloodstalker(~bloodstal@46.166.187.178)
2020-09-27 17:56:31 +0200roflbox(~roflbox@193.56.252.210)
2020-09-27 17:59:06 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-27 17:59:14 +0200asavan(585a3df0@ti0059a400-5844.bb.online.no) (Ping timeout: 245 seconds)
2020-09-27 18:00:15 +0200knupfer(~Thunderbi@mue-88-130-61-225.dsl.tropolys.de)
2020-09-27 18:00:33 +0200Rudd0(~Rudd0@185.189.115.103)
2020-09-27 18:00:54 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-09-27 18:06:28 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 18:07:25 +0200Amras(~Amras@unaffiliated/amras0000)
2020-09-27 18:07:35 +0200oisdk(~oisdk@2001:bb6:3329:d100:b45e:e1cb:af9:6e8) (Quit: oisdk)
2020-09-27 18:08:42 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 260 seconds)
2020-09-27 18:10:33 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-27 18:10:47 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 18:11:28 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-27 18:12:10 +0200Tesseraction(~Tesseract@unaffiliated/tesseraction)
2020-09-27 18:17:57 +0200Guest_7(026317aa@host-2-99-23-170.as13285.net)
2020-09-27 18:18:26 +0200 <Guest_7> hello i get this error: [ Info ] verifying digest of: ghc-8.8.4-x86_64-apple-darwin.tar.xz[ Error ] DigestError "596c0f9ce80b579ed4888ed9d574ff947d0a2c9481a3b1a4affa5af110124338" "e80a789e9d8cfb41dd87f3284b75432427c4461c1731d220d04ead8733ccdb5e"[ Error ] Also check the logs in "/Users/saabriin/.ghcup/logs""_eghcup --cache install ghc recommended"
2020-09-27 18:18:27 +0200 <Guest_7> failed!
2020-09-27 18:18:34 +0200 <Guest_7> i have no clue that this means
2020-09-27 18:18:52 +0200 <maerwald> oh, that's odd
2020-09-27 18:19:12 +0200 <Guest_7> when i try to download ghc
2020-09-27 18:19:23 +0200 <maerwald> it means either your download is corrupted or the bindist was updated in-place
2020-09-27 18:19:27 +0200 <maerwald> can you just try again?
2020-09-27 18:19:57 +0200 <Guest_7> i get the same error when i try
2020-09-27 18:21:26 +0200 <p0a> Manually download the file and compare it with the one you have
2020-09-27 18:21:39 +0200 <Guest_7> curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | shthis is what i put into the teminal
2020-09-27 18:21:44 +0200 <maerwald> the hashes are correct, so either your download is corrupted or the bindist is corrupted
2020-09-27 18:21:55 +0200 <p0a> https://www.haskell.org/ghc/download_ghc_8_8_4.html
2020-09-27 18:22:14 +0200 <maerwald> don't download it manually if it's corrupted :)
2020-09-27 18:22:39 +0200 <Guest_7> what do i do?
2020-09-27 18:22:46 +0200mozzarella(~sam@unaffiliated/sam113101) (Read error: Connection reset by peer)
2020-09-27 18:22:48 +0200 <maerwald> I'm checking the bindist
2020-09-27 18:23:01 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-09-27 18:23:05 +0200brewmarche(~brewmarch@aftr-62-216-202-61.dynamic.mnet-online.de)
2020-09-27 18:24:08 +0200 <maerwald> the bindist is fine, so your download is corrupt
2020-09-27 18:24:30 +0200 <Guest_7> what should i do?
2020-09-27 18:24:54 +0200 <maerwald> Guest_7: can you run: ~/.ghcup/bin/ghcup --downloader=wget install ghc
2020-09-27 18:25:08 +0200Enrico63(5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net)
2020-09-27 18:25:32 +0200 <Enrico63> Hello again :)
2020-09-27 18:25:36 +0200 <Guest_7> [ Warn ] Could not get download info, trying cached version (this may not be recent!)[ Info ] downloading: https://downloads.haskell.org/~ghc/8.8.4/ghc-8.8.4-x86_64-apple-darwin.tar.xzghcup: wget: executeFile: does not exist (No such file or directory)[ Error ] DownloadFailed (NonZeroExit 1 "wget"
2020-09-27 18:25:37 +0200 <Guest_7> ["-O","/var/folders/dv/ng7l4rc57s33bjxr0h8xtg6h0000gn/T/ghcup-Afe21n/ghc-8.8.4-x86_64-apple-darwin.tar.xz","https://downloads.haskell.org/~ghc/8.8.4/ghc-8.8.4-x86_64-apple-darwin.tar.xz"])[ Error ] Also check the logs in "/Users/saabriin/.ghcup/logs
2020-09-27 18:25:44 +0200 <Guest_7> this is the error im getting now
2020-09-27 18:26:00 +0200 <maerwald> you don't have wget I guess
2020-09-27 18:26:10 +0200 <geekosaur> this is os x, it doesn't come with wget which is why it's using curl
2020-09-27 18:26:23 +0200 <maerwald> yes, but curl doesn't download the bindist correctly
2020-09-27 18:26:33 +0200 <p0a> wgot'em
2020-09-27 18:26:33 +0200ddellacosta(~dd@86.106.121.168)
2020-09-27 18:26:45 +0200 <geekosaur> that cached message worries me a bit
2020-09-27 18:26:51 +0200 <maerwald> geekosaur: nope
2020-09-27 18:27:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-09-27 18:27:58 +0200 <maerwald> well, we need a working downloader :)
2020-09-27 18:28:16 +0200 <maerwald> otherwise cabal will fail too later
2020-09-27 18:28:28 +0200 <Guest_7> can i use brew?
2020-09-27 18:28:37 +0200 <maerwald> for installing wget?
2020-09-27 18:28:51 +0200 <Guest_7> yea
2020-09-27 18:28:54 +0200 <maerwald> I think so
2020-09-27 18:29:17 +0200 <sm[m]> you can install ghc with brew :)
2020-09-27 18:29:25 +0200Rudd0^(~Rudd0@185.189.115.98)
2020-09-27 18:29:27 +0200 <maerwald> that's not gonna be fun
2020-09-27 18:29:38 +0200 <Enrico63> Anybody using Vim-YCM to write Haskell?
2020-09-27 18:29:40 +0200 <sm[m]> it's super simple
2020-09-27 18:29:42 +0200 <maerwald> and as said: cabal will break too
2020-09-27 18:29:53 +0200 <sm[m]> stack doesn't..
2020-09-27 18:29:55 +0200 <sm[m]> shrug
2020-09-27 18:30:08 +0200 <maerwald> bc stack uses haskell-tls, which is worse
2020-09-27 18:30:26 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-09-27 18:30:43 +0200Tesseraction(~Tesseract@unaffiliated/tesseraction) (Ping timeout: 260 seconds)
2020-09-27 18:30:45 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2020-09-27 18:31:11 +0200 <maerwald> sm[m]: https://github.com/hasufell/stack2cabal/runs/1173082195?check_suite_focus=true#step:8:321 have you seen this on windows?
2020-09-27 18:31:26 +0200 <Guest_7> im a mac user
2020-09-27 18:31:26 +0200 <sm[m]> just a drive-by comment, I don't know what y'all are talking about
2020-09-27 18:32:12 +0200 <Enrico63> sm[m], but you can know what I am talking about :D
2020-09-27 18:33:01 +0200 <maerwald> sm[m]: because I remember you claimed windows support is excellent and I'm seeing xxx build failures whatever I try to build :)
2020-09-27 18:33:36 +0200 <maerwald> "could not execute ld" sounds good
2020-09-27 18:34:05 +0200 <p0a> Excellence is relative
2020-09-27 18:34:23 +0200 <Squarism> Anyone know if people started doing production stuff in Asterius?
2020-09-27 18:34:38 +0200 <sm[m]> maerwald: it doesn't ring a bell (and I don't see the "details above" it refers to)
2020-09-27 18:35:00 +0200Guest_7(026317aa@host-2-99-23-170.as13285.net) (Remote host closed the connection)
2020-09-27 18:35:20 +0200 <sm[m]> maerwald: are you sure you're quoting me in context :)
2020-09-27 18:35:39 +0200 <maerwald> ofc not, I want to nudge you into helping me :p
2020-09-27 18:36:10 +0200 <sm[m]> better to just ask me then, I'll probably try
2020-09-27 18:36:37 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-09-27 18:36:54 +0200 <sm[m]> any luck googling for the error ?
2020-09-27 18:37:48 +0200 <sm[m]> (& are you using a gitlab worker with github CI ? seemed so)
2020-09-27 18:38:10 +0200 <maerwald> yeah
2020-09-27 18:38:39 +0200 <sm[m]> that sounds cunning
2020-09-27 18:40:16 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-27 18:42:12 +0200Rudd0^(~Rudd0@185.189.115.98) (Ping timeout: 256 seconds)
2020-09-27 18:42:25 +0200Rudd0(~Rudd0@185.189.115.103)
2020-09-27 18:44:25 +0200 <maerwald> what? no
2020-09-27 18:44:49 +0200 <sm[m]> maerwald: btw I did have a look earlier since you cc'd me.. I wasn't logged in and couldn't see everything, but now I am.. and still having trouble finding the workflow that generated this - got a link ?
2020-09-27 18:45:30 +0200 <maerwald> sm[m]: https://github.com/hasufell/stack2cabal/blob/9dd4fc1a538dd2aa0a1d91c19f590b959f9a0b40/.github/work…
2020-09-27 18:45:35 +0200Dolly(585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-27 18:45:45 +0200 <sm[m]> thanks
2020-09-27 18:45:46 +0200 <maerwald> I'm messing around with flags and constraints randomly
2020-09-27 18:46:00 +0200 <sm[m]> that'll surely work! :)
2020-09-27 18:47:49 +0200 <maerwald> overall, haskell + windows is an awful experience
2020-09-27 18:48:12 +0200 <maerwald> https://github.com/haskell-hvr/regex-posix/issues/4
2020-09-27 18:48:31 +0200 <sm[m]> oh I see.. when it says see the build log above, it's actually appearing a few lines below
2020-09-27 18:48:38 +0200 <[exa]> so if I run mmap from the mmap package on a pipe, it silently mmaps it as an empty file and doesn't report any kind of error. Is there any best way to detect that this has happened?
2020-09-27 18:49:40 +0200 <[exa]> ad pipe I mean something that comes out of `mkfifo`
2020-09-27 18:50:02 +0200sdx23(~sdx23@unaffiliated/sdx23)
2020-09-27 18:50:22 +0200 <sm[m]> maerwald: one thing that comes to mind that's easy to try, specify shell: bash (or whatever the syntax is) so that bash is used on windows too. Otherwise it's in powershell or something
2020-09-27 18:50:40 +0200 <sm[m]> it can remove some variability
2020-09-27 18:50:40 +0200bitmapper(~bitmapper@159.2.173.158)
2020-09-27 18:51:16 +0200 <sm[m]> I guess it runs in WSL if you do that
2020-09-27 18:51:34 +0200 <maerwald> imo... there's not a single CI solution that has made it easy to *develop* a CI config
2020-09-27 18:51:44 +0200 <maerwald> it's all commit-push-wait non-interactive
2020-09-27 18:52:14 +0200Rudd0^(~Rudd0@185.189.115.98)
2020-09-27 18:52:59 +0200Dolly(585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-27 18:53:06 +0200 <sm[m]> there is a way of getting an interactive shell. I wish I had set it up from the start, it would have been worthwhile
2020-09-27 18:53:17 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Remote host closed the connection)
2020-09-27 18:53:20 +0200 <sm[m]> it's in the actions marketplace
2020-09-27 18:54:14 +0200 <maerwald> so... it seems zlib fails to build straight on windows
2020-09-27 18:54:40 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 246 seconds)
2020-09-27 18:55:09 +0200 <p0a> [exa]: you probably can't do that from mmap because mmap is not careful enough
2020-09-27 18:55:16 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-09-27 18:56:22 +0200 <p0a> [exa]: I'm not entirely sure how the FFI works but the source code seems to use system_io_mmap_file_size, which would report 0 for the pipe I suppose
2020-09-27 18:56:26 +0200 <sm[m]> maerwald: you could also compare with mine and see what's different ? https://github.com/simonmichael/hledger/actions?query=workflow%3A%22windows+CI%22
2020-09-27 18:57:01 +0200 <p0a> [exa]: in C if you try to mmap a pipe file descriptor you would get EACCES
2020-09-27 18:57:15 +0200 <maerwald> sm[m]: you're not using cabal
2020-09-27 18:57:26 +0200 <maerwald> so that doesn't help me
2020-09-27 18:57:51 +0200brewmarche(~brewmarch@aftr-62-216-202-61.dynamic.mnet-online.de) (Quit: Leaving)
2020-09-27 18:58:00 +0200 <sm[m]> ah. Well it maybe something stack took care of for the windows users. As I've mentioned before, this is one of the things stack is good at
2020-09-27 18:58:22 +0200 <sm[m]> it's probably discussed in their issue tracker
2020-09-27 18:58:25 +0200 <[exa]> p0a: yeah that's likely... more like, what's the easiest test that the file cannot be mmapped AND doesn't involve rewriting the mmap library to actually force mmap to fail; which is in fact weird that it does not now.
2020-09-27 18:59:51 +0200 <maerwald> sm[m]: stack fails in other ways
2020-09-27 19:00:02 +0200 <maerwald> but I'm tackling one after another
2020-09-27 19:00:18 +0200 <sm[m]> did you google the message yet ? what about https://gitlab.haskell.org/ghc/ghc/-/issues/18550
2020-09-27 19:00:41 +0200 <sm[m]> sorry to be annoying
2020-09-27 19:01:55 +0200revprez_stg(~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Quit: leaving)
2020-09-27 19:02:50 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 19:03:43 +0200 <p0a> [exa]: what is mmapable now may not be later :) Why are you using mmap?
2020-09-27 19:03:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 19:04:39 +0200 <[exa]> to avoid loading tons of bytestrings to RAM, tbh
2020-09-27 19:04:56 +0200ryansmccoy(~ryansmcco@193.37.254.27) (Ping timeout: 272 seconds)
2020-09-27 19:04:56 +0200jneira[m](~jneira@125.red-193-152-119.dynamicip.rima-tde.net) (Read error: Connection reset by peer)
2020-09-27 19:05:05 +0200jneira[m](~jneira@80.30.101.206)
2020-09-27 19:05:33 +0200ryansmccoy(~ryansmcco@156.96.151.132)
2020-09-27 19:06:06 +0200 <p0a> how come you're sometimes doing it on pipes?
2020-09-27 19:06:28 +0200 <[exa]> it's a shell tool; sometimes you just want to pipe stuff in dynamically
2020-09-27 19:06:53 +0200 <[exa]> it's diff, consider `diff <(zcat foo) bar`
2020-09-27 19:06:58 +0200 <p0a> the shell tool should know when it's a pipe and when it is not
2020-09-27 19:06:59 +0200bitmapper(~bitmapper@159.2.173.158) (Remote host closed the connection)
2020-09-27 19:07:09 +0200 <p0a> well, in that case you show above at least
2020-09-27 19:07:12 +0200bitmapper(~bitmapper@159.2.173.158)
2020-09-27 19:07:12 +0200revprez_stg(~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-09-27 19:07:15 +0200 <[exa]> that expands to `diff /tmp/somepipe bar`
2020-09-27 19:07:32 +0200 <p0a> Oh oh, not in /that/ case :)
2020-09-27 19:07:41 +0200 <p0a> I thought you did `foo | cat bar'
2020-09-27 19:08:24 +0200d1w(585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-27 19:08:31 +0200d1w(585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-27 19:08:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-27 19:09:27 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 240 seconds)
2020-09-27 19:10:06 +0200 <p0a> instead of the <(zcat foo) trick, just have your shell tool uncompress the file, `tool foo bar'
2020-09-27 19:10:11 +0200nullheroes(~danielvu@168.235.66.22) (Quit: WeeChat 2.9)
2020-09-27 19:12:34 +0200hyperisco(~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-09-27 19:13:11 +0200 <p0a> I don't know what the solution is, but if mmap doesn't error on a pipe, I'm not sure what to do
2020-09-27 19:14:02 +0200 <[exa]> p0a: I'm kinda aiming to simulate the normal diff that survives this without problems, also user experience. :]
2020-09-27 19:14:13 +0200 <p0a> [exa]: https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix-Files.html
2020-09-27 19:14:27 +0200 <p0a> [exa]: You can use this to determine what kind of file you're dealing with I believe
2020-09-27 19:15:16 +0200 <p0a> with isRegularFile, for instance
2020-09-27 19:15:36 +0200 <geekosaur> witha race condition
2020-09-27 19:15:52 +0200Ranhir(~Ranhir@157.97.53.139)
2020-09-27 19:16:12 +0200 <p0a> I don't know how the regular `diff' works, but it probably doesn't read the whole file into memory. If you avoid doing that, you should be fine? I don't know if mmap is the solution.
2020-09-27 19:16:25 +0200 <geekosaur> well, you can determine it for a file descriptor with its wrapper for fstat()
2020-09-27 19:17:46 +0200dhil(~dhil@11.29.39.217.dyn.plus.net)
2020-09-27 19:19:17 +0200Dolly(585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-27 19:19:25 +0200Dolly(585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-27 19:19:47 +0200 <sm[m]> maerwald, I wonder was it relevant ? Have you been hit by a ghc-8.10.2-on-windows bug ? If so maybe use ghc-8.8.2 ?
2020-09-27 19:20:40 +0200 <[exa]> sounds like patching mmap. :]
2020-09-27 19:21:23 +0200 <sm[m]> or ghc-8.8.4, not sure
2020-09-27 19:21:32 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-27 19:22:27 +0200Rudd0^(~Rudd0@185.189.115.98) (Ping timeout: 240 seconds)
2020-09-27 19:23:51 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-27 19:24:36 +0200ystael(~ystael@209.6.50.55)
2020-09-27 19:25:42 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-dtubdednlwbvjfwc)
2020-09-27 19:26:16 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 19:28:13 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-09-27 19:31:59 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se)
2020-09-27 19:33:18 +0200bitmapper(~bitmapper@159.2.173.158) (Remote host closed the connection)
2020-09-27 19:36:01 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-27 19:38:05 +0200Saten-san(~Saten-san@ip-62-235-12-222.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-09-27 19:39:17 +0200eruditass(uid248673@gateway/web/irccloud.com/x-zlcczwkclodwpxuw)
2020-09-27 19:40:01 +0200acidjnk_new(~acidjnk@p200300d0c723788910a692a0a73cc94d.dip0.t-ipconnect.de)
2020-09-27 19:40:38 +0200dead10cc(63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207)
2020-09-27 19:41:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 19:41:13 +0200mirrorbird(~psutcliff@h85-8-41-6.cust.a3fiber.se) (Ping timeout: 246 seconds)
2020-09-27 19:42:38 +0200mmohammadi98129(~mmohammad@188.210.120.20)
2020-09-27 19:46:47 +0200elliott__(~elliott@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-09-27 19:49:05 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-27 19:51:05 +0200p0a(~user@unaffiliated/p0a) (Quit: bye)
2020-09-27 19:53:09 +0200dead10cc(63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) (Quit: Connection closed)
2020-09-27 19:54:19 +0200dead10cc(63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207)
2020-09-27 19:56:32 +0200 <maerwald> sm[m]: yes, I think it's a 8.10.2 bug
2020-09-27 20:00:01 +0200roflbox(~roflbox@193.56.252.210) ()
2020-09-27 20:01:01 +0200zero26(9a11026b@154.17.2.107)
2020-09-27 20:01:13 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-09-27 20:01:37 +0200zero26(9a11026b@154.17.2.107) (Remote host closed the connection)
2020-09-27 20:02:46 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 20:04:32 +0200Turmfalke(~user@unaffiliated/siracusa)
2020-09-27 20:06:17 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf) (Quit: leaving)
2020-09-27 20:07:30 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 265 seconds)
2020-09-27 20:11:56 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-09-27 20:12:14 +0200solonarv(~solonarv@anancy-653-1-63-100.w109-217.abo.wanadoo.fr)
2020-09-27 20:12:21 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
2020-09-27 20:12:58 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-09-27 20:13:24 +0200 <maerwald> I'm wondering if it's actually GHC or chocolatey being broken
2020-09-27 20:13:29 +0200 <maerwald> I'm thinkin the latter
2020-09-27 20:13:41 +0200 <maerwald> (otherwise... why would stack work)
2020-09-27 20:14:17 +0200 <phadej> 8.10.2 is broken
2020-09-27 20:14:23 +0200 <phadej> it has hardcoded paths
2020-09-27 20:14:41 +0200Dolly(585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-27 20:14:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-27 20:14:46 +0200Dolly(585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-27 20:14:57 +0200 <phadej> (not sure if that's the reason to the reason it doesn't work for you)
2020-09-27 20:16:06 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf)
2020-09-27 20:19:02 +0200 <maerwald> I'm not sure github actions is much of an improvement over travis. I've definitely wasted more time on it.
2020-09-27 20:19:19 +0200 <dead10cc> is a monad a type class?
2020-09-27 20:19:36 +0200 <ski> no, `Monad' is a type class
2020-09-27 20:20:06 +0200 <phadej> maerwald: It's not an improvement. as in, it's not /strictly/ better. It's better at some stuff, worse at other
2020-09-27 20:20:07 +0200 <ski> a monad is a type that is a (lawful) instance of the `Monad' type class
2020-09-27 20:20:45 +0200 <maerwald> phadej: I'm just glad I don't have github->travis redirection problems... that's all I noticed
2020-09-27 20:20:51 +0200 <dead10cc> well then that simplifies things, thanks
2020-09-27 20:21:13 +0200 <phadej> maerwald: redirection problems?
2020-09-27 20:21:26 +0200 <maerwald> yeah, constantly needing to re-login at travis
2020-09-27 20:21:41 +0200dkdl(585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-27 20:21:56 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-09-27 20:21:59 +0200 <phadej> hmm, I haven't noticed that. (as in, I don't remember when I logged into travis last time explicitly)
2020-09-27 20:22:10 +0200 <phadej> maybe your browser is more strict about privacy (not a bad thing)
2020-09-27 20:22:26 +0200 <maerwald> it's full of half-working extensions, yeah
2020-09-27 20:22:28 +0200 <sm[m]> I find GitHub way better, if only because it covers all three platforms, and is more integrated with my repo. Maybe Travis got better
2020-09-27 20:22:29 +0200 <koz_> I've used Github Actions. It's annoying, but I finally found how to make a config that works in all the ways I care about.
2020-09-27 20:22:33 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-09-27 20:22:43 +0200 <maerwald> sm[m]: does travis not cover windows?
2020-09-27 20:22:49 +0200 <phadej> it does
2020-09-27 20:23:00 +0200 <phadej> https://docs.travis-ci.com/user/reference/windows/
2020-09-27 20:23:04 +0200 <sm[m]> mac ?
2020-09-27 20:23:10 +0200 <maerwald> mac is supported
2020-09-27 20:23:17 +0200 <maerwald> I build ghcup binaries on mac
2020-09-27 20:23:17 +0200 <phadej> and also arm target, fwiw
2020-09-27 20:23:28 +0200 <maerwald> *mac travis
2020-09-27 20:23:40 +0200 <maerwald> (and the linking is good)
2020-09-27 20:23:49 +0200 <maerwald> (on ghc gitlab, it isn't)
2020-09-27 20:24:00 +0200 <sm[m]> alrighty.. are they as uniform as on GitHub ?
2020-09-27 20:24:11 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) ()
2020-09-27 20:24:17 +0200 <phadej> as uniform as travis.yml allows, I guess :)
2020-09-27 20:24:58 +0200 <phadej> GitHub CI has a benefit that you can have multiple jobs, which are completely unrelated
2020-09-27 20:25:09 +0200 <phadej> if travis had that, it would be strictly better, IMO.
2020-09-27 20:25:21 +0200 <maerwald> the actions have this vibe of badly written nmp modules though
2020-09-27 20:25:27 +0200 <phadej> (and also gave more cpu time to OSS for free, but I cannot blame anyone for not doing that)
2020-09-27 20:25:27 +0200 <maerwald> *npm
2020-09-27 20:25:46 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Quit: Quit.)
2020-09-27 20:25:54 +0200 <phadej> maerwald: I don't use premade actions, they take out control where I most need it
2020-09-27 20:25:55 +0200 <maerwald> like, import some action, figure out it works 60% of the time
2020-09-27 20:26:02 +0200 <maerwald> a little like ansible maybe
2020-09-27 20:27:24 +0200 <maerwald> and when I want to look at what an action does... it's 5k LOC js code
2020-09-27 20:27:37 +0200 <phadej> yes, the API is horrible.
2020-09-27 20:27:41 +0200 <phadej> JS code glued with YAML
2020-09-27 20:28:22 +0200 <maerwald> they should have picked haskell (and if it's just to keep most programmers out :p
2020-09-27 20:28:46 +0200 <koz_> phadej: That was the worst part.
2020-09-27 20:28:50 +0200 <koz_> Configuration gore is worst gore.
2020-09-27 20:29:07 +0200 <phadej> then they would needed to seriously think about API against which actions are programmed with
2020-09-27 20:29:11 +0200 <phadej> it's not trivial problem
2020-09-27 20:29:42 +0200 <phadej> with JS, kind easier (you don't need to think upfront, even though it might be a good idea)
2020-09-27 20:30:08 +0200 <maerwald> "you don't need to think upfront" is a good description of js programming, yes
2020-09-27 20:30:22 +0200 <koz_> maerwald: Lol.
2020-09-27 20:30:28 +0200 <sm[m]> I think CI often gets blamed because it exposes us to the issues on unfamiliar platforms, and obscure issues that locally we would just work around. But the non interactivity for learning/troubleshooting is definitely a common problem
2020-09-27 20:31:03 +0200 <maerwald> yes... there's a market for fixing this, imo
2020-09-27 20:31:20 +0200 <sm[m]> I guess using your own worker is a solution for this (and caching too)
2020-09-27 20:31:45 +0200bahamas(~lucian@84.232.141.175)
2020-09-27 20:31:45 +0200bahamas(~lucian@84.232.141.175) (Changing host)
2020-09-27 20:31:45 +0200bahamas(~lucian@unaffiliated/bahamas)
2020-09-27 20:33:10 +0200 <maerwald> doesn't seem too hard... you cache builds after each step, provide an online editor for your config and allow to rever restart from steps, as well as dropp into an interactive shell after a given step
2020-09-27 20:33:48 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 20:34:00 +0200 <maerwald> but competing in the CI market isn't really about your tech solutions
2020-09-27 20:34:27 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 20:34:31 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com)
2020-09-27 20:35:43 +0200Tops2(~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de)
2020-09-27 20:38:02 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2020-09-27 20:39:18 +0200Tops21(~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de) (Ping timeout: 272 seconds)
2020-09-27 20:39:49 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-09-27 20:42:57 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-09-27 20:43:22 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-27 20:43:43 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net)
2020-09-27 20:44:15 +0200ericsagnes(~ericsagne@2405:6580:0:5100:652c:34a0:8a11:d7f2) (Ping timeout: 272 seconds)
2020-09-27 20:44:15 +0200macrover(~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-09-27 20:44:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 20:50:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-27 20:51:03 +0200larsivi(~larsivi@s91904426.blix.com)
2020-09-27 20:51:29 +0200dead10cc(63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) (Ping timeout: 265 seconds)
2020-09-27 20:51:48 +0200chaosmasttter(~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de)
2020-09-27 20:51:56 +0200Guest_43(b893734a@bras-base-kgtnon0881w-grc-61-184-147-115-74.dsl.bell.ca)
2020-09-27 20:53:30 +0200 <Guest_43> I download in terminal and the result is all done.But I input ghci it gave me command not found
2020-09-27 20:53:55 +0200 <adam_wespiser> Haskell CI can sometimes take a long time, I'd really like If I could send a certificate from my computer that all the tests pass, and the CI would accept it and run less
2020-09-27 20:55:11 +0200 <Guest_43> how
2020-09-27 20:55:38 +0200knupfer1(~Thunderbi@200116b824c86d00c5599ffb88017b19.dip.versatel-1u1.de)
2020-09-27 20:55:38 +0200knupfer1(~Thunderbi@200116b824c86d00c5599ffb88017b19.dip.versatel-1u1.de) (Client Quit)
2020-09-27 20:55:46 +0200bahamas(~lucian@unaffiliated/bahamas) (Ping timeout: 246 seconds)
2020-09-27 20:55:47 +0200knupfer(~Thunderbi@mue-88-130-61-225.dsl.tropolys.de) (Quit: knupfer)
2020-09-27 20:56:04 +0200knupfer(~Thunderbi@200116b824c86d0065865d8c33a01615.dip.versatel-1u1.de)
2020-09-27 20:56:16 +0200 <adam_wespiser> I'm not sure how it would work, yet
2020-09-27 20:56:28 +0200ericsagnes(~ericsagne@2405:6580:0:5100:4d11:5c80:3101:9ff9)
2020-09-27 20:56:50 +0200 <Guest_43> No I mean how can I fix tha
2020-09-27 20:56:52 +0200 <Guest_43> t
2020-09-27 20:57:01 +0200 <koz_> :t comparing
2020-09-27 20:57:03 +0200 <lambdabot> Ord a => (b -> a) -> b -> b -> Ordering
2020-09-27 20:57:22 +0200 <adam_wespiser> Nix helps a little bit with caching builds
2020-09-27 20:57:23 +0200 <c_wraith> Guest_43: what did you install? what os?
2020-09-27 20:57:41 +0200 <c_wraith> Guest_43: (ghcup on os x, maybe?)
2020-09-27 20:57:55 +0200 <koz_> @where comparing
2020-09-27 20:57:56 +0200 <lambdabot> I know nothing about comparing.
2020-09-27 20:57:58 +0200 <koz_> :(
2020-09-27 20:58:05 +0200 <MarcelineVQ> Data.Ord
2020-09-27 20:58:10 +0200 <koz_> MarcelineVQ: Thanks!
2020-09-27 20:58:19 +0200 <c_wraith> The @where command is just for pre-canned stuff anyway.
2020-09-27 20:58:19 +0200 <MarcelineVQ> @index comparing
2020-09-27 20:58:20 +0200 <lambdabot> Data.Ord, Distribution.Simple.Utils
2020-09-27 20:58:27 +0200 <c_wraith> Yeah, you wanted @index
2020-09-27 20:58:31 +0200 <koz_> Ah.
2020-09-27 20:58:41 +0200 <MarcelineVQ> or hoogle or grep :>
2020-09-27 20:58:43 +0200 <koz_> But is it an int index? :P
2020-09-27 20:58:53 +0200 <MarcelineVQ> It's Maybe Nat
2020-09-27 20:58:59 +0200 <c_wraith> or https://hackage.haskell.org/package/base-4.14.0.0/docs/doc-index-C.html
2020-09-27 20:59:11 +0200 <Guest_43> I download a file and I input : load lec
2020-09-27 20:59:15 +0200 <c_wraith> it seems like no one knows about haddock's index pages
2020-09-27 20:59:22 +0200Guest_43(b893734a@bras-base-kgtnon0881w-grc-61-184-147-115-74.dsl.bell.ca) (Remote host closed the connection)
2020-09-27 20:59:26 +0200 <maerwald> what
2020-09-27 20:59:35 +0200 <koz_> c_wraith: Truthfully, I didn't either, until today. Thanks.
2020-09-27 20:59:37 +0200 <adam_wespiser> you can also do "Cntrl - s" to search on hackage
2020-09-27 20:59:50 +0200Guest_8(b893734a@bras-base-kgtnon0881w-grc-61-184-147-115-74.dsl.bell.ca)
2020-09-27 21:00:03 +0200 <maerwald> adam_wespiser: isn't it *just* s?
2020-09-27 21:00:07 +0200 <MarcelineVQ> adam_wespiser: in fact you can just press s on many hackage pages for a site-specific search
2020-09-27 21:00:09 +0200 <maerwald> at least for me
2020-09-27 21:00:30 +0200 <c_wraith> maerwald: a *lot* of people say things like "I wish there was a place I could just see everything defined in a package"
2020-09-27 21:00:32 +0200 <adam_wespiser> yea, you're right
2020-09-27 21:00:44 +0200 <adam_wespiser> for some reason i've been using cntrl-s
2020-09-27 21:00:50 +0200 <adam_wespiser> anyway, great feature
2020-09-27 21:01:03 +0200 <maerwald> it is, just gets a little slow in big packages
2020-09-27 21:01:12 +0200 <maerwald> because it doesn't debounce searching
2020-09-27 21:01:18 +0200 <Guest_8> I download ghc on windows and a file my professor gave me. But after I input :load lec3.hs , it gave me Failed, no modules loaded. How can I fix that
2020-09-27 21:01:24 +0200 <adam_wespiser> Agreed, and sometimes it resolves to the typeclass, when I'm search by a typeclass method
2020-09-27 21:01:40 +0200 <c_wraith> Guest_8: sounds like the file isn't in the location you're running ghc from
2020-09-27 21:01:47 +0200 <c_wraith> err, ghci
2020-09-27 21:02:07 +0200 <Guest_8> I think so, what should I do?
2020-09-27 21:02:14 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection)
2020-09-27 21:02:30 +0200cosimone(~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-27 21:02:42 +0200xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2020-09-27 21:03:40 +0200dead10cc(63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207)
2020-09-27 21:04:49 +0200 <adam_wespiser> try running ghci from the same directory as your file
2020-09-27 21:05:29 +0200Enrico63(5204d17b@cpc149476-cmbg20-2-0-cust378.5-4.cable.virginm.net) (Ping timeout: 245 seconds)
2020-09-27 21:08:01 +0200Kaivo(~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 2.9)
2020-09-27 21:08:36 +0200 <Guest_8> I run ghci in the command prompt and its like C:\Users\123>ghci, my file is in a folder on desktop. How can I run them in the same directory?
2020-09-27 21:10:55 +0200bitmagie(~Thunderbi@87.122.7.46) (Quit: bitmagie)
2020-09-27 21:12:44 +0200 <ski> use `cd' to get into the folder in question
2020-09-27 21:13:39 +0200 <Guest_8> Could you be more specific?
2020-09-27 21:13:49 +0200kenran(~maier@mue-88-130-62-200.dsl.tropolys.de)
2020-09-27 21:14:12 +0200 <maerwald> sm[m]: also, the add-path directive (contrary to the official github actions docs) doesn't work on windows
2020-09-27 21:14:28 +0200 <ski> i don't know the path to your folder
2020-09-27 21:14:38 +0200 <maerwald> that's why I like half-assed cross-platfrom approaches
2020-09-27 21:14:40 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-27 21:15:09 +0200 <Guest_8> C;\Users\123\Desktop
2020-09-27 21:15:24 +0200 <Guest_8> folername CISC
2020-09-27 21:15:29 +0200 <ski> so the file `lec3.hs' is on your desktop ?
2020-09-27 21:15:35 +0200 <Guest_8> yes
2020-09-27 21:15:53 +0200 <Guest_8> in the CISC
2020-09-27 21:16:10 +0200 <ski> is `CISC' another folder ?
2020-09-27 21:16:41 +0200 <Guest_8> lec3 is a file in folder CISC and CISC is on desktop
2020-09-27 21:16:48 +0200 <ski> C:\Users\123>cd Desktop\CISC
2020-09-27 21:17:06 +0200 <ski> C:\Users\123\Desktop\CISC>ghci lec3.hs
2020-09-27 21:17:28 +0200 <Guest_8> cd Desktop\cisc360
2020-09-27 21:17:51 +0200 <ski> if it's actually called `cisc360', then yes
2020-09-27 21:18:28 +0200 <Guest_8> omg
2020-09-27 21:18:32 +0200 <Guest_8> it worked
2020-09-27 21:18:42 +0200 <Guest_8> thanks for helping me out ski
2020-09-27 21:18:46 +0200 <ski> np
2020-09-27 21:18:48 +0200 <Guest_8> I love you man
2020-09-27 21:19:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 21:19:43 +0200chaosmasttter(~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-09-27 21:20:20 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 21:22:31 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 21:24:37 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 21:25:20 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-27 21:25:45 +0200dead10cc(63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) (Ping timeout: 240 seconds)
2020-09-27 21:27:22 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2)
2020-09-27 21:28:20 +0200shafox(~shafox@106.51.234.111) (Remote host closed the connection)
2020-09-27 21:28:35 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds)
2020-09-27 21:29:16 +0200chaosmasttter(~chaosmast@p200300c4a7105f01cc6851adcbf57dac.dip0.t-ipconnect.de)
2020-09-27 21:29:22 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 21:29:27 +0200thir(~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-09-27 21:31:01 +0200kuribas(~user@ptr-25vy0iaf5qqps5l6i5w.18120a2.ip6.access.telenet.be)
2020-09-27 21:34:25 +0200filwisher(~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-27 21:34:42 +0200Saukk(~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection)
2020-09-27 21:35:16 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 21:38:06 +0200Quarl(~Quarl@94.191.138.174.mobile.tre.se) (Read error: Connection reset by peer)
2020-09-27 21:38:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-27 21:39:23 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-09-27 21:39:54 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-pfytdyvohwtqwlkb) (Quit: Connection closed for inactivity)
2020-09-27 21:39:59 +0200Tops21(~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de)
2020-09-27 21:40:05 +0200Amras(~Amras@unaffiliated/amras0000)
2020-09-27 21:40:15 +0200elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-27 21:42:21 +0200elliott__(~elliott@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-27 21:43:22 +0200Tops2(~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de) (Ping timeout: 260 seconds)
2020-09-27 21:45:13 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 21:45:21 +0200elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-27 21:46:16 +0200knupfer(~Thunderbi@200116b824c86d0065865d8c33a01615.dip.versatel-1u1.de) (Quit: knupfer)
2020-09-27 21:46:27 +0200knupfer(~Thunderbi@200116b824c86d006010e08279938567.dip.versatel-1u1.de)
2020-09-27 21:46:44 +0200Guest_8(b893734a@bras-base-kgtnon0881w-grc-61-184-147-115-74.dsl.bell.ca) (Ping timeout: 245 seconds)
2020-09-27 21:47:25 +0200kenran(~maier@mue-88-130-62-200.dsl.tropolys.de) (Ping timeout: 240 seconds)
2020-09-27 21:48:20 +0200 <koz_> What's the easiest way to get a NominalDiffTime as a _whole_ number of milliseconds?
2020-09-27 21:49:16 +0200xff0x_(~fox@2001:1a81:533e:8e00:b1b8:25fe:117c:c2a0) (Ping timeout: 244 seconds)
2020-09-27 21:49:22 +0200fendor(~fendor@91.141.0.143.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-27 21:49:47 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-mpevcdkaddwfqaxn)
2020-09-27 21:50:13 +0200xff0x_(~fox@port-92-195-106-234.dynamic.as20676.net)
2020-09-27 21:50:13 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-09-27 21:50:14 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-09-27 21:50:56 +0200 <[exa]> I like how time-difference question often tend not to have a reasonable solution
2020-09-27 21:51:10 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-09-27 21:51:48 +0200 <koz_> [exa]: Well, 'reasonable' is relative the situation.
2020-09-27 21:52:45 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 21:53:05 +0200 <[exa]> anyway you can convert the N.D.T. to Pico which is Fixed E12 (iirc), from which you should be able to get a workable Integer
2020-09-27 21:53:07 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-27 21:53:08 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-27 21:53:29 +0200 <koz_> [exa]: Yeah, just realized nominalDiffTimeToSeconds returns picoseconds, not seconds...
2020-09-27 21:53:40 +0200 <koz_> :t realToFrac
2020-09-27 21:53:42 +0200 <lambdabot> (Real a, Fractional b) => a -> b
2020-09-27 21:53:52 +0200 <[exa]> they have their own div' and mod' btw
2020-09-27 21:55:17 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Quit: WeeChat 2.9)
2020-09-27 21:55:29 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 21:55:46 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-09-27 21:57:23 +0200TooDifficult(~TooDiffic@139.59.59.230)
2020-09-27 21:58:28 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 272 seconds)
2020-09-27 21:59:27 +0200TooDifficult(~TooDiffic@139.59.59.230) (Client Quit)
2020-09-27 22:00:07 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2020-09-27 22:02:11 +0200dead10cc(63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207)
2020-09-27 22:02:52 +0200dhil(~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 256 seconds)
2020-09-27 22:03:06 +0200oisdk(~oisdk@2001:bb6:3329:d100:bd22:91d7:f791:22b6)
2020-09-27 22:07:12 +0200stree_(~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-09-27 22:07:29 +0200stree(~stree@50-108-126-14.adr01.mskg.mi.frontiernet.net)
2020-09-27 22:08:34 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-09-27 22:09:58 +0200hackagemtl-uplift 0.1.0.0 - Lift substacks of monad transformer stacks https://hackage.haskell.org/package/mtl-uplift-0.1.0.0 (sgschlesinger)
2020-09-27 22:10:35 +0200 <koz_> "... but just to know which monad tops it"
2020-09-27 22:10:38 +0200koz_giggles
2020-09-27 22:11:14 +0200 <[exa]> monad stacks now have substacks?!
2020-09-27 22:11:17 +0200 <glguy> koz_: multiply by 1000 and round
2020-09-27 22:11:18 +0200 <[exa]> man
2020-09-27 22:11:32 +0200GyroW_(~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be)
2020-09-27 22:11:32 +0200GyroW_(~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) (Changing host)
2020-09-27 22:11:32 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-09-27 22:12:05 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-09-27 22:13:00 +0200geekosaur(ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection)
2020-09-27 22:13:56 +0200 <glguy> % :t \x -> round (x * 1000 :: NominalDiffTime) :: Integer
2020-09-27 22:13:56 +0200 <yahb> glguy: NominalDiffTime -> Integer
2020-09-27 22:14:07 +0200knupfer(~Thunderbi@200116b824c86d006010e08279938567.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-09-27 22:14:10 +0200v_m_v(~vm_v@31-10-157-87.cgn.dynamic.upc.ch)
2020-09-27 22:14:20 +0200Tops21(~Tobias@dyndsl-095-033-020-186.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-09-27 22:15:37 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 22:15:54 +0200elliott__(~elliott@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2020-09-27 22:18:11 +0200jneira(501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206) (Quit: Ping timeout (120 seconds))
2020-09-27 22:19:26 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-27 22:20:14 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-27 22:20:26 +0200raehik(~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-09-27 22:21:37 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-27 22:22:18 +0200finkata(~dpetrov@83.222.188.39)
2020-09-27 22:22:36 +0200dhil(~dhil@11.29.39.217.dyn.plus.net)
2020-09-27 22:26:44 +0200fluturel(~fluturel@86.120.237.180)
2020-09-27 22:26:51 +0200centril(~centril@213-66-146-92-no250.tbcn.telia.com) (Read error: Connection reset by peer)
2020-09-27 22:27:38 +0200fendor(~fendor@91.141.0.143.wireless.dyn.drei.com)
2020-09-27 22:27:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 22:28:59 +0200isovector1(~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Remote host closed the connection)
2020-09-27 22:29:33 +0200carldd1(~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer)
2020-09-27 22:29:35 +0200rockethead(~rockethea@2001:41d0:302:2100::6dae)
2020-09-27 22:29:45 +0200 <fluturel> dsal: you were the one that made that GoPro thing-a-magic in Haskell, right?
2020-09-27 22:29:46 +0200sigmaTau(~eat@66.115.146.13)
2020-09-27 22:30:13 +0200carldd1(~carldd@90-224-49-113-no56.tbcn.telia.com)
2020-09-27 22:30:14 +0200 <dsal> fluturel: Yeah. Got some good use out of it today, because I filmed myself making a couple bullets and the camera split up my video.
2020-09-27 22:30:48 +0200 <koz_> dsal: ... wait, like, _actual bullets_?
2020-09-27 22:30:52 +0200jneira(501e65ce@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.206)
2020-09-27 22:30:57 +0200 <fluturel> that was my question as well
2020-09-27 22:31:07 +0200 <fluturel> how does one make bullets
2020-09-27 22:31:11 +0200 <dsal> I have too many hobbies. https://usercontent.irccloud-cdn.com/file/mEAok2zq/loading.jpg
2020-09-27 22:31:18 +0200 <koz_> fluturel: Uhh, it's not impossible.
2020-09-27 22:31:24 +0200centril(~centril@213-66-146-92-no250.tbcn.telia.com)
2020-09-27 22:31:26 +0200 <koz_> Hand loads were a thing for quite a while, and still are.
2020-09-27 22:31:28 +0200 <dsal> I didn't cast the bullets in this case, though.
2020-09-27 22:31:30 +0200 <koz_> It's just fiddly.
2020-09-27 22:31:42 +0200 <koz_> (and obviously, machine-made ones will be much more uniform)
2020-09-27 22:32:03 +0200 <maralorn> fragnix seems to fulfill the Haskell stereotype. Last commit immediately before the icfp talk but since then no activity what so ever. I really don‘t want to complain about it, but I am so exited about the project.
2020-09-27 22:32:04 +0200 <dsal> But I did have to like, use a stupid piece of paper to get powder into the cases I harvested.
2020-09-27 22:32:20 +0200 <koz_> dsal: Is this for like, a historical firearm or something?
2020-09-27 22:32:27 +0200 <koz_> Or for something in a super-weird caliber?
2020-09-27 22:32:38 +0200 <fluturel> I'm not that into guns and stuff, they are pretty illegal and regulated where I'm from, didn't know it was a thing
2020-09-27 22:32:41 +0200 <dsal> Nah, .300 blackout is just kind of expensive and I like learning stuff.
2020-09-27 22:32:46 +0200 <koz_> Ah.
2020-09-27 22:33:06 +0200 <koz_> fluturel: I'm not into guns either, and I'm also from a pretty regulated place, but I'm interested in almost everything.
2020-09-27 22:33:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-27 22:33:33 +0200 <dsal> I like learning in general. The science here is kind of nuts.
2020-09-27 22:33:46 +0200 <Rembane> dsal: How calm do you need to be to pack gun powder into cases? How big is the risk for unintended explosions?
2020-09-27 22:34:10 +0200 <sigmaTau> Not that big if hes telling us about it.
2020-09-27 22:34:12 +0200 <dsal> Most of this stuff is meant to be fairly stable until the right thing happens.
2020-09-27 22:34:43 +0200 <fluturel> dsal: Anyway, my question was: do you want to share the source for the webapp? I don't know if it was in the link you gave me, i kind of lost it
2020-09-27 22:34:44 +0200 <dsal> Yeah, the explosion was controlled and only occurred when and how it was desired. So my little haskell project is archiving my video now. :)
2020-09-27 22:34:49 +0200ahri(~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-27 22:34:57 +0200 <dsal> fluturel: Yeah, it's ui in github.com/dustin/gopro
2020-09-27 22:35:01 +0200 <Rembane> dsal: That sounds reassuring. :)
2020-09-27 22:35:05 +0200nschoe(~quassel@2a01:e0a:3c4:c7b0:dcec:5235:21ee:c285) (Ping timeout: 272 seconds)
2020-09-27 22:35:07 +0200 <fluturel> thank youuu
2020-09-27 22:35:08 +0200ahri(~ahri@178.209.40.84)
2020-09-27 22:35:11 +0200 <sigmaTau> Smart people plus explosives has never gone down well in history.
2020-09-27 22:35:12 +0200 <sigmaTau> just saying.
2020-09-27 22:35:14 +0200 <dsal> I kind of want to do a few more things there, but I feel like I might not know how to structure it well.
2020-09-27 22:35:27 +0200fendor(~fendor@91.141.0.143.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-27 22:35:32 +0200 <sigmaTau> It always ends in a netfilx documentary
2020-09-27 22:35:34 +0200 <sigmaTau> HEH
2020-09-27 22:35:35 +0200 <dsal> heh
2020-09-27 22:35:43 +0200elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-09-27 22:35:46 +0200 <dsal> I'm trying to keep my explosions as small as necessary.
2020-09-27 22:36:08 +0200 <dsal> fluturel: So, I have MonadLogger logging to a broadcast channel that's forked for every inbound websocket connection.
2020-09-27 22:36:25 +0200dead10cc(63f22acf@gateway/web/cgi-irc/kiwiirc.com/ip.99.242.42.207) ()
2020-09-27 22:36:27 +0200 <fluturel> koz_: I am also very interested in learning stuff, but guns in particular.. kind of always avoided them
2020-09-27 22:36:50 +0200 <dsal> The web app attaches to that and processes incoming messages into either toasts or a data reload instruction.
2020-09-27 22:36:59 +0200 <koz_> fluturel: I wouldn't wanna actually do anything with that stuff. I just have a weird mind that has to be fed information.
2020-09-27 22:37:17 +0200 <koz_> I literally set yesterday (mostly) on fire to read up on Lamping's optimal reduction algorithm and linear logic and stuff.
2020-09-27 22:37:33 +0200 <dsal> The things I do with guns are a lot safer than the things I do to get my mail. heh
2020-09-27 22:37:34 +0200 <koz_> Apparently, there's an affine version of the lambda calculus that describes computations in P.
2020-09-27 22:37:36 +0200 <fluturel> koz_ : Sameee. Where are you from?
2020-09-27 22:37:43 +0200 <koz_> fluturel: New Zealand.
2020-09-27 22:37:47 +0200 <fluturel> Same in regards to information feeding
2020-09-27 22:38:13 +0200 <fluturel> koz_ : P systems?
2020-09-27 22:38:24 +0200 <koz_> fluturel: No, P as in the complexity class.
2020-09-27 22:38:46 +0200 <fluturel> I just got excited, I know the guy who invented P systems
2020-09-27 22:39:56 +0200 <dsal> fluturel: The app requires authenticating with the upstream service once before you can use it. It'd be nice to be able to have a UI thing allow that, possibly even requiring it on the first use. It's easy to understand how to do this on the haskell side, but it's not obvious to me how to structure Elm programs in something other than a couple of monoliths.
2020-09-27 22:40:39 +0200rprije(~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au)
2020-09-27 22:41:25 +0200 <fluturel> dsal: I wish I knew enough of Elm to help you
2020-09-27 22:42:08 +0200 <fluturel> dsal: Why not write plain javascript?
2020-09-27 22:42:25 +0200 <sigmaTau> Autistic people can code in javascript
2020-09-27 22:42:29 +0200sigmaTauducks
2020-09-27 22:42:32 +0200 <dsal> I mostly just use the CLI tools. That directory is as much Elm as I've worked with. The language is fine, but the UI paradigm isn't something I quite get. And their canonical style is rather hideous.
2020-09-27 22:42:54 +0200dkdl(585fd1fd@ti0203q160-5312.bb.online.no) (Remote host closed the connection)
2020-09-27 22:43:21 +0200mounty(~mounty@139.130.85.54) (Ping timeout: 258 seconds)
2020-09-27 22:43:26 +0200 <fluturel> sigmaTau: well, savants in programming can code in quite anything
2020-09-27 22:43:37 +0200koz_is on the spectrum.
2020-09-27 22:43:39 +0200 <sigmaTau> This is true.
2020-09-27 22:43:41 +0200 <koz_> (and cannot code JS)
2020-09-27 22:43:42 +0200 <dsal> I did an initial prototype in javascript with crossfilter for the search thing. I really don't like working in javascript and wanted an excuse to learn Elm. I had to write my own crossfilter-like-thing in Elm which was easy enough for what I was doing. The language is certainly nicer, but I'm not sure about their UI model.
2020-09-27 22:43:45 +0200 <sigmaTau> koz lol
2020-09-27 22:44:14 +0200 <sigmaTau> javascript is chaotic.
2020-09-27 22:44:17 +0200 <dsal> I like D3.js, but only the D3 parts. Everything JS is kind of gross to me.
2020-09-27 22:44:21 +0200 <sigmaTau> its like coding with a crayon.
2020-09-27 22:44:34 +0200 <koz_> sigmaTau: If that crayon was on fire. And sentient. And malicious.
2020-09-27 22:44:35 +0200 <fluturel> i fear that once we all die, js is all that will be left from the millions of indian devs
2020-09-27 22:44:41 +0200 <sigmaTau> if anxiety was a programming language it would be js
2020-09-27 22:44:48 +0200 <sigmaTau> koz_ lol yeah
2020-09-27 22:45:13 +0200 <dsal> Lots of metrics show JS as a hugely popular language because every web app has a copy of every other web app + enough of a change to blow out all the LOC metrics.
2020-09-27 22:45:29 +0200 <sigmaTau> >:D
2020-09-27 22:45:52 +0200 <fluturel> LOC metrics are flawed
2020-09-27 22:47:01 +0200ggole(~ggole@2001:8003:8119:7200:259a:6f8b:cb91:2342) (Quit: Leaving)
2020-09-27 22:47:25 +0200 <dsal> My GoPro project: JavaScript: 79.7%, Haskell: 11.0%, Elm: 7.9%, CSS: 0.9%, HTML: 0.4%
2020-09-27 22:47:47 +0200 <MarcelineVQ> you monster
2020-09-27 22:47:50 +0200 <dsal> I probably wrote like, 5 lines of javascript.
2020-09-27 22:48:04 +0200 <dsal> Most of that is generated from Elm, but checked in so you can just clone the repo and have it work.
2020-09-27 22:48:17 +0200 <fluturel> i just learned about let in haskell, and can't help but see similarities to CL everywhere
2020-09-27 22:48:20 +0200 <dsal> So I'm contributing to JS being popular.
2020-09-27 22:48:46 +0200 <fluturel> Can't you compile Elm to webassembly or something?
2020-09-27 22:49:25 +0200v_m_v(~vm_v@31-10-157-87.cgn.dynamic.upc.ch) (Remote host closed the connection)
2020-09-27 22:49:39 +0200 <dsal> I don't even quite know what that is. I just run their compiler and it spits out javascript. Then they have you run some other command that makes that javascript not huge.
2020-09-27 22:49:48 +0200 <[exa]> Elm compiles to something like javascript-ish
2020-09-27 22:51:23 +0200 <dsal> I deleted the intermediate file and now it's Haskell: 49.7%, Elm: 35.7%, JavaScript: 8.5%, CSS: 3.9%, HTML: 1.7%, Makefile: 0.3%, Nix: 0.2%
2020-09-27 22:52:10 +0200 <dsal> It spits out gopro.js which I run through whatever tool they recommend to get gopro.min.js. I don't use gopro.js anywhere, but it makes my project look like a JS project. I wonder if there's a way to have github ignore files when counting these things..
2020-09-27 22:52:11 +0200 <fluturel> Apparently there isn't an option to compile to wasm directly, but i see some people are working on it
2020-09-27 22:54:05 +0200rockethead(~rockethea@2001:41d0:302:2100::6dae) (Ping timeout: 272 seconds)
2020-09-27 22:54:29 +0200 <fluturel> I'm going back to some more haskell before going to bed
2020-09-27 22:54:36 +0200 <dsal> Oh, they do have a tool to have it ignore stuff. This is good.
2020-09-27 22:54:37 +0200fluturelrealizes no onecares
2020-09-27 22:54:58 +0200 <fluturel> dsal: i thought you were joking. are you?
2020-09-27 22:55:09 +0200 <dsal> fluturel: GoPro Hero 9 is $350 with a year of cloud service. You could record yourself sleeping and upload it to the cloud every morning.
2020-09-27 22:55:10 +0200 <dsal> I never joke.
2020-09-27 22:55:38 +0200 <dsal> But no, they actually have useful ways to tell their junk not to pay attention to files that aren't part of your source. Or to recognize some things differnetly.
2020-09-27 22:56:11 +0200 <fluturel> dsal: i see no reason why i would ever do that
2020-09-27 22:56:54 +0200 <fluturel> dsal: that being said, i would stream myself sleeping if i knew somebody would watch
2020-09-27 22:57:12 +0200 <koz_> fluturel: Lol.
2020-09-27 22:57:36 +0200 <ski> fluturel : `let' is recursive in Haskell, though
2020-09-27 22:58:00 +0200 <dsal> You just have to collect more hobbies. :) I've used mine for diving, recording RC aircraft crashes, 3D prints, teaching yoga, recording music stuff, shooting stuff... whatever else comes up.
2020-09-27 22:58:20 +0200 <dsal> One problem people have when they want to learn Haskell is "what can I do with it?" I just mix all my interests together.
2020-09-27 22:58:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-27 22:58:52 +0200 <fluturel> dsal: damn, i wish i had the time to have that many hobbies
2020-09-27 22:58:57 +0200 <fluturel> maybe after uni
2020-09-27 22:59:08 +0200 <fluturel> cause a collosal time is spent for uni
2020-09-27 22:59:59 +0200 <fluturel> colossal* damn you double 's'
2020-09-27 23:00:01 +0200machinedgod(~machinedg@142.169.78.168)
2020-09-27 23:00:02 +0200larsivi(~larsivi@s91904426.blix.com) ()
2020-09-27 23:00:24 +0200 <monochrom> dsal, I am now imagining this meme describing you: "recording RC aircrafts soaring" -> the "nah, no thanks" picture; "recording RC aircrafts crashing" -> the "thumb up, approval" picture. :)
2020-09-27 23:01:01 +0200 <dsal> haha. Crashing RC planes is great because you don't die.
2020-09-27 23:02:11 +0200 <fluturel> ski: i have yet to learn that one detail. I need to know more, please
2020-09-27 23:02:54 +0200 <dsal> let == letrec
2020-09-27 23:02:56 +0200 <ski> > let xs = 0 : ys; ys = 1 : xs in take 5 xs -- fluturel
2020-09-27 23:02:59 +0200 <lambdabot> [0,1,0,1,0]
2020-09-27 23:03:00 +0200elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-27 23:03:30 +0200 <fluturel> that's... wow
2020-09-27 23:03:54 +0200 <ski> > let xs = [x | y <- ys,x <- [0,y]]; ys = [1+x | x <- xs] in take 8 xs
2020-09-27 23:03:58 +0200 <lambdabot> *Exception: <<loop>>
2020-09-27 23:04:02 +0200 <ski> ah
2020-09-27 23:04:14 +0200 <ski> > let xs = 0 : tail [x | y <- ys,x <- [0,y]]; ys = [1+x | x <- xs] in take 8 xs
2020-09-27 23:04:17 +0200 <lambdabot> [0,1,0,2,0,1,0,3]
2020-09-27 23:05:44 +0200 <dsal> Hey, this worked. My project now says Haskell: 53.9% and 1% JavaScript.
2020-09-27 23:05:45 +0200 <monochrom> "let" mutually recursive unless you add intermediate "let"s to break up your group.
2020-09-27 23:06:09 +0200 <dsal> Oh, which is correct, because I actually wrote some real JavaScript for AWS Lambda after spending a while trying to figure out how to do something simple in Haskell.
2020-09-27 23:06:32 +0200 <dsal> Huge uphill battle for no real gain other than keeping my hands slightly cleaner.
2020-09-27 23:07:25 +0200oisdk(~oisdk@2001:bb6:3329:d100:bd22:91d7:f791:22b6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-27 23:09:50 +0200Guest_94(5c101100@92.16.17.0)
2020-09-27 23:10:39 +0200 <Guest_94> Hello, I am trying to install Haskell on my Mac however am having some issues
2020-09-27 23:10:50 +0200 <Guest_94> Downloading the latest package list from hackage.haskell.org Installation done!In order to run ghc and cabal, you need to adjust your PATH variable.You may want to source '/Users/School/.ghcup/env' in your shellconfiguration to do so (e.g. ~/.bashrc).Detected bash shell on your system...If you want ghcup to automatically add the required PATH
2020-09-27 23:10:50 +0200 <Guest_94> variable to "/Users/School/.bashrc"answer with YES, otherwise with NO and press ENTER.YESgrep: /Users/School/.bashrc: No such file or directory
2020-09-27 23:11:22 +0200 <koz_> Guest_94: The automagic only works if it can find your .bashrc.
2020-09-27 23:11:27 +0200 <koz_> Which it says doesn't exist.
2020-09-27 23:11:33 +0200 <koz_> I presume you've never had to adjust your PATH?
2020-09-27 23:11:41 +0200 <Guest_94> No sorry I am very new to this
2020-09-27 23:11:49 +0200 <Guest_94> Trying to set it up for a university course
2020-09-27 23:13:14 +0200 <koz_> Guest_94: Create an empty .bashrc in the directory it indicated (/Users/School/), then dump the contexts of /Users/School/.ghcup/env into that file.
2020-09-27 23:13:20 +0200 <koz_> Then open a fresh shell.
2020-09-27 23:13:36 +0200 <Guest_94> Thank you so much
2020-09-27 23:13:46 +0200 <Guest_94> How to create an empty .bashrc ?
2020-09-27 23:13:57 +0200 <ski> koz_ : or source that file, maybe ?
2020-09-27 23:13:58 +0200 <koz_> Guest_94: It's just a text file.
2020-09-27 23:13:59 +0200 <fluturel> create a new file with that name exactly
2020-09-27 23:14:08 +0200 <koz_> ski: sourcing that file would only affect the current shell.
2020-09-27 23:14:25 +0200 <fluturel> 'touch .bashrc' in the shell
2020-09-27 23:14:26 +0200 <koz_> And why bother putting a source command in your .bashrc when you can just... have those exact commands in your .bashrc.
2020-09-27 23:14:29 +0200 <ski> koz_ : not if you put `source /Users/School/.ghcup/env' into `.bashrc' ?
2020-09-27 23:14:57 +0200 <koz_> ski: Yeah, you could do that, but to me it adds a layer of indirection for no good reason. Also, it's not like that file is long or anything.
2020-09-27 23:15:13 +0200 <ski> could `/Users/School/.ghcup/env' change in the future, adding more stuff perhaps ?
2020-09-27 23:15:25 +0200 <sclv> well when you switch versions with ghcup it changes thar env file
2020-09-27 23:15:35 +0200 <sclv> so its to manage multiversion installs
2020-09-27 23:15:45 +0200 <koz_> sclv: OK, yeah, in that case, ski's suggestion is the right one.
2020-09-27 23:15:50 +0200 <koz_> I manually manage GHC versions.
2020-09-27 23:15:55 +0200normie(~normie@S0106ac202e2069c3.vw.shawcable.net)
2020-09-27 23:15:57 +0200 <koz_> (i.e. using -w)
2020-09-27 23:16:12 +0200 <sclv> it may change symlinks and not that file actually I don’t remember
2020-09-27 23:16:25 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2020-09-27 23:17:12 +0200 <Guest_94> Can anyone walk me through in baby steps what I need to do I'm really sorry but pretty confused
2020-09-27 23:17:28 +0200 <normie> sorry, what are you trying to do?
2020-09-27 23:17:31 +0200 <koz_> Guest_94: Do you know how to use a shell as such?
2020-09-27 23:17:32 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-09-27 23:17:39 +0200 <koz_> Like, do you know commands like 'cd', 'touch', etc?
2020-09-27 23:17:46 +0200 <Guest_94> Literally no idea
2020-09-27 23:17:53 +0200 <maerwald> sclv: it actually doesn't change that file. That is created by the bootstrap script
2020-09-27 23:18:01 +0200 <ski> Guest_94 : do you know how to edit a file, in a text editor ?
2020-09-27 23:18:05 +0200vqrs(~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 240 seconds)
2020-09-27 23:18:08 +0200 <Guest_94> I do
2020-09-27 23:18:52 +0200 <ski> Guest_94 : open your favorite text editor, and save a file `.bashrc' (in `/Users/School') containing the line `source /Users/School/.ghcup/env'
2020-09-27 23:18:54 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving)
2020-09-27 23:19:02 +0200 <fluturel> use your file manager to go to the home folder, right-click and open terminal, write 'touch .bashrc' and write the thing these guys told you to
2020-09-27 23:19:10 +0200 <fluturel> in that file
2020-09-27 23:19:25 +0200 <ski> if you want to, you could first use `touch .bashrc' to create that file (as an empty file), and then change it with your editor
2020-09-27 23:19:39 +0200 <fluturel> yes
2020-09-27 23:19:59 +0200 <ski> (but i think most editors would support creating the file if it wasn't there before, as well ..)
2020-09-27 23:20:03 +0200 <normie> you can just enter "cd" or "cd ~" to go to your home directory
2020-09-27 23:20:04 +0200kuribas(~user@ptr-25vy0iaf5qqps5l6i5w.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2020-09-27 23:20:19 +0200vqrs(~vqrs@learnprogramming/regular/vqrs)
2020-09-27 23:20:56 +0200 <Guest_94> do you know where to find the file after doing 'touch .bashrc'?
2020-09-27 23:21:38 +0200 <ski> it should be in `/Users/School', assuming that was the current directory in the shell (in the terminal), when you ran the `touch .bashrc' command
2020-09-27 23:22:03 +0200 <koz_> This is why I would follow ski's advice to just use your text editor and put the file in /Users/School that way.
2020-09-27 23:22:18 +0200elliott_(~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-09-27 23:22:24 +0200 <koz_> If you dunno _anything_ about the shell, ignore _any_ suggestions vis a vis touch or cd or whatever, since it'll only make it worse.
2020-09-27 23:22:31 +0200Jesin(~Jesin@pool-72-66-101-18.washdc.fios.verizon.net)
2020-09-27 23:22:35 +0200mpereira(~mpereira@2a02:810d:f40:d96:5151:9344:10a3:da64) (Ping timeout: 272 seconds)
2020-09-27 23:22:51 +0200 <Guest_94> ok I have a file in /users/school which is called '.bashrc' and contains the text 'source /Users/School/.ghcup/env'
2020-09-27 23:23:01 +0200 <ski> after saving the file in your editor, if you type `cat .bashrc' in the shell, it should display (just) :
2020-09-27 23:23:04 +0200 <ski> source /Users/School/.ghcup/env
2020-09-27 23:23:44 +0200 <Guest_94> if i type cat.bashrc I get this
2020-09-27 23:23:45 +0200 <Guest_94> [ -f "/Users/School/.ghcup/env" ] && source "/Users/School/.ghcup/env" # ghcup-env
2020-09-27 23:24:24 +0200 <fluturel> that's fine then
2020-09-27 23:24:25 +0200 <ski> if you enter `pwd', what does it say ?
2020-09-27 23:25:23 +0200 <Guest_94> just '/Users/School'
2020-09-27 23:25:30 +0200snakemasterflex(~snakemast@213.100.206.23)
2020-09-27 23:25:50 +0200 <ski> ok. possibly you managed to save your `.bashrc' in the editor, in a different place (or forgot to save ?)
2020-09-27 23:26:00 +0200 <ski> anyway, it shouldn't matter, if you have that contents there
2020-09-27 23:26:35 +0200 <Guest_94> I think maybe .bashrc files are hidden?
2020-09-27 23:26:46 +0200 <Guest_94> Because I definitely saved it in /users/school but it doesn't appear in my finder
2020-09-27 23:26:47 +0200 <fluturel> it is in the file manager
2020-09-27 23:27:36 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 265 seconds)
2020-09-27 23:27:57 +0200 <fluturel> if you want, write in the terminal 'ls -a' and see if it's there. That command shows all files, hidden included
2020-09-27 23:27:57 +0200 <ski> if you type `ls -al' into your shell, you should see it
2020-09-27 23:28:32 +0200 <Guest_94> Oh yeah that worked
2020-09-27 23:28:38 +0200 <ski> (the `l' part shows some more info for each file, like date of last modification, size, &c. without it, you just get a list of file names)
2020-09-27 23:28:48 +0200 <Guest_94> when I now open a new instance of terminal, I get this, is this normal
2020-09-27 23:28:56 +0200 <Guest_94> The default interactive shell is now zsh.To update your account to use zsh, please run `chsh -s /bin/zsh`.
2020-09-27 23:29:16 +0200 <fluturel> what
2020-09-27 23:29:27 +0200 <fluturel> did you install zsh?
2020-09-27 23:29:38 +0200 <Guest_94> I dont even know what that is I don't think so
2020-09-27 23:29:49 +0200 <Guest_94> I was trying to install Haskell
2020-09-27 23:29:53 +0200 <ski> (hm, i think i heard someone say Mac wants to move to zsh as default shell ?)
2020-09-27 23:30:04 +0200 <fluturel> then just to be sure
2020-09-27 23:30:13 +0200snakemasterflex(~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-09-27 23:30:14 +0200 <fluturel> find a file named .zshrc
2020-09-27 23:30:19 +0200 <fluturel> in the same directory
2020-09-27 23:30:37 +0200 <fluturel> if it is, paste the 'source' thing there as well
2020-09-27 23:30:48 +0200 <yushyin> ski: I heard the same
2020-09-27 23:30:55 +0200 <fluturel> same steps as before, only the file is named .zshrc now
2020-09-27 23:31:08 +0200 <Guest_94> there doesn't seem to be a file called .zshrc
2020-09-27 23:31:56 +0200 <Guest_94> I have .bashrc and .ghcup
2020-09-27 23:31:57 +0200 <normie> macos has been on zsh for a while now iirc
2020-09-27 23:32:18 +0200rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo)
2020-09-27 23:32:32 +0200rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-27 23:32:41 +0200 <ski> type `printenv SHELL', what does it say ?
2020-09-27 23:33:07 +0200 <ski> or if that doesn't work, try `echo $SHELL' ?
2020-09-27 23:33:19 +0200 <Guest_94> it says '/bin/bash'
2020-09-27 23:33:30 +0200 <ski> hm, so i guess you're still in bash, then
2020-09-27 23:33:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-09-27 23:33:57 +0200mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 258 seconds)
2020-09-27 23:33:57 +0200 <ski> probably "The default interactive shell is now zsh.To update your account to use zsh, please run `chsh -s /bin/zsh`." is just a nag that they want you to switch to zsh, then
2020-09-27 23:34:03 +0200 <justsomeguy> You probably need to start a new bash shell so it can read the ~/.bashrc configuration file you just edited.
2020-09-27 23:34:14 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds)
2020-09-27 23:34:21 +0200 <justsomeguy> (Or run “source ~/.bashrc”)
2020-09-27 23:34:25 +0200 <maerwald> Guest_94: what does your ~/.bash_profile say?
2020-09-27 23:34:44 +0200 <maerwald> make sure it contains this line: [[ -f ~/.bashrc ]] && source ~/.bashrc
2020-09-27 23:34:52 +0200 <Guest_94> -bash: /Users/School/.bash_profile: Permission denied
2020-09-27 23:34:53 +0200 <ski> maerwald meant, what is the output if you type in `cat ~/.bash_profile' ?
2020-09-27 23:35:14 +0200 <Guest_94> # Setting PATH for Python 3.4# The orginal version is saved in .bash_profile.pysavePATH="/Library/Frameworks/Python.framework/Versions/3.4/bin:${PATH}"export PATH# Setting PATH for Python 3.5# The original version is saved in .bash_profile.pysavePATH="/Library/Frameworks/Python.framework/Versions/3.5/bin:${PATH}"export PATH
2020-09-27 23:35:36 +0200 <Guest_94> Thanks for your help btw really appreciate it
2020-09-27 23:36:33 +0200 <ski> Guest_94 : did you already start a new terminal with shell, btw ?
2020-09-27 23:36:50 +0200 <fluturel> ski: if the default shell is now zsh, then it kinda says that the shell you are in should already be zsh. Weird wording
2020-09-27 23:37:16 +0200catkiki(~catkiki@m90-134-157-227.cust.tele2.hr)
2020-09-27 23:37:17 +0200rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Client Quit)
2020-09-27 23:37:21 +0200 <Guest_94> Sorry what do you mean by 'Did I already start a new terminal with shell'?
2020-09-27 23:37:32 +0200rcdilorenzo(~rcdiloren@cpe-76-182-87-188.nc.res.rr.com)
2020-09-27 23:38:12 +0200 <yushyin> fluturel: default for new users, not for existing users, hence the `chsh'
2020-09-27 23:38:32 +0200 <Guest_94> Is the problem something to do with it setting PATH for python when I'm trying to install Haskell?
2020-09-27 23:39:24 +0200 <fluturel> Guest_94: no, the PATH holds several paths actually, python doesn't interfere here
2020-09-27 23:41:07 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 240 seconds)
2020-09-27 23:42:33 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-09-27 23:42:45 +0200 <davve> 17
2020-09-27 23:43:45 +0200 <Guest_94> when I type in cat ~/.bashrc
2020-09-27 23:43:48 +0200 <Guest_94> I get this
2020-09-27 23:43:53 +0200 <Guest_94> [ -f "/Users/School/.ghcup/env" ] && source "/Users/School/.ghcup/env" # ghcup-env
2020-09-27 23:43:59 +0200 <Guest_94> Do you know what that means
2020-09-27 23:44:23 +0200kelvin(uid466767@gateway/web/irccloud.com/x-ymoihyiqzvmzmxqc)
2020-09-27 23:45:13 +0200dhil(~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 264 seconds)
2020-09-27 23:46:01 +0200falafel(~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-27 23:46:22 +0200 <ski> fluturel : well, it seemed that the shell they were in, after starting a new shell, was not zsh, but still bash. so presumably some start-up file that bash runs prints the nag about changing shell to zsh
2020-09-27 23:47:30 +0200oisdk(~oisdk@2001:bb6:3329:d100:bd22:91d7:f791:22b6)
2020-09-27 23:47:31 +0200 <fluturel> Guest_94: the 'cat' command just prints the contents of the file you give it
2020-09-27 23:47:31 +0200 <ski> Guest_94 : it means that it first checks if the file `/Users/School/.ghcup/env' exists, and if it does, then it executes the shell commands found in that file
2020-09-27 23:47:43 +0200 <ski> Guest_94 : which is more or less what you wanted to happen, anyway
2020-09-27 23:48:04 +0200 <ski> ("it" being the bash shell, sorry)
2020-09-27 23:48:13 +0200 <Guest_94> So i got this message
2020-09-27 23:48:14 +0200 <Guest_94> In order to run ghc and cabal, you need to adjust your PATH variable.You may want to source '/Users/School/.ghcup/env' in your shellconfiguration to do so (e.g. ~/.bashrc).
2020-09-27 23:48:30 +0200 <fluturel> you did that
2020-09-27 23:48:35 +0200 <Guest_94> I thought I had done that
2020-09-27 23:48:42 +0200 <ski> yes, that's done and finished, i thought
2020-09-27 23:48:46 +0200ephemeron(~ephemeron@unaffiliated/ephemeron)
2020-09-27 23:48:57 +0200 <ski> have you closed the old terminal and shell ?
2020-09-27 23:49:00 +0200 <fluturel> did you restart the shell?
2020-09-27 23:49:04 +0200 <Guest_94> how do you restart the shell
2020-09-27 23:49:14 +0200 <fluturel> close the window, open a new one
2020-09-27 23:49:28 +0200 <Guest_94> yeh i've done that
2020-09-27 23:49:30 +0200 <fluturel> a new terminal window, that is
2020-09-27 23:49:34 +0200 <fluturel> ok
2020-09-27 23:49:42 +0200howdoi(uid224@gateway/web/irccloud.com/x-tqqfvfsvfflekctt)
2020-09-27 23:49:49 +0200Orbstheorem(~roosember@hellendaal.orbstheorem.ch) (Ping timeout: 272 seconds)
2020-09-27 23:50:50 +0200 <Guest_94> i was told i should be able to check if it had worked by typing in 'ghci --version' but I just get "Command not found"
2020-09-27 23:51:38 +0200 <fluturel> what does your PATH look like now? 'echo $PATH'
2020-09-27 23:51:55 +0200 <maerwald> Guest_94: did you do what I said wrt ~/.bash_profile?
2020-09-27 23:51:58 +0200ephemeron(~ephemeron@unaffiliated/ephemeron) ()
2020-09-27 23:52:00 +0200kelvin(uid466767@gateway/web/irccloud.com/x-ymoihyiqzvmzmxqc) ()
2020-09-27 23:52:05 +0200 <Guest_94> /Library/Frameworks/Python.framework/Versions/3.5/bin:/Library/Frameworks/Python.framework/Versions/3.4/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin
2020-09-27 23:52:47 +0200 <Guest_94> when I try to do '~/.bash_profile' it says "Permission Denied" - I am an admin on my MacBook though?
2020-09-27 23:53:26 +0200 <fluturel> it thinks you are trying to execute it
2020-09-27 23:53:41 +0200 <maerwald> Guest_94: no, I said you need to add a line to that file
2020-09-27 23:53:55 +0200 <normie> did you try to open it in a text editor?
2020-09-27 23:53:57 +0200 <maerwald> scroll up and read it
2020-09-27 23:54:21 +0200 <normie> just typing in the name of a file will make your shell try and execute it
2020-09-27 23:54:31 +0200mounty(~mounty@mail.nextgenerationvoice.com.au)
2020-09-27 23:55:28 +0200 <Guest_94> so what should be in my file called '.bashrc'
2020-09-27 23:55:42 +0200 <Guest_94> at the moment it contains '[ -f "/Users/School/.ghcup/env" ] && source "/Users/School/.ghcup/env" # ghcup-env'
2020-09-27 23:55:42 +0200flukiluke1(~flukiluke@84.39.116.180)
2020-09-27 23:55:48 +0200 <ski> `.bash_profile' is a different file from `.bashrc'
2020-09-27 23:55:54 +0200 <ski> i think your `.bashrc' is fine
2020-09-27 23:56:00 +0200 <maerwald> Guest_94: you didn't read what I said
2020-09-27 23:56:20 +0200 <Guest_94> I'm sorry I did its just pretty confusing for me
2020-09-27 23:56:23 +0200o1lo01ol1o(~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-09-27 23:56:38 +0200 <ski> <maerwald> Guest_94: what does your ~/.bash_profile say?
2020-09-27 23:56:38 +0200 <fluturel> no, write '[[ -f ~/.bashrc ]] && source ~/.bashrc' in your .bash_profile
2020-09-27 23:56:39 +0200 <ski> <maerwald> make sure it contains this line: [[ -f ~/.bashrc ]] && source ~/.bashrc
2020-09-27 23:56:53 +0200 <ski> open `.bash_profile' in your text editor
2020-09-27 23:57:20 +0200 <ski> if there isn't already a line like `[[ -f ~/.bashrc ]] && source ~/.bashrc' in it, add such a line
2020-09-27 23:57:46 +0200 <yushyin> all the work just for they to switch to zsh in the near future and zsh sources ~/.zshrc as a login shell and as a non-login shell anyways
2020-09-27 23:57:53 +0200 <ski> (make sure you open `.bash_profile', in your home directory, which presumably is `/Users/School')
2020-09-27 23:58:16 +0200 <Guest_94> what's the best way to open that sorry?
2020-09-27 23:58:29 +0200 <Guest_94> ok here we go
2020-09-27 23:58:29 +0200 <fluturel> Guest_94: any text editor, doesn't matter
2020-09-27 23:58:42 +0200 <Guest_94> it contains this "# Setting PATH for Python 3.4# The orginal version is saved in .bash_profile.pysavePATH="/Library/Frameworks/Python.framework/Versions/3.4/bin:${PATH}"export PATH# Setting PATH for Python 3.5# The original version is saved in .bash_profile.pysavePATH="/Library/Frameworks/Python.framework/Versions/3.5/bin:${PATH}"export PATH"
2020-09-27 23:58:55 +0200 <fluturel> ok, add that line then
2020-09-27 23:58:57 +0200 <fluturel> [[ -f ~/.bashrc ]] && source ~/.bashrc
2020-09-27 23:59:09 +0200 <Guest_94> Should I delete that stuff above or leave it?
2020-09-27 23:59:12 +0200 <ski> leave it
2020-09-27 23:59:13 +0200 <fluturel> leave it
2020-09-27 23:59:27 +0200 <Guest_94> ok I've added '[[ -f ~/.bashrc ]] && source ~/.bashrc'
2020-09-27 23:59:37 +0200 <ski> then save the file
2020-09-27 23:59:38 +0200 <fluturel> save the file, restart shell
2020-09-27 23:59:50 +0200 <Guest_94> Oh nice that's worked
2020-09-27 23:59:54 +0200 <Guest_94> Haskell seems to be working now
2020-09-27 23:59:59 +0200 <normie> yaaaaaay