2021/12/24

2021-12-24 00:00:16 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:319d:53ed:6690:e5b4)
2021-12-24 00:00:18 +0100 <hpc> it's like whoever was naming it forgot that verbs have conjugations
2021-12-24 00:00:51 +0100 <hpc> "ah crap, we can't just name this after euler again"
2021-12-24 00:01:31 +0100 <EvanR> hpc might be on the right track, what if aliens on venus invented functions (without regard to what they operate on), then a cool committee invented venusian C where functions could only operate on primitive types and pointers
2021-12-24 00:01:39 +0100 <EvanR> they might call them "limited functions"
2021-12-24 00:02:08 +0100 <EvanR> nothing higher order about the original functions
2021-12-24 00:02:22 +0100 <hpc> heh
2021-12-24 00:02:42 +0100 <hpc> or maybe it's the same person who decided to call it "maths"
2021-12-24 00:03:03 +0100 <hpc> when the world inevitably ends in nuclear war, they'll have to learn to survive the "aftermaths" :D
2021-12-24 00:03:35 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Remote host closed the connection)
2021-12-24 00:04:33 +0100 <Rembane> That implies some kind of non determinism which I find comforting. :)
2021-12-24 00:04:48 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827)
2021-12-24 00:05:12 +0100FirstAsTragedy(~philg@220.240.104.208) (Quit: Konversation terminated!)
2021-12-24 00:05:12 +0100 <EvanR> ah yeah, american Math is something you can't argue with
2021-12-24 00:05:29 +0100 <EvanR> if you study maths... you have options
2021-12-24 00:05:42 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-24 00:05:45 +0100 <hpc> i prefer computer sciences
2021-12-24 00:05:51 +0100 <hpc> or if you read smbc, computers science
2021-12-24 00:06:11 +0100 <EvanR> accounts receivable
2021-12-24 00:07:33 +0100 <hpc> somewhere in super-america, they study physic instead of physics
2021-12-24 00:08:22 +0100 <Rembane> The one true physic.
2021-12-24 00:09:06 +0100 <otherwise> '=D
2021-12-24 00:10:00 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com)
2021-12-24 00:11:55 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-24 00:14:32 +0100sprout(~quassel@2a02:a467:ccd6:1:bc5b:dbe0:79e5:a909) (Ping timeout: 240 seconds)
2021-12-24 00:14:35 +0100tomku(~tomku@user/tomku)
2021-12-24 00:15:17 +0100jeetelongname(~jeet@88-111-159-26.dynamic.dsl.as9105.com) (Ping timeout: 252 seconds)
2021-12-24 00:18:50 +0100Feuermagier(~Feuermagi@user/feuermagier)
2021-12-24 00:19:51 +0100 <mjrosenb> after we figure out the GUT, then we will finally have physic.
2021-12-24 00:23:40 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-24 00:25:10 +0100kaph(~kaph@net-2-45-51-147.cust.vodafonedsl.it)
2021-12-24 00:25:23 +0100Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2021-12-24 00:27:28 +0100Feuermagier(~Feuermagi@user/feuermagier)
2021-12-24 00:28:13 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 00:28:32 +0100evocatus(~evocatus@62.182.78.42) (Quit: Leaving)
2021-12-24 00:30:04 +0100lbseale(~ep1ctetus@user/ep1ctetus) (Quit: Leaving)
2021-12-24 00:30:08 +0100AlexNoo_(~AlexNoo@178.34.160.99)
2021-12-24 00:31:17 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Quit: coot)
2021-12-24 00:32:14 +0100Alex_test(~al_test@178.34.150.63) (Ping timeout: 268 seconds)
2021-12-24 00:32:51 +0100AlexZenon(~alzenon@178.34.150.63) (Ping timeout: 268 seconds)
2021-12-24 00:33:29 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds)
2021-12-24 00:34:05 +0100AlexNoo(~AlexNoo@178.34.150.63) (Ping timeout: 268 seconds)
2021-12-24 00:34:54 +0100 <carbolymer> the physic of the gut
2021-12-24 00:35:44 +0100falafel(~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) (Remote host closed the connection)
2021-12-24 00:35:45 +0100 <geekosaur> isn't a physic what you take when your gut hurts?
2021-12-24 00:36:05 +0100falafel(~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com)
2021-12-24 00:36:56 +0100AlexZenon(~alzenon@178.34.160.99)
2021-12-24 00:36:56 +0100Alex_test(~al_test@178.34.160.99)
2021-12-24 00:40:05 +0100 <hpc> my gut only hurts if i try to eat a monad too fast
2021-12-24 00:40:16 +0100 <hpc> i mean, burrito
2021-12-24 00:42:53 +0100Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2021-12-24 00:43:21 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-24 00:43:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 00:46:25 +0100aliosablack(~chomwitt@ppp-2-85-245-134.home.otenet.gr) (Ping timeout: 268 seconds)
2021-12-24 00:47:01 +0100Jing(~hedgehog@2604:a840:3::1061) (Remote host closed the connection)
2021-12-24 00:47:02 +0100chomwitt(~chomwitt@ppp-2-85-245-134.home.otenet.gr) (Ping timeout: 268 seconds)
2021-12-24 00:47:49 +0100 <otherwise> I'm stuck on this "learn you a haskell..." sentence:
2021-12-24 00:47:49 +0100 <otherwise> "We could have done this pattern matching directly in the function's parameters (it would have been shorter and clearer actually) but this just goes to show that it's possible to do it in where bindings as well."
2021-12-24 00:47:50 +0100 <otherwise> here is my attempt to do just that (pattern match directly in the functions parameters: https://paste.tomsmeding.com/uIZZTTF8
2021-12-24 00:48:04 +0100Jing(~hedgehog@2604:a840:3::1061)
2021-12-24 00:48:13 +0100 <otherwise> Any hints on how I can better approach this?
2021-12-24 00:49:47 +0100 <monochrom> initials (f:_) (l:_) = [f] ++ ". " ++ [l] ++ "."
2021-12-24 00:50:17 +0100falafel(~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) (Ping timeout: 240 seconds)
2021-12-24 00:50:31 +0100 <monochrom> This is what's wrong with writing paragraphs after paragraphs of prose.
2021-12-24 00:50:42 +0100 <hololeap> initials' firstname lastname = let (f:_) = firstname ; (l:_) = lastname in f ++ "." ++ l ++ "."
2021-12-24 00:51:57 +0100 <otherwise> well I got it but it kinda felt like a guess...
2021-12-24 00:52:22 +0100 <otherwise> oh sorry I didnt see your responses till after my second comment
2021-12-24 00:53:13 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds)
2021-12-24 00:53:30 +0100 <otherwise> initials' :: String -> String -> String
2021-12-24 00:53:31 +0100 <otherwise> initials' (f:firstname) (l:lastname) = [f] ++ "." ++ [l] ++ "." --((f:_) = firstname) ++ "." ++ ((l:_) = lastname) ++ "."
2021-12-24 00:54:01 +0100 <otherwise> just this actually:
2021-12-24 00:54:01 +0100 <otherwise> initials' (f:firstname) (l:lastname) = [f] ++ "." ++ [l] ++ "."
2021-12-24 00:54:16 +0100hololeapforgot to put f and l inside lists
2021-12-24 00:55:09 +0100 <monochrom> copy-paste-edit is more reliable than writing from scratch :)
2021-12-24 00:55:11 +0100 <hololeap> since you're not using the firstname or lastname variables there, you can just replacethem with an underscore _
2021-12-24 00:55:33 +0100 <jollygood2> I'm implementing my own list for fun and practice. should I define any other instance? https://paste.tomsmeding.com/pDJi5AZm
2021-12-24 00:55:37 +0100n3rdy1(~n3rdy1@2601:281:c780:a510:31c5:bd6a:19eb:499b) (Ping timeout: 240 seconds)
2021-12-24 00:56:14 +0100 <monochrom> Traversable, Alternative, MonadPlus
2021-12-24 00:56:14 +0100 <hololeap> jollygood2: now it's time to implement Traversable
2021-12-24 00:56:17 +0100 <geekosaur> ^
2021-12-24 00:56:25 +0100 <monochrom> IsList >:)
2021-12-24 00:57:08 +0100 <jollygood2> I did IsList :P. those other 3 sound good
2021-12-24 00:57:18 +0100 <monochrom> Semigroup. Are you using a relative old GHC? Semigroup is a requirement for Monoid these days.
2021-12-24 00:57:19 +0100max22-(~maxime@2a01cb0883359800ba08fcf16942d473.ipv6.abo.wanadoo.fr) (Remote host closed the connection)
2021-12-24 00:57:29 +0100 <monochrom> Ah I see.
2021-12-24 00:57:49 +0100 <jollygood2> I'm usin golder version, waiting for bug-free version of 9.2 to upgrade
2021-12-24 00:58:03 +0100 <geekosaur> how much older isolder?
2021-12-24 00:58:33 +0100 <jollygood2> 8.8.3 :P
2021-12-24 00:58:48 +0100 <monochrom> MonadFail :)
2021-12-24 00:58:57 +0100 <monochrom> Not sure if it's in 8.8
2021-12-24 00:59:30 +0100 <jollygood2> I did just instance Semigroup (List a) where and it compiled without warnings. there's no need to define anything in newer versions as well?
2021-12-24 00:59:55 +0100Bartol(~Bartol@user/Bartol) (Remote host closed the connection)
2021-12-24 00:59:55 +0100 <monochrom> In newer version, if you don't have Semigroup, you aren't allowed Monoid.
2021-12-24 01:00:07 +0100 <geekosaur> in newer versions mappend is constructed from Semigroup's sappend and you only want mempty
2021-12-24 01:00:16 +0100 <jollygood2> ah
2021-12-24 01:01:03 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 01:02:27 +0100 <hololeap> upgrade to 8.10.7
2021-12-24 01:02:29 +0100SummerSonw(~The_viole@203.77.49.232)
2021-12-24 01:05:25 +0100toastloopex(~toastloop@user/toastloop) (Remote host closed the connection)
2021-12-24 01:06:02 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds)
2021-12-24 01:07:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-24 01:07:51 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-24 01:07:51 +0100wroathe(~wroathe@user/wroathe)
2021-12-24 01:12:28 +0100regr(~regr@user/regr) (Quit: "")
2021-12-24 01:14:48 +0100L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds)
2021-12-24 01:15:01 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Ping timeout: 240 seconds)
2021-12-24 01:15:39 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-24 01:15:39 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-12-24 01:15:39 +0100finn_elijaFinnElija
2021-12-24 01:15:44 +0100kaph_(~kaph@net-2-45-51-147.cust.vodafonedsl.it)
2021-12-24 01:16:58 +0100falafel(~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com)
2021-12-24 01:17:33 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 01:17:57 +0100kaph(~kaph@net-2-45-51-147.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2021-12-24 01:18:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-24 01:20:24 +0100machinedgod(~machinedg@24.105.81.50)
2021-12-24 01:20:34 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular)
2021-12-24 01:20:57 +0100falafel(~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com) (Ping timeout: 240 seconds)
2021-12-24 01:21:14 +0100dka(~code-is-a@ns3059207.ip-193-70-33.eu)
2021-12-24 01:22:49 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds)
2021-12-24 01:23:19 +0100 <otherwise> https://paste.tomsmeding.com/CIFcRs9L
2021-12-24 01:23:50 +0100 <otherwise> trying to make this work:
2021-12-24 01:23:51 +0100 <otherwise> initials'2 :: String -> String -> String
2021-12-24 01:23:51 +0100 <otherwise> initials'2 ([f]:_) ([l]:_) = [f] ++ "." ++ [l] "."
2021-12-24 01:24:07 +0100 <geekosaur> that's not how list patterns work
2021-12-24 01:24:26 +0100 <geekosaur> [f] matches a list of exactly one item, and the following : means you have a list of lists
2021-12-24 01:24:41 +0100 <otherwise> I got the same thing to work with (f:firstname), but I figure I can just replace firstname with _ because I'm not using firstname.
2021-12-24 01:24:44 +0100 <geekosaur> (f:_) is how you match the first element of a list
2021-12-24 01:25:37 +0100 <geekosaur> > (2:3:5:[])
2021-12-24 01:25:38 +0100 <lambdabot> [2,3,5]
2021-12-24 01:25:45 +0100 <otherwise> I tried that as well, same error
2021-12-24 01:26:44 +0100 <geekosaur> you are also missing a ++
2021-12-24 01:27:06 +0100 <geekosaur> at the end of line 7
2021-12-24 01:27:40 +0100 <geekosaur> [l] "." does not concatenate [l] with "."
2021-12-24 01:27:40 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2021-12-24 01:27:53 +0100 <otherwise> oh that myst be it
2021-12-24 01:28:19 +0100 <jollygood2> am I missing something, or have things changed since my ancient ghc, because MonadPlus and Alternative didn't give me any new functionality. I did not need to define any methods for MonadPlus, and for Alternative I just did (<|>) = (<>) empty = Nil
2021-12-24 01:29:43 +0100 <dsal> > let initialize = (<>".") . intersperse '.' . fmap head in initialize ["Other", "Wise"]
2021-12-24 01:29:45 +0100 <lambdabot> "O.W."
2021-12-24 01:30:02 +0100acidjnk(~acidjnk@p200300d0c7271e5539f4c4c5e28366d0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-12-24 01:32:54 +0100 <jollygood2> > [1,2] <|> [4,5]
2021-12-24 01:32:55 +0100 <lambdabot> [1,2,4,5]
2021-12-24 01:32:58 +0100 <jollygood2> I kind of expected [1,2]
2021-12-24 01:33:05 +0100 <dsal> Yeah. I always expect that, too.
2021-12-24 01:33:57 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-12-24 01:35:58 +0100Feuermagier(~Feuermagi@user/feuermagier)
2021-12-24 01:36:46 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 01:38:52 +0100vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-12-24 01:41:18 +0100Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2021-12-24 01:42:13 +0100x88x88x(~x88x88x@149.28.53.172) (Ping timeout: 240 seconds)
2021-12-24 01:43:50 +0100Feuermagier(~Feuermagi@user/feuermagier)
2021-12-24 01:44:48 +0100 <otherwise> initials'2 :: String -> String -> String
2021-12-24 01:44:48 +0100 <otherwise> initials'2 (f:_) (l:_) = [f] ++ "." ++ [l] ++ "." -- very concise version of initials.
2021-12-24 01:44:49 +0100 <otherwise> HOWEVER, if I try to switch to (_:f) (_:l) it does not take the tail of each string input like I would expect...
2021-12-24 01:45:22 +0100 <dsal> It does take the tail. Perhaps you expect tail to mean something else?
2021-12-24 01:45:26 +0100 <monochrom> It does. Your problem is elsewhere.
2021-12-24 01:45:46 +0100 <otherwise> hmm okay
2021-12-24 01:45:47 +0100 <monochrom> > let f (_:s) = s in f "abc"
2021-12-24 01:45:49 +0100 <lambdabot> "bc"
2021-12-24 01:45:54 +0100 <monochrom> worksfome
2021-12-24 01:46:26 +0100 <EvanR> whoa that was almost an infinite loop
2021-12-24 01:47:15 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-24 01:48:04 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 01:48:12 +0100x88x88x(~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb)
2021-12-24 01:50:19 +0100 <otherwise> Oh I just had my outputs as [f] ++ [l], which was [[Char]] instead of my defined type [Char]
2021-12-24 01:51:46 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 01:52:13 +0100Erutuon(~Erutuon@user/erutuon) (Quit: WeeChat 2.8)
2021-12-24 01:52:37 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-12-24 01:55:55 +0100Erutuon(~Erutuon@user/erutuon)
2021-12-24 01:56:17 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds)
2021-12-24 01:57:02 +0100 <jollygood2> uh, actually I'm using ghc 8.0.2! wow that's old
2021-12-24 01:58:06 +0100 <jollygood2> since I waited that long though, I can wait a couple of more months to jump straight to 9.x
2021-12-24 02:00:05 +0100 <shapr> Is there a tool to convert a stack.yaml to a cabal.project?
2021-12-24 02:00:19 +0100 <shapr> I have cabal generating arm64 native packages, but stack just won't
2021-12-24 02:00:21 +0100otherwise(~otherwise@c-73-181-170-174.hsd1.wa.comcast.net) (Quit: Connection closed)
2021-12-24 02:00:35 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 02:00:36 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 02:00:51 +0100x88x88x(~x88x88x@2001:19f0:5:39a8:5400:3ff:feb6:73cb) (Read error: Connection reset by peer)
2021-12-24 02:01:00 +0100 <sm> shapr, seen https://www.reddit.com/r/haskell/comments/rjm0x8/help_wanted_for_llvm_config_for_haskell_on_mac/ ?
2021-12-24 02:01:28 +0100 <shapr> nope
2021-12-24 02:02:58 +0100 <shapr> I downgraded to llvm 12 on m1 mac, that seemed to help
2021-12-24 02:03:54 +0100shaprreads faster
2021-12-24 02:04:19 +0100 <shapr> ah, they also went to llvm 12
2021-12-24 02:04:41 +0100 <shapr> I just don't want to build a cabal.project by hand for ~150 packages
2021-12-24 02:04:45 +0100 <shapr> so was hoping to convert this magically
2021-12-24 02:05:25 +0100 <sm> shapr: if it's not clear from that discussion, I'm using brew-installed llvm 13 and stack building arm binaries happily
2021-12-24 02:05:50 +0100 <shapr> how'd you get an arm64 stack?
2021-12-24 02:06:12 +0100 <geekosaur> doesn't ghcup install one?
2021-12-24 02:06:13 +0100 <sm> I fixed multiple issues by finding and replacing all intel versions of stack/cabal/ghc/hls with ghcup-installed arm binaries (ghcup FTW!). Also beware, tools don't expect this change so many cached files will be out of date and will cause problems until you manually remove them - watch out for this with things under ~/.cabal, ~/.stack and ~/.cache (eg hie-bios).
2021-12-24 02:07:17 +0100 <shapr> oh huh, ghcup does give me an arm64 native stack
2021-12-24 02:07:23 +0100 <sm> brew also installs one, but ghcup provides more (hls, ghc versions..)
2021-12-24 02:07:25 +0100 <shapr> geekosaur: yes, thanks
2021-12-24 02:07:46 +0100 <shapr> I'll try this one more time, but previous builds were saying it couldn't link x86 to arm64 for postgresql-simple
2021-12-24 02:08:05 +0100 <shapr> jävla frustrerad
2021-12-24 02:08:32 +0100 <geekosaur> make sure you don't have x86 postgres libs around
2021-12-24 02:08:35 +0100 <shapr> now I get segfaults
2021-12-24 02:08:46 +0100 <shapr> geekosaur: pretty sure I only have arm64 native stuff
2021-12-24 02:08:55 +0100 <shapr> as far as I know, I haven't installed rosetta
2021-12-24 02:08:57 +0100 <sm> I'm pretty sure you don't :)
2021-12-24 02:09:20 +0100 <sm> doesn't my comment above give some ideas ? build artifacts left over ?
2021-12-24 02:09:34 +0100 <shapr> yeh, I'd believe that
2021-12-24 02:09:47 +0100 <shapr> I'll just check out the repo again, no manual steps here
2021-12-24 02:09:52 +0100 <sm> and have you checked all haskell tools in PATH with file ?
2021-12-24 02:09:57 +0100 <jollygood2> what is up with this?
2021-12-24 02:10:05 +0100 <jollygood2> File path contains a name which is not a valid package name: ghc-882-test.cabal
2021-12-24 02:10:11 +0100 <EvanR> I just combined a Tree, State, and Traversable to put a new number at each place in the tree. Cool. Am I missing a way (using Traversable) to instead label each node with its depth
2021-12-24 02:10:29 +0100 <shapr> sm: everything in ~/.ghcup/bin is arm64 only, so that's good
2021-12-24 02:10:37 +0100 <jollygood2> why is it invalid? numbers?
2021-12-24 02:10:57 +0100 <sm> that's a start, but not at all the same thing. I had binaries all over the place
2021-12-24 02:11:36 +0100 <EvanR> or would that require a different kind of traversable
2021-12-24 02:11:39 +0100 <dsal> EvanR: I did a thing that sounds exactly like that.
2021-12-24 02:11:43 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-12-24 02:11:50 +0100 <dsal> number = flip evalState 0 . traverse (\x -> (,x) <$> (id <+= 1))
2021-12-24 02:12:00 +0100 <shapr> sm: pretty sure I have only the binaries from ghcup, but I'll dig around
2021-12-24 02:12:32 +0100 <dsal> That's a custom type, and not Tree, but it's Treeish
2021-12-24 02:12:39 +0100 <EvanR> sure
2021-12-24 02:12:43 +0100Guest2110(~random@46.254.129.95) (Remote host closed the connection)
2021-12-24 02:12:47 +0100 <shapr> I wish I could figure out why the ghcup installed stack gives me a segfault
2021-12-24 02:13:06 +0100 <sm> good luck. I had binaries in at least the 5 places mentioned in that thread
2021-12-24 02:13:19 +0100 <shapr> I will check the locations you listed, thanks
2021-12-24 02:13:24 +0100 <dsal> shapr: I've seen that a few ways… I'm using nix right now. Things seem a little fragile lately.
2021-12-24 02:14:43 +0100 <shapr> yeah, I've had different problems with haskell.nix
2021-12-24 02:15:02 +0100 <shapr> on first run it says "cannot bootstrap GHC on this architecture" then it only segfaults
2021-12-24 02:15:27 +0100 <dsal> Gotta start at lts-18.18 or so.
2021-12-24 02:16:43 +0100 <shapr> I'll try that, we're using 18.10
2021-12-24 02:17:34 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 02:17:36 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 02:17:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-12-24 02:18:04 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: closed)
2021-12-24 02:18:11 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 02:19:46 +0100whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-24 02:21:48 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 02:31:14 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-24 02:31:33 +0100neceve(~quassel@2.26.93.228) (Ping timeout: 256 seconds)
2021-12-24 02:32:47 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 02:32:48 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 02:33:47 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 02:33:50 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 02:38:21 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds)
2021-12-24 02:38:39 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-12-24 02:42:14 +0100 <jollygood2> hmm, I just stack installed ghc-8.10.7, and I lost 4GB on my SSD drive, despite the fact that ghc-8.10.7 + ghc-8.10.7.tar.xz only take 3GB. what happened to 1GB? base is the only package I use
2021-12-24 02:43:32 +0100 <maerwald[m]> stack has multiple sqlite databases and basically puts hackage into one
2021-12-24 02:43:52 +0100otherwise(~otherwise@c-73-221-44-172.hsd1.wa.comcast.net)
2021-12-24 02:44:45 +0100 <jollygood2> where is that database located? in stack root directory?
2021-12-24 02:45:02 +0100 <maerwald[m]> Yeah
2021-12-24 02:45:18 +0100 <maerwald[m]> pantry
2021-12-24 02:45:43 +0100 <jollygood2> is it ok to just delete entire sr directory? :). I've experimented with various ghc versions over the years, and it accumulated a lot of crap I don't need
2021-12-24 02:46:07 +0100 <jollygood2> I'm guessing stack install will pull in everything in needs again
2021-12-24 02:46:16 +0100 <jollygood2> s/in/it
2021-12-24 02:46:44 +0100 <maerwald[m]> stack doesn't care about your disk space yeah, like nix and docker
2021-12-24 02:53:52 +0100shaprinstalls more drives in his laptop
2021-12-24 02:54:13 +0100waleee(~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds)
2021-12-24 02:58:17 +0100vicfred(~vicfred@user/vicfred)
2021-12-24 02:58:50 +0100 <otherwise> calcBmis' xs = [bmi w h | (w, h) <- xs]
2021-12-24 02:58:50 +0100 <otherwise>     where bmi foo bar = foo + bar
2021-12-24 02:58:51 +0100 <otherwise> so is foo and bar taking the place of w and h here?
2021-12-24 02:59:01 +0100tito(tito@tilde.team) (Ping timeout: 240 seconds)
2021-12-24 02:59:33 +0100 <otherwise> and bmi must be bmi in the where binding, I dont get to rename that like I can rename w and h?
2021-12-24 03:00:27 +0100sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 256 seconds)
2021-12-24 03:00:30 +0100tito(tito@tilde.team)
2021-12-24 03:00:37 +0100Tuplanolla(~Tuplanoll@91-159-69-214.elisa-laajakaista.fi) (Quit: Leaving.)
2021-12-24 03:00:52 +0100 <geekosaur> bmi is a locally defined function, whose parameters are foo and bar. in the call to bmi, you pass w and h as foo and bar
2021-12-24 03:06:21 +0100yaroot(~yaroot@60.149.13.160.dy.iij4u.or.jp) (Remote host closed the connection)
2021-12-24 03:06:30 +0100yaroot(~yaroot@60.149.13.160.dy.iij4u.or.jp)
2021-12-24 03:12:57 +0100 <jollygood2> weird argument names are probably the reason for confusion. also, that doesn't actually calculate bmi :P
2021-12-24 03:13:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 03:13:46 +0100sim590(~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-12-24 03:14:42 +0100 <jollygood2> let bmi w h = w / h^2 in map (uncurry bmi) [(90, 1.80), (120, 1.80)]
2021-12-24 03:14:45 +0100 <jollygood2> > let bmi w h = w / h^2 in map (uncurry bmi) [(90, 1.80), (120, 1.80)]
2021-12-24 03:14:47 +0100 <lambdabot> [27.777777777777775,37.03703703703704]
2021-12-24 03:16:17 +0100Everything(~Everythin@37.115.210.35) (Quit: leaving)
2021-12-24 03:19:50 +0100slack1256(~slack1256@181.42.53.226)
2021-12-24 03:20:05 +0100tito(tito@tilde.team) (Ping timeout: 252 seconds)
2021-12-24 03:21:31 +0100Codaraxis_(~Codaraxis@user/codaraxis)
2021-12-24 03:23:41 +0100Codaraxis(~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds)
2021-12-24 03:23:49 +0100 <slack1256> Is there any advice on how to organize the module structure for an executable instead of a libraries? I want to avoid import cycles between subsystems, but it is not clear on the current code who can import on who. This is on stack so no access to internal libraries.
2021-12-24 03:24:24 +0100tito(tito@tilde.team)
2021-12-24 03:26:41 +0100lragyrlmtdwnbo^(~lragyrlmt@64.253.22.77) (Ping timeout: 252 seconds)
2021-12-24 03:26:58 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 03:27:24 +0100lragyrlmtdwnbo^(~lragyrlmt@64.253.22.77)
2021-12-24 03:28:31 +0100 <otherwise> good catch. thanks :)
2021-12-24 03:33:52 +0100 <otherwise> >fib 0 = [0];fib 1 = (fib 0) ++ [1]
2021-12-24 03:34:08 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-24 03:34:18 +0100 <otherwise> Prelude> fib 1
2021-12-24 03:34:19 +0100 <otherwise> *** Exception: <interactive>:6:1-22: Non-exhaustive patterns in function fib
2021-12-24 03:34:42 +0100 <otherwise> >[0]++[1]
2021-12-24 03:34:49 +0100 <otherwise> > [0]++[1]
2021-12-24 03:34:50 +0100 <lambdabot> [0,1]
2021-12-24 03:35:12 +0100 <otherwise> > fib 0 = [0];fib 1 = (fib 0) ++ [1]
2021-12-24 03:35:13 +0100 <lambdabot> <hint>:1:7: error: parse error on input ‘=’
2021-12-24 03:37:07 +0100 <otherwise> trying to generate list of fibonacci sequence, but haskell is not having it... doesn't like defining fib 0 to be list [0] then concatenating it with [1]. but it works fine when I do it with numbers instead of variables
2021-12-24 03:41:07 +0100 <g> otherwise: if you wrote those two definitions on separate lines in ghci , the second one *replaced* the first
2021-12-24 03:41:19 +0100L29Ah(~L29Ah@wikipedia/L29Ah)
2021-12-24 03:44:20 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-24 03:44:58 +0100vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-12-24 03:48:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-24 03:53:16 +0100xff0x(~xff0x@2001:1a81:52d0:e400:f16b:c82a:3197:1eaa) (Ping timeout: 268 seconds)
2021-12-24 03:54:35 +0100xff0x(~xff0x@2001:1a81:5311:2b00:1f91:2f58:522f:165b)
2021-12-24 03:54:36 +0100 <otherwise> > let fibs = 1 : 1 : zipWith (*) fibs (tail fibs) in take 4 fibs
2021-12-24 03:54:37 +0100 <lambdabot> [1,1,1,1]
2021-12-24 03:54:57 +0100 <otherwise> why all ones? why not [1,1,2,3]
2021-12-24 03:55:14 +0100 <int-e> > 1*1
2021-12-24 03:55:15 +0100 <lambdabot> 1
2021-12-24 03:55:29 +0100 <otherwise> haha
2021-12-24 03:55:30 +0100 <otherwise> oops
2021-12-24 03:55:59 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 03:56:12 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 03:56:18 +0100 <otherwise> yes that was all, thanks int-e
2021-12-24 03:58:02 +0100Morrow(~quassel@bzq-110-168-31-106.red.bezeqint.net)
2021-12-24 03:58:02 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 03:58:03 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 03:58:47 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 03:58:48 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 03:59:24 +0100 <dsal> There should be a name for the sequence that's like fibonacci but all multiplied instead of added.
2021-12-24 03:59:53 +0100 <int-e> dsal: you basically just take the logarithm of each element
2021-12-24 04:00:33 +0100 <int-e> > let fibs' = 0 : 0 : zipWith (+) fibs' (tail fibs') in fibs'
2021-12-24 04:00:34 +0100 <lambdabot> [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0...
2021-12-24 04:00:35 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:00:36 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:00:45 +0100 <dsal> ziponacci numbers
2021-12-24 04:01:02 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:01:02 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:01:31 +0100 <int-e> dsal: (with a tiny twist if you have negative numbers, though that twist disappears when you switch to complex numbers)
2021-12-24 04:01:32 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-12-24 04:01:45 +0100 <int-e> > let fibs = 1 : 1 : zipWith (*) fibs (tail fibs) in take
2021-12-24 04:01:47 +0100 <lambdabot> error:
2021-12-24 04:01:47 +0100 <lambdabot> • No instance for (Typeable a0)
2021-12-24 04:01:47 +0100 <lambdabot> arising from a use of ‘show_M32698731503050283268’
2021-12-24 04:01:50 +0100 <int-e> arg
2021-12-24 04:02:03 +0100 <int-e> > let fibs = -1 : -1 : zipWith (*) fibs (tail fibs) in fibs
2021-12-24 04:02:04 +0100 <lambdabot> [-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,-1,1,-1,...
2021-12-24 04:02:17 +0100 <dsal> That one's neat.
2021-12-24 04:02:29 +0100 <dsal> > let fibs = -1 : -1 : zipWith (*) fibs (tail fibs) in sum fibs
2021-12-24 04:02:36 +0100dsalwaits
2021-12-24 04:02:38 +0100 <lambdabot> mueval.real: ExitFailure 1
2021-12-24 04:02:56 +0100 <jackdk> @botsnack poor lambdabot
2021-12-24 04:02:56 +0100 <lambdabot> :)
2021-12-24 04:03:08 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:03:09 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:03:31 +0100 <int-e> . o O ( Out of memory: Killed process 25666 )
2021-12-24 04:04:01 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:04:01 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:06:16 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 04:06:30 +0100 <otherwise> > let fibs = -1 : -1 : zipWith (*) fibs (tail fibs) in sum (take 5 fibs)
2021-12-24 04:06:31 +0100 <lambdabot> -3
2021-12-24 04:07:10 +0100 <otherwise> > let fibs = -1 : -1 : zipWith (*) fibs (tail fibs) in sum (take 6 fibs)
2021-12-24 04:07:12 +0100 <lambdabot> -2
2021-12-24 04:08:11 +0100 <int-e> > scanl (+) 0 (cycle [-1,-1,1])
2021-12-24 04:08:12 +0100 <lambdabot> [0,-1,-2,-1,-2,-3,-2,-3,-4,-3,-4,-5,-4,-5,-6,-5,-6,-7,-6,-7,-8,-7,-8,-9,-8,-...
2021-12-24 04:08:35 +0100 <shapr> ha, I was just wishing for cabal to have a --keep-going flag, and it already DOES!
2021-12-24 04:09:24 +0100 <otherwise> merry christmas
2021-12-24 04:10:34 +0100 <shapr> yay
2021-12-24 04:10:57 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds)
2021-12-24 04:12:21 +0100 <dsal> I need that for nix-shell. It's failing to get me a shell with niv because something's broken.
2021-12-24 04:13:53 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:13:54 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:14:40 +0100 <jackdk> nix-shell -p niv just to get niv going? also nix-shell does have --keep-going
2021-12-24 04:15:01 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:15:02 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:15:07 +0100 <dsal> I wanted to update something that uses niv, but I can't make niv go.
2021-12-24 04:15:22 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:15:22 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:15:35 +0100 <jackdk> yeah I do this all the time. drop into a `nix-shell -p niv` with some niv from nixpkgs to get unstuck
2021-12-24 04:15:45 +0100 <jackdk> then you can `niv update` or whatever
2021-12-24 04:15:54 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:15:55 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:16:28 +0100 <dsal> I was trying to do it *before* I got the error this time.
2021-12-24 04:17:32 +0100td_(~td@94.134.91.61) (Ping timeout: 240 seconds)
2021-12-24 04:18:08 +0100 <jackdk> trying to do what?
2021-12-24 04:19:24 +0100td_(~td@muedsl-82-207-238-144.citykom.de)
2021-12-24 04:24:47 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep)
2021-12-24 04:26:34 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-24 04:26:34 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-12-24 04:26:34 +0100finn_elijaFinnElija
2021-12-24 04:29:44 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:29:45 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:30:24 +0100 <dsal> Trying to do a niv update before I updated LTS stuff and pushed a repo and and had it fail in CI
2021-12-24 04:31:55 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 04:32:55 +0100jespada(~jespada@87.74.33.157) (Ping timeout: 250 seconds)
2021-12-24 04:33:17 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2021-12-24 04:35:00 +0100jespada(~jespada@87.74.33.157)
2021-12-24 04:35:26 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:35:27 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:36:14 +0100hololeap(~hololeap@user/hololeap) (Quit: Bye)
2021-12-24 04:36:51 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:36:51 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:37:57 +0100sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 240 seconds)
2021-12-24 04:39:05 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-12-24 04:40:15 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 04:42:21 +0100Guest|93(~Guest|93@104.28.91.78)
2021-12-24 04:44:51 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 04:44:52 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:45:26 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 260 seconds)
2021-12-24 04:47:31 +0100Guest|93(~Guest|93@104.28.91.78) (Quit: Connection closed)
2021-12-24 04:48:51 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: closed)
2021-12-24 04:49:07 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 04:50:55 +0100sim590(~simon@modemcable090.207-203-24.mc.videotron.ca)
2021-12-24 04:56:56 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 04:59:05 +0100Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 252 seconds)
2021-12-24 04:59:57 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-24 05:01:44 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds)
2021-12-24 05:05:57 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2021-12-24 05:14:31 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 05:14:45 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-24 05:15:28 +0100 <otherwise> >1:1:zipWith (+) [1,1] [1]
2021-12-24 05:15:39 +0100 <otherwise> > 1:1:zipWith (+) [1,1] [1]
2021-12-24 05:15:40 +0100 <lambdabot> [1,1,2]
2021-12-24 05:15:45 +0100 <otherwise> > 1:1:zipWith (+) [1,1,2] [1,2]
2021-12-24 05:15:46 +0100 <lambdabot> [1,1,2,3]
2021-12-24 05:16:04 +0100 <otherwise> > 1:1:zipWith (+) [1,1,2,3] [1,2,3]
2021-12-24 05:16:05 +0100 <lambdabot> [1,1,2,3,5]
2021-12-24 05:16:56 +0100 <otherwise> Is that basically the steps taken by the fib' function:
2021-12-24 05:16:56 +0100 <otherwise> fib = 1: 1: zipWith (+) fib (tail fib)
2021-12-24 05:17:24 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-24 05:17:24 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-24 05:17:24 +0100wroathe(~wroathe@user/wroathe)
2021-12-24 05:17:37 +0100 <otherwise> what I don't get is why 1:1 works at all...
2021-12-24 05:17:38 +0100vicfred(~vicfred@user/vicfred)
2021-12-24 05:17:39 +0100 <int-e> kind of; instead of [] for end-of-list you'll have a pending zipWith
2021-12-24 05:17:44 +0100 <otherwise> > 1: 1
2021-12-24 05:17:45 +0100 <lambdabot> error:
2021-12-24 05:17:46 +0100 <lambdabot> • No instance for (Num [Integer]) arising from a use of ‘e_111’
2021-12-24 05:17:48 +0100 <lambdabot> • In the expression: e_111
2021-12-24 05:17:55 +0100 <otherwise> 1 : [1]
2021-12-24 05:17:58 +0100 <otherwise> > 1 : [1]
2021-12-24 05:18:02 +0100 <lambdabot> [1,1]
2021-12-24 05:18:24 +0100img(~img@user/img)
2021-12-24 05:18:52 +0100 <otherwise> oh I see, as you said int-e
2021-12-24 05:18:57 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds)
2021-12-24 05:19:00 +0100 <dsal> > let fibby = 1 : 1 : zipWith f fibby (tail fibby) in fibby :: [Expr]
2021-12-24 05:19:01 +0100 <lambdabot> [1,1,f 1 1,f 1 (f 1 1),f (f 1 1) (f 1 (f 1 1)),f (f 1 (f 1 1)) (f (f 1 1) (f...
2021-12-24 05:19:29 +0100 <int-e> let xs = 1:1:zipWith xs (tail xs) in xs = 1:1:let zs = zipWith (1:1:zs) (1:zs) in zs = 1:1:let zs = 2:zipWith (1:zs) zs = 1:1:2:let zs' = zipWith (1:2:zs') (2:zs') = ...
2021-12-24 05:19:33 +0100slac52407(~slack1256@181.42.47.208)
2021-12-24 05:20:03 +0100 <otherwise> > 1:1:[]
2021-12-24 05:20:05 +0100 <lambdabot> [1,1]
2021-12-24 05:20:36 +0100 <int-e> otherwise: ^^that's a common way to express what happens as text, using `let` to give names to yet-to-be-evaluated parts.
2021-12-24 05:21:26 +0100 <int-e> one can also draw fancy diagrams with boxes for such thunks... there must be a blog post out there that does it for this example but I don't know how to search for one.
2021-12-24 05:22:07 +0100slack1256(~slack1256@181.42.53.226) (Ping timeout: 256 seconds)
2021-12-24 05:23:01 +0100 <int-e> > 1:1:undefined
2021-12-24 05:23:02 +0100 <lambdabot> [1,1*Exception: Prelude.undefined
2021-12-24 05:23:29 +0100mbuf(~Shakthi@122.174.194.123)
2021-12-24 05:23:36 +0100 <int-e> laziness at work: note that even though evaluating `undefined` is an error, the first two elements of the list can be accessed.
2021-12-24 05:27:49 +0100 <monochrom> The Gentle Introduction to Haskell has such a diagram.
2021-12-24 05:27:57 +0100 <monochrom> I think it helped no one.
2021-12-24 05:28:38 +0100 <int-e> . o O ( The "Gentle" Introduction to Haskell )
2021-12-24 05:28:43 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com)
2021-12-24 05:29:11 +0100 <monochrom> The rest of the Gentle Introduction is actually fine.
2021-12-24 05:29:55 +0100 <monochrom> I believe that what works is the idea of successive approximation start from bottom.
2021-12-24 05:30:08 +0100 <int-e> > let fibby = 1 : 1 : zipWith (+) fibby (tail fibby) in fibby :: [Expr]
2021-12-24 05:30:09 +0100 <lambdabot> [1,1,1 + 1,1 + (1 + 1),1 + 1 + (1 + (1 + 1)),1 + (1 + 1) + (1 + 1 + (1 + (1 ...
2021-12-24 05:30:19 +0100 <otherwise> > "Gentle" == "Easy"
2021-12-24 05:30:20 +0100 <lambdabot> False
2021-12-24 05:30:21 +0100 <int-e> > let fibby = a : b : zipWith (+) fibby (tail fibby) in fibby
2021-12-24 05:30:23 +0100 <lambdabot> [a,b,a + b,b + (a + b),a + b + (b + (a + b)),b + (a + b) + (a + b + (b + (a ...
2021-12-24 05:32:17 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 05:32:30 +0100 <int-e> monochrom: aka Boehmian Forests.
2021-12-24 05:32:32 +0100 <otherwise> int-e I see what you mean about haskell allowing for the undefined quality to the appending list
2021-12-24 05:34:35 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds)
2021-12-24 05:34:50 +0100 <otherwise> int-e what is this [Expr] at the end of your fibby zipWith's? it does not evaluate in ghci
2021-12-24 05:34:58 +0100 <dsal> :t Expr
2021-12-24 05:34:59 +0100 <lambdabot> error:
2021-12-24 05:34:59 +0100 <lambdabot> • Data constructor not in scope: Expr
2021-12-24 05:35:00 +0100 <lambdabot> • Perhaps you meant variable ‘expr’ (imported from Debug.SimpleReflect)
2021-12-24 05:35:17 +0100 <dsal> It means a list of Expr values.
2021-12-24 05:35:36 +0100 <dsal> If you don't have that type, you can't reference it.
2021-12-24 05:36:29 +0100 <int-e> otherwise: it's a type with weird implementations for arithmetic operations (and some others) that capture a full expression rather than evaluating to a value
2021-12-24 05:36:53 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds)
2021-12-24 05:37:05 +0100 <int-e> so 1 + 1, rather than evaluating to 2, becomes something like Op "+" (Lit 1) (Lit 1), and that will be shown as 1 + 1 later on:
2021-12-24 05:37:09 +0100 <int-e> > 1 + 1 :: Expr
2021-12-24 05:37:10 +0100 <lambdabot> 1 + 1
2021-12-24 05:37:33 +0100 <dsal> (It's not special -- you could write that yourself)
2021-12-24 05:37:52 +0100 <int-e> the code is in https://hackage.haskell.org/package/simple-reflect
2021-12-24 05:38:17 +0100 <int-e> but yeah, it's not *really* special, though it may feel that way if you're new to Haskell (and that's okay)
2021-12-24 05:39:19 +0100 <dsal> haskell has a lot of things that feel like magic if you're coming from... lesser languages. as you learn, the magic fades.
2021-12-24 05:39:26 +0100 <int-e> :t reduced
2021-12-24 05:39:26 +0100 <lambdabot> error:
2021-12-24 05:39:26 +0100 <lambdabot> • Variable not in scope: reduced
2021-12-24 05:39:27 +0100 <lambdabot> • Perhaps you meant ‘reduce’ (imported from Debug.SimpleReflect)
2021-12-24 05:39:50 +0100 <int-e> :t Data.SimpleReflect.Expr.reduced
2021-12-24 05:39:51 +0100 <lambdabot> error:
2021-12-24 05:39:51 +0100 <lambdabot> Not in scope: ‘Data.SimpleReflect.Expr.reduced’
2021-12-24 05:39:51 +0100 <lambdabot> No module named ‘Data.SimpleReflect.Expr’ is imported.
2021-12-24 05:40:12 +0100 <int-e> @let import Data.SimpleReflect.Expr (reduced)
2021-12-24 05:40:12 +0100 <lambdabot> /sandbox/tmp/.L.hs:120:1: error:
2021-12-24 05:40:12 +0100 <lambdabot> Could not find module ‘Data.SimpleReflect.Expr’
2021-12-24 05:40:12 +0100 <lambdabot> Perhaps you meant
2021-12-24 05:40:23 +0100 <int-e> @let import Debug.SimpleReflect.Expr (reduced)
2021-12-24 05:40:24 +0100 <lambdabot> /sandbox/tmp/.L.hs:133:34: error:
2021-12-24 05:40:24 +0100 <lambdabot> Module ‘Debug.SimpleReflect.Expr’ does not export ‘reduced’
2021-12-24 05:40:24 +0100 <lambdabot> |
2021-12-24 05:40:30 +0100 <int-e> sigh.
2021-12-24 05:40:37 +0100 <int-e> @let import Debug.SimpleReflect.Expr (Expr (reduced))
2021-12-24 05:40:37 +0100 <lambdabot> /sandbox/tmp/.L.hs:133:34: error:
2021-12-24 05:40:37 +0100 <lambdabot> Module ‘Debug.SimpleReflect.Expr’ does not export ‘Expr(reduced)’
2021-12-24 05:40:37 +0100 <lambdabot> |
2021-12-24 05:40:42 +0100 <int-e> I give up.
2021-12-24 05:41:15 +0100 <int-e> :t reduce
2021-12-24 05:41:16 +0100 <lambdabot> Expr -> Expr
2021-12-24 05:41:24 +0100 <int-e> pfft.
2021-12-24 05:41:46 +0100 <int-e> > iterate reduce (1 + 1 + 2 + 3 + 5)
2021-12-24 05:41:47 +0100 <lambdabot> [1 + 1 + 2 + 3 + 5,2 + 2 + 3 + 5,4 + 3 + 5,7 + 5,12,12,12,12,12,12,12,12,12,...
2021-12-24 05:42:59 +0100 <int-e> > reduction (1 + 1 + 2 + 3 + 5)
2021-12-24 05:43:00 +0100 <lambdabot> [1 + 1 + 2 + 3 + 5,2 + 2 + 3 + 5,4 + 3 + 5,7 + 5,12]
2021-12-24 05:43:05 +0100 <int-e> yay.
2021-12-24 05:43:54 +0100 <xerox> beautiful
2021-12-24 05:44:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 05:44:34 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-24 05:44:34 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-12-24 05:44:34 +0100finn_elijaFinnElija
2021-12-24 05:44:48 +0100 <int-e> I didn't know (or, at least, remember) that the package can do that.
2021-12-24 05:48:25 +0100 <xerox> I didn't either
2021-12-24 05:49:34 +0100lavaman(~lavaman@98.38.249.169)
2021-12-24 05:50:42 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 05:53:51 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-24 05:55:26 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 260 seconds)
2021-12-24 05:56:21 +0100jollygood2(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC)
2021-12-24 06:00:10 +0100 <dsal> What is the largest model number accepted by MONAD?
2021-12-24 06:03:56 +0100 <bitmapper> i cannot figure out Arrows
2021-12-24 06:09:20 +0100slac52407slack1256
2021-12-24 06:15:10 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-24 06:15:10 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-12-24 06:15:10 +0100finn_elijaFinnElija
2021-12-24 06:16:10 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 06:18:12 +0100KvL(~KvL@37.120.213.109)
2021-12-24 06:18:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-24 06:20:06 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-12-24 06:24:04 +0100Sobhan(~Sobhan@modemcable039.128-131-66.mc.videotron.ca) (Quit: Client closed)
2021-12-24 06:30:42 +0100KvL(~KvL@37.120.213.109) (Quit: KvL)
2021-12-24 06:32:21 +0100alfonsox(~quassel@103.92.42.192)
2021-12-24 06:36:29 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-12-24 06:36:49 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-24 06:44:37 +0100mvk(~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 240 seconds)
2021-12-24 06:44:52 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-24 06:44:52 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-12-24 06:44:52 +0100finn_elijaFinnElija
2021-12-24 06:46:24 +0100 <Axman6> cccccckvtilvklniclblevinjtkdengurbfnuvhgugrh
2021-12-24 06:46:39 +0100 <Axman6> uh, please only use that code once, it is single use
2021-12-24 06:50:55 +0100KvL(~KvL@37.120.213.109)
2021-12-24 06:55:03 +0100slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-12-24 06:58:27 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2021-12-24 07:00:44 +0100 <geekosaur> is that a code or keyboard vomit?
2021-12-24 07:01:49 +0100 <otherwise> it was for a couple bit coins, I already used it.
2021-12-24 07:01:51 +0100 <otherwise> ...
2021-12-24 07:03:20 +0100 <otherwise> j/k (probably goes without saying)
2021-12-24 07:05:25 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-12-24 07:05:51 +0100 <alfonsox> Is "stack build" command usage max core & max RAM ? I am trying to set up Yesod first time, it is trying to build x/178 (145/178 right now) for last15/20 minutes.
2021-12-24 07:07:05 +0100 <alfonsox> Or my machine is just slow in 2021, 10 year old desktop with i3 540 with 4GB 1333 hz RAM ?
2021-12-24 07:07:43 +0100 <geekosaur> 4gb and yesod gonna be slow
2021-12-24 07:10:33 +0100 <alfonsox> but RAM usage hovering around 1.3 GB of 4GB.
2021-12-24 07:11:38 +0100 <alfonsox> however all the 4 cores fluctuating between 20-80% usage range.
2021-12-24 07:11:40 +0100 <geekosaur> I think most of the slowness in building yesod is *lots* of template haskell, actually
2021-12-24 07:12:07 +0100elcaro(~anonymous@45.32.191.75) ()
2021-12-24 07:12:07 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-12-24 07:16:19 +0100 <alfonsox> hmm. Is there a way to configure it to not to do that ? Assuming as a newbie I am not going to use Template Haskell ?
2021-12-24 07:16:51 +0100 <geekosaur> it's not you that uses it. TH is generating code at compile time
2021-12-24 07:17:31 +0100 <geekosaur> and it needs that code
2021-12-24 07:19:06 +0100 <alfonsox> okay. Build completed but took good 20-30 minutes.
2021-12-24 07:20:00 +0100 <alfonsox> I hope it does not do that everytime I need to build the project.
2021-12-24 07:21:24 +0100jinsun__(~quassel@user/jinsun)
2021-12-24 07:23:07 +0100mvk(~mvk@2607:fea8:5cdd:f000::917a)
2021-12-24 07:23:17 +0100jinsun(~quassel@user/jinsun) (Ping timeout: 240 seconds)
2021-12-24 07:29:57 +0100KvL(~KvL@37.120.213.109) (Ping timeout: 240 seconds)
2021-12-24 07:31:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-24 07:31:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-24 07:31:43 +0100wroathe(~wroathe@user/wroathe)
2021-12-24 07:34:15 +0100notzmv(~zmv@user/notzmv)
2021-12-24 07:36:17 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2021-12-24 07:38:57 +0100ozzymcduff(~mathieu@81-234-151-21-no94.tbcn.telia.com) (Ping timeout: 240 seconds)
2021-12-24 07:42:26 +0100KvL(~KvL@37.120.213.108)
2021-12-24 07:42:41 +0100retro_(~retro@05412d78.skybroadband.com) (Read error: Connection reset by peer)
2021-12-24 07:43:10 +0100KvL(~KvL@37.120.213.108) (Client Quit)
2021-12-24 07:51:07 +0100sagax(~sagax_nb@user/sagax) (Quit: Konversation terminated!)
2021-12-24 07:51:08 +0100retroid_(~retro@05412d78.skybroadband.com)
2021-12-24 07:52:38 +0100sagax(~sagax_nb@user/sagax)
2021-12-24 07:53:48 +0100arahael(~arahael@203.158.51.1) (Quit: WeeChat 3.1)
2021-12-24 08:03:20 +0100mbuf(~Shakthi@122.174.194.123) (Quit: Leaving)
2021-12-24 08:03:54 +0100goepsilongo(~goepsilon@2806:263:c404:8000:f42f:2a6e:3c81:2519) (Quit: Textual IRC Client: www.textualapp.com)
2021-12-24 08:05:31 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-12-24 08:14:21 +0100lragyrlmtdwnbo^(~lragyrlmt@64.253.22.77) (Remote host closed the connection)
2021-12-24 08:14:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 08:16:57 +0100chozorho(~chozorho@2601:146:300:c30::9401) (Quit: WeeChat 3.0)
2021-12-24 08:17:36 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 08:24:52 +0100Codaraxis__(~Codaraxis@user/codaraxis)
2021-12-24 08:27:25 +0100benin(~benin@183.82.27.57) (Ping timeout: 240 seconds)
2021-12-24 08:28:33 +0100Codaraxis_(~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds)
2021-12-24 08:28:33 +0100gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2021-12-24 08:29:07 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds)
2021-12-24 08:29:58 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-24 08:32:02 +0100kaph_(~kaph@net-2-45-51-147.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2021-12-24 08:34:10 +0100gentauro(~gentauro@user/gentauro)
2021-12-24 08:34:37 +0100benin(~benin@183.82.27.57)
2021-12-24 08:35:21 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 08:35:40 +0100dsrt^(~dsrt@64.253.22.77)
2021-12-24 08:36:13 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 08:36:41 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-12-24 08:39:03 +0100coolnickname(uid531864@user/coolnickname)
2021-12-24 08:40:27 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-12-24 08:47:01 +0100jonathanx(~jonathan@c-5eea3459-74736162.cust.telenor.se)
2021-12-24 08:49:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-24 08:55:20 +0100phma(phma@2001:5b0:211b:ad08:e5d3:c318:2701:f71f) (Read error: Connection reset by peer)
2021-12-24 08:55:23 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-12-24 08:56:40 +0100phma(phma@2001:5b0:211c:1148:9e4d:7400:733a:b6f1)
2021-12-24 08:57:27 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Ping timeout: 256 seconds)
2021-12-24 08:58:04 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-24 09:00:20 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-24 09:02:10 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer)
2021-12-24 09:02:28 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-24 09:15:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 09:16:00 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-24 09:20:55 +0100chomwitt(~chomwitt@2a02:587:dc1c:a00:12c3:7bff:fe6d:d374)
2021-12-24 09:20:56 +0100aliosablack(~chomwitt@2a02:587:dc1c:a00:12c3:7bff:fe6d:d374)
2021-12-24 09:24:11 +0100toastloop(toastloop@user/toastloop)
2021-12-24 09:33:31 +0100 <otherwise> Is Kotlin much different than haskell?
2021-12-24 09:37:11 +0100 <dsal> I can't imagine how they're related.
2021-12-24 09:39:53 +0100KvL(~KvL@178.239.165.192)
2021-12-24 09:42:55 +0100toastloop(toastloop@user/toastloop) (Ping timeout: 268 seconds)
2021-12-24 09:43:39 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:319d:53ed:6690:e5b4) (Remote host closed the connection)
2021-12-24 09:46:23 +0100gensyst(gensyst@user/gensyst)
2021-12-24 09:46:57 +0100jonathanx(~jonathan@c-5eea3459-74736162.cust.telenor.se) (Ping timeout: 240 seconds)
2021-12-24 09:47:06 +0100 <gensyst> I run GHCi for my project with "cabal repl exe:project-exe". This compiles the library and gets me into a repl where I can experiment with changes to Main.hs.
2021-12-24 09:47:38 +0100 <gensyst> However how do I recompile the *library* from GHCi, if I make changes to the library? The only way I know is of quitting GHCi and relaunching it.
2021-12-24 09:47:46 +0100 <gensyst> Any other ways from within GHCi itself?
2021-12-24 09:49:09 +0100acidjnk(~acidjnk@p200300d0c7271e5539f4c4c5e28366d0.dip0.t-ipconnect.de)
2021-12-24 09:50:29 +0100gehmehgeh(~user@user/gehmehgeh)
2021-12-24 09:51:21 +0100lavaman(~lavaman@98.38.249.169)
2021-12-24 09:55:25 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2021-12-24 09:56:52 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-12-24 09:58:04 +0100chomwitt(~chomwitt@2a02:587:dc1c:a00:12c3:7bff:fe6d:d374) (Remote host closed the connection)
2021-12-24 09:58:04 +0100aliosablack(~chomwitt@2a02:587:dc1c:a00:12c3:7bff:fe6d:d374) (Remote host closed the connection)
2021-12-24 09:58:36 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-12-24 10:00:06 +0100meatfeather[m](~meatfeath@2001:470:69fc:105::1:3311) (Quit: You have been kicked for being idle)
2021-12-24 10:01:23 +0100max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr)
2021-12-24 10:02:11 +0100slack1256(~slack1256@181.42.47.208) (Remote host closed the connection)
2021-12-24 10:02:31 +0100Tuplanolla(~Tuplanoll@91-159-68-52.elisa-laajakaista.fi)
2021-12-24 10:02:34 +0100 <otherwise> I thought Kotlin is a functional programing language, but i'm not sure the diversity among functional languages. hence wondering how similar they are.
2021-12-24 10:03:34 +0100KvL(~KvL@178.239.165.192) (Quit: KvL)
2021-12-24 10:03:56 +0100KvL(~KvL@178.239.165.192)
2021-12-24 10:04:12 +0100KvL(~KvL@178.239.165.192) (Client Quit)
2021-12-24 10:05:47 +0100 <merijn> gensyst: The library your executable depends on, you mean?
2021-12-24 10:06:15 +0100 <merijn> otherwise: I don't think Kotlin is remotely functional in the sense that anyone *here* would interpret that term, tbh
2021-12-24 10:06:21 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 268 seconds)
2021-12-24 10:06:40 +0100 <merijn> AFAIK the "functional part" of Kotlin is just "hey guys, we made lambdas and first class functions slightly less sucky than in Java!"
2021-12-24 10:07:09 +0100KvL(~KvL@178.239.165.192)
2021-12-24 10:10:05 +0100 <otherwise> I see. Just because you write "tesla" on the side of your electric golf cart, doesnt make it a tesla. Something like that.
2021-12-24 10:10:32 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 10:13:18 +0100 <gensyst> merijn, yeah
2021-12-24 10:13:32 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Remote host closed the connection)
2021-12-24 10:13:34 +0100 <merijn> gensyst: The short answer is (for now): You can't
2021-12-24 10:14:19 +0100 <merijn> gensyst: ghci can only load 1 "component" at a time (library, exe, etc.) it's a fundamental ghci limitation. I recall there was someone working on lifting it, but that's Work-in-Progress afaik
2021-12-24 10:14:43 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827)
2021-12-24 10:14:52 +0100 <gensyst> merijn, ok thanks for the info!
2021-12-24 10:15:42 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 10:15:43 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 10:16:24 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 10:16:24 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 10:16:25 +0100KvL(~KvL@178.239.165.192) (Quit: KvL)
2021-12-24 10:16:45 +0100KvL(~KvL@178.239.165.192)
2021-12-24 10:17:01 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Remote host closed the connection)
2021-12-24 10:17:24 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-12-24 10:17:49 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-24 10:18:07 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827)
2021-12-24 10:18:17 +0100 <int-e> glguy: Thanks for demystifying today's circuits :)
2021-12-24 10:18:56 +0100AlexNoo_AlexNoo
2021-12-24 10:25:57 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-12-24 10:32:08 +0100darchitect(~darchitec@2a00:23c6:3584:df00:7dec:bf13:8fa:748c) (Quit: WeeChat 3.3)
2021-12-24 10:33:49 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-12-24 10:36:36 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Remote host closed the connection)
2021-12-24 10:37:50 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827)
2021-12-24 10:38:37 +0100deech`(~user@024-217-244-075.res.spectrum.com) (Ping timeout: 240 seconds)
2021-12-24 10:40:55 +0100KvL(~KvL@178.239.165.192) (Quit: KvL)
2021-12-24 10:41:40 +0100deech`(~user@024-217-244-075.res.spectrum.com)
2021-12-24 10:44:03 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363)
2021-12-24 10:44:33 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds)
2021-12-24 10:46:01 +0100Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2021-12-24 10:46:18 +0100Axman6(~Axman6@user/axman6)
2021-12-24 10:50:17 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds)
2021-12-24 10:52:39 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 11:01:21 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Remote host closed the connection)
2021-12-24 11:02:44 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827)
2021-12-24 11:03:15 +0100foul_owl(~kerry@94.140.8.107) (Ping timeout: 256 seconds)
2021-12-24 11:05:28 +0100cosimone(~user@93-47-231-248.ip115.fastwebnet.it)
2021-12-24 11:05:40 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-12-24 11:07:57 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 240 seconds)
2021-12-24 11:08:38 +0100foul_owl(~kerry@97-126-11-68.tukw.qwest.net)
2021-12-24 11:08:59 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 11:20:40 +0100jinsun(~quassel@user/jinsun)
2021-12-24 11:22:05 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-12-24 11:22:17 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2021-12-24 11:22:37 +0100jinsun__(~quassel@user/jinsun) (Ping timeout: 240 seconds)
2021-12-24 11:22:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-24 11:24:52 +0100Lord_of_Life_Lord_of_Life
2021-12-24 11:28:23 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds)
2021-12-24 11:29:41 +0100ProfSimm(~ProfSimm@87.227.196.109)
2021-12-24 11:30:20 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 11:33:45 +0100Gurkenglas(~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de)
2021-12-24 11:35:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 11:36:02 +0100Codaraxis_(~Codaraxis@user/codaraxis)
2021-12-24 11:37:56 +0100Bartol(~Bartol@user/Bartol)
2021-12-24 11:39:31 +0100Codaraxis__(~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds)
2021-12-24 11:40:02 +0100acidjnk(~acidjnk@p200300d0c7271e5539f4c4c5e28366d0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-12-24 11:43:38 +0100Codaraxis_(~Codaraxis@user/codaraxis) (Quit: Leaving)
2021-12-24 11:47:25 +0100finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-12-24 11:47:25 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2021-12-24 11:47:25 +0100finn_elijaFinnElija
2021-12-24 11:48:03 +0100bollu(uid233390@id-233390.helmsley.irccloud.com)
2021-12-24 11:54:21 +0100Axman6(~Axman6@user/axman6) (Remote host closed the connection)
2021-12-24 11:56:08 +0100__monty__(~toonn@user/toonn)
2021-12-24 12:06:54 +0100Axman6(~Axman6@user/axman6)
2021-12-24 12:08:47 +0100neceve(~quassel@2.26.93.228)
2021-12-24 12:08:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-24 12:09:22 +0100xkuru(~xkuru@user/xkuru)
2021-12-24 12:09:39 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-12-24 12:15:06 +0100xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-12-24 12:17:01 +0100gensyst(gensyst@user/gensyst) (Quit: Leaving)
2021-12-24 12:18:54 +0100kadir(~kadir@88.251.54.120)
2021-12-24 12:19:57 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Quit: coot)
2021-12-24 12:22:32 +0100Akiva(~Akiva@user/Akiva) (Ping timeout: 240 seconds)
2021-12-24 12:31:37 +0100mvk(~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 240 seconds)
2021-12-24 12:39:36 +0100jakalx(~jakalx@base.jakalx.net) ()
2021-12-24 12:39:41 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 12:40:30 +0100arahael(~arahael@203.158.51.1)
2021-12-24 12:41:51 +0100foul_owl(~kerry@97-126-11-68.tukw.qwest.net) (Ping timeout: 256 seconds)
2021-12-24 12:44:14 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 260 seconds)
2021-12-24 12:44:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-12-24 12:45:33 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-24 12:45:35 +0100jakalx(~jakalx@base.jakalx.net)
2021-12-24 12:48:07 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-12-24 12:49:25 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2021-12-24 12:49:49 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2021-12-24 12:52:37 +0100eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2021-12-24 12:55:28 +0100syrkis(~syrkis@109.59.170.168.mobile.3.dk)
2021-12-24 12:55:46 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-12-24 12:57:07 +0100Guest24(~Guest24@81.106.113.17)
2021-12-24 12:57:16 +0100foul_owl(~kerry@94.140.8.107)
2021-12-24 12:58:00 +0100Guest24(~Guest24@81.106.113.17) (Client Quit)
2021-12-24 12:58:24 +0100sim590(~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 268 seconds)
2021-12-24 13:01:17 +0100otherwise(~otherwise@c-73-221-44-172.hsd1.wa.comcast.net) (Quit: Connection closed)
2021-12-24 13:03:04 +0100zer0bitz(~zer0bitz@2001:2003:f444:a000:e182:9e47:91db:c531)
2021-12-24 13:03:37 +0100xff0x(~xff0x@2001:1a81:5311:2b00:1f91:2f58:522f:165b) (Ping timeout: 240 seconds)
2021-12-24 13:04:25 +0100KvL(~KvL@178.239.165.194)
2021-12-24 13:04:47 +0100xff0x(~xff0x@2001:1a81:5311:2b00:585:576e:a672:6acd)
2021-12-24 13:05:12 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 268 seconds)
2021-12-24 13:11:26 +0100jespada(~jespada@87.74.33.157) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-12-24 13:11:57 +0100jespada(~jespada@87.74.33.157)
2021-12-24 13:15:35 +0100SummerSonw(~The_viole@203.77.49.232) (Quit: Leaving)
2021-12-24 13:16:22 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2021-12-24 13:16:56 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-24 13:17:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 13:18:38 +0100Morrow(~quassel@bzq-110-168-31-106.red.bezeqint.net) (Remote host closed the connection)
2021-12-24 13:20:35 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 13:21:17 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Ping timeout: 240 seconds)
2021-12-24 13:21:17 +0100cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2021-12-24 13:22:52 +0100zer0bitz_(~zer0bitz@2001:2003:f444:a000:2421:137f:dee3:7f7d)
2021-12-24 13:23:50 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-12-24 13:24:59 +0100cheater(~Username@user/cheater)
2021-12-24 13:25:01 +0100zer0bitz(~zer0bitz@2001:2003:f444:a000:e182:9e47:91db:c531) (Ping timeout: 240 seconds)
2021-12-24 13:25:41 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-24 13:30:16 +0100Digit(~user@user/digit) (Remote host closed the connection)
2021-12-24 13:32:14 +0100Morrow(~quassel@bzq-110-168-31-106.red.bezeqint.net)
2021-12-24 13:33:57 +0100xff0x(~xff0x@2001:1a81:5311:2b00:585:576e:a672:6acd) (Ping timeout: 240 seconds)
2021-12-24 13:34:59 +0100xff0x(~xff0x@2001:1a81:5311:2b00:3477:5c7:6546:864b)
2021-12-24 13:35:59 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-24 13:44:29 +0100machinedgod(~machinedg@24.105.81.50)
2021-12-24 13:47:47 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 13:49:42 +0100Morrow(~quassel@bzq-110-168-31-106.red.bezeqint.net) (Remote host closed the connection)
2021-12-24 13:50:08 +0100Morrow(~quassel@bzq-110-168-31-106.red.bezeqint.net)
2021-12-24 13:50:46 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-12-24 13:53:06 +0100lavaman(~lavaman@98.38.249.169)
2021-12-24 13:53:44 +0100ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2021-12-24 13:57:36 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-12-24 13:57:47 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Ping timeout: 256 seconds)
2021-12-24 13:59:34 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-24 14:01:25 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-24 14:02:24 +0100KvL(~KvL@178.239.165.194) (Quit: KvL)
2021-12-24 14:02:37 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-12-24 14:05:38 +0100syrkis(~syrkis@109.59.170.168.mobile.3.dk) (Quit: Ping timeout (120 seconds))
2021-12-24 14:08:34 +0100Vajb(~Vajb@2001:999:62:e042:be01:afcc:85c5:1e46)
2021-12-24 14:12:26 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-24 14:15:29 +0100epolanski(uid312403@id-312403.helmsley.irccloud.com)
2021-12-24 14:16:11 +0100zer0bitz_(~zer0bitz@2001:2003:f444:a000:2421:137f:dee3:7f7d) (Ping timeout: 245 seconds)
2021-12-24 14:17:01 +0100slowButPresent(~slowButPr@user/slowbutpresent)
2021-12-24 14:17:58 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 14:18:11 +0100zer0bitz(~zer0bitz@2001:2003:f444:a000:2421:137f:dee3:7f7d)
2021-12-24 14:22:32 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-12-24 14:23:17 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds)
2021-12-24 14:27:17 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds)
2021-12-24 14:28:12 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 14:29:37 +0100__monty__(~toonn@user/toonn) (Quit: leaving)
2021-12-24 14:32:58 +0100lavaman(~lavaman@98.38.249.169)
2021-12-24 14:35:20 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 14:36:51 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-24 14:37:28 +0100jespada(~jespada@87.74.33.157) (Quit: Textual IRC Client: www.textualapp.com)
2021-12-24 14:42:57 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363)
2021-12-24 14:45:13 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-24 14:52:46 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-24 14:53:19 +0100_xor(~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer)
2021-12-24 14:53:41 +0100_xor(~xor@dsl-50-5-233-169.fuse.net)
2021-12-24 14:56:12 +0100OscarZ(~oscarz@95.175.104.235) (Read error: Connection reset by peer)
2021-12-24 15:00:24 +0100timCF(~timCF@m91-129-100-224.cust.tele2.ee)
2021-12-24 15:01:30 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-12-24 15:01:51 +0100 <timCF> Hello! Did anybody experienced error "We cannot know what roles the parameters to 'a' have" when trying to implement some generic function? In my example all type parameters are phantom, but I don't know how to say it to GHC https://gist.github.com/21it/c6b510261c34a36b6329c11c17ce3833
2021-12-24 15:09:34 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 15:14:21 +0100sim590(~simon@modemcable157.243-56-74.mc.videotron.ca)
2021-12-24 15:14:59 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection)
2021-12-24 15:16:12 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-24 15:17:21 +0100ubert(~Thunderbi@p548c8cd6.dip0.t-ipconnect.de)
2021-12-24 15:18:12 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 15:23:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-12-24 15:23:22 +0100kaph(~kaph@net-2-45-51-147.cust.vodafonedsl.it)
2021-12-24 15:30:22 +0100syrkis(~syrkis@109.59.170.168.mobile.3.dk)
2021-12-24 15:33:20 +0100 <juri_> grr. hspec has changed it's presentation form for floats... to display them in rational form.
2021-12-24 15:33:50 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363)
2021-12-24 15:34:12 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-24 15:34:14 +0100 <int-e> > toRational 0.1
2021-12-24 15:34:15 +0100 <lambdabot> 3602879701896397 % 36028797018963968
2021-12-24 15:34:25 +0100 <int-e> fun :-/
2021-12-24 15:34:30 +0100 <timCF> whuut
2021-12-24 15:34:41 +0100lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-12-24 15:34:59 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 15:35:17 +0100 <juri_> that's double painful when you're dealing in projective geometry, and writing unit tests based on the output of Hspec.
2021-12-24 15:36:26 +0100 <geekosaur> timCF, I'm no expert on what you're doing, but I think ghc's error message is exact: there is no way to specify that you know the roles will always be phantom, which is why ghc is forced to assume nominal for safety
2021-12-24 15:36:31 +0100 <juri_> tl;dr: each value of mine is effectively in something that looks like three radians. representing that in three rational bases makes reading values and converting into "i think that's the right direction" nigh impossible.
2021-12-24 15:36:35 +0100 <geekosaur> you may be forced to use unsafeCoerce
2021-12-24 15:37:42 +0100 <geekosaur> and add a comment as to why, ideally
2021-12-24 15:38:20 +0100jonathanx(~jonathan@c-5eea3459-74736162.cust.telenor.se)
2021-12-24 15:39:05 +0100 <int-e> -- I fasted for three days, sacrificed a goat, and consulted the oracle, and all omens were in favor of this use of `unsafeCoerce`
2021-12-24 15:39:47 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2021-12-24 15:40:20 +0100 <juri_> oracle consulting fees are a big deal.
2021-12-24 15:41:04 +0100 <timCF> geekosaur: seems like I was able to brute force it and solved with `Coercible (a 'UnRounded) (a 'Rounded)` additional constraint
2021-12-24 15:41:35 +0100 <geekosaur> interesting
2021-12-24 15:45:11 +0100syrkis(~syrkis@109.59.170.168.mobile.3.dk) (Quit: Client closed)
2021-12-24 15:47:01 +0100cheater(~Username@user/cheater) (Ping timeout: 245 seconds)
2021-12-24 15:50:06 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 15:51:32 +0100dsrt^(~dsrt@64.253.22.77) (Ping timeout: 240 seconds)
2021-12-24 15:52:19 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 268 seconds)
2021-12-24 15:53:47 +0100cheater(~Username@user/cheater)
2021-12-24 15:58:44 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-12-24 15:59:37 +0100jonathanx(~jonathan@c-5eea3459-74736162.cust.telenor.se) (Ping timeout: 256 seconds)
2021-12-24 15:59:44 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2021-12-24 16:02:06 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection)
2021-12-24 16:02:22 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-12-24 16:03:40 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2021-12-24 16:03:41 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 16:04:28 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-24 16:04:28 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-24 16:04:28 +0100wroathe(~wroathe@user/wroathe)
2021-12-24 16:06:37 +0100cheater(~Username@user/cheater) (Ping timeout: 240 seconds)
2021-12-24 16:06:56 +0100cheater(~Username@user/cheater)
2021-12-24 16:08:17 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds)
2021-12-24 16:08:41 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2021-12-24 16:09:21 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-24 16:19:50 +0100Achylles(~Achylles_@2804:431:d725:86fc:abf6:fa73:2a9e:707b)
2021-12-24 16:19:52 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 16:21:27 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-24 16:22:18 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 16:22:32 +0100lechner(~lechner@debian/lechner) (Ping timeout: 268 seconds)
2021-12-24 16:24:23 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 252 seconds)
2021-12-24 16:27:03 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 250 seconds)
2021-12-24 16:31:20 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4)
2021-12-24 16:31:21 +0100benin4(~benin@183.82.27.57)
2021-12-24 16:32:13 +0100benin(~benin@183.82.27.57) (Ping timeout: 240 seconds)
2021-12-24 16:32:13 +0100benin4benin
2021-12-24 16:36:05 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 16:38:47 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Read error: Connection reset by peer)
2021-12-24 16:39:23 +0100Midjak(~Midjak@may53-1-78-226-116-92.fbx.proxad.net)
2021-12-24 16:40:46 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 245 seconds)
2021-12-24 16:47:45 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-24 16:52:46 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 16:53:04 +0100Everything(~Everythin@37.115.210.35)
2021-12-24 16:57:23 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 250 seconds)
2021-12-24 16:57:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 16:59:53 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection)
2021-12-24 17:00:38 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b)
2021-12-24 17:02:57 +0100dyeplexer(~dyeplexer@user/dyeplexer)
2021-12-24 17:06:37 +0100goepsilongo(~goepsilon@2806:263:c404:8000:1841:9986:6b2b:10e6)
2021-12-24 17:07:17 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363)
2021-12-24 17:10:25 +0100jeetelongname(~jeet@88.111.159.26)
2021-12-24 17:10:47 +0100cosimone(~user@93-47-231-248.ip115.fastwebnet.it) (Remote host closed the connection)
2021-12-24 17:11:01 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds)
2021-12-24 17:13:05 +0100cosimone(~user@93-47-231-248.ip115.fastwebnet.it)
2021-12-24 17:14:23 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-24 17:15:13 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-24 17:15:46 +0100cosimone(~user@93-47-231-248.ip115.fastwebnet.it) (Remote host closed the connection)
2021-12-24 17:16:11 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-12-24 17:18:01 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 17:25:04 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 17:25:29 +0100cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20)
2021-12-24 17:33:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-24 17:34:30 +0100bollu(uid233390@id-233390.helmsley.irccloud.com)
2021-12-24 17:35:46 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2021-12-24 17:35:55 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827)
2021-12-24 17:39:00 +0100sus(zero@user/zeromomentum) (Quit: Ping timeout (120 seconds))
2021-12-24 17:39:43 +0100sus(~zeromomen@user/zeromomentum)
2021-12-24 17:41:31 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Remote host closed the connection)
2021-12-24 17:42:17 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 17:46:57 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-12-24 17:51:33 +0100max22-(~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Remote host closed the connection)
2021-12-24 17:54:37 +0100shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-12-24 17:59:16 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-24 17:59:37 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 240 seconds)
2021-12-24 17:59:56 +0100puke(~puke@user/puke) (Quit: puke)
2021-12-24 18:01:10 +0100max22-(~maxime@2a01cb08833598008b3c03f8a6bde97c.ipv6.abo.wanadoo.fr)
2021-12-24 18:02:25 +0100wrengr(~wrengr@150.12.83.34.bc.googleusercontent.com) (Ping timeout: 268 seconds)
2021-12-24 18:06:07 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2021-12-24 18:06:11 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-12-24 18:06:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 18:06:48 +0100kjak(~kjak@pool-108-45-56-21.washdc.fios.verizon.net)
2021-12-24 18:07:10 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 260 seconds)
2021-12-24 18:07:45 +0100econo(uid147250@user/econo)
2021-12-24 18:07:55 +0100wrengr(~wrengr@150.12.83.34.bc.googleusercontent.com)
2021-12-24 18:08:20 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 18:10:32 +0100mvk(~mvk@2607:fea8:5cdd:f000::917a)
2021-12-24 18:11:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-12-24 18:12:54 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 268 seconds)
2021-12-24 18:17:03 +0100turlando(~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.)
2021-12-24 18:18:26 +0100turlando(~turlando@user/turlando)
2021-12-24 18:18:31 +0100bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-24 18:22:26 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 18:25:12 +0100alfonsox(~quassel@103.92.42.192) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-12-24 18:26:21 +0100 <[itchyjunk]> Is there a place where there are just problem sets? possibly sorted by topics?
2021-12-24 18:27:51 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds)
2021-12-24 18:29:29 +0100Achylles(~Achylles_@2804:431:d725:86fc:abf6:fa73:2a9e:707b) (Remote host closed the connection)
2021-12-24 18:30:24 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-12-24 18:30:40 +0100puke(~puke@user/puke)
2021-12-24 18:31:08 +0100pieguy128(~pieguy128@bas1-quebec14-67-70-102-17.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2021-12-24 18:33:08 +0100deech`(~user@024-217-244-075.res.spectrum.com) (Read error: Connection reset by peer)
2021-12-24 18:33:21 +0100deech`(~user@024-217-244-075.res.spectrum.com)
2021-12-24 18:33:40 +0100vysn(~vysn@user/vysn)
2021-12-24 18:36:27 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-12-24 18:38:59 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-12-24 18:39:19 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-24 18:39:25 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 268 seconds)
2021-12-24 18:40:19 +0100pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-48-67-70-102-17.dsl.bell.ca)
2021-12-24 18:41:17 +0100zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2021-12-24 18:42:37 +0100rito_(~rito_gh@45.112.243.69)
2021-12-24 18:45:29 +0100lechner(~lechner@debian/lechner)
2021-12-24 18:49:39 +0100 <monochrom> I don't know how seriously I should take "just". Consider the https://wiki.haskell.org/H-99:_Ninety-Nine_Haskell_Problems and open.kattis.com
2021-12-24 18:50:23 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-12-24 18:51:25 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-12-24 18:52:19 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Quit: Leaving)
2021-12-24 18:52:42 +0100zaquest(~notzaques@5.130.79.72)
2021-12-24 18:56:30 +0100geekosaur(~geekosaur@xmonad/geekosaur)
2021-12-24 18:58:57 +0100machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-12-24 19:05:27 +0100Sgeo(~Sgeo@user/sgeo)
2021-12-24 19:05:56 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-12-24 19:09:07 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-24 19:13:33 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-12-24 19:17:45 +0100xkuru(~xkuru@user/xkuru)
2021-12-24 19:18:38 +0100otherwise(~otherwise@c-73-221-44-172.hsd1.wa.comcast.net)
2021-12-24 19:20:04 +0100Akiva(~Akiva@user/Akiva)
2021-12-24 19:20:10 +0100otherwis_(~otherwise@c-73-221-44-172.hsd1.wa.comcast.net)
2021-12-24 19:23:19 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-12-24 19:24:58 +0100 <otherwis_> > reverse "amanap lanac a nalp a nam a"
2021-12-24 19:25:00 +0100 <lambdabot> "a man a plan a canal panama"
2021-12-24 19:25:13 +0100kupi(uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-24 19:30:03 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection)
2021-12-24 19:30:35 +0100shapr(~user@pool-108-28-144-11.washdc.fios.verizon.net)
2021-12-24 19:32:26 +0100n3rdy1(~n3rdy1@2601:281:c780:a510:c82b:6078:8c93:1082)
2021-12-24 19:37:45 +0100bollu(uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-24 19:38:22 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2021-12-24 19:38:25 +0100epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2021-12-24 19:41:02 +0100dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2021-12-24 19:41:49 +0100coolnickname(uid531864@user/coolnickname) (Quit: Connection closed for inactivity)
2021-12-24 19:45:15 +0100otherwise(~otherwise@c-73-221-44-172.hsd1.wa.comcast.net) (Quit: Connection closed)
2021-12-24 19:48:03 +0100deech``(~user@024-217-244-075.res.spectrum.com)
2021-12-24 19:48:29 +0100Sgeo(~Sgeo@user/sgeo) (Ping timeout: 268 seconds)
2021-12-24 19:49:32 +0100Sgeo(~Sgeo@user/sgeo)
2021-12-24 19:50:20 +0100deech`(~user@024-217-244-075.res.spectrum.com) (Ping timeout: 268 seconds)
2021-12-24 19:50:28 +0100dsrt^(~dsrt@207.5.54.6)
2021-12-24 20:01:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-12-24 20:04:29 +0100kadir(~kadir@88.251.54.120) (goodnight)
2021-12-24 20:06:18 +0100kupi(uid212005@id-212005.hampstead.irccloud.com)
2021-12-24 20:07:04 +0100coot(~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Quit: coot)
2021-12-24 20:07:35 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-24 20:08:37 +0100coolnickname(uid531864@user/coolnickname)
2021-12-24 20:09:29 +0100otherwis_rumpled_pigeon
2021-12-24 20:12:21 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Ping timeout: 256 seconds)
2021-12-24 20:12:58 +0100 <rumpled_pigeon> any hints on how to set prompt via a command in .hs file? so that when loading the file in ghci the prompt updates to the chosen text?
2021-12-24 20:15:26 +0100 <g> [itchyjunk]: adventofcode.com has a bunch of problems (not sorted by topic) starting easy each year and getting more involved
2021-12-24 20:16:14 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net)
2021-12-24 20:17:16 +0100justsomeguy(~justsomeg@user/justsomeguy)
2021-12-24 20:19:46 +0100rito_(~rito_gh@45.112.243.69) (Quit: Leaving)
2021-12-24 20:22:05 +0100 <lyxia> https://www.spoj.com/problems/classical/
2021-12-24 20:22:05 +0100 <sm> rumpled_pigeon: interesting puzzle
2021-12-24 20:22:34 +0100 <sm> rumpled_pigeon: you could use a shebang line that runs ghci
2021-12-24 20:22:59 +0100 <sm> I think that's the only way
2021-12-24 20:27:15 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363)
2021-12-24 20:28:37 +0100yaroot(~yaroot@60.149.13.160.dy.iij4u.or.jp) (Ping timeout: 240 seconds)
2021-12-24 20:28:46 +0100yaroot(~yaroot@60.149.13.160.dy.iij4u.or.jp)
2021-12-24 20:28:57 +0100geekosaurwonders if %call would work here
2021-12-24 20:29:02 +0100fizbin(~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection)
2021-12-24 20:29:56 +0100 <geekosaur> kinda doing it backwards
2021-12-24 20:31:54 +0100Vajb(~Vajb@2001:999:62:e042:be01:afcc:85c5:1e46) (Read error: Connection reset by peer)
2021-12-24 20:32:21 +0100Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2021-12-24 20:36:33 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 276 seconds)
2021-12-24 20:38:09 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Remote host closed the connection)
2021-12-24 20:38:13 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2021-12-24 20:40:33 +0100sus(~zeromomen@user/zeromomentum) (Quit: Ping timeout (120 seconds))
2021-12-24 20:41:46 +0100sus(zero@user/zeromomentum)
2021-12-24 20:47:21 +0100IgnatInsarov[m](~kindaroma@2001:470:69fc:105::f5d9)
2021-12-24 20:48:40 +0100 <geekosaur> mm, actually I think neither will work. shelling out to ghci would affect that ghci and not the running one; there's no way to pass something like the current file name to %call
2021-12-24 20:51:38 +0100zmt01(~zmt00@user/zmt00)
2021-12-24 20:54:37 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2021-12-24 20:55:02 +0100zmt00(~zmt00@user/zmt00)
2021-12-24 20:55:38 +0100zmt00(~zmt00@user/zmt00) (Remote host closed the connection)
2021-12-24 20:55:57 +0100zmt00(~zmt00@user/zmt00)
2021-12-24 20:56:37 +0100zmt01(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2021-12-24 20:57:32 +0100sprout(~quassel@2a02:a467:ccd6:1:c901:71e0:4716:476b) (Ping timeout: 240 seconds)
2021-12-24 20:57:33 +0100xff0x(~xff0x@2001:1a81:5311:2b00:3477:5c7:6546:864b) (Ping timeout: 268 seconds)
2021-12-24 20:58:14 +0100xff0x(~xff0x@2001:1a81:5311:2b00:3f8f:ed06:c623:ab7c)
2021-12-24 20:59:23 +0100lagash(lagash@lagash.shelltalk.net) (Ping timeout: 252 seconds)
2021-12-24 21:04:52 +0100machinedgod(~machinedg@24.105.81.50)
2021-12-24 21:05:03 +0100juhp(~juhp@128.106.188.82) (Ping timeout: 256 seconds)
2021-12-24 21:05:46 +0100johnw(~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in)
2021-12-24 21:06:03 +0100sprout(~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234)
2021-12-24 21:07:22 +0100juhp(~juhp@128.106.188.82)
2021-12-24 21:07:53 +0100gdd(~gdd@129.199.146.230) (Ping timeout: 256 seconds)
2021-12-24 21:08:40 +0100notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2021-12-24 21:13:15 +0100 <rumpled_pigeon> sm LimeChat isn't notifying me, didnt see your response till just now
2021-12-24 21:13:57 +0100zmt01(~zmt00@user/zmt00)
2021-12-24 21:14:11 +0100justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3)
2021-12-24 21:16:57 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2021-12-24 21:20:51 +0100pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4)
2021-12-24 21:21:00 +0100max22-(~maxime@2a01cb08833598008b3c03f8a6bde97c.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds)
2021-12-24 21:21:10 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-24 21:22:15 +0100zmt00(~zmt00@user/zmt00)
2021-12-24 21:22:17 +0100zmt01(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2021-12-24 21:22:44 +0100benin(~benin@183.82.27.57) (Quit: The Lounge - https://thelounge.chat)
2021-12-24 21:24:07 +0100pavonia(~user@user/siracusa)
2021-12-24 21:24:39 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 21:25:27 +0100lagash(lagash@lagash.shelltalk.net)
2021-12-24 21:26:02 +0100 <energizer> "`list int` is a subtype of `list numberlike`" is called covariance, yes? is there a name for "`list int` is a subtype of `containerlike int`"?
2021-12-24 21:26:17 +0100zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2021-12-24 21:27:07 +0100 <sm> geekosaur: won't a shebang line, eg as in a stack script, load the current file in ghci; and as options to the command you can run ghci commands ?
2021-12-24 21:27:36 +0100 <energizer> really i'm just looking for some search terms for reading
2021-12-24 21:27:53 +0100 <geekosaur> hm. I guess, but then you can't load a different file in the same session, you have to exit the session
2021-12-24 21:28:53 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 21:28:53 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 21:29:25 +0100deadmarshal(~deadmarsh@95.38.117.158) (Ping timeout: 256 seconds)
2021-12-24 21:32:57 +0100 <EvanR> containers... not exactly a very technically specific concept
2021-12-24 21:33:22 +0100 <EvanR> even though other languages like to make container interfaces, they have no laws
2021-12-24 21:34:02 +0100waleee(~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 252 seconds)
2021-12-24 21:34:18 +0100 <EvanR> for number-like structures see abstract algebra
2021-12-24 21:35:48 +0100waleee(~waleee@h-98-128-229-110.NA.cust.bahnhof.se)
2021-12-24 21:36:29 +0100 <IgnatInsarov[m]> Speaking of containers, there is some theory attached to that name. See work by Michael Abbott, Thorsten Altenkirch and Neil Ghani. <https://citeseer.ist.psu.edu/viewdoc/download?doi=10.1.1.120.9567&rep=rep1&type=pdf>
2021-12-24 21:37:28 +0100 <energizer> what i'm aiming at is the way that b < b' => a[b] <: a[b'] differs from a < a' => a[b] a'[b]
2021-12-24 21:38:04 +0100 <energizer> (where a[b] means parametrizing a by b)
2021-12-24 21:38:04 +0100zmt00(~zmt00@user/zmt00)
2021-12-24 21:38:19 +0100 <EvanR> the subtype contravariance thing comes up in languages with mutable containers
2021-12-24 21:38:32 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363)
2021-12-24 21:38:49 +0100 <energizer> this isnt' that
2021-12-24 21:39:03 +0100 <oats> with lens, is it possible to create a Fold over the "neighboring elements" of an index?
2021-12-24 21:39:13 +0100 <oats> such as with a 2d array structure
2021-12-24 21:39:27 +0100 <EvanR> comonads to the rescue?
2021-12-24 21:39:31 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-24 21:39:54 +0100 <oats> what's a comonad
2021-12-24 21:40:09 +0100 <oats> can I turn the monad on my bookshelf inside-out?
2021-12-24 21:40:10 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-24 21:40:34 +0100 <geekosaur> energizer, I'd imagine that in that case we would talk about being "covariant/contravariant in …"
2021-12-24 21:40:44 +0100 <geekosaur> since there's more than one possibility
2021-12-24 21:40:58 +0100 <energizer> ah, that's easy. cheers
2021-12-24 21:41:36 +0100deadmarshal(~deadmarsh@95.38.117.158)
2021-12-24 21:42:09 +0100 <geekosaur> because what do you do when you suddenly have three possibilities, invent yet another term?
2021-12-24 21:42:37 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds)
2021-12-24 21:43:16 +0100 <energizer> well it's not just more possiblities like a[b,c,d], it's leveled a[b[c[d]]]
2021-12-24 21:45:02 +0100ProfSimm(~ProfSimm@87.227.196.109)
2021-12-24 21:46:45 +0100 <dsal> oats: sounds like https://hackage.haskell.org/package/lens-3.2/docs/Control-Lens-Zipper.html
2021-12-24 21:48:07 +0100jlamothe(~jlamothe@198.251.61.229) (Ping timeout: 268 seconds)
2021-12-24 21:50:54 +0100 <energizer> is there a name for the outer type of a parametrized type?
2021-12-24 21:51:46 +0100 <energizer> ie "List" in "List int"
2021-12-24 21:52:03 +0100 <oats> dsal, is that removed in newer versions of `lens`?
2021-12-24 21:52:24 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-24 21:53:39 +0100 <oats> oh, moved to a different package in lens 4.0
2021-12-24 21:53:39 +0100 <dsal> Hmm... it was moved
2021-12-24 21:54:23 +0100 <dsal> Would be cool if they mentioned what that package was.
2021-12-24 21:54:28 +0100jlamothe(~jlamothe@198.251.61.229)
2021-12-24 21:54:29 +0100 <dsal> But the concept in general is zipper.
2021-12-24 21:54:50 +0100 <oats> still in progress trying to understand it :P
2021-12-24 21:55:05 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection)
2021-12-24 21:55:07 +0100 <geekosaur> energizer, terms vary but I'd say List int is a type and List is a parameterized type
2021-12-24 21:55:49 +0100 <geekosaur> that said, "parameterized" is a bit fraught; it starts to make more sense to talk in terms of kinds
2021-12-24 21:55:53 +0100 <geekosaur> :k StateT
2021-12-24 21:55:54 +0100 <lambdabot> * -> (* -> *) -> * -> *
2021-12-24 21:56:04 +0100 <geekosaur> how do you describe this in words?
2021-12-24 21:56:38 +0100 <geekosaur> whereas lists are simple:
2021-12-24 21:56:39 +0100 <oats> star arrow star arrow star arrow....
2021-12-24 21:56:40 +0100 <geekosaur> :k []
2021-12-24 21:56:41 +0100 <lambdabot> * -> *
2021-12-24 21:58:09 +0100 <energizer> can't say :k List tho
2021-12-24 21:58:33 +0100 <geekosaur> if you define your own List type, you can
2021-12-24 21:59:04 +0100 <geekosaur> Haskell calls it [] so that's how you must name it. SML would be different, where it's "int list" or similar
2021-12-24 22:00:18 +0100 <geekosaur> (there being a bunch of SML variants)
2021-12-24 22:01:28 +0100 <hpc> SML is short for "so many languages"
2021-12-24 22:02:04 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-12-24 22:14:12 +0100 <geekosaur> (you also can't say :k int in Haskell since type names always start with an uppercase letter, so I'm not really sure what the point of :k List was)
2021-12-24 22:15:23 +0100falafel(~falafel@2603-8000-d800-688c-502d-7280-71cc-20e7.res6.spectrum.com)
2021-12-24 22:18:08 +0100goepsilongo(~goepsilon@2806:263:c404:8000:1841:9986:6b2b:10e6) (Quit: Textual IRC Client: www.textualapp.com)
2021-12-24 22:19:38 +0100sprout(~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 260 seconds)
2021-12-24 22:21:25 +0100sprout(~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234)
2021-12-24 22:22:07 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2021-12-24 22:22:27 +0100 <[itchyjunk]> Just to mentally think this through we have map :: (a->b) -> [a] -> [b] right?
2021-12-24 22:22:56 +0100 <[itchyjunk]> so what would it look like it i had something that can take a higher order function and return [b] say
2021-12-24 22:23:11 +0100 <[itchyjunk]> It should be possible i think but brain can't think it through
2021-12-24 22:24:10 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-24 22:24:10 +0100 <Rembane> :t map
2021-12-24 22:24:11 +0100 <lambdabot> (a -> b) -> [a] -> [b]
2021-12-24 22:24:19 +0100 <Rembane> :t map id []
2021-12-24 22:24:20 +0100 <lambdabot> [b]
2021-12-24 22:24:24 +0100 <Rembane> Like that?
2021-12-24 22:25:30 +0100 <geekosaur> note that you can think of map as: (a -> b) -> ([a] -> [b])
2021-12-24 22:25:33 +0100 <[itchyjunk]> aren't you just using map with id as its parameter?
2021-12-24 22:25:49 +0100rumpled_pigeonotherwise
2021-12-24 22:26:09 +0100 <[itchyjunk]> hmm
2021-12-24 22:26:45 +0100 <Rembane> [itchyjunk]: Sure, lets say you have a function that does what I just did instead.
2021-12-24 22:26:49 +0100 <[itchyjunk]> i can think of map as a function that takes a function (a->b) as a parameter and returns a function ([a]->[b]) ?
2021-12-24 22:26:59 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:27:06 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:27:12 +0100 <Rembane> [itchyjunk]: Yes!
2021-12-24 22:27:19 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk)
2021-12-24 22:27:36 +0100sprout(~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 268 seconds)
2021-12-24 22:27:59 +0100 <[itchyjunk]> So i would want a function that takes a function that takes a function and return it a function for a higher order function that takes a higher order function as a parameter
2021-12-24 22:28:15 +0100 <otherwise> > 1+1
2021-12-24 22:28:17 +0100 <lambdabot> 2
2021-12-24 22:28:40 +0100 <otherwise> phwew
2021-12-24 22:29:50 +0100 <geekosaur> :t map (+2)
2021-12-24 22:29:51 +0100 <lambdabot> Num b => [b] -> [b]
2021-12-24 22:31:08 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:31:08 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:31:27 +0100 <[itchyjunk]> (+2) is a partial function. so `map (+2)` should produce another partial function that takes a list and spits out a list ah..
2021-12-24 22:31:33 +0100 <[itchyjunk]> that's what the [b] -> [b] is
2021-12-24 22:32:00 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:32:01 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:32:35 +0100 <geekosaur> :t (+2)
2021-12-24 22:32:36 +0100 <lambdabot> Num a => a -> a
2021-12-24 22:32:42 +0100burnsidesLlama(~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 260 seconds)
2021-12-24 22:33:35 +0100 <geekosaur> that it's partial doesn't matter; I could just as well define it as a non-partial lambda and it would still work
2021-12-24 22:33:51 +0100 <[itchyjunk]> If i think of + as Int -> (Int -> Int), +2 would be the remaining (Int->Int) part
2021-12-24 22:33:58 +0100 <geekosaur> but partially applied functions are quite convenient in Haskell
2021-12-24 22:34:33 +0100 <geekosaur> (also note "partial" conventially has a different meaning in Haskell. (+2) is partially applied. head is partial, because it's not defined for all inputs)
2021-12-24 22:34:52 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-12-24 22:34:52 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host)
2021-12-24 22:34:52 +0100wroathe(~wroathe@user/wroathe)
2021-12-24 22:35:01 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:35:01 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:35:08 +0100 <[itchyjunk]> oh, not familiar with that second meaning
2021-12-24 22:35:25 +0100 <hpc> it comes from total/partial being opposites
2021-12-24 22:35:27 +0100 <[itchyjunk]> shouldn't you get a compilation error if everything in to domain isn't mapped to something?
2021-12-24 22:35:43 +0100 <hpc> a total function is defined for all inputs
2021-12-24 22:36:02 +0100 <geekosaur> not in Haskell. it'll quite happily let you write "head []", it'll just throw an error at runtime
2021-12-24 22:36:35 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:36:36 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:36:51 +0100 <[itchyjunk]> ah
2021-12-24 22:36:59 +0100 <geekosaur> also proving that something is total is difficult in general, so while there are languages which require totality, they either require you to prove it or don't let you write very much in general because you're restricted to a total subset
2021-12-24 22:37:03 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:37:04 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:37:42 +0100 <EvanR> and if what you're restricted to is exactly what you're trying to accomplish, gravy :)
2021-12-24 22:37:43 +0100 <[itchyjunk]> Ah, this is linked to proof assistance not being turning complete because of restrictions like this?
2021-12-24 22:37:46 +0100 <hpc> in turing-complete languages, proving totality is undecidable
2021-12-24 22:37:48 +0100 <hpc> yep
2021-12-24 22:38:10 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net)
2021-12-24 22:38:18 +0100coot(~coot@89-64-85-93.dynamic.chello.pl)
2021-12-24 22:38:34 +0100 <hpc> partiality includes not just errors like (head []), but infinite loops like (let x = x in x)
2021-12-24 22:39:06 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-24 22:39:09 +0100 <[itchyjunk]> oh interesting recursion
2021-12-24 22:39:28 +0100 <EvanR> "something in the domain isn't mapped to something"
2021-12-24 22:39:34 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:39:35 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:39:41 +0100 <geekosaur> also note that this restriction may mean you can't write e.g. web servers, because you can't prove that a connecting client won't send an infinite stream of data
2021-12-24 22:39:59 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:40:00 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:40:00 +0100 <hpc> geekosaur: well, there it gets complicated
2021-12-24 22:40:39 +0100 <EvanR> if it's a websocket, that's ok. If it's supposed to cut you off at some policy amount, that's ok
2021-12-24 22:40:41 +0100 <hpc> there's a notion of non-turing-complete languages in which you can write programs that run forever, but only by having some finite computation on every step of input
2021-12-24 22:40:52 +0100 <hpc> if there's infinite input, there's infinite output
2021-12-24 22:40:58 +0100 <hpc> but the program remains productive through the whole thing
2021-12-24 22:41:37 +0100 <EvanR> the gritty details come in for driver loops
2021-12-24 22:44:10 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-24 22:44:40 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net)
2021-12-24 22:47:08 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:47:09 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:48:57 +0100yauhsien(~yauhsien@118-167-43-174.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2021-12-24 22:53:01 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2021-12-24 22:53:28 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Client Quit)
2021-12-24 22:54:41 +0100sprout(~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234)
2021-12-24 22:55:33 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:55:34 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:55:52 +0100 <monochrom> For an interactive system like web servers and web apps, the theory (model) of total functions is not appropriate. Much more appropriate is temporal logic and liveness.
2021-12-24 22:59:35 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 22:59:35 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 22:59:37 +0100sprout(~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234) (Ping timeout: 240 seconds)
2021-12-24 23:01:16 +0100johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net)
2021-12-24 23:02:12 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 23:02:12 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 23:02:20 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection)
2021-12-24 23:03:04 +0100sprout(~quassel@2a02:a467:ccd6:1:5c9e:b916:30fd:4234)
2021-12-24 23:03:16 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-12-24 23:03:56 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection)
2021-12-24 23:03:57 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 23:04:27 +0100qrpnxz(abc4f95c31@user/qrpnxz) (Disconnected: closed)
2021-12-24 23:04:47 +0100qrpnxz(abc4f95c31@user/qrpnxz)
2021-12-24 23:05:44 +0100otherwise(~otherwise@c-73-221-44-172.hsd1.wa.comcast.net) (Remote host closed the connection)
2021-12-24 23:13:33 +0100coot(~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot)
2021-12-24 23:14:17 +0100vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-12-24 23:14:55 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-12-24 23:15:18 +0100rlj(~rlj@62.119.244.114)
2021-12-24 23:18:00 +0100notzmv(~zmv@user/notzmv)
2021-12-24 23:20:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-12-24 23:20:55 +0100rlj(~rlj@62.119.244.114) (Ping timeout: 256 seconds)
2021-12-24 23:21:29 +0100otherwise(~otherwise@2601:602:880:90f0:2164:480c:998d:fc7c)
2021-12-24 23:24:32 +0100CiaoSen(~Jura@p200300c957347b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-12-24 23:28:41 +0100jeetelongname(~jeet@88.111.159.26) (Ping timeout: 250 seconds)
2021-12-24 23:31:21 +0100 <sm> working with emacs and emacs config really makes you appreciate the disciplined control of state in haskell software. For all our problems, that is a huge asset that I take for granted
2021-12-24 23:31:46 +0100 <sm> it's a shock when you go back to older systems
2021-12-24 23:31:58 +0100 <sm> older/less disciplined
2021-12-24 23:32:13 +0100Techcable(~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-12-24 23:33:49 +0100Techcable(~Techcable@168.235.93.147)
2021-12-24 23:36:21 +0100acidjnk(~acidjnk@p200300d0c7271e974de60a217c79c2cb.dip0.t-ipconnect.de)
2021-12-24 23:40:23 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363)
2021-12-24 23:41:24 +0100gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2021-12-24 23:42:23 +0100jgeerds(~jgeerds@55d4ac73.access.ecotel.net) (Remote host closed the connection)
2021-12-24 23:42:57 +0100mvk(~mvk@2607:fea8:5cdd:f000::917a) (Ping timeout: 240 seconds)
2021-12-24 23:44:37 +0100eggplantade(~Eggplanta@2600:1700:bef1:5e10:8415:925f:506a:a363) (Ping timeout: 240 seconds)
2021-12-24 23:45:17 +0100deech``(~user@024-217-244-075.res.spectrum.com) (Ping timeout: 240 seconds)
2021-12-24 23:45:28 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-12-24 23:46:27 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2021-12-24 23:48:07 +0100tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-12-24 23:55:47 +0100perro(~perro@072-191-245-069.res.spectrum.com) (Ping timeout: 268 seconds)
2021-12-24 23:58:44 +0100acode(~acode@151.65.31.181)
2021-12-24 23:59:17 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)