IRCBrowse

2021/04/02

2021-04-02 00:00:05 +0200 <nut> it's not, just trying to understand the whole thing
2021-04-02 00:00:42 +0200 <koz_> The whole thing amounts to 'there are cases where intermediate stuff disappears or never gets allocated to begin with - if this is fast enough, you can safely ignore it and enjoy the benefits of immutability'.
2021-04-02 00:00:51 +0200 <koz_> (and composition etc)
2021-04-02 00:01:00 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:d987:a6e5:6815:ac7d) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-02 00:01:05 +0200 <nut> As another summary, can i understand that if i use vector instead of list, most of the algorithms in the book will be faster?
2021-04-02 00:01:12 +0200 <koz_> It depends.
2021-04-02 00:01:22 +0200 <L29Ah> how do i ask hspec to run my executable?
2021-04-02 00:01:27 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-02 00:01:38 +0200 <koz_> L29Ah: As in, you have an hspec-based test suite and you wanna run it?
2021-04-02 00:01:44 +0200 <monochrom> Which book is "the" book?
2021-04-02 00:01:49 +0200 <koz_> Or you need to call an external executable _from_ an hspec test
2021-04-02 00:01:51 +0200 <koz_> ?
2021-04-02 00:01:55 +0200 <monochrom> Especially since Easter is so close.
2021-04-02 00:02:04 +0200 <nut> monochrom: CLRS, introduction to algorithms
2021-04-02 00:02:09 +0200Guest_71(2dab71b6@45.171.113.182)
2021-04-02 00:02:17 +0200 <moet> nut: it might be lots of copying, but fixing that before you've implement your algorithm is premature optimization .. it'll be more productive to have a working implementation first probably, and then go learn ST monad after you're comfortable with the pure implementation
2021-04-02 00:02:31 +0200 <L29Ah> koz_: no, i have a hspec-based test suite, and i want to add another test in it that runs the executable under test, as opposed to parts of its internal API
2021-04-02 00:02:33 +0200 <monochrom> Well that one downright assumes you even have mutable tree nodes. So nevermind arrays.
2021-04-02 00:02:51 +0200 <moet> nut: and as koz_ points out, list/vector fusion will make many operations in the pure implementation more efficient
2021-04-02 00:03:04 +0200 <koz_> Again, it depends.
2021-04-02 00:03:07 +0200 <moet> nut: so it'll do less copying than you think
2021-04-02 00:03:14 +0200Guest_71(2dab71b6@45.171.113.182) (Client Quit)
2021-04-02 00:03:19 +0200 <nut> moet: there's list fusion?
2021-04-02 00:03:20 +0200 <koz_> And even if it does, it can sometimes be better to copy than not to!
2021-04-02 00:03:24 +0200Guest_1(50e93b6c@80.233.59.108)
2021-04-02 00:03:26 +0200 <koz_> See 'false sharing' for a good example.
2021-04-02 00:03:30 +0200 <koz_> nut: Yes.
2021-04-02 00:03:35 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-02 00:04:27 +0200 <moet> nut: yeah, fusion is a thing where a function that copies a structure has a "rewrite rule" to use a version that streams the operation rather than returning a copy; ref: 'Hermit in the Stream'
2021-04-02 00:04:40 +0200 <L29Ah> is there a better way than adding a pseudo-main function that gets the program arguments as an argument, and call it from the real main?
2021-04-02 00:04:43 +0200 <koz_> There's various kinds.
2021-04-02 00:04:43 +0200nbloomf(~nbloomf@76.217.43.73)
2021-04-02 00:05:04 +0200 <moet> yeah, that's just the kind in the reference; sorry
2021-04-02 00:05:42 +0200jjhoo(jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Remote host closed the connection)
2021-04-02 00:05:48 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 00:06:11 +0200dyamon(~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-04-02 00:06:12 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 00:06:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-02 00:06:30 +0200 <moet> L29Ah: what is your hspec going to test about the behavior of `main :: IO ()`?
2021-04-02 00:06:50 +0200 <nut> I will start with pure code first. but just out of curiosity, how to choose between IOVector and STVector?
2021-04-02 00:06:53 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 246 seconds)
2021-04-02 00:06:55 +0200 <moet> L29Ah: that would require some complicated test harness to inject environmental inputs and measure environmental outputs
2021-04-02 00:07:10 +0200 <monochrom> Just choose STVector
2021-04-02 00:07:14 +0200 <koz_> Are you in IO already: if yes, IOVector, otherwise STVector.
2021-04-02 00:07:22 +0200 <moet> L29Ah: if you can rephrase the features you want to test in terms of inputs and outputs of a function, your testing life will be easier
2021-04-02 00:07:24 +0200 <L29Ah> moet: not `main :: IO ()` but `system :: ByteString -> IO ExitCode` or such
2021-04-02 00:08:24 +0200L29Ahis too lazy to stubize all the environment for backup-making software
2021-04-02 00:08:26 +0200Tario(~Tario@200.119.184.73)
2021-04-02 00:08:40 +0200 <moet> L29Ah: yeah, that's a start.. i conventionally call that main2 and write a small main to call `getArgs >>= main2 >>= System.exit` or somesuch
2021-04-02 00:08:56 +0200 <L29Ah> ok thanks
2021-04-02 00:09:09 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection)
2021-04-02 00:09:12 +0200 <moet> L29Ah: if it's third party software, you'd want main2 to be some CreateProcess from the process package
2021-04-02 00:09:42 +0200nbloomf(~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-02 00:09:42 +0200 <L29Ah> the sad thing is that i can't do things like +RTS -M100M
2021-04-02 00:09:47 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-04-02 00:10:02 +0200 <moet> L29Ah: sorry, i don't follow..
2021-04-02 00:10:03 +0200 <L29Ah> so that it would fail if it exceeds a memory limit
2021-04-02 00:10:21 +0200 <nut> is the ST, strick thread, has anything to do with haskell thread? I mean multi-threading?
2021-04-02 00:10:29 +0200 <L29Ah> moet: i want my test to verify that main2 doesn't exceed a set amount of RAM
2021-04-02 00:10:35 +0200 <monochrom> No.
2021-04-02 00:10:45 +0200 <L29Ah> using CreateProcess i can do things like +RTS -M100M
2021-04-02 00:10:46 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-02 00:11:03 +0200 <koz_> nut: Again, Lazy Functional State Threads. Read it, it's very well-explained.
2021-04-02 00:11:14 +0200 <nut> ok let me read it first
2021-04-02 00:11:35 +0200 <moet> L29Ah: yeah, you could do that i guess.. it's getting a little complex, but is probably doable
2021-04-02 00:11:44 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1d79:d102:666c:1dd9)
2021-04-02 00:12:09 +0200 <moet> L29Ah: for non haskell processes you'd get into the realm of things like firejail/timeout/ulimit and it gets pretty out of control quick lol
2021-04-02 00:12:48 +0200molehillish(~molehilli@ip98-165-87-166.ph.ph.cox.net)
2021-04-02 00:13:02 +0200 <moet> L29Ah: might be easier to poll the memory usage by reading /proc filesystem than to actually limit it with RTS.. i don't know.. :) best of luck
2021-04-02 00:13:15 +0200neiluj(~jco@unaffiliated/neiluj) (Quit: leaving)
2021-04-02 00:16:06 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 00:16:55 +0200mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-04-02 00:19:58 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-02 00:20:46 +0200jjhoo(jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi)
2021-04-02 00:21:57 +0200danso(~dan@d67-193-121-2.home3.cgocable.net) (Read error: Connection reset by peer)
2021-04-02 00:23:19 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-02 00:25:03 +0200Erutuon_(~Erutuon@97-116-27-119.mpls.qwest.net) (Ping timeout: 265 seconds)
2021-04-02 00:25:38 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-02 00:25:59 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-04-02 00:26:37 +0200Erutuon_(~Erutuon@97-116-27-119.mpls.qwest.net)
2021-04-02 00:27:13 +0200p7g(~igloo@cpe5c7d7dc0d198-cm5c7d7dc0d196.cpe.net.cable.rogers.com)
2021-04-02 00:27:19 +0200p7g(~igloo@cpe5c7d7dc0d198-cm5c7d7dc0d196.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-04-02 00:28:07 +0200natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-04-02 00:28:11 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-02 00:28:40 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 00:28:48 +0200hololeap(~hololeap@unaffiliated/hololeap) (Quit: Quit)
2021-04-02 00:28:52 +0200mrus(~mrus@149.28.61.155)
2021-04-02 00:31:14 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-02 00:33:26 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-02 00:36:56 +0200mrus(~mrus@149.28.61.155) (Quit: Surfing the great wave off Kanagawa)
2021-04-02 00:37:57 +0200kiweun(~kiweun@2607:fea8:2a62:9600:b89f:ad2f:d589:6c68) (Remote host closed the connection)
2021-04-02 00:38:11 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 00:38:38 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 00:39:16 +0200hololeap(~hololeap@unaffiliated/hololeap)
2021-04-02 00:40:16 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1d79:d102:666c:1dd9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-02 00:41:21 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-02 00:42:34 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-04-02 00:43:25 +0200Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-04-02 00:43:46 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Ping timeout (120 seconds))
2021-04-02 00:43:48 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-02 00:44:06 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 00:45:46 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-02 00:46:05 +0200stree(~stree@68.36.8.116)
2021-04-02 00:46:28 +0200 <Aquazi> hey all, was going through the apis of the directory lib
2021-04-02 00:46:31 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-04-02 00:46:40 +0200 <Aquazi> and I'm trying to understand the use cases of these 3 functions:
2021-04-02 00:46:41 +0200 <Aquazi> https://hackage.haskell.org/package/directory-1.3.6.1/docs/System-Directory.html#g:2
2021-04-02 00:46:45 +0200xaltsc(~xaltsc@unaffiliated/xaltsc) (Ping timeout: 246 seconds)
2021-04-02 00:46:59 +0200 <Aquazi> the more I think about them the less they make sense compared to providing your own path
2021-04-02 00:47:33 +0200xaltsc(~xaltsc@unaffiliated/xaltsc)
2021-04-02 00:47:47 +0200 <Aquazi> I also find them confusing in user land, but I might be newbie to that
2021-04-02 00:49:06 +0200 <glguy> Aquazi: the current directory is what's used to resolve a relative file path. If you spawn a child process this will be used by it. If you know the absolute paths to things then sure, use that
2021-04-02 00:49:41 +0200 <Aquazi> yeah that's my point, there are "saner" use cases of knowing absolute paths
2021-04-02 00:49:47 +0200 <Aquazi> even if you want to write traversals
2021-04-02 00:49:54 +0200 <glguy> in many cases you won't know the absolute path
2021-04-02 00:50:13 +0200 <Aquazi> you can always get the absolute path in your process
2021-04-02 00:50:29 +0200 <Aquazi> even if you writing a script
2021-04-02 00:50:30 +0200 <glguy> and just duplicate the logic that already exists for resolving paths? why?
2021-04-02 00:50:37 +0200 <glguy> sounds like a good way to introduce a new bug
2021-04-02 00:51:08 +0200 <Aquazi> I'll try to think about that
2021-04-02 00:51:11 +0200 <glguy> The current directory might not have a name, or it might not have the same name it used to
2021-04-02 00:51:21 +0200usr25(~usr25@unaffiliated/usr25)
2021-04-02 00:51:25 +0200 <glguy> If you're re-resolving it every time you'll get different results
2021-04-02 00:51:27 +0200usr25(~usr25@unaffiliated/usr25) ()
2021-04-02 00:51:39 +0200 <Aquazi> and I'm doing so from few weeks (I'm writing an fs lib and getting inspirations from multiple libs)
2021-04-02 00:51:59 +0200 <Aquazi> > If you're re-resolving it every time you'll get different results
2021-04-02 00:52:01 +0200 <lambdabot> error:
2021-04-02 00:52:01 +0200 <lambdabot> • Data constructor not in scope:
2021-04-02 00:52:01 +0200 <lambdabot> If :: t1 -> (AReview t0 b0 -> (t0 -> f0 t0) -> b0 -> f0 b0) -> a
2021-04-02 00:52:15 +0200 <Aquazi> can you make an example of such behavior?
2021-04-02 00:52:20 +0200v01d4lph4(~v01d4lph4@223.190.20.92)
2021-04-02 00:52:25 +0200 <glguy> start a program, rename the directory it's running in
2021-04-02 00:52:53 +0200shalokshalom(~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106)
2021-04-02 00:53:05 +0200 <Aquazi> I kinda see your point, but I'm not completely sold
2021-04-02 00:53:36 +0200 <Aquazi> re-resolving the current directory is a potential cause of bugs anyway in an atomic context with no guarantees
2021-04-02 00:54:02 +0200 <Aquazi> meaning, checking if a directory exists, gives no guarantees that the next call on such directory will not fail
2021-04-02 00:54:14 +0200 <glguy> that's not related to what I said, but it's also an issue
2021-04-02 00:55:09 +0200 <Aquazi> so in a, pardon my being noob on haskell and fp, a reader might have wrong dependencies in different calls when using absolute paths but not relative ones?
2021-04-02 00:55:32 +0200 <Aquazi> as in the renaming example
2021-04-02 00:55:33 +0200 <glguy> this isn't a Haskell topic
2021-04-02 00:55:45 +0200 <Aquazi> you're right
2021-04-02 00:56:04 +0200 <glguy> Haskell just happens to have a binding to the system calls to access and manipulate a process's current directory
2021-04-02 00:56:35 +0200 <zzz> i have updated cabal and still get "option '--lib' is ambiguous"
2021-04-02 00:56:35 +0200 <glguy> It's uncommon for a program to need to manipulate these things directory, but it could happen
2021-04-02 00:56:47 +0200v01d4lph4(~v01d4lph4@223.190.20.92) (Ping timeout: 252 seconds)
2021-04-02 00:56:53 +0200 <Aquazi> thanks for the feedback glguy
2021-04-02 00:56:55 +0200 <glguy> these things directly*
2021-04-02 00:56:55 +0200codygman__(~user@47.186.207.161)
2021-04-02 00:57:11 +0200 <Aquazi> really appreciate it :)
2021-04-02 00:57:17 +0200 <glguy> (we could talk about it here, I'm just saying it doesn't have to do with Haskell or functional programming experience)
2021-04-02 00:57:28 +0200 <glguy> more of a posix topic
2021-04-02 00:57:36 +0200 <Aquazi> I know I'm writing a lib for filesystem in ts
2021-04-02 00:58:24 +0200 <Aquazi> And checking for inspirations mostly in haskell and rust userlands as I (at least) understand fp basics and signatures
2021-04-02 00:58:53 +0200 <Aquazi> So I'm trying to understand the context of stuff, in this case of directory having functions that operate on "current directory"
2021-04-02 00:58:58 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-02 00:59:23 +0200 <Aquazi> or "working directory" besides their implementation details
2021-04-02 00:59:56 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-02 01:01:38 +0200 <zzz> i cant understand this
2021-04-02 01:02:01 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-04-02 01:02:08 +0200 <zzz> has the flag changed in cabal 3?
2021-04-02 01:02:58 +0200 <sclv> zzz: can you paste the full command you're using and the error?
2021-04-02 01:03:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 01:03:59 +0200 <zzz> cabal install primes --lib
2021-04-02 01:04:33 +0200 <sclv> try cabal install --lib primes
2021-04-02 01:04:41 +0200Guest55480(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Quit: WeeChat 2.9)
2021-04-02 01:04:43 +0200 <sclv> also are you sure you want to install a lib using new-cabal at all?
2021-04-02 01:05:04 +0200 <sclv> instead you typically add it as a dependency of a project or just run `cabal repl --build-depends primes`
2021-04-02 01:05:09 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds)
2021-04-02 01:05:58 +0200mrus(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820)
2021-04-02 01:06:02 +0200mrus(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Remote host closed the connection)
2021-04-02 01:06:26 +0200 <zzz> sclv: same error, which i'll paste in a sec. yes im sure, i want to make fast imports for quick and dirty testing and only use one .hs file
2021-04-02 01:08:12 +0200 <sclv> zzz: using cabal 3.2.1.0 it seems to work
2021-04-02 01:08:19 +0200 <sclv> i got the ambiguous error when i used cabal 2.4
2021-04-02 01:12:20 +0200molehillish(~molehilli@ip98-165-87-166.ph.ph.cox.net) (Remote host closed the connection)
2021-04-02 01:13:04 +0200codygman__(~user@47.186.207.161) (Remote host closed the connection)
2021-04-02 01:13:26 +0200codygman__(~user@47.186.207.161)
2021-04-02 01:14:44 +0200crestfallen(~john@128.32.176.159)
2021-04-02 01:16:20 +0200mrus(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820)
2021-04-02 01:18:11 +0200Erutuon_(~Erutuon@97-116-27-119.mpls.qwest.net) (Quit: WeeChat 2.8)
2021-04-02 01:18:46 +0200natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-02 01:20:52 +0200son0p(~son0p@181.136.122.143) (Quit: leaving)
2021-04-02 01:22:16 +0200z0(~zzz@2a03:b0c0:3:d0::3095:3001)
2021-04-02 01:24:46 +0200codygman__(~user@47.186.207.161) (Ping timeout: 240 seconds)
2021-04-02 01:25:37 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-02 01:25:49 +0200zzz(~zzz@2a03:b0c0:3:d0::3095:3001) (Ping timeout: 245 seconds)
2021-04-02 01:25:49 +0200z0zzz
2021-04-02 01:25:59 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-04-02 01:27:42 +0200codygman__(~user@47.186.207.161)
2021-04-02 01:31:00 +0200mrus(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Quit: Surfing the great wave off Kanagawa)
2021-04-02 01:32:25 +0200mrus(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820)
2021-04-02 01:33:08 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
2021-04-02 01:34:24 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-04-02 01:35:39 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-04-02 01:35:54 +0200mrus(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Client Quit)
2021-04-02 01:36:08 +0200mrus(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820)
2021-04-02 01:37:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 01:38:04 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection)
2021-04-02 01:39:09 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-04-02 01:40:27 +0200crestfallen(~john@128.32.176.159) (Ping timeout: 265 seconds)
2021-04-02 01:41:48 +0200mrus(~mrus@2001:19f0:5:3fd4:5400:3ff:fe48:1820) (Quit: Surfing the great wave off Kanagawa)
2021-04-02 01:42:31 +0200mrus(~mrus@149.28.61.155)
2021-04-02 01:43:26 +0200Guest_1(50e93b6c@80.233.59.108) (Quit: Connection closed)
2021-04-02 01:46:06 +0200xaltsc(~xaltsc@unaffiliated/xaltsc) (Ping timeout: 258 seconds)
2021-04-02 01:48:47 +0200Sonderblade(~helloman@2a02:aa1:100d:fe6f:6a75:3fbc:c81a:1def)
2021-04-02 01:51:00 +0200ania123(5e89ad7c@94.137.173.124)
2021-04-02 01:52:04 +0200ja(janus@anubis.0x90.dk)
2021-04-02 01:52:54 +0200 <ja> dolio: i was wondering if bytestring-show is still a package that makes sense to you, or if it has been subsumed by another
2021-04-02 01:53:18 +0200 <ja> i am looking for a fast way to get the ascii decimal representation of a word16...
2021-04-02 01:53:58 +0200 <ja> i had to downgrade containers to build bytestring-show, which makes me think it is not supposed to be used nowadays
2021-04-02 01:55:51 +0200 <monochrom> ja: Data.ByteString.Builder has word8Hex, word16Hex, etc. Perhaps you like them.
2021-04-02 01:56:11 +0200 <monochrom> Err oops, decimal. word16Dec then!
2021-04-02 01:56:43 +0200 <ja> oooh , nice! thank you so much monochrom
2021-04-02 02:02:47 +0200elfets_(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-04-02 02:03:08 +0200moet(~moet@172.58.35.212) (Ping timeout: 252 seconds)
2021-04-02 02:03:35 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-02 02:04:00 +0200zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-04-02 02:06:19 +0200zaquest(~notzaques@5.128.210.178)
2021-04-02 02:07:46 +0200ddellacosta(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-02 02:09:17 +0200 <ja> can i build bytestrings fast in ST? by looking at the Builder docs, it doesn't look like it
2021-04-02 02:13:17 +0200 <ja> or maybe i should use the cereal package. but it doesn't work with bytestring's builder, so i'd have to "build" the builder for every little piece...
2021-04-02 02:15:06 +0200ania123(5e89ad7c@94.137.173.124) (Quit: Connection closed)
2021-04-02 02:16:00 +0200xff0x_(~xff0x@2001:1a81:532d:a700:6abb:1223:9f25:3fb) (Ping timeout: 246 seconds)
2021-04-02 02:16:27 +0200Sonderblade(~helloman@2a02:aa1:100d:fe6f:6a75:3fbc:c81a:1def) (Quit: Konversation terminated!)
2021-04-02 02:16:55 +0200xff0x_(~xff0x@2001:1a81:532d:a700:ee65:9943:a3da:2f97)
2021-04-02 02:22:46 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-04-02 02:24:31 +0200ezrakilty(~ezrakilty@97-126-95-37.tukw.qwest.net)
2021-04-02 02:25:07 +0200machinedgod(~machinedg@24.105.81.50)
2021-04-02 02:25:37 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-02 02:25:59 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-04-02 02:28:58 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1)
2021-04-02 02:29:50 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-04-02 02:30:14 +0200Alleria__(~textual@zrcout.mskcc.org) (Ping timeout: 265 seconds)
2021-04-02 02:30:55 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-04-02 02:33:30 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:a90f:d52f:fbbd:96ce) (Ping timeout: 246 seconds)
2021-04-02 02:38:59 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-02 02:39:27 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-02 02:42:37 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-04-02 02:44:35 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-04-02 02:48:10 +0200haritz(~hrtz@unaffiliated/haritz) (Remote host closed the connection)
2021-04-02 02:54:11 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-02 03:02:16 +0200gienah(~mwright@gentoo/developer/gienah) (Read error: Connection reset by peer)
2021-04-02 03:05:24 +0200Tario(~Tario@200.119.184.73) (Read error: Connection reset by peer)
2021-04-02 03:05:24 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-04-02 03:05:48 +0200Tario(~Tario@201.192.165.173)
2021-04-02 03:05:48 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:d582:eb76:c23d:386d)
2021-04-02 03:06:41 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-02 03:07:20 +0200stree(~stree@68.36.8.116)
2021-04-02 03:07:41 +0200haritz(~hrtz@62.3.70.206)
2021-04-02 03:07:41 +0200haritz(~hrtz@62.3.70.206) (Changing host)
2021-04-02 03:07:41 +0200haritz(~hrtz@unaffiliated/haritz)
2021-04-02 03:09:21 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds)
2021-04-02 03:10:18 +0200gienah(~mwright@gentoo/developer/gienah)
2021-04-02 03:10:47 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-04-02 03:11:54 +0200whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-04-02 03:12:49 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c8ca:5fa3:40f5:5b78)
2021-04-02 03:14:48 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:d582:eb76:c23d:386d) (Ping timeout: 246 seconds)
2021-04-02 03:18:11 +0200codygman__(~user@47.186.207.161) (Ping timeout: 240 seconds)
2021-04-02 03:24:01 +0200haritz(~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-04-02 03:25:11 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2021-04-02 03:25:38 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-02 03:25:59 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-04-02 03:30:25 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-02 03:30:31 +0200Achylles(~Achylles@2804:431:d724:f5e3:cb98:83b:5dd9:fd8d)
2021-04-02 03:30:38 +0200Tario(~Tario@201.192.165.173)
2021-04-02 03:34:26 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 03:35:00 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 265 seconds)
2021-04-02 03:35:45 +0200slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-04-02 03:36:13 +0200Tario(~Tario@200.119.184.73)
2021-04-02 03:38:14 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-zumirhpzvxzwijnj) ()
2021-04-02 03:39:51 +0200kiweun(~kiweun@2607:fea8:2a62:9600:1db8:f684:c910:4985)
2021-04-02 03:39:52 +0200Tario(~Tario@200.119.184.73) (Read error: Connection reset by peer)
2021-04-02 03:42:58 +0200Tario(~Tario@201.192.165.173)
2021-04-02 03:43:28 +0200xiinotulp(~q@node-ul9.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2021-04-02 03:47:25 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-02 03:49:41 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-04-02 03:52:53 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2021-04-02 03:54:00 +0200xff0x_(~xff0x@2001:1a81:532d:a700:ee65:9943:a3da:2f97) (Ping timeout: 246 seconds)
2021-04-02 03:56:09 +0200xff0x_(~xff0x@2001:1a81:534a:5f00:2279:7f9b:769c:c9e9)
2021-04-02 03:57:36 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-02 04:00:08 +0200Tario(~Tario@201.192.165.173)
2021-04-02 04:02:33 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-04-02 04:02:33 +0200finn_elijaGuest60912
2021-04-02 04:02:33 +0200FinnElijafinn_elija
2021-04-02 04:03:39 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-04-02 04:05:33 +0200Guest60912(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-04-02 04:05:39 +0200sw1nn(~sw1nn@host86-135-157-104.range86-135.btcentralplus.com) (Ping timeout: 248 seconds)
2021-04-02 04:06:38 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-04-02 04:08:21 +0200 <dcbdan> is there some way to get around rigid type variables? how can one provide the type signature of g in https://paste.tomsmeding.com/b17s4UG6 ?
2021-04-02 04:08:40 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c8ca:5fa3:40f5:5b78) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-02 04:08:50 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-02 04:10:18 +0200 <hololeap> dcbdan: you might be looking for ScopedTypeVariables
2021-04-02 04:10:26 +0200jophish__(ca536851@202.83.104.81)
2021-04-02 04:10:39 +0200 <c_wraith> yeah, that's the only way that makes sense
2021-04-02 04:11:09 +0200 <hololeap> https://paste.tomsmeding.com/mjDETjku
2021-04-02 04:12:40 +0200 <hololeap> https://downloads.haskell.org/ghc/8.10.4/docs/html/users_guide/glasgow_exts.html#extension-ScopedT…
2021-04-02 04:14:08 +0200 <dcbdan> Ah, neat. so with the forall + extension it works
2021-04-02 04:14:09 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c8ca:5fa3:40f5:5b78)
2021-04-02 04:14:48 +0200 <c_wraith> The reason it was failing before was that ghc treated the two type variables named a as totally separate, and it couldn't unify them because they were both required to be polymorphic
2021-04-02 04:18:05 +0200sw1nn(~sw1nn@2a00:23c7:622f:2c00:1df3:35cd:5bdc:c4d5)
2021-04-02 04:18:17 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:b9ee:34c0:cea7:8b6) (Ping timeout: 258 seconds)
2021-04-02 04:18:24 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-mioklqbuoxhsafmf) (Quit: Connection closed for inactivity)
2021-04-02 04:22:00 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-02 04:22:41 +0200 <dcbdan> ok, that's a good explanation
2021-04-02 04:23:19 +0200shalokshalom(~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Remote host closed the connection)
2021-04-02 04:23:45 +0200Sigyn(sigyn@freenode/utility-bot/sigyn) (Read error: Connection reset by peer)
2021-04-02 04:25:19 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:b9ee:34c0:cea7:8b6)
2021-04-02 04:26:33 +0200Achylles(~Achylles@2804:431:d724:f5e3:cb98:83b:5dd9:fd8d) (Ping timeout: 246 seconds)
2021-04-02 04:27:01 +0200shalokshalom(~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106)
2021-04-02 04:31:17 +0200fosterite(~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896)
2021-04-02 04:33:17 +0200Achylles(~Achylles@2804:431:d724:f5e3:cb98:83b:5dd9:fd8d)
2021-04-02 04:34:22 +0200Tario(~Tario@200.119.184.73)
2021-04-02 04:35:46 +0200notzmv(~zmv@unaffiliated/zmv)
2021-04-02 04:35:57 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2021-04-02 04:36:15 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-qtinzdfibqjwmcbv) (Quit: Connection closed for inactivity)
2021-04-02 04:37:53 +0200Guest40784(~laudiacay@67.176.215.84) (Quit: WeeChat 3.0)
2021-04-02 04:38:37 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-04-02 04:38:37 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-04-02 04:40:43 +0200martin02(silas@hund.fs.lmu.de) (Ping timeout: 258 seconds)
2021-04-02 04:42:12 +0200shalokshalom(~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Remote host closed the connection)
2021-04-02 04:43:05 +0200shalokshalom(~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106)
2021-04-02 04:44:09 +0200conal(~conal@192.145.118.200) (Quit: Computer has gone to sleep.)
2021-04-02 04:44:34 +0200martin02(silas@hund.fs.lmu.de)
2021-04-02 04:44:37 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
2021-04-02 04:45:03 +0200shalokshalom(~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Client Quit)
2021-04-02 04:45:32 +0200danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009)
2021-04-02 04:45:53 +0200joe[m]1(joemonoida@gateway/shell/matrix.org/x-xmbjijvsfazciall)
2021-04-02 04:46:58 +0200shalokshalom(~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106)
2021-04-02 04:50:44 +0200gitgood(~gitgood@80-44-12-39.dynamic.dsl.as9105.com) (Ping timeout: 246 seconds)
2021-04-02 04:51:40 +0200shalokshalom(~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Remote host closed the connection)
2021-04-02 04:53:03 +0200conal(~conal@192.145.118.115)
2021-04-02 04:53:47 +0200Jd007(~Jd007@162.156.11.151)
2021-04-02 04:56:34 +0200machinedgod(~machinedg@24.105.81.50)
2021-04-02 04:58:15 +0200theDon(~td@94.134.91.35) (Ping timeout: 268 seconds)
2021-04-02 05:00:00 +0200theDon(~td@muedsl-82-207-238-162.citykom.de)
2021-04-02 05:11:48 +0200slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 268 seconds)
2021-04-02 05:15:04 +0200xaltsc(~xaltsc@unaffiliated/xaltsc)
2021-04-02 05:15:11 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-02 05:16:41 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds)
2021-04-02 05:18:35 +0200Tario(~Tario@200.119.184.73) (Ping timeout: 252 seconds)
2021-04-02 05:18:57 +0200Tario(~Tario@200.119.186.52)
2021-04-02 05:19:36 +0200kiweun(~kiweun@2607:fea8:2a62:9600:1db8:f684:c910:4985) (Remote host closed the connection)
2021-04-02 05:28:41 +0200stree(~stree@68.36.8.116)
2021-04-02 05:30:49 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-04-02 05:31:04 +0200Matt_P(~Matt_P@178.239.168.171) (Remote host closed the connection)
2021-04-02 05:31:05 +0200electricityZZZZ(~electrici@135-180-3-82.static.sonic.net) (Quit: Leaving)
2021-04-02 05:32:45 +0200kiweun(~kiweun@2607:fea8:2a62:9600:4461:b1b3:c8a0:c4ce)
2021-04-02 05:33:56 +0200gzj(~gzj@unaffiliated/gzj)
2021-04-02 05:34:22 +0200jamm_(~jamm@unaffiliated/jamm)
2021-04-02 05:35:06 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-04-02 05:35:10 +0200wei2912(~wei2912@unaffiliated/wei2912)
2021-04-02 05:35:19 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-uvvubdxwbzbtugry) (Quit: Connection closed for inactivity)
2021-04-02 05:37:15 +0200kiweun(~kiweun@2607:fea8:2a62:9600:4461:b1b3:c8a0:c4ce) (Ping timeout: 258 seconds)
2021-04-02 05:37:18 +0200elusive(~Jeanne-Ka@static-198-54-134-72.cust.tzulo.com)
2021-04-02 05:37:45 +0200solvr(57e3c46d@87.227.196.109)
2021-04-02 05:38:47 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-04-02 05:41:27 +0200Achylles(~Achylles@2804:431:d724:f5e3:cb98:83b:5dd9:fd8d) (Ping timeout: 246 seconds)
2021-04-02 05:45:13 +0200fosterite(~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896) (Remote host closed the connection)
2021-04-02 05:46:46 +0200fosterite(~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896)
2021-04-02 05:46:47 +0200fosterite(~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896) (Remote host closed the connection)
2021-04-02 05:46:48 +0200Tario(~Tario@200.119.186.52) (Read error: Connection reset by peer)
2021-04-02 05:47:24 +0200Tario(~Tario@201.192.165.173)
2021-04-02 05:48:56 +0200fosterite(~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896)
2021-04-02 05:48:57 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-04-02 05:48:57 +0200fosterite(~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896) (Read error: Connection reset by peer)
2021-04-02 05:49:36 +0200fosterite(~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896)
2021-04-02 05:52:23 +0200alx741(~alx741@181.196.69.168) (Quit: alx741)
2021-04-02 05:54:29 +0200__minoru__shirae(~shiraeesh@109.166.58.127)
2021-04-02 05:54:53 +0200fosterite(~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896) (Ping timeout: 258 seconds)
2021-04-02 05:56:43 +0200Jd007(~Jd007@162.156.11.151)
2021-04-02 05:59:11 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2021-04-02 06:00:41 +0200conal(~conal@192.145.118.115) (Ping timeout: 240 seconds)
2021-04-02 06:02:02 +0200 <hololeap> is it better to put `ghc-options: -Wall -Wcompat` in cabal.project.local, cabal.project, or the .cabal file itself?
2021-04-02 06:03:46 +0200moet(~moet@172.58.35.224)
2021-04-02 06:03:53 +0200 <hololeap> i suppose cabal.project wouldn't be a good place
2021-04-02 06:05:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 06:07:18 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-04-02 06:07:32 +0200notzmv(~zmv@unaffiliated/zmv)
2021-04-02 06:09:53 +0200 <edwardk> I put -Wall in the .cabal file usually
2021-04-02 06:10:42 +0200conal(~conal@192.145.118.233)
2021-04-02 06:11:16 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection)
2021-04-02 06:11:36 +0200nrh^(nrh@ip98-184-89-2.mc.at.cox.net) ()
2021-04-02 06:15:02 +0200 <hololeap> i was looking at the list here, and wondered if it made sense to ship all those extra warnings with the repo, or keep it local: https://medium.com/mercury-bank/enable-all-the-warnings-a0517bc081c3
2021-04-02 06:15:18 +0200 <hololeap> (just in general)
2021-04-02 06:15:20 +0200caef^(caef@ip98-184-89-2.mc.at.cox.net)
2021-04-02 06:15:30 +0200asdfghjkl100(49336fc4@c-73-51-111-196.hsd1.il.comcast.net)
2021-04-02 06:17:24 +0200plakband(~plakband@softbank126227040096.bbtec.net)
2021-04-02 06:20:33 +0200plakband(~plakband@softbank126227040096.bbtec.net) (Client Quit)
2021-04-02 06:21:33 +0200 <monochrom> cabal.project.local if you want it a personal setting
2021-04-02 06:22:07 +0200astroanax(~astroanax@cosmic.voyage) (Quit: WeeChat 3.2-dev)
2021-04-02 06:23:40 +0200 <moet> how can i write into a repa array?
2021-04-02 06:24:11 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-04-02 06:29:27 +0200fosterite(~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896)
2021-04-02 06:34:42 +0200 <hololeap> moet: looks like it depends on the representation
2021-04-02 06:35:02 +0200 <hololeap> e.g. Data.Array.Repa.Unboxed.fromUnboxed
2021-04-02 06:35:03 +0200fosterite(~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896) (Ping timeout: 250 seconds)
2021-04-02 06:37:28 +0200 <moet> hololeap: I don't think that function allows me to write into a repa array, it just allows construction of an array from a shape & vector
2021-04-02 06:38:18 +0200 <moet> thanks
2021-04-02 06:39:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-02 06:39:29 +0200 <hololeap> moet: unsafeWriteMVec ? i've never used the library fwiw
2021-04-02 06:39:35 +0200 <hololeap> it looks confusing
2021-04-02 06:42:15 +0200SLNP(~SLNP@195.140.213.38)
2021-04-02 06:42:57 +0200 <moet> i think MVec isn't the right approach either. it seems to be a bespoke type for a single purpose, not related to the goal of mutating elements in an Array
2021-04-02 06:43:10 +0200 <moet> no problem; i found some people on SO saying that it's basically not supported
2021-04-02 06:47:36 +0200matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 246 seconds)
2021-04-02 06:48:24 +0200hexfive(~hexfive@50.35.83.177)
2021-04-02 06:51:32 +0200hexfive(~hexfive@50.35.83.177) (Client Quit)
2021-04-02 06:54:16 +0200fosterite(~fosterite@2600:6c46:7800:fecf:f009:c5a6:bc28:3e60)
2021-04-02 06:54:38 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-04-02 06:58:54 +0200fosterite(~fosterite@2600:6c46:7800:fecf:f009:c5a6:bc28:3e60) (Ping timeout: 258 seconds)
2021-04-02 06:59:12 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-04-02 07:01:38 +0200DTZUZU_(~DTZUZO@207.81.119.43) (Ping timeout: 246 seconds)
2021-04-02 07:02:43 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-02 07:04:51 +0200hpc(~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 258 seconds)
2021-04-02 07:06:12 +0200hpc(~juzz@ip98-169-35-13.dc.dc.cox.net)
2021-04-02 07:07:16 +0200solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-04-02 07:10:11 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds)
2021-04-02 07:12:01 +0200arahael(~arahael@121-44-10-207.tpgi.com.au) (Quit: "Rebooting tmux!")
2021-04-02 07:13:07 +0200arahael(~arahael@121-44-10-207.tpgi.com.au)
2021-04-02 07:15:19 +0200ezrakilty(~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection)
2021-04-02 07:15:41 +0200pavonia(~user@unaffiliated/siracusa) (Ping timeout: 240 seconds)
2021-04-02 07:16:58 +0200pavonia(~user@unaffiliated/siracusa)
2021-04-02 07:17:43 +0200eruditass(uid248673@gateway/web/irccloud.com/x-nzructhhtvyozyez) (Quit: Connection closed for inactivity)
2021-04-02 07:19:33 +0200elusive(~Jeanne-Ka@static-198-54-134-72.cust.tzulo.com) (Quit: Leaving)
2021-04-02 07:22:15 +0200ajc(~ajc@69.231.232.79) (Ping timeout: 246 seconds)
2021-04-02 07:22:32 +0200ajc_(~ajc@69.231.232.79) (Ping timeout: 268 seconds)
2021-04-02 07:29:45 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-04-02 07:30:43 +0200v01d4lph4(~v01d4lph4@223.190.20.92)
2021-04-02 07:36:01 +0200 <hololeap> it seems strange to me that -Wprepositive-qualified-module exists
2021-04-02 07:36:26 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-02 07:37:07 +0200 <hololeap> what makes `import M qualified` better?
2021-04-02 07:37:15 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-04-02 07:39:13 +0200plutoniix(~q@ppp-223-24-155-53.revip6.asianet.co.th)
2021-04-02 07:39:19 +0200doraemon(~doraemon@117.222.66.9)
2021-04-02 07:40:37 +0200solvr(57e3c46d@87.227.196.109)
2021-04-02 07:41:15 +0200codygman__(~user@47.186.207.161)
2021-04-02 07:44:55 +0200codygman__(~user@47.186.207.161) (Remote host closed the connection)
2021-04-02 07:45:17 +0200codygman__(~user@47.186.207.161)
2021-04-02 07:45:56 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
2021-04-02 07:46:11 +0200v01d4lph4(~v01d4lph4@223.190.20.92) (Ping timeout: 240 seconds)
2021-04-02 07:46:12 +0200 <remexre> I guess module names now line up?
2021-04-02 07:46:43 +0200 <remexre> if I'm reading https://cdn.remexre.xyz/screenshots/a4a4a9a7a334e817a47280455ba906d8e6221c3c.png my eyes are going back and forth when reading module names
2021-04-02 07:46:43 +0200eell(~eell@ip68-228-88-197.oc.oc.cox.net)
2021-04-02 07:47:19 +0200eell(~eell@ip68-228-88-197.oc.oc.cox.net) (Client Quit)
2021-04-02 07:47:53 +0200eell(~eell@ip68-228-88-197.oc.oc.cox.net)
2021-04-02 07:48:33 +0200eell2(~eell@ip68-228-88-197.oc.oc.cox.net)
2021-04-02 07:49:10 +0200stree(~stree@68.36.8.116)
2021-04-02 07:55:27 +0200SLNP(~SLNP@195.140.213.38) (Remote host closed the connection)
2021-04-02 07:55:38 +0200codygman__(~user@47.186.207.161) (Remote host closed the connection)
2021-04-02 07:57:14 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:c8ca:5fa3:40f5:5b78) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-04-02 07:58:27 +0200plutoniix(~q@ppp-223-24-155-53.revip6.asianet.co.th) (Quit: Leaving)
2021-04-02 08:00:21 +0200doraemon(~doraemon@117.222.66.9) (Ping timeout: 265 seconds)
2021-04-02 08:09:09 +0200average(uid473595@gateway/web/irccloud.com/x-iajetmultxvekhqd) (Quit: Connection closed for inactivity)
2021-04-02 08:11:16 +0200eell2(~eell@ip68-228-88-197.oc.oc.cox.net) (Quit: Leaving)
2021-04-02 08:11:16 +0200eell(~eell@ip68-228-88-197.oc.oc.cox.net) (Quit: Leaving)
2021-04-02 08:20:06 +0200alorente(~alorente@185.204.1.185)
2021-04-02 08:30:26 +0200DTZUZU_(~DTZUZO@207.81.119.43)
2021-04-02 08:32:44 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 265 seconds)
2021-04-02 08:35:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 08:37:07 +0200 <hololeap> yeah that was the only thing i could think of. i would prefer it although adding another extension for it seems a bit overkill
2021-04-02 08:38:31 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection)
2021-04-02 08:39:40 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
2021-04-02 08:40:59 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 252 seconds)
2021-04-02 08:41:07 +0200gzj(~gzj@unaffiliated/gzj) (Remote host closed the connection)
2021-04-02 08:41:40 +0200erred(~kvirc@84.120.196.129.dyn.user.ono.com)
2021-04-02 08:41:42 +0200 <erred> fwiptables is a script to configure a firewall
2021-04-02 08:42:50 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection)
2021-04-02 08:43:20 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-jjqjclcbcrjnejmg)
2021-04-02 08:44:18 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-04-02 08:49:21 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-04-02 08:49:53 +0200v01d4lph4(~v01d4lph4@223.190.20.92)
2021-04-02 08:50:42 +0200asdfghjkl100(49336fc4@c-73-51-111-196.hsd1.il.comcast.net) (Ping timeout: 240 seconds)
2021-04-02 08:54:22 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-04-02 08:55:26 +0200fosterite(~fosterite@2600:6c46:7800:fecf:f009:c5a6:bc28:3e60)
2021-04-02 08:55:57 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2021-04-02 08:58:01 +0200solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-04-02 08:58:30 +0200Lycurgus(~niemand@98.4.115.201)
2021-04-02 08:59:00 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2021-04-02 09:00:02 +0200fosterite(~fosterite@2600:6c46:7800:fecf:f009:c5a6:bc28:3e60) (Ping timeout: 258 seconds)
2021-04-02 09:00:19 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-04-02 09:00:49 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-02 09:04:06 +0200moet(~moet@172.58.35.224) (Ping timeout: 240 seconds)
2021-04-02 09:06:10 +0200moet(~moet@172.58.35.224)
2021-04-02 09:06:11 +0200v01d4lph4(~v01d4lph4@223.190.20.92) (Ping timeout: 240 seconds)
2021-04-02 09:10:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-02 09:10:41 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 240 seconds)
2021-04-02 09:11:18 +0200Jd007(~Jd007@162.156.11.151) (Ping timeout: 240 seconds)
2021-04-02 09:11:44 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-04-02 09:11:55 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-02 09:12:15 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-02 09:14:40 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-vlpeluuzsmhakghd)
2021-04-02 09:15:06 +0200elnegro(elnegro@r167-61-169-237.dialup.adsl.anteldata.net.uy)
2021-04-02 09:18:38 +0200elnegro(elnegro@r167-61-169-237.dialup.adsl.anteldata.net.uy) ()
2021-04-02 09:18:48 +0200elnegro(elnegro@r167-61-169-237.dialup.adsl.anteldata.net.uy)
2021-04-02 09:19:01 +0200elnegro(elnegro@r167-61-169-237.dialup.adsl.anteldata.net.uy) ()
2021-04-02 09:19:14 +0200elnegro(elnegro@r167-61-169-237.dialup.adsl.anteldata.net.uy)
2021-04-02 09:19:20 +0200elnegro(elnegro@r167-61-169-237.dialup.adsl.anteldata.net.uy) ()
2021-04-02 09:19:44 +0200elnegro(elnegro@r167-61-169-237.dialup.adsl.anteldata.net.uy)
2021-04-02 09:24:11 +0200__minoru__shirae(~shiraeesh@109.166.58.127) (Ping timeout: 240 seconds)
2021-04-02 09:27:45 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-02 09:33:40 +0200elnegro(elnegro@r167-61-169-237.dialup.adsl.anteldata.net.uy) ()
2021-04-02 09:34:54 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-04-02 09:37:05 +0200__minoru__shirae(~shiraeesh@109.166.58.127)
2021-04-02 09:43:31 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-04-02 09:45:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 09:45:42 +0200dyamon(~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net)
2021-04-02 09:45:58 +0200moet(~moet@172.58.35.224) (Ping timeout: 240 seconds)
2021-04-02 09:46:01 +0200erred(~kvirc@84.120.196.129.dyn.user.ono.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2021-04-02 09:49:51 +0200stree(~stree@68.36.8.116) (Quit: Caught exception)
2021-04-02 09:50:15 +0200stree(~stree@68.36.8.116)
2021-04-02 09:50:39 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds)
2021-04-02 09:51:34 +0200 <arahael> Wrong channel?
2021-04-02 09:51:42 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-04-02 09:54:19 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-02 09:59:50 +0200xaltsc(~xaltsc@unaffiliated/xaltsc) (Ping timeout: 258 seconds)
2021-04-02 10:01:45 +0200xaltsc(~xaltsc@unaffiliated/xaltsc)
2021-04-02 10:01:48 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-04-02 10:03:16 +0200evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-04-02 10:03:52 +0200mkDoku(~TheMule@aftr-37-201-195-134.unity-media.net)
2021-04-02 10:06:36 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-04-02 10:06:43 +0200fosterite(~fosterite@071-082-136-216.res.spectrum.com)
2021-04-02 10:08:42 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection)
2021-04-02 10:09:04 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-04-02 10:09:24 +0200howdoi(uid224@gateway/web/irccloud.com/x-cfvhixtqrzmeskoe) (Quit: Connection closed for inactivity)
2021-04-02 10:09:33 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds)
2021-04-02 10:10:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-02 10:10:46 +0200michalz(~user@185.246.204.43)
2021-04-02 10:11:06 +0200fosterite(~fosterite@071-082-136-216.res.spectrum.com) (Ping timeout: 240 seconds)
2021-04-02 10:11:43 +0200texasmynsted(~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in)
2021-04-02 10:15:41 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-04-02 10:18:09 +0200Feuermagier(~Feuermagi@213.178.26.41)
2021-04-02 10:18:58 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-04-02 10:20:35 +0200texasmynsted(~texasmyns@99.96.221.112)
2021-04-02 10:21:04 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-04-02 10:21:06 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
2021-04-02 10:21:23 +0200PacoV(~PCoves@71.114.141.88.rev.sfr.net)
2021-04-02 10:22:11 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2021-04-02 10:23:52 +0200 <PacoV> Hi there. I'm having trouble compiling a project (one lib, two bins) on a previously-fine-working gitlab-ci.
2021-04-02 10:24:12 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-02 10:24:14 +0200 <PacoV> Here are the .cabal http://ix.io/2UNg and the gitlab-ci.yml http://ix.io/2UNh
2021-04-02 10:24:35 +0200 <PacoV> It all build fine on my machine using `cabal build`.
2021-04-02 10:24:54 +0200 <PacoV> But it cannot solve dependencies on the CI.
2021-04-02 10:25:35 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Ping timeout: 250 seconds)
2021-04-02 10:25:42 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net)
2021-04-02 10:25:55 +0200 <PacoV> Here are the CI logs : http://ix.io/2UNj
2021-04-02 10:26:13 +0200 <PacoV> Do you have any idea what could cause this issue and how to fix it?
2021-04-02 10:26:29 +0200 <PacoV> The pipeline broke two or three days ago.
2021-04-02 10:29:02 +0200average(uid473595@gateway/web/irccloud.com/x-wwdbavuosvjdgwrm)
2021-04-02 10:33:27 +0200malumore(~malumore@151.62.126.67)
2021-04-02 10:33:35 +0200malumore(~malumore@151.62.126.67) (Remote host closed the connection)
2021-04-02 10:35:34 +0200anandprabhu-M(anandprabh@gateway/shell/kde/matrix/x-bzzbuurppcsxzllt)
2021-04-02 10:37:07 +0200Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-04-02 10:38:41 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-02 10:39:41 +0200fosterite(~fosterite@2600:6c46:7800:fecf:4142:f0f9:d998:fd13)
2021-04-02 10:40:38 +0200fiQ-(~fiQ@2a06:82c2:0:12bc::1)
2021-04-02 10:40:46 +0200dexterfoo(dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Ping timeout: 245 seconds)
2021-04-02 10:41:10 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-04-02 10:41:36 +0200fiQ2(~fiQ@2a06:82c2:0:12bc::1) (Ping timeout: 245 seconds)
2021-04-02 10:41:36 +0200holo2(~holo@nikky.moe) (Ping timeout: 245 seconds)
2021-04-02 10:41:37 +0200xff0x_(~xff0x@2001:1a81:534a:5f00:2279:7f9b:769c:c9e9) (Ping timeout: 250 seconds)
2021-04-02 10:41:56 +0200holo2(~holo@nikky.moe)
2021-04-02 10:42:21 +0200xff0x_(~xff0x@2001:1a81:534a:5f00:d711:9eaf:605f:bfbf)
2021-04-02 10:42:39 +0200dexterfoo(dexter@2a01:7e00::f03c:91ff:fe86:59ec)
2021-04-02 10:44:18 +0200fosterite(~fosterite@2600:6c46:7800:fecf:4142:f0f9:d998:fd13) (Ping timeout: 258 seconds)
2021-04-02 10:48:02 +0200 <PacoV> Guess I found out.
2021-04-02 10:49:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-02 10:52:51 +0200rdivyanshu(uid322626@gateway/web/irccloud.com/x-jjqjclcbcrjnejmg) (Quit: Connection closed for inactivity)
2021-04-02 10:53:17 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-04-02 10:54:33 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-02 11:00:51 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 268 seconds)
2021-04-02 11:02:11 +0200puke(~vroom@217.138.252.216) (Quit: puke)
2021-04-02 11:02:57 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-02 11:03:18 +0200v01d4lph4(~v01d4lph4@223.190.20.92)
2021-04-02 11:09:59 +0200makabaka(~makabaka@154.210.255.226)
2021-04-02 11:10:47 +0200makabaka(~makabaka@154.210.255.226) (Client Quit)
2021-04-02 11:11:23 +0200puke(~vroom@217.138.252.196)
2021-04-02 11:18:25 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 11:18:46 +0200v01d4lph4(~v01d4lph4@223.190.20.92) (Ping timeout: 240 seconds)
2021-04-02 11:20:04 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-02 11:21:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 11:22:41 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-02 11:23:01 +0200aarvar(~foewfoiew@2601:602:a080:fa0:906c:b23f:e55d:e8aa) (Ping timeout: 258 seconds)
2021-04-02 11:23:31 +0200Varis(~Tadas@unaffiliated/varis)
2021-04-02 11:24:58 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer)
2021-04-02 11:26:01 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-02 11:26:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 11:28:11 +0200notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds)
2021-04-02 11:28:28 +0200gitgood(~gitgood@80-44-12-39.dynamic.dsl.as9105.com)
2021-04-02 11:28:52 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-02 11:30:11 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-02 11:31:40 +0200mrchampion(~mrchampio@38.18.109.23) (Ping timeout: 268 seconds)
2021-04-02 11:32:27 +0200kodachi(~kodachi@161.8.125.173)
2021-04-02 11:33:06 +0200kodachi(~kodachi@161.8.125.173) (Client Quit)
2021-04-02 11:36:23 +0200graf_blutwurst(~user@2001:171b:226e:adc0:1985:81f0:1ae0:96eb)
2021-04-02 11:36:31 +0200fosterite(~fosterite@2600:6c46:7800:fecf:dcd8:7277:dd23:c41e)
2021-04-02 11:37:26 +0200rajivr(uid269651@gateway/web/irccloud.com/x-ooidmjfwldhvhpcx)
2021-04-02 11:39:27 +0200kuribas(~user@ptr-25vy0i9ffr9vxfznwlf.18120a2.ip6.access.telenet.be)
2021-04-02 11:39:51 +0200ericsagnes(~ericsagne@2405:6580:0:5100:7ad7:6b13:eb4:f58c) (Ping timeout: 246 seconds)
2021-04-02 11:40:02 +0200 <kuribas> there is no safe index in base, no?
2021-04-02 11:40:05 +0200 <kuribas> :t (!!)
2021-04-02 11:40:06 +0200 <lambdabot> [a] -> Int -> a
2021-04-02 11:40:09 +0200ericsagnes(~ericsagne@2405:6580:0:5100:8a29:d196:d07b:3df1)
2021-04-02 11:41:02 +0200fosterite(~fosterite@2600:6c46:7800:fecf:dcd8:7277:dd23:c41e) (Ping timeout: 258 seconds)
2021-04-02 11:44:21 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-02 11:44:37 +0200Lycurgus(~niemand@98.4.115.201) (Ping timeout: 268 seconds)
2021-04-02 11:45:24 +0200bitmagie(~Thunderbi@200116b806b3d300e5607f55ad4ccacb.dip.versatel-1u1.de)
2021-04-02 11:45:27 +0200ericsagnes(~ericsagne@2405:6580:0:5100:8a29:d196:d07b:3df1) (Ping timeout: 246 seconds)
2021-04-02 11:46:20 +0200mrchampion(~mrchampio@38.18.109.23)
2021-04-02 11:46:47 +0200 <Rembane> kuribas: You can drop and then do a listToMaybe, but that's two functions and a composition.
2021-04-02 11:47:21 +0200 <kuribas> Rembane: now I do filter (!! 9) . filter (> 9 . length)
2021-04-02 11:47:33 +0200LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 240 seconds)
2021-04-02 11:48:23 +0200 <Rembane> kuribas: That works too. :)
2021-04-02 11:49:38 +0200gitgood(~gitgood@80-44-12-39.dynamic.dsl.as9105.com) (Remote host closed the connection)
2021-04-02 11:49:49 +0200 <kuribas> ah, types are so nice...
2021-04-02 11:50:01 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 11:50:04 +0200 <kuribas> after working in other languages, haskell is a blessing...
2021-04-02 11:50:48 +0200 <kuribas> now I need ordNub...
2021-04-02 11:51:39 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-02 11:53:42 +0200notzmv(~zmv@unaffiliated/zmv)
2021-04-02 11:55:13 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-04-02 11:55:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 11:56:18 +0200 <Rembane> I agree wholeheartedly, and the syntax is lovely.
2021-04-02 11:57:49 +0200LiaoTao(~LiaoTao@gateway/tor-sasl/liaotao)
2021-04-02 11:57:57 +0200ericsagnes(~ericsagne@2405:6580:0:5100:cd2f:1fbd:8893:b1fd)
2021-04-02 11:58:24 +0200 <merijn> PacoV: Wrong GHC in your CI
2021-04-02 11:58:38 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-04-02 11:58:40 +0200 <merijn> (assuming no one answered that while I was disconnected >.>)
2021-04-02 11:58:45 +0200berberman_(~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds)
2021-04-02 11:59:56 +0200berberman(~berberman@unaffiliated/berberman)
2021-04-02 12:00:35 +0200Rudd0(~Rudd0@185.189.115.103)
2021-04-02 12:02:55 +0200plutoniix(~q@ppp-223-24-155-53.revip6.asianet.co.th)
2021-04-02 12:04:00 +0200 <PacoV> merijn: Indeed.
2021-04-02 12:04:09 +0200 <PacoV> Looking for a way to fix this.
2021-04-02 12:04:23 +0200 <merijn> "update your dependencies or switch back to the old GHC"?
2021-04-02 12:04:51 +0200 <PacoV> I'll use the old GHC for now.
2021-04-02 12:06:00 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 12:06:09 +0200 <PacoV> Ok, export GHC_VERSION is not enough.
2021-04-02 12:06:43 +0200 <merijn> PacoV: Basically, only of your dependencies requires "base < 4.15", but your base version is 4.15 according to the error. base is an integral part of GHC and can't be changed without changing GHC
2021-04-02 12:07:14 +0200 <PacoV> merijn: Yep, Hakyll requires base 4.14 at the moment.
2021-04-02 12:07:42 +0200 <PacoV> Just looking for the clean way of changing the ghc version while still using this docker image.
2021-04-02 12:07:46 +0200 <PacoV> If possible at all.
2021-04-02 12:08:03 +0200 <merijn> I don't use docker, so can't help you with that
2021-04-02 12:08:34 +0200romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-04-02 12:08:38 +0200 <romesrf> hey
2021-04-02 12:09:54 +0200 <PacoV> So, there is no such an option directly in cabal.
2021-04-02 12:10:02 +0200waleee-cl(uid373333@gateway/web/irccloud.com/x-ooczpgovlvkkxvue)
2021-04-02 12:10:10 +0200 <PacoV> I'll spin my own docker image, that'll be fine.
2021-04-02 12:10:43 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-04-02 12:10:44 +0200 <merijn> PacoV: If you have multiple versions installed you can use cabal's '-w' to specify which compiler to use
2021-04-02 12:10:57 +0200 <merijn> By default it just takes the first GHC in your path
2021-04-02 12:11:30 +0200stree(~stree@68.36.8.116)
2021-04-02 12:13:11 +0200gitgood(~gitgood@80-44-12-39.dynamic.dsl.as9105.com)
2021-04-02 12:14:49 +0200 <PacoV> I just needed to relax and take time to read. https://hub.docker.com/_/haskell There is a ghc8 version of the docker image.
2021-04-02 12:16:09 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-02 12:17:53 +0200 <PacoV> Welp, it works just fine.
2021-04-02 12:18:15 +0200PacoV(~PCoves@71.114.141.88.rev.sfr.net) (Quit: leaving)
2021-04-02 12:20:46 +0200kozowu(uid44796@gateway/web/irccloud.com/x-rnmbqzfxvrvvfqjt)
2021-04-02 12:20:55 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-02 12:22:32 +0200fendor(~fendor@178.115.129.241.wireless.dyn.drei.com)
2021-04-02 12:26:05 +0200graf_blutwurst(~user@2001:171b:226e:adc0:1985:81f0:1ae0:96eb) (Remote host closed the connection)
2021-04-02 12:26:06 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-04-02 12:27:32 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
2021-04-02 12:31:23 +0200viluon(uid453725@gateway/web/irccloud.com/x-ilxbvfutmqipfhzb)
2021-04-02 12:31:39 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Ping timeout: 245 seconds)
2021-04-02 12:32:05 +0200Alleria(~textual@mskresolve-a.mskcc.org)
2021-04-02 12:32:28 +0200AlleriaGuest80407
2021-04-02 12:33:58 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
2021-04-02 12:34:08 +0200 <romesrf> can anyone help me with Parsec? I'm writing a lambda calculus parser and im trying to fix something with chainl1 but not being able to do it
2021-04-02 12:35:13 +0200 <Rembane> romesrf: Pastebin the smallest, non-working example and it will be easier for us to help you. :)
2021-04-02 12:35:24 +0200 <Rembane> romesrf: https://paste.tomsmeding.com/ <- I recommend this one
2021-04-02 12:35:36 +0200 <romesrf> :)
2021-04-02 12:36:16 +0200alexelcu(~alexelcu@142.93.180.198)
2021-04-02 12:37:31 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 12:39:15 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-04-02 12:40:34 +0200 <romesrf> perhaps this is illustrative, i wrote some short comments explaining my problem, but i can explain it better if needed :)
2021-04-02 12:40:35 +0200 <romesrf> https://paste.tomsmeding.com/babCWSGQ
2021-04-02 12:40:39 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-04-02 12:41:41 +0200anandprabhu(~anandprab@94.203.250.121)
2021-04-02 12:42:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2021-04-02 12:43:26 +0200alexelcu(~alexelcu@142.93.180.198) (Remote host closed the connection)
2021-04-02 12:43:35 +0200xiinotulp(~q@ppp-27-55-65-96.revip3.asianet.co.th)
2021-04-02 12:45:31 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-04-02 12:45:41 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-04-02 12:47:01 +0200 <romesrf> im still very unexperienced with haskell :), the wording of the question might be a bit weird
2021-04-02 12:47:02 +0200plutoniix(~q@ppp-223-24-155-53.revip6.asianet.co.th) (Ping timeout: 260 seconds)
2021-04-02 12:49:38 +0200 <mniip> how do I use `alaf` with a custom newtype?
2021-04-02 12:53:24 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 12:54:18 +0200 <mniip> % data D x = C x deriving stock (GHC.Generics.Generic) deriving anyclass (Wrapped)
2021-04-02 12:54:18 +0200 <yahb> mniip: ; <interactive>:48:73: error:; * Could not deduce (Profunctor p0) arising from the 'deriving' clause of a data type declaration; from the context: (Profunctor p, Functor f) bound by the deriving clause for `Wrapped (D x)' at <interactive>:48:73-79; The type variable `p0' is ambiguous; These potential instances exist:; instance Monad m => Profunctor (Kleisli m) -- Defined in
2021-04-02 12:54:27 +0200 <mniip> looks like I'm doing it wrong
2021-04-02 12:56:04 +0200 <mniip> seems to work with _Wrapped' = coerced
2021-04-02 12:58:00 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-04-02 12:58:26 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-02 12:58:47 +0200Franciman(~francesco@host-87-20-23-243.retail.telecomitalia.it)
2021-04-02 12:59:41 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-04-02 13:01:06 +0200son0p(~son0p@181.58.39.182)
2021-04-02 13:01:46 +0200ericsagn1(~ericsagne@2405:6580:0:5100:a872:2684:1e7e:5b64)
2021-04-02 13:02:13 +0200Guest_1(50e9336c@80.233.51.108)
2021-04-02 13:02:18 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection)
2021-04-02 13:02:42 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga)
2021-04-02 13:03:09 +0200ericsagnes(~ericsagne@2405:6580:0:5100:cd2f:1fbd:8893:b1fd) (Ping timeout: 246 seconds)
2021-04-02 13:03:45 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 13:04:08 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 13:05:09 +0200peanut_(~peanut_@2a02:8388:a101:2600:878f:d4f3:897a:b4b0)
2021-04-02 13:07:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-04-02 13:08:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 13:08:46 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-02 13:09:00 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 13:10:38 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-02 13:11:31 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-02 13:13:24 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-02 13:14:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-02 13:14:20 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 13:15:57 +0200v01d4lph4(~v01d4lph4@223.190.20.92)
2021-04-02 13:17:38 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 13:19:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-02 13:20:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 13:21:19 +0200DavidEichmann(~david@47.27.93.209.dyn.plus.net)
2021-04-02 13:22:06 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:5243:c3c3:53a1:2d62)
2021-04-02 13:25:04 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-02 13:25:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 13:26:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 13:27:25 +0200bitmagie(~Thunderbi@200116b806b3d300e5607f55ad4ccacb.dip.versatel-1u1.de) (Quit: bitmagie)
2021-04-02 13:28:32 +0200v01d4lph4(~v01d4lph4@223.190.20.92) (Ping timeout: 265 seconds)
2021-04-02 13:28:38 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 240 seconds)
2021-04-02 13:29:03 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-02 13:30:10 +0200Franciman(~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving)
2021-04-02 13:31:11 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-02 13:31:26 +0200Rudd0(~Rudd0@185.189.115.103) (Ping timeout: 265 seconds)
2021-04-02 13:31:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 13:31:50 +0200solvr(57e3c46d@87.227.196.109)
2021-04-02 13:32:12 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 13:33:24 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-02 13:35:46 +0200totte(~totte@chakra/totte) (Ping timeout: 240 seconds)
2021-04-02 13:37:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 13:37:27 +0200totte(~totte@chakra/totte)
2021-04-02 13:37:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 13:38:13 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-04-02 13:38:21 +0200average(uid473595@gateway/web/irccloud.com/x-wwdbavuosvjdgwrm) (Quit: Connection closed for inactivity)
2021-04-02 13:39:59 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 13:40:33 +0200ADG1089(~aditya@106.214.245.108)
2021-04-02 13:40:52 +0200 <ADG1089> Is there any tool to visualize *.prof files?
2021-04-02 13:43:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-04-02 13:43:26 +0200 <Uniaika> ADG1089: the tears in your eyes make an exellent lens
2021-04-02 13:43:28 +0200 <Uniaika> :P
2021-04-02 13:44:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 13:44:29 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-04-02 13:46:05 +0200 <ADG1089> >:-(
2021-04-02 13:46:08 +0200 <nut> How to pattern match on vectors? (x:x) is for list
2021-04-02 13:46:19 +0200 <nut> I mean x:xs
2021-04-02 13:47:05 +0200 <ADG1089> nut: probably not possible
2021-04-02 13:53:55 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-04-02 13:54:45 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-02 13:55:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 13:55:49 +0200solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-04-02 13:56:59 +0200andreas303(~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection)
2021-04-02 13:57:33 +0200andreas303(~andreas@gateway/tor-sasl/andreas303)
2021-04-02 13:58:47 +0200liyang(~liyang@90.253.54.54)
2021-04-02 13:59:57 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 14:00:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 14:00:25 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 14:01:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 14:02:45 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
2021-04-02 14:05:11 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-02 14:05:16 +0200slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-04-02 14:05:45 +0200geekosaur(82650c7a@130.101.12.122)
2021-04-02 14:06:06 +0200Guest_1(50e9336c@80.233.51.108) (Quit: Connection closed)
2021-04-02 14:07:06 +0200 <siers> I have noticed this tendency for functions to become singular, i.e. traverses/folds to move out of the top level of definition of functions...
2021-04-02 14:10:09 +0200vilpan(~0@212.117.1.172)
2021-04-02 14:10:09 +0200Franciman(~francesco@host-87-20-23-243.retail.telecomitalia.it)
2021-04-02 14:10:59 +0200v01d4lph4(~v01d4lph4@223.190.20.92)
2021-04-02 14:11:40 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 14:12:53 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-02 14:13:46 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2021-04-02 14:14:04 +0200codygman`(~user@209.251.131.98)
2021-04-02 14:15:32 +0200dincio(~dincio@5.170.24.21)
2021-04-02 14:16:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-02 14:16:38 +0200 <dincio> q
2021-04-02 14:16:41 +0200dincio(~dincio@5.170.24.21) (Client Quit)
2021-04-02 14:16:57 +0200dincio(~dincio@5.170.24.21)
2021-04-02 14:17:19 +0200dincio(~dincio@5.170.24.21) (Client Quit)
2021-04-02 14:17:50 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 265 seconds)
2021-04-02 14:17:56 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-02 14:19:11 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-02 14:19:47 +0200 <peanut_> error: Variable not in scope: q
2021-04-02 14:21:14 +0200v01d4lph4(~v01d4lph4@223.190.20.92) (Ping timeout: 246 seconds)
2021-04-02 14:21:27 +0200 <xsperry> +
2021-04-02 14:21:28 +0200 <xsperry> +
2021-04-02 14:22:23 +0200 <geekosaur> adding a bunch of blank lines?
2021-04-02 14:22:58 +0200 <peanut_> error: parse error on input ‘+’
2021-04-02 14:23:10 +0200 <peanut_> 🤔
2021-04-02 14:23:36 +0200solvr(57e3c46d@87.227.196.109)
2021-04-02 14:23:41 +0200Achylles(~Achylles@2804:431:d725:7a65:e4bb:fb4:b1ea:8d3b)
2021-04-02 14:24:02 +0200 <[exa]> what an additive contribution
2021-04-02 14:24:41 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-04-02 14:26:56 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-04-02 14:26:56 +0200 <peanut_> that just about sums it up
2021-04-02 14:27:06 +0200 <ADG1089> how can I include profiling libraries to this command: `stack ghc -- -outputdir bin -o test src/test.hs -prof -fprof-auto -isrc/util -threaded -O2 -fllvm -fwarn-tabs -Wall -Wno-type-defaults -Wno-incomplete-patterns -Wno-missing-signatures -Wno-name-shadowing -main-is Test`
2021-04-02 14:27:49 +0200 <merijn> ADG1089: Why use "stack ghc" rather than building with stack?
2021-04-02 14:28:07 +0200machinedgod(~machinedg@24.105.81.50)
2021-04-02 14:28:35 +0200 <geekosaur> it should be automatic since you specified -prof. but it won't build profiling libraries for any dependencies because you're going behind stack's back
2021-04-02 14:28:54 +0200 <ADG1089> stack/cabal are not suitable for my project that's why I am using ghc directly
2021-04-02 14:29:10 +0200 <merijn> ADG1089: Then you will have to build profiling libraries manually too
2021-04-02 14:29:12 +0200 <ADG1089> I tries installing using `cabal install --reinstall -p --enable-library-profiling xyz-1.2.3`
2021-04-02 14:29:25 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-02 14:29:25 +0200 <ADG1089> yeah what steps to follow for that merijn?
2021-04-02 14:29:37 +0200 <merijn> ADG1089: If you have cabal 3.x that's not going to work
2021-04-02 14:29:44 +0200 <ADG1089> but stack wasn't able to detect those
2021-04-02 14:29:53 +0200 <merijn> ADG1089: No clue, because that's a massive pain, so I haven't done that in 10 years
2021-04-02 14:31:07 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-02 14:31:36 +0200 <geekosaur> something similar but with stack install. don't need anything like --reinstall though
2021-04-02 14:31:48 +0200 <geekosaur> I don't know what options stack uses to specify a profiling build
2021-04-02 14:32:20 +0200 <ADG1089> tried using `stack build --profile` but `stack ghc` also couldn't detect those
2021-04-02 14:32:45 +0200stree(~stree@68.36.8.116)
2021-04-02 14:33:48 +0200 <merijn> Because ghc just uses the global package database which will probably be empty
2021-04-02 14:34:02 +0200solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-04-02 14:34:08 +0200 <merijn> cabal-install and stack maintain their own internal package databases that they selectively expose to GHC
2021-04-02 14:34:32 +0200fosterite(~fosterite@2600:6c46:7800:fecf:3809:4508:89fd:f03b)
2021-04-02 14:34:38 +0200 <ADG1089> maybe i can select package-env using cabal flags
2021-04-02 14:35:17 +0200 <merijn> Why can't you just use cabal/stack for this?
2021-04-02 14:35:26 +0200Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 240 seconds)
2021-04-02 14:35:31 +0200 <geekosaur> I think there's a --package option to expose specific packages
2021-04-02 14:35:32 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 14:35:55 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-02 14:36:04 +0200 <geekosaur> don';t try to mix cabal and stack, they don't play together (they're both trying to manipulate what ghc can see and will interfere with each other)
2021-04-02 14:36:17 +0200slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection)
2021-04-02 14:36:18 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:19ea:b9f5:eddc:3033)
2021-04-02 14:36:48 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:19ea:b9f5:eddc:3033) (Client Quit)
2021-04-02 14:37:35 +0200 <ADG1089> merijn: https://github.com/haskell/cabal/issues/7325 and also working with 100s of executables is a mess with cabal and stack
2021-04-02 14:37:57 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net)
2021-04-02 14:38:09 +0200 <ADG1089> a makefile is easier to build using globbing
2021-04-02 14:38:13 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2021-04-02 14:38:13 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2021-04-02 14:38:13 +0200haritz(~hrtz@unaffiliated/haritz)
2021-04-02 14:38:18 +0200 <ADG1089> until cabal/stack start supporting this
2021-04-02 14:38:32 +0200 <merijn> ADG1089: As commented by fgaz that's not "not working"
2021-04-02 14:38:42 +0200 <merijn> The output is just slightly confusing for what it's doing
2021-04-02 14:39:04 +0200 <ADG1089> but it's building all executables when I only want one.
2021-04-02 14:39:14 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection)
2021-04-02 14:39:17 +0200fosterite(~fosterite@2600:6c46:7800:fecf:3809:4508:89fd:f03b) (Ping timeout: 258 seconds)
2021-04-02 14:39:30 +0200 <geekosaur> you can tell both to only build one
2021-04-02 14:39:32 +0200 <ADG1089> and it's problematic to write out 100-200s of executables in either euler.cabal or stack.yaml
2021-04-02 14:39:44 +0200 <merijn> Ah, you can't install single executables, no
2021-04-02 14:39:46 +0200 <geekosaur> for cabal, the syntax is something like exe:foo
2021-04-02 14:39:50 +0200 <merijn> geekosaur: You can, but he's using install
2021-04-02 14:40:00 +0200 <merijn> And you can't install single components
2021-04-02 14:40:01 +0200 <geekosaur> cabal install exe:foo works fine
2021-04-02 14:40:07 +0200 <merijn> geekosaur: It does?
2021-04-02 14:40:10 +0200 <geekosaur> I use it
2021-04-02 14:40:13 +0200 <ADG1089> have attached the output it build both for me
2021-04-02 14:41:08 +0200 <ADG1089> s/both/all binaries/
2021-04-02 14:43:19 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 14:44:41 +0200mkDoku(~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 240 seconds)
2021-04-02 14:45:05 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-04-02 14:46:04 +0200CaptainIRS(9d3385f2@157.51.133.242)
2021-04-02 14:46:44 +0200ajc(~ajc@69.231.232.79)
2021-04-02 14:47:24 +0200 <geekosaur> in any case, if you're going to micromanage everything anyway, I'd recommend ditching stack and using ghcup to install ghc directly
2021-04-02 14:47:29 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2021-04-02 14:48:24 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:19ea:b9f5:eddc:3033)
2021-04-02 14:48:26 +0200 <geekosaur> then you can micromanage how everything is built, at the price that it'll all be visible to everything and may cause conflicts, but that's the price of not using stack/cabal as designed
2021-04-02 14:49:02 +0200 <ADG1089> was just trying to search online how to install these profiling dependencies
2021-04-02 14:49:09 +0200 <ADG1089> without cabal/stack
2021-04-02 14:50:04 +0200 <geekosaur> runhaskell Setup.hs configure -prof -fprof-auto; runhaskell Setup.hs build; runhaskell Setup.hs install
2021-04-02 14:50:16 +0200 <geekosaur> (it may be Setup.lhs instead of Setup.hs)
2021-04-02 14:50:28 +0200xiinotulp(~q@ppp-27-55-65-96.revip3.asianet.co.th) (Quit: Leaving)
2021-04-02 14:50:52 +0200 <geekosaur> it'll still be using part of cabal but not the part that you're worried about
2021-04-02 14:50:58 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:19ea:b9f5:eddc:3033) (Client Quit)
2021-04-02 14:51:38 +0200 <ADG1089> Setup.hs for every dependency?
2021-04-02 14:51:40 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan)
2021-04-02 14:51:47 +0200 <geekosaur> there's also cabal v1-* commands but in that case you don't want to be using stack at all, you'll need to use ghcup to install ghc
2021-04-02 14:52:05 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds)
2021-04-02 14:52:43 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 14:53:09 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 14:54:00 +0200 <geekosaur> ADG1089, a (possibly custom) Setup.hs should come as part of every package, yes
2021-04-02 14:54:18 +0200 <geekosaur> if it doesn't then you'll have no choice but cabal in v1 mode
2021-04-02 14:56:23 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-02 14:56:45 +0200 <fgaz> if there isn't a Setup.hs you can call a fake one by running `cabal act-as-setup`
2021-04-02 14:57:05 +0200 <geekosaur> there you go, then
2021-04-02 14:57:07 +0200 <fgaz> not sure how supported that is
2021-04-02 14:57:57 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds)
2021-04-02 14:58:18 +0200 <geekosaur> none of this is supported, I suspect, aside from falling back to v1-* commands
2021-04-02 14:58:29 +0200 <geekosaur> and these days that's barely supported
2021-04-02 14:59:06 +0200 <maerwald> v1 isn't supported?
2021-04-02 14:59:07 +0200 <merijn> It's supported in "we won't break things for now" :p
2021-04-02 14:59:18 +0200 <merijn> maerwald: Define supported
2021-04-02 14:59:33 +0200 <maerwald> I can complain about it
2021-04-02 14:59:40 +0200 <merijn> You can complain about anything
2021-04-02 14:59:45 +0200 <merijn> It's a mostly free world
2021-04-02 14:59:53 +0200 <maerwald> yeah, but ppl actually listening to my whining
2021-04-02 15:00:15 +0200 <merijn> maerwald: Well, if it's any consolation, v1 isn't significantly less supported than v2
2021-04-02 15:00:21 +0200xff0x_(~xff0x@2001:1a81:534a:5f00:d711:9eaf:605f:bfbf) (Quit: xff0x_)
2021-04-02 15:00:29 +0200xff0x(~xff0x@2001:1a81:534a:5f00:d711:9eaf:605f:bfbf)
2021-04-02 15:00:37 +0200 <merijn> maerwald: People will listen, but for anything non-trivial the answer for v1 issues will probably be "patches welcome"
2021-04-02 15:00:41 +0200 <maerwald> only thing that got removed were sandboxes
2021-04-02 15:00:56 +0200 <maerwald> v1 has to stay morally even
2021-04-02 15:01:16 +0200 <merijn> maerwald: Right, there's no plan to remove v1 for now. But there are also no plans to improve it
2021-04-02 15:01:32 +0200 <maerwald> v2 is great from a user pov, but it's also a huge hack and you may not want to interface with that for various reasons
2021-04-02 15:01:35 +0200 <merijn> (I mean, honestly, there aren't any real plans at all, but you get what I mean)
2021-04-02 15:01:37 +0200urodna(~urodna@unaffiliated/urodna)
2021-04-02 15:01:51 +0200 <merijn> maerwald: If your an OS packager, the correct interface is Setup.hs
2021-04-02 15:01:56 +0200 <geekosaur> that's good to know, I assumed from removal of sandboxes that v1 was next on the chopping block
2021-04-02 15:01:56 +0200 <maerwald> I know
2021-04-02 15:01:59 +0200 <maerwald> but still
2021-04-02 15:02:07 +0200 <merijn> geekosaur: It's on the chopping block
2021-04-02 15:02:19 +0200 <merijn> geekosaur: But there's no satisfactory solutions for all v1 workflows yet
2021-04-02 15:02:34 +0200 <merijn> geekosaur: So until there is, it'll probably limp on with minimal maintenance
2021-04-02 15:02:51 +0200 <geekosaur> maybe I'll bring back the v1-based xmonad install workflow, then
2021-04-02 15:02:59 +0200 <merijn> geekosaur: As soon as the environment workflow is polished I think it'll go
2021-04-02 15:03:05 +0200 <geekosaur> v2 workflow is rather klunky tbh
2021-04-02 15:03:29 +0200 <merijn> geekosaur: fixed environments would solve that, I think hvr has a sketched out setup for it
2021-04-02 15:03:40 +0200 <maerwald> if he ever comes back, yeah
2021-04-02 15:04:05 +0200 <merijn> there's other people working on that
2021-04-02 15:04:12 +0200 <merijn> intermittently, anyway
2021-04-02 15:04:17 +0200 <maerwald> like who?
2021-04-02 15:04:41 +0200matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-04-02 15:04:53 +0200ddellaco_(~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-04-02 15:05:28 +0200 <merijn> maerwald: There was a GSoC project to hack on Oleg's prototype I think?
2021-04-02 15:05:33 +0200son0p(~son0p@181.58.39.182) (Quit: Lost terminal)
2021-04-02 15:06:09 +0200 <maerwald> some employers used this psychology trick on me saying "we have many ppl working on this", which equated to "you'll be the only guy working on this"... are you doing the same here? :p
2021-04-02 15:06:42 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 15:06:55 +0200 <merijn> There definitely isn't many people working on this
2021-04-02 15:06:58 +0200 <ADG1089> I'm now just using a local package-env and installing dependencies using cabal to that. Later using ghc installed from ghcup to do anything
2021-04-02 15:07:07 +0200 <merijn> There aren't many people working on *anything* cabal related
2021-04-02 15:07:20 +0200 <merijn> Pretty sure it's just fgaz and emily atm :p
2021-04-02 15:07:52 +0200 <maerwald> merijn: the codebase isn't particularly something you like to spend saturday afternoon on and have a great mood
2021-04-02 15:07:59 +0200p8m_(p8m@gateway/vpn/protonvpn/p8m)
2021-04-02 15:08:08 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 268 seconds)
2021-04-02 15:08:16 +0200 <maerwald> probably requires an expensice single malt to even start
2021-04-02 15:08:21 +0200 <merijn> maerwald: Sure, which is why I encourage any company to pay me so I can do it during work hours instead :p
2021-04-02 15:08:23 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:543a:a17f:f67d:8caf)
2021-04-02 15:08:36 +0200 <maerwald> too much pressure to actually make something that works
2021-04-02 15:08:39 +0200 <maerwald> better not get paid
2021-04-02 15:08:56 +0200 <merijn> maerwald: Why would you bother with non-expensive single malt ;)
2021-04-02 15:09:10 +0200 <maerwald> when I write Java I like to be cheap
2021-04-02 15:09:35 +0200 <Franciman> it is unbelieavable the amount of old technology haskell uses
2021-04-02 15:09:37 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 15:09:47 +0200 <Franciman> git for starters
2021-04-02 15:09:50 +0200 <merijn> maerwald: My spare time hacking is reserved for things directly affecting me...like Lua addons in wow :p
2021-04-02 15:09:51 +0200 <fgaz> there are plans to remove v1-
2021-04-02 15:09:59 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 268 seconds)
2021-04-02 15:10:01 +0200 <merijn> Franciman: When did git become old? >.>
2021-04-02 15:10:09 +0200 <Franciman> when fossil got created
2021-04-02 15:10:19 +0200 <Franciman> i.e. git was old the right moment it was created
2021-04-02 15:10:30 +0200 <merijn> Franciman: Blame github
2021-04-02 15:10:43 +0200 <Franciman> non dependent type theories
2021-04-02 15:10:48 +0200ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-04-02 15:10:50 +0200 <Franciman> cabal file format
2021-04-02 15:10:55 +0200 <merijn> Franciman: dependent types are overrated imo
2021-04-02 15:10:56 +0200 <Franciman> but this is all legacy
2021-04-02 15:11:00 +0200 <fgaz> https://mail.haskell.org/pipermail/cabal-devel/2020-September/010488.html <- the plans
2021-04-02 15:11:02 +0200 <Franciman> not haskell fault
2021-04-02 15:11:14 +0200 <Franciman> merijn, you are right, it is better to use the singletons library
2021-04-02 15:11:14 +0200 <fgaz> which may or may not be followed
2021-04-02 15:12:16 +0200 <fgaz> merijn: "GSoC project to hack on Oleg's prototype" wait really? did someone propose it?
2021-04-02 15:12:30 +0200 <merijn> fgaz: Might be faulty memory on my part
2021-04-02 15:12:35 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2021-04-02 15:12:47 +0200 <merijn> Franciman: No, singletons is worse >.>
2021-04-02 15:13:24 +0200 <fgaz> merijn: if not I'd add it to the ideas page... if there was someone willing to mentor
2021-04-02 15:14:18 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-04-02 15:15:45 +0200 <maerwald> we'll have linear types, dependent types and maybe worse soon enough, so all our egos are satisfied... and we'll probably switch to a simpler language at work then, but won't tell anyone ;)
2021-04-02 15:16:19 +0200 <merijn> maerwald: More likely, we'll just keep writing Haskell with those things disabled
2021-04-02 15:17:10 +0200 <merijn> Dependent Haskell is a mistake, imo. Linear Haskell I'm not entirely sure about, but I lean towards "mistake" there too
2021-04-02 15:17:42 +0200geekosaur(82650c7a@130.101.12.122) (Ping timeout: 240 seconds)
2021-04-02 15:19:54 +0200 <maerwald> I don't even know what was the driving force for this... either it was an academic promoting their thesis through it or someone at facebook having a heart attack about not being able to do more crazy stuff
2021-04-02 15:20:04 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-02 15:20:08 +0200 <merijn> Linear is Tweag, no?
2021-04-02 15:20:37 +0200 <Uniaika> yes
2021-04-02 15:20:58 +0200 <Uniaika> Academic Tweag to be more precise
2021-04-02 15:21:14 +0200 <maerwald> during a heart attack
2021-04-02 15:22:17 +0200 <maerwald> merijn: the problem is that these things propagate in APIs, so you won't be able to opt out that easily
2021-04-02 15:22:29 +0200 <maerwald> I mean, I still have to deal with monad transformers too
2021-04-02 15:22:34 +0200 <merijn> Dependent Haskell is the baby of Stephanie and Richard Eisenberg, right?
2021-04-02 15:22:44 +0200 <merijn> *Stephanie Weirich
2021-04-02 15:23:22 +0200 <merijn> maerwald: If you use things that use them, sure
2021-04-02 15:23:23 +0200 <maerwald> Maybe the Haskell Foundation needs more conservative voices
2021-04-02 15:23:40 +0200 <merijn> maerwald: Haskell Foundation doesn't control GHC development, though?
2021-04-02 15:23:54 +0200 <merijn> maerwald: So that seems an irrelevant remark
2021-04-02 15:23:56 +0200 <maerwald> not directly, but I'd say that things like these should be topics there
2021-04-02 15:24:09 +0200 <maerwald> it changes the language, even if it's not part of the spec
2021-04-02 15:24:24 +0200 <maerwald> impact on industry users needs to be considered
2021-04-02 15:24:25 +0200 <merijn> maerwald: That isn't in the foundation's charter, though
2021-04-02 15:24:31 +0200 <maerwald> that's not GHC devs job
2021-04-02 15:24:33 +0200hidedagger(~nate@unaffiliated/hidedagger)
2021-04-02 15:24:33 +0200 <merijn> maerwald: And what are they gonna do? Fork GHC?
2021-04-02 15:24:58 +0200 <maerwald> Swing hammers, I don't know
2021-04-02 15:25:11 +0200 <maerwald> I'm just complaining
2021-04-02 15:25:24 +0200 <merijn> None of the industry users seem to mind
2021-04-02 15:25:32 +0200 <merijn> At least, not enough to pay for things
2021-04-02 15:25:36 +0200 <merijn> So screw 'em
2021-04-02 15:26:21 +0200 <maerwald> well, the only big industry user I know is probably more pro these changes anyway, because they're neck-deep in type-level programming
2021-04-02 15:26:33 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-04-02 15:27:38 +0200Lycurgus(~niemand@98.4.115.201)
2021-04-02 15:27:59 +0200 <nut> for vector package, how to choose read vs unsaferead
2021-04-02 15:28:00 +0200 <merijn> Haskell was started as a research language and GHC as research compiler. Your suggestion isn't really viable without forking, because there's just no way to simply go "right, you guys immediately stop hacking your academic projects into your compiler!"
2021-04-02 15:28:05 +0200geekosaur(82650c7a@130.101.12.122)
2021-04-02 15:28:13 +0200ulidtko(~ulidtko@194.54.80.38)
2021-04-02 15:28:18 +0200 <merijn> nut: You use read until you profile and know it's not fast enough :p
2021-04-02 15:28:38 +0200 <nut> so unsafe version are faster
2021-04-02 15:28:47 +0200 <merijn> nut: They skip bounds checking
2021-04-02 15:28:51 +0200 <merijn> So "possibly"
2021-04-02 15:28:55 +0200 <nut> i see
2021-04-02 15:29:03 +0200 <merijn> nut: At the risk of potentially segfaulting your code :p
2021-04-02 15:29:14 +0200 <nut> sure, it's more like c versions
2021-04-02 15:29:21 +0200 <nut> ok
2021-04-02 15:29:39 +0200 <maerwald> merijn: why don't they go fork :p
2021-04-02 15:30:04 +0200 <merijn> maerwald: Well, considering most contributors are working on these things people compain about...
2021-04-02 15:30:19 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-04-02 15:30:26 +0200 <merijn> maerwald: The real question is: Why aren't all the complainers contributing to GHC in areas they keep complaining about?
2021-04-02 15:30:49 +0200 <maerwald> well, I have a good excuse... got an arrow in the knee
2021-04-02 15:31:22 +0200 <merijn> I'm increasingly become more aggressive of pushing the first rule of open source: patches/money or GTFO
2021-04-02 15:31:49 +0200 <maerwald> not everything is about patches or money ;)
2021-04-02 15:32:03 +0200 <[exa]> merijn: someone had this written as "fork or gtfo"
2021-04-02 15:32:15 +0200 <merijn> [exa]: I mean, you don't have to fork
2021-04-02 15:32:29 +0200 <merijn> maerwald: Well, I'm not saying either of those *guarantees* you get a say over the maintainers
2021-04-02 15:32:39 +0200 <merijn> maerwald: It's just that without either you definitely do *not* get a say
2021-04-02 15:32:53 +0200 <[exa]> merijn: it prevents people from just pushing patches to random repos.
2021-04-02 15:33:00 +0200 <merijn> Programmer entitlement needs to get out of here
2021-04-02 15:33:34 +0200 <maerwald> merijn: I recently quit a distro, because they kept telling me to send patches (which I did for quite a while), but never stopped breaking reverse dependencies. So that's a workflow (or even attitude) issue.
2021-04-02 15:33:54 +0200 <maerwald> so I'm generally not a fan of "patches or gtfo" :)
2021-04-02 15:35:03 +0200 <merijn> maerwald: My point was more "if you're not materially contributing, you don't get a say in what a project does". But, as all logical implications go, that doesn't mean you *do* get a say when you contribute (in which case, you fork or use something else)
2021-04-02 15:35:41 +0200 <maerwald> merijn: sure, that's one way to handle it. The other is to give a say to users, regardless of their material contribution.
2021-04-02 15:35:47 +0200 <merijn> maerwald: The internet is full of people demanding unpaid maintainers of open source projects "do stuff" because "my company is losing millions" and that entitlement is one of the root causes of maintainer burnout
2021-04-02 15:36:01 +0200 <merijn> maerwald: Right, but that decision is up to...the contributors :)
2021-04-02 15:36:05 +0200 <maerwald> sure
2021-04-02 15:36:27 +0200 <maerwald> I'm not officially complaining about GHC maintenance here :)
2021-04-02 15:36:34 +0200 <maerwald> I'm glad we have engaged ppl at all
2021-04-02 15:36:46 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 15:36:46 +0200 <maerwald> it's just language bikeshedding
2021-04-02 15:36:55 +0200Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-04-02 15:37:10 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 15:37:14 +0200 <nshepperd> you can get a say in development by either being the developer or offering sufficiently convincing arguments to bring the developers around
2021-04-02 15:37:30 +0200 <merijn> maerwald: We'll team up with Athas and we'll make our purely functional language. But designed for predictable low level interaction!
2021-04-02 15:37:49 +0200 <nshepperd> or being someone who pays the developer i suppose
2021-04-02 15:37:51 +0200 <merijn> nshepperd: Right, but money is usually a fairly convincing argument ;)
2021-04-02 15:38:33 +0200 <merijn> "why are you not supporing a 5 year old GHC?!?" is a wholly different kinda issue from "I'll pay you 10k to support a 5 year old GHC" ;)
2021-04-02 15:38:57 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection)
2021-04-02 15:39:02 +0200 <merijn> I have considerable more empathy/sympathy for the 2nd one :p
2021-04-02 15:39:20 +0200 <maerwald> nshepperd: well, an important question to ask is: What constitutes "consensus" in the sense of language proposals? Does it include the community? If so, how?
2021-04-02 15:39:57 +0200 <maerwald> I find it hard to figure out how consensus is reached wrt language proposals
2021-04-02 15:40:09 +0200 <maerwald> the reddit thread about linear types didn't look like consensus at all
2021-04-02 15:41:41 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-02 15:43:31 +0200geekosaur(82650c7a@130.101.12.122) (Quit: Connection closed)
2021-04-02 15:43:59 +0200vchlup(~vchlup@115.128.broadband17.iol.cz)
2021-04-02 15:46:51 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-04-02 15:46:52 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded)
2021-04-02 15:47:06 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-04-02 15:47:07 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded)
2021-04-02 15:47:21 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-04-02 15:47:22 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded)
2021-04-02 15:47:36 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-04-02 15:47:37 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded)
2021-04-02 15:47:38 +0200 <nshepperd> i dunno
2021-04-02 15:47:49 +0200 <nshepperd> where does consensus come in?
2021-04-02 15:47:51 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-04-02 15:47:52 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded)
2021-04-02 15:48:26 +0200 <maerwald> during accepting or rejecting a proposal
2021-04-02 15:48:38 +0200__minoru__shirae(~shiraeesh@109.166.58.127) (Ping timeout: 240 seconds)
2021-04-02 15:49:07 +0200 <maerwald> https://www.gentoo.org/glep/glep-0001.html#glep-work-flow is a good example
2021-04-02 15:49:15 +0200 <maerwald> of a proper proposal workflow
2021-04-02 15:49:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 15:49:36 +0200 <nshepperd> i guess it's defined by whoever does the accepting or rejecting then
2021-04-02 15:50:10 +0200 <maerwald> that seems problematic
2021-04-02 15:52:21 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 15:54:45 +0200mkDoku(~TheMule@aftr-37-201-195-134.unity-media.net)
2021-04-02 15:55:17 +0200SaitamaPlus(uid272474@gateway/web/irccloud.com/x-fidhhtxlftktthli) (Quit: Connection closed for inactivity)
2021-04-02 15:59:44 +0200__minoru__shirae(~shiraeesh@109.166.58.127)
2021-04-02 16:05:25 +0200raoul90(~raoulhida@nomnomnomnom.co.uk) (Quit: The Lounge - https://thelounge.github.io)
2021-04-02 16:07:50 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 16:08:06 +0200raoul90(~raoulhida@nomnomnomnom.co.uk)
2021-04-02 16:08:15 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 16:08:38 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds)
2021-04-02 16:08:44 +0200hidedagger(~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.1)
2021-04-02 16:09:21 +0200fosterite(~fosterite@2600:6c46:7800:fecf:cd54:a389:d721:10d4)
2021-04-02 16:10:35 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-04-02 16:11:01 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 16:11:15 +0200raoul90raoul
2021-04-02 16:12:06 +0200average(uid473595@gateway/web/irccloud.com/x-rlnzyfvyufopfriy)
2021-04-02 16:12:32 +0200valdyn(valdyn@c6a7cb9d.vpn.njalla.net) (Remote host closed the connection)
2021-04-02 16:12:50 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-02 16:13:15 +0200son0p(~son0p@181.136.122.143)
2021-04-02 16:13:58 +0200fosterite(~fosterite@2600:6c46:7800:fecf:cd54:a389:d721:10d4) (Ping timeout: 258 seconds)
2021-04-02 16:14:06 +0200Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 240 seconds)
2021-04-02 16:15:38 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-02 16:15:52 +0200solvr(57e3c46d@87.227.196.109)
2021-04-02 16:16:33 +0200aveltras(uid364989@gateway/web/irccloud.com/x-rhpcdfifjfohktda)
2021-04-02 16:18:37 +0200v01d4lph4(~v01d4lph4@223.190.20.92)
2021-04-02 16:23:47 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 16:23:59 +0200Deide(~Deide@217.155.19.23)
2021-04-02 16:24:57 +0200v01d4lph4(~v01d4lph4@223.190.20.92) (Ping timeout: 265 seconds)
2021-04-02 16:26:59 +0200hexfive(~hexfive@50.35.83.177)
2021-04-02 16:28:04 +0200alorente(~alorente@185.204.1.185) (Remote host closed the connection)
2021-04-02 16:28:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 16:28:41 +0200Lycurgus(~niemand@98.4.115.201) (Ping timeout: 240 seconds)
2021-04-02 16:28:54 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
2021-04-02 16:30:32 +0200 <dolio> ja: I haven't worked on bytestring-show in years, and I think it's not an idea that makes sense these days, either.
2021-04-02 16:30:34 +0200vilpan(~0@212.117.1.172) (Ping timeout: 260 seconds)
2021-04-02 16:31:04 +0200 <dolio> Byte strings are byte strings, not text.
2021-04-02 16:31:29 +0200ADG1089(~aditya@106.214.245.108) (Remote host closed the connection)
2021-04-02 16:32:27 +0200Franciman(~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving)
2021-04-02 16:33:03 +0200CaptainIRS(9d3385f2@157.51.133.242) (Quit: Connection closed)
2021-04-02 16:33:11 +0200 <dolio> That library was from when there was only bytestring.
2021-04-02 16:33:12 +0200Wuzzy(~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de)
2021-04-02 16:33:31 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Ping timeout: 258 seconds)
2021-04-02 16:34:23 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-ewczhxqgteqsbchn)
2021-04-02 16:34:50 +0200laco(5a40012d@90-64-1-45.dynamic.orange.sk)
2021-04-02 16:35:07 +0200lacoBRUT
2021-04-02 16:35:47 +0200 <BRUT> alooha
2021-04-02 16:38:01 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 252 seconds)
2021-04-02 16:39:26 +0200 <romesrf> i'm using Parsec and i need a way to "stop" chainl1 if it finds a reserved word. This might not make much sense, i'm still learning. I wrote a bit about my problem here: https://paste.tomsmeding.com/babCWSGQ
2021-04-02 16:39:50 +0200 <romesrf> ( im writing a lambda calculus parser )
2021-04-02 16:40:54 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-04-02 16:42:04 +0200kam1(~kam1@83.123.14.174)
2021-04-02 16:43:51 +0200 <nshepperd> romesrf: just change your parseVar to exclude reserved words?
2021-04-02 16:44:04 +0200pleia21(~pleia2@195.140.213.38)
2021-04-02 16:44:27 +0200kam1(~kam1@83.123.14.174) (Read error: Connection reset by peer)
2021-04-02 16:46:08 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
2021-04-02 16:46:57 +0200 <romesrf> nshepperd: i think it shouldn't get to the point where it's parsing a var, since this would mean it's looking for something to construct the (App e1 e2) expression
2021-04-02 16:46:57 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net)
2021-04-02 16:46:57 +0200vilpan(~0@212.117.1.172)
2021-04-02 16:47:14 +0200connrs(~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in)
2021-04-02 16:47:14 +0200connrs_(~connrs@runciter.connrs.uk) (Quit: ZNC 1.7.1 - https://znc.in)
2021-04-02 16:47:20 +0200vilpanGuest83755
2021-04-02 16:47:36 +0200Guest83755vilpan
2021-04-02 16:48:39 +0200connrs(~connrs@runciter.connrs.uk)
2021-04-02 16:48:40 +0200connrs_(~connrs@runciter.connrs.uk)
2021-04-02 16:48:59 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-02 16:51:37 +0200 <nshepperd> well yeah that's what parseExpr does
2021-04-02 16:52:10 +0200howdoi(uid224@gateway/web/irccloud.com/x-qztqtupywnelzqgw)
2021-04-02 16:53:13 +0200 <nshepperd> but if the first parseNonApp succeeds and the second fails, it shouldn't form any App at all, which is what you want, no?
2021-04-02 16:53:15 +0200 <romesrf> but parseExpr upon not finding a "space" will stop "chaining" and just return parseNonApp, correct?
2021-04-02 16:53:33 +0200 <romesrf> oh, yes, that's exactly what i want
2021-04-02 16:54:03 +0200kam1(~kam1@83.123.14.174)
2021-04-02 16:54:04 +0200stree(~stree@68.36.8.116)
2021-04-02 16:54:06 +0200 <romesrf> i see, i didn't understand chainl1 would fail when the second parsing failed. i thought it wouldn't attempt it when no "space" was found
2021-04-02 16:54:12 +0200 <romesrf> let me try your suggestion, nshepperd :)
2021-04-02 16:54:26 +0200kam1(~kam1@83.123.14.174) (Client Quit)
2021-04-02 16:54:28 +0200 <c_wraith> oh, parsec. it creates so many issues with the way it handles alternation
2021-04-02 16:54:35 +0200 <nshepperd> I'm not sure the exact behaviour of chainl1, it might work either of those two ways, i can't remember which
2021-04-02 16:54:43 +0200kam1(~kam1@83.123.14.174)
2021-04-02 16:54:59 +0200 <nshepperd> i find it usually more intuitive to just use some/many directly
2021-04-02 16:55:12 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-04-02 16:55:32 +0200BRUT(5a40012d@90-64-1-45.dynamic.orange.sk) (Quit: Connection closed)
2021-04-02 16:55:33 +0200xff0x(~xff0x@2001:1a81:534a:5f00:d711:9eaf:605f:bfbf) (Ping timeout: 246 seconds)
2021-04-02 16:55:53 +0200 <romesrf> nshepperd: i'm quite new to this, if you have some example of using some/many directly, please do share :)
2021-04-02 16:56:02 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
2021-04-02 16:56:29 +0200 <romesrf> c_wraith: ahah, i also read about Happy, but felt it might be a bit too much for my goals
2021-04-02 16:56:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 16:56:46 +0200xff0x(~xff0x@port-92-195-84-124.dynamic.as20676.net)
2021-04-02 16:56:48 +0200 <c_wraith> chainl1 is specifically for when there's ambiguity in the parser and you want it to bias to the left
2021-04-02 16:56:54 +0200 <c_wraith> some/many bias to the right
2021-04-02 16:57:17 +0200peanut_(~peanut_@2a02:8388:a101:2600:878f:d4f3:897a:b4b0) (Quit: Leaving)
2021-04-02 16:57:28 +0200 <nshepperd> eg. some (parseNonApp <* optional space) tries to parse one or more nonApps until it can't any more
2021-04-02 16:58:23 +0200 <nshepperd> and returns a list of items which you can then turn into a sequence of 'App's yourself
2021-04-02 16:59:03 +0200haritz(~hrtz@unaffiliated/haritz) (Ping timeout: 246 seconds)
2021-04-02 17:00:06 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:5243:c3c3:53a1:2d62) (Ping timeout: 246 seconds)
2021-04-02 17:00:20 +0200 <romesrf> interesting approach! but i do want it to be left associative. although if i make the sequence myself then it's probably still doable
2021-04-02 17:01:08 +0200kam1(~kam1@83.123.14.174) (Read error: Connection reset by peer)
2021-04-02 17:01:58 +0200 <c_wraith> romesrf: nah, happy is an entirely different thing. Even if that design can be very fast, I don't really like working with external code generation. But there are parsing libraries that aren't build like parsec. Parsec and family sacrifice a lot of user-friendliness for performance
2021-04-02 17:02:15 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-02 17:02:24 +0200 <romesrf> oh, understood c_wraith :)
2021-04-02 17:04:05 +0200 <romesrf> nshepperd: it didn't work. i really feel like i gotta make the chain fail somewhere in a way that it allows the space to passthrough as long as the word after is reserved
2021-04-02 17:04:20 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-04-02 17:05:39 +0200stef204(~stef204@unaffiliated/stef-204/x-384198)
2021-04-02 17:05:42 +0200ericsagn1(~ericsagne@2405:6580:0:5100:a872:2684:1e7e:5b64) (Ping timeout: 246 seconds)
2021-04-02 17:08:13 +0200Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-04-02 17:10:23 +0200LKoen(~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-04-02 17:11:58 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:2c1c:a30c:e102:6594)
2021-04-02 17:12:15 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2021-04-02 17:12:15 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2021-04-02 17:12:15 +0200haritz(~hrtz@unaffiliated/haritz)
2021-04-02 17:12:18 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-02 17:14:34 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-02 17:15:48 +0200Tario(~Tario@201.192.165.173)
2021-04-02 17:17:09 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-04-02 17:17:45 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Client Quit)
2021-04-02 17:18:29 +0200ericsagn1(~ericsagne@2405:6580:0:5100:6386:3ce4:dd55:29f3)
2021-04-02 17:21:43 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-02 17:22:01 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-02 17:23:38 +0200ByronJohnson(~bairyn@unaffiliated/bob0) (Ping timeout: 240 seconds)
2021-04-02 17:23:46 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2021-04-02 17:24:22 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-04-02 17:24:25 +0200Tene(~tene@poipu/supporter/slacker/tene) (Ping timeout: 268 seconds)
2021-04-02 17:29:49 +0200ByronJohnson(~bairyn@unaffiliated/bob0)
2021-04-02 17:30:48 +0200Tene(~tene@mail.digitalkingdom.org)
2021-04-02 17:30:48 +0200Tene(~tene@mail.digitalkingdom.org) (Changing host)
2021-04-02 17:30:48 +0200Tene(~tene@poipu/supporter/slacker/tene)
2021-04-02 17:30:49 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-04-02 17:31:10 +0200viluon(uid453725@gateway/web/irccloud.com/x-ilxbvfutmqipfhzb) (Quit: Connection closed for inactivity)
2021-04-02 17:31:34 +0200 <romesrf> i was able to do it
2021-04-02 17:32:04 +0200 <romesrf> the trick was placing "try" before the do block instead of in the middle, next to the "notFollowedBy".
2021-04-02 17:32:47 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-02 17:33:01 +0200 <romesrf> in the end i have parseExpr = chainl1 parseNonApp $ try $ do {space; notFollowedBy $ string "then"; return App}
2021-04-02 17:33:06 +0200 <romesrf> thank you everyone
2021-04-02 17:36:17 +0200lep-delete(~lep@94.31.86.183) (Quit: bye)
2021-04-02 17:36:36 +0200lep-delete(~lep@94.31.86.183)
2021-04-02 17:37:07 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-02 17:37:22 +0200fosterite(~fosterite@2600:6c46:7800:fecf:5cc8:b6e6:6f3b:cc2)
2021-04-02 17:37:25 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-02 17:37:51 +0200alx741(~alx741@181.196.68.6)
2021-04-02 17:41:33 +0200son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-04-02 17:42:09 +0200fosterite(~fosterite@2600:6c46:7800:fecf:5cc8:b6e6:6f3b:cc2) (Ping timeout: 258 seconds)
2021-04-02 17:44:49 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-04-02 17:45:03 +0200jophish__(ca536851@202.83.104.81) (Ping timeout: 240 seconds)
2021-04-02 17:45:56 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1)
2021-04-02 17:46:01 +0200vilpan(~0@212.117.1.172) ()
2021-04-02 17:46:51 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-02 17:49:19 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Ping timeout: 250 seconds)
2021-04-02 17:50:12 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-04-02 17:51:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 17:52:11 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 240 seconds)
2021-04-02 17:52:34 +0200kam1(~kam1@83.123.14.174)
2021-04-02 17:52:35 +0200romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1)
2021-04-02 17:53:04 +0200kam1(~kam1@83.123.14.174) (Read error: Connection reset by peer)
2021-04-02 17:56:06 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-02 17:56:30 +0200solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-04-02 17:57:01 +0200carlomagno(~cararell@148.87.23.7)
2021-04-02 17:59:26 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-02 18:00:20 +0200kam1(~kam1@83.123.14.174)
2021-04-02 18:00:27 +0200Rudd0(~Rudd0@185.189.115.108)
2021-04-02 18:01:00 +0200kam1(~kam1@83.123.14.174) (Read error: Connection reset by peer)
2021-04-02 18:01:33 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-04-02 18:02:14 +0200asdfghjkl100(49336fc4@c-73-51-111-196.hsd1.il.comcast.net)
2021-04-02 18:02:16 +0200dodo13(b945447b@nat-block-4.hovnet.cz)
2021-04-02 18:04:49 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-04-02 18:04:54 +0200astroanax(~astroanax@cosmic.voyage)
2021-04-02 18:04:58 +0200vicfred(vicfred@gateway/vpn/mullvad/vicfred)
2021-04-02 18:05:47 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-02 18:06:01 +0200conal(~conal@192.145.118.233) (Quit: Computer has gone to sleep.)
2021-04-02 18:06:58 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-04-02 18:09:33 +0200conal(~conal@192.145.118.233)
2021-04-02 18:10:01 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-02 18:10:02 +0200DTZUZU_(~DTZUZO@207.81.119.43) (Ping timeout: 268 seconds)
2021-04-02 18:10:32 +0200oats(~hurr@durr/im/a/sheep) (Quit: until later, my friends)
2021-04-02 18:13:25 +0200kam1(~kam1@83.123.14.174)
2021-04-02 18:14:05 +0200Tario(~Tario@201.192.165.173)
2021-04-02 18:14:27 +0200Pickchea(~private@unaffiliated/pickchea) (Ping timeout: 252 seconds)
2021-04-02 18:14:46 +0200kam1(~kam1@83.123.14.174) (Read error: Connection reset by peer)
2021-04-02 18:21:06 +0200dodo13(b945447b@nat-block-4.hovnet.cz) (Quit: Connection closed)
2021-04-02 18:21:29 +0200kam1(~kam1@83.123.14.174)
2021-04-02 18:22:47 +0200geekosaur(42d52137@66.213.33.55)
2021-04-02 18:25:26 +0200kam1(~kam1@83.123.14.174) (Read error: Connection reset by peer)
2021-04-02 18:28:32 +0200Franciman(~francesco@host-87-20-23-243.retail.telecomitalia.it)
2021-04-02 18:29:47 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-04-02 18:29:50 +0200moet(~moet@172.58.35.224)
2021-04-02 18:30:03 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-04-02 18:33:03 +0200oats(~oats@durr/im/a/sheep)
2021-04-02 18:36:11 +0200Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1)
2021-04-02 18:38:50 +0200oats(~oats@durr/im/a/sheep) (Remote host closed the connection)
2021-04-02 18:39:15 +0200frozenErebus(~frozenEre@37.231.244.249)
2021-04-02 18:39:19 +0200oats(~hurr@durr/im/a/sheep)
2021-04-02 18:40:10 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-04-02 18:40:11 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-04-02 18:45:24 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-04-02 18:49:31 +0200zaquest(~notzaques@5.128.210.178) (Read error: Connection reset by peer)
2021-04-02 18:49:59 +0200zaquest(~notzaques@5.128.210.178)
2021-04-02 18:50:38 +0200Lycurgus(~niemand@98.4.115.201)
2021-04-02 18:55:28 +0200shatriff(~vitaliish@176.52.216.242)
2021-04-02 18:57:09 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-04-02 19:01:46 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-04-02 19:03:23 +0200 <aveltras> does anyone know if it's possible to pass stack arguments through haskell-language-server executable ?
2021-04-02 19:03:44 +0200 <aveltras> I have to run "stack build --system-ghc --compiler ghc-8.8.4" for my project
2021-04-02 19:03:45 +0200Pickchea(~private@unaffiliated/pickchea)
2021-04-02 19:06:29 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection)
2021-04-02 19:06:43 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-02 19:07:02 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 19:07:32 +0200jjhoo(jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi) (Remote host closed the connection)
2021-04-02 19:08:21 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds)
2021-04-02 19:11:31 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 19:12:10 +0200jumper149(~jumper149@80.240.31.34)
2021-04-02 19:13:28 +0200shatriff(~vitaliish@176.52.216.242) (Remote host closed the connection)
2021-04-02 19:13:51 +0200jumper149(~jumper149@80.240.31.34) (Client Quit)
2021-04-02 19:14:02 +0200shatriff(~vitaliish@176.52.216.242)
2021-04-02 19:14:14 +0200jumper149(~jumper149@80.240.31.34)
2021-04-02 19:14:30 +0200stree(~stree@68.36.8.116)
2021-04-02 19:15:46 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds)
2021-04-02 19:16:51 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-04-02 19:18:28 +0200shatriff(~vitaliish@176.52.216.242) (Ping timeout: 265 seconds)
2021-04-02 19:18:51 +0200davros(~davros@host86-183-29-83.range86-183.btcentralplus.com) (Ping timeout: 260 seconds)
2021-04-02 19:22:25 +0200Deide(~Deide@217.155.19.23)
2021-04-02 19:23:10 +0200Guest40940mrd
2021-04-02 19:23:19 +0200mrd(~mrd@45.61.147.211) (Changing host)
2021-04-02 19:23:19 +0200mrd(~mrd@debian/developer/mrd)
2021-04-02 19:24:08 +0200hendursa1(~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1)
2021-04-02 19:24:25 +0200hendursaga(~weechat@gateway/tor-sasl/hendursaga)
2021-04-02 19:25:46 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-02 19:26:07 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-04-02 19:27:19 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 19:28:24 +0200rajivr(uid269651@gateway/web/irccloud.com/x-ooidmjfwldhvhpcx) (Quit: Connection closed for inactivity)
2021-04-02 19:31:22 +0200StackStackIssue(c634aeb5@198.52.174.181)
2021-04-02 19:31:54 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-04-02 19:32:53 +0200 <StackStackIssue> Hello, I'm trying to solve a problem on Exercism, which makes use of Stack and Cabal for testing. In my solution, I import Data.Stack, but when running the test suite the module fails to import- I'm not sure where in the config to specify that I need this module. Could I get some help?
2021-04-02 19:33:05 +0200jjhoo(jahakala@dsl-trebng21-b048b5-171.dhcp.inet.fi)
2021-04-02 19:34:13 +0200 <L29Ah> StackStackIssue: use a common dependency set for both your solution and your test suite in your .cabal file?
2021-04-02 19:34:16 +0200 <sclv> in the cabal file there’s a build-depends section in the test stanza
2021-04-02 19:34:29 +0200 <StackStackIssue> I have added - containers > 0.6 there
2021-04-02 19:35:03 +0200 <StackStackIssue> I believe that was supposed to fix it
2021-04-02 19:35:32 +0200 <StackStackIssue> https://paste.tomsmeding.com/WHAw9Srt
2021-04-02 19:36:24 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2021-04-02 19:36:27 +0200machinedgod(~machinedg@24.105.81.50)
2021-04-02 19:36:49 +0200anandprabhu(~anandprab@94.203.250.121) (Quit: WeeChat 2.8)
2021-04-02 19:37:14 +0200_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-04-02 19:37:25 +0200motherfsck(~motherfsc@unaffiliated/motherfsck) (Remote host closed the connection)
2021-04-02 19:37:54 +0200 <StackStackIssue> All other suggestions are welcome
2021-04-02 19:38:18 +0200fosterite(~fosterite@2600:6c46:7800:fecf:5cc8:b6e6:6f3b:cc2)
2021-04-02 19:38:37 +0200_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-04-02 19:39:50 +0200nut(~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2021-04-02 19:41:27 +0200__monty__(~toonn@unaffiliated/toonn)
2021-04-02 19:43:44 +0200fosterite(~fosterite@2600:6c46:7800:fecf:5cc8:b6e6:6f3b:cc2) (Ping timeout: 245 seconds)
2021-04-02 19:45:05 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-04-02 19:45:58 +0200 <tomsmeding> StackStackIssue: where do you read that containers should give you Data.Stack?
2021-04-02 19:46:22 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 19:46:27 +0200shalokshalom(~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106)
2021-04-02 19:46:32 +0200 <StackStackIssue> I extrapolated from a SO post where someone failed to import Data.Set and that was the suggested solution
2021-04-02 19:46:42 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-04-02 19:46:49 +0200 <StackStackIssue> I'm not familiar with modules or the ecosystem, so i wouldn't be surprised if that's the wrong package
2021-04-02 19:46:53 +0200 <StackStackIssue> @tomsme
2021-04-02 19:46:53 +0200 <lambdabot> Unknown command, try @list
2021-04-02 19:47:06 +0200 <StackStackIssue> @tomsmeding could you point me in the right direction?
2021-04-02 19:47:06 +0200 <lambdabot> Unknown command, try @list
2021-04-02 19:47:10 +0200 <tomsmeding> StackStackIssue: Data.Set is indeed from containers, but I can find no package that exports Data.Stack
2021-04-02 19:47:23 +0200 <tomsmeding> Where did you find that module name in the first place?
2021-04-02 19:47:35 +0200 <StackStackIssue> https://hackage.haskell.org/package/Stack-0.4.0/docs/Data-Stack.html
2021-04-02 19:47:51 +0200 <StackStackIssue> I looked up haskell Stack since I was curious to try some libraries
2021-04-02 19:47:53 +0200 <tomsmeding> (side note: on irc, you don't need to put @ before a name to mention them)
2021-04-02 19:48:10 +0200 <StackStackIssue> TIL
2021-04-02 19:48:21 +0200 <tomsmeding> StackStackIssue: ah, thats's the 'Stack' library, apparently
2021-04-02 19:48:28 +0200 <tomsmeding> Which is not 'containers' :)
2021-04-02 19:48:28 +0200 <StackStackIssue> So would I actually be looking at Stack-0.4.0?
2021-04-02 19:48:29 +0200 <jumper149> StackStackIssue: On the top left it says the package name on hackage, it's "Stack"
2021-04-02 19:48:34 +0200 <StackStackIssue> Yeah, there it is
2021-04-02 19:48:46 +0200 <StackStackIssue> I figured Data.* was a single codebase
2021-04-02 19:49:04 +0200 <StackStackIssue> Rather than a namespace used here and there, which it seems to be
2021-04-02 19:49:07 +0200 <jumper149> Data.* is just a convention, just like Control.* or System.*
2021-04-02 19:49:11 +0200 <tomsmeding> No, module names can be freely chosen by packages
2021-04-02 19:49:22 +0200geekosaur(42d52137@66.213.33.55) (Ping timeout: 240 seconds)
2021-04-02 19:49:33 +0200ravi84(67f9874a@103.249.135.74)
2021-04-02 19:49:33 +0200 <tomsmeding> And _are_ freely chosen by packages :p
2021-04-02 19:50:11 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 240 seconds)
2021-04-02 19:50:13 +0200 <tomsmeding> So add 'Stack' to your build-depends list
2021-04-02 19:50:16 +0200 <StackStackIssue> Emphasis appreciated haha
2021-04-02 19:50:18 +0200 <StackStackIssue> Thank you both
2021-04-02 19:50:39 +0200 <tomsmeding> Good luck :)
2021-04-02 19:51:58 +0200jakalx(~jakalx@base.jakalx.net)
2021-04-02 19:52:05 +0200tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2021-04-02 19:53:21 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 19:53:26 +0200 <StackStackIssue> Thanks :)
2021-04-02 19:53:50 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 19:54:45 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-04-02 19:57:03 +0200ravi84(67f9874a@103.249.135.74) (Ping timeout: 240 seconds)
2021-04-02 19:58:42 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-04-02 20:00:08 +0200 <monochrom> This is what's wrong with not starting with plain ghci in tutorials for beginners.
2021-04-02 20:00:44 +0200 <StackStackIssue> I dabbled in haskell in pure ghci about half a year ago, left it alone, and came back rusty today
2021-04-02 20:00:57 +0200 <StackStackIssue> Not sure if that's the issue
2021-04-02 20:01:01 +0200 <monochrom> Start with stack or cabal, especially when extra libraries that don't come with ghc are involved, you now need to explain the package level and the module level, too.
2021-04-02 20:01:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-04-02 20:01:48 +0200 <monochrom> More precisely, the problem with most tutorials that start with stack or cabal is that they neglect to explain "package" and "module".
2021-04-02 20:02:12 +0200 <StackStackIssue> I actually have a second question. I'm trying to solve the problem of determining if a string has matching brackets with a Stack (there are other approaches, but this isn't the point). My code is at https://paste.tomsmeding.com/3E2jEZAP, and it looks like my code will fail because the Stack works with an abstract type, and at one point I compare it
2021-04-02 20:02:13 +0200 <StackStackIssue> to a character, whichr equires it to support the char interface (IIRC). s there some way for me to specify that the stack here is a stack of chars, or otherwise work around the problem?
2021-04-02 20:02:40 +0200 <monochrom> Oh, I leave C++ for two weeks and it's already rusty.
2021-04-02 20:03:11 +0200 <StackStackIssue> Yeah 6 months is enough to make Python and Ruby confusing for me, let alone Haskell :p
2021-04-02 20:03:18 +0200 <tomsmeding> StackStackIssue: what's the error that you're getting?
2021-04-02 20:03:33 +0200 <monochrom> I left Rust for a year and it's rusty too, but Rust's got to be Rusty...
2021-04-02 20:04:04 +0200 <StackStackIssue> tomsmeding https://paste.tomsmeding.com/lSDWHpra
2021-04-02 20:04:09 +0200 <tomsmeding> StackStackIssue: just from looking at your code it seems to me like there should be parentheses around those stackPush and stackPop calls
2021-04-02 20:04:25 +0200 <StackStackIssue> oh right
2021-04-02 20:04:25 +0200 <tomsmeding> given that 'helper' seems to take two arguments :)
2021-04-02 20:04:39 +0200 <StackStackIssue> wasn't there some sort of syntax for avoiding brackets?
2021-04-02 20:04:48 +0200 <StackStackIssue> Vaguely remember chaining things with dots and $
2021-04-02 20:04:49 +0200frozenErebus(~frozenEre@37.231.244.249) (Ping timeout: 252 seconds)
2021-04-02 20:05:06 +0200 <monochrom> I think you just need parentheses. helper xs (stackPush stack '{')
2021-04-02 20:05:36 +0200 <tomsmeding> you _can_ avoid those parentheses, but especially if you're not yet fully up to date with all the syntax, please just write parentheses
2021-04-02 20:05:38 +0200 <tomsmeding> :)
2021-04-02 20:05:42 +0200 <monochrom> For example, if you're going for the square root of the sine of x, it's "sqrt (sin x)", not "sqrt sin x".
2021-04-02 20:06:00 +0200 <StackStackIssue> Yep that's completely fair
2021-04-02 20:06:02 +0200 <StackStackIssue> No rush
2021-04-02 20:06:03 +0200 <tomsmeding> regarding the error that you posted: stackPeek returns Maybe Char, not Char https://hackage.haskell.org/package/Stack-0.4.0/docs/Data-Stack.html#v:stackPeek
2021-04-02 20:06:25 +0200 <tomsmeding> you probably want to scrutinise that using a case-expression
2021-04-02 20:06:45 +0200 <tomsmeding> i.e. 'case stackPeek stack of ...'
2021-04-02 20:06:59 +0200geekosaur(42d52137@66.213.33.55)
2021-04-02 20:08:12 +0200anandprabhu(~anand@94.203.250.121)
2021-04-02 20:08:28 +0200 <StackStackIssue> Perfect, that was my next question
2021-04-02 20:08:46 +0200 <StackStackIssue> We use the Maybe "wrapper" for when a function may or may not have anything to return, right?
2021-04-02 20:08:55 +0200 <StackStackIssue> I'm not familiar with Just/Mayve
2021-04-02 20:09:13 +0200ezrakilty(~ezrakilty@97-126-95-37.tukw.qwest.net)
2021-04-02 20:09:28 +0200 <tomsmeding> StackStackIssue: what other language(s) do you know?
2021-04-02 20:09:49 +0200 <tomsmeding> (perhaps I can compare it with something)
2021-04-02 20:09:49 +0200 <StackStackIssue> Python/Ruby/Java/C, basics of C++
2021-04-02 20:10:04 +0200 <tomsmeding> Java has Optional, I believe; C++ has std::optional since C++17
2021-04-02 20:10:21 +0200 <tomsmeding> @src Maybe
2021-04-02 20:10:21 +0200 <lambdabot> data Maybe a = Nothing | Just a
2021-04-02 20:10:36 +0200 <tomsmeding> if you have a 'Maybe a', e.g. a 'Maybe Char', then it's either 'Nothing' or 'Just Char'
2021-04-02 20:11:08 +0200 <StackStackIssue> Right
2021-04-02 20:11:13 +0200 <StackStackIssue> Either we get it or we don't
2021-04-02 20:11:13 +0200 <tomsmeding> > case Just 123 of { Nothing -> "it was nothing" ; Just n -> "it was: " ++ show n }
2021-04-02 20:11:15 +0200 <lambdabot> "it was: 123"
2021-04-02 20:11:20 +0200 <tomsmeding> > case Nothing of { Nothing -> "it was nothing" ; Just n -> "it was: " ++ show n }
2021-04-02 20:11:21 +0200 <lambdabot> "it was nothing"
2021-04-02 20:11:29 +0200 <tomsmeding> (normally you'd write this on multiple lines instead of with the { })
2021-04-02 20:11:32 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-nbhjseffckoxomyo)
2021-04-02 20:11:33 +0200 <StackStackIssue> Yep!
2021-04-02 20:12:01 +0200 <tomsmeding> and of course, instead of 'Just 123', you'd write e.g. a variable or a function call, something that returns a Maybe
2021-04-02 20:12:22 +0200 <tomsmeding> case-analysis on a literal value is not particularly useful, generally :)
2021-04-02 20:13:12 +0200 <tomsmeding> I believe none of the languages you named have native support for "sum types", as these are called
2021-04-02 20:13:31 +0200 <StackStackIssue> so here, assuming I have a Just n I'd need to unwrap the n from the Just
2021-04-02 20:13:33 +0200 <tomsmeding> C++ has std::variant since C++17 but that's not really native, and it's kludgey
2021-04-02 20:13:48 +0200sagax(~sagax_nb@213.138.71.146)
2021-04-02 20:13:50 +0200 <StackStackIssue> Interesting
2021-04-02 20:13:50 +0200 <tomsmeding> StackStackIssue: in the case branch for Just, you're automatically given the 'n'
2021-04-02 20:14:03 +0200 <StackStackIssue> Oh I see
2021-04-02 20:14:10 +0200 <StackStackIssue> Where can i read more on the theory?
2021-04-02 20:14:19 +0200 <tomsmeding> there is also 'fromJust :: Maybe a -> a', which throws an exception if it happens to be Nothing -- but that's kind of ugly and you generally don't want to use that :p
2021-04-02 20:14:25 +0200 <StackStackIssue> +1
2021-04-02 20:14:33 +0200 <tomsmeding> 99.9% of the cases there is a case expression or something else that fits better
2021-04-02 20:14:35 +0200 <geekosaur> there's also
2021-04-02 20:14:37 +0200 <geekosaur> :t maybe
2021-04-02 20:14:38 +0200 <lambdabot> b -> (a -> b) -> Maybe a -> b
2021-04-02 20:14:52 +0200 <geekosaur> or the simpler case when there's a default value:
2021-04-02 20:14:56 +0200 <geekosaur> :t fromMaybe
2021-04-02 20:14:57 +0200 <lambdabot> a -> Maybe a -> a
2021-04-02 20:15:03 +0200 <tomsmeding> > maybe "nope" (\x -> "it was: " ++ show x) (Just 123)
2021-04-02 20:15:05 +0200 <lambdabot> "it was: 123"
2021-04-02 20:15:27 +0200 <StackStackIssue> what is that first b from in
2021-04-02 20:15:29 +0200 <StackStackIssue> :t maybe
2021-04-02 20:15:30 +0200 <lambdabot> b -> (a -> b) -> Maybe a -> b
2021-04-02 20:15:35 +0200 <StackStackIssue> for*, not from
2021-04-02 20:15:37 +0200 <tomsmeding> default value
2021-04-02 20:15:41 +0200 <StackStackIssue> Ah
2021-04-02 20:15:54 +0200 <jumper149> StackStackIssue: I think this explains it ok: https://wiki.haskell.org/Algebraic_data_type
2021-04-02 20:16:01 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-04-02 20:16:05 +0200 <jumper149> It's pretty concise at least
2021-04-02 20:16:10 +0200 <tomsmeding> scrutinising a 'Maybe a', it's either Nothing (in which case you get the default value, of some type 'b' you can choose), or it's Just x (in which case the 'a -> b' maps that x to a value of the same type 'b')
2021-04-02 20:16:23 +0200 <tomsmeding> @src maybe
2021-04-02 20:16:23 +0200 <lambdabot> maybe n _ Nothing = n
2021-04-02 20:16:23 +0200 <lambdabot> maybe _ f (Just x) = f x
2021-04-02 20:16:33 +0200 <StackStackIssue> I see
2021-04-02 20:16:34 +0200 <tomsmeding> well that's a different way to writ it :p
2021-04-02 20:16:36 +0200jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-04-02 20:16:39 +0200 <StackStackIssue> we don;t care about the default
2021-04-02 20:16:46 +0200 <tomsmeding> you can also write: maybe def f m = case m of { Nothing -> def ; Just x -> f x }
2021-04-02 20:16:48 +0200 <StackStackIssue> since we have maybe _ f (just x)
2021-04-02 20:17:05 +0200jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-04-02 20:17:17 +0200 <tomsmeding> the definition in that @src uses Haskell's definition-by-cases with pattern matching
2021-04-02 20:17:25 +0200 <StackStackIssue> Thanks. Most of my knowledge is from OOP languages with some functional features from self-teaching and high school course, so this is all uncharted territory!
2021-04-02 20:17:35 +0200 <tomsmeding> the line where the pattern matches the arguments is chosen
2021-04-02 20:18:00 +0200 <tomsmeding> i.e. 'maybe d f Nothing' will take the first line and return 'd', whereas 'maybe d f (Just 42)' will take the second line and return 'f 42'
2021-04-02 20:18:18 +0200andi-(~andi-@NixOS/user/andi-) (Ping timeout: 268 seconds)
2021-04-02 20:18:29 +0200 <StackStackIssue> Very nice
2021-04-02 20:18:34 +0200 <tomsmeding> % foo 1 = 42 ; foo 2 = 100 ; foo n = 0
2021-04-02 20:18:35 +0200 <yahb> tomsmeding:
2021-04-02 20:18:37 +0200 <tomsmeding> % foo 2
2021-04-02 20:18:37 +0200 <yahb> tomsmeding: 100
2021-04-02 20:18:40 +0200 <tomsmeding> % foo 3
2021-04-02 20:18:40 +0200 <yahb> tomsmeding: 0
2021-04-02 20:18:48 +0200 <tomsmeding> (read the ;'s as newlines)
2021-04-02 20:18:53 +0200 <StackStackIssue> +1
2021-04-02 20:19:15 +0200 <tomsmeding> same as: foo x = case x of { 1 -> 42 ; 2 -> 100 ; n -> 0 }
2021-04-02 20:19:35 +0200 <tomsmeding> but writing multiple definitions allows you to simulateneously pattern-match on multiple arguments
2021-04-02 20:19:55 +0200timCF(~i.tkachuk@m91-129-99-43.cust.tele2.ee)
2021-04-02 20:20:00 +0200 <tomsmeding> though you could do the same with a case-expression by just case'ing on both arguments in a tuple, (x, y) :)
2021-04-02 20:20:28 +0200kozowu(uid44796@gateway/web/irccloud.com/x-rnmbqzfxvrvvfqjt) (Quit: Connection closed for inactivity)
2021-04-02 20:20:43 +0200 <tomsmeding> the python zen says that there should be only one obvious way to do something; haskell doesn't subscribe to that philosophy :p
2021-04-02 20:21:19 +0200 <StackStackIssue> I am liking aspects of both
2021-04-02 20:21:46 +0200 <StackStackIssue> Beats my current highschool for loop drudgery
2021-04-02 20:21:58 +0200v01d4lph4(~v01d4lph4@223.190.20.92)
2021-04-02 20:22:22 +0200 <timCF> Hello! Any nix language users here? Is there any sort of `case x of` expression with multiple possible clauses/patterns? Just to avoid nested `if x then y else z`
2021-04-02 20:22:38 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com)
2021-04-02 20:22:47 +0200hypercube(~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) ()
2021-04-02 20:23:25 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 20:23:39 +0200pavonia(~user@unaffiliated/siracusa)
2021-04-02 20:25:33 +0200 <StackStackIssue> tomsmeding does reading the syntax get noticeably easier with time? I'm having a much harder time with the language than I had expected
2021-04-02 20:26:25 +0200 <tomsmeding> StackStackIssue: I like haskell's syntax, but then I've been programming haskell for a few years already :p
2021-04-02 20:26:37 +0200v01d4lph4(~v01d4lph4@223.190.20.92) (Ping timeout: 265 seconds)
2021-04-02 20:27:14 +0200 <tomsmeding> are you talking about the syntax specifically, so the symbols necessary to write certain expressions, or are you talking about how to express certain ideas in the language?
2021-04-02 20:27:40 +0200 <tomsmeding> the former is /shrug/, the latter is really something you have to get used to if you've previously used only imperative languages, like the ones you named
2021-04-02 20:28:19 +0200 <tomsmeding> the functional way of thinking is nice for a lot of applications, not so nice for others, but it's certainly different
2021-04-02 20:28:32 +0200geekosaurwas thinking things like needing to write parens around instead of inside of function calls (e.g. foo (bar x) instead of foo(bar(x)) )
2021-04-02 20:28:35 +0200 <Clint> en/win go #linguistics
2021-04-02 20:28:41 +0200Clintsighs.
2021-04-02 20:28:43 +0200 <geekosaur> "oops"
2021-04-02 20:28:43 +0200andi-(~andi-@NixOS/user/andi-)
2021-04-02 20:28:57 +0200molehillish(~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72)
2021-04-02 20:29:51 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-04-02 20:29:52 +0200 <tomsmeding> ah right geekosaur that's true
2021-04-02 20:30:16 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-04-02 20:30:16 +0200 <tomsmeding> if that then yes that's just getting used to it :p
2021-04-02 20:31:07 +0200 <StackStackIssue> Getting used to it it is
2021-04-02 20:31:58 +0200 <monochrom> Did you know: In Landin's papers, he diligently wrote like "f(x)(y)" for curried functions. :)
2021-04-02 20:32:16 +0200 <Rembane> StackStackIssue: A trick I use when GHC throws all kinds of weird errors at me is to add parentheses until I'm 100% sure that I and GHC agree what code we're looking at. Also, don't use the dollar operator.
2021-04-02 20:32:27 +0200 <Rembane> monochrom: That looks like Javascript or Python. :D
2021-04-02 20:33:08 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-02 20:33:25 +0200 <monochrom> Clearly, Javascript and Python are included by his paper title "the next 700 languages" >:)
2021-04-02 20:33:29 +0200molehillish(~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) (Ping timeout: 258 seconds)
2021-04-02 20:33:51 +0200 <monochrom> Or rather, this is why the paper title is that >:)
2021-04-02 20:34:16 +0200 <Rembane> Sweet! :)
2021-04-02 20:35:06 +0200royal_screwup21(52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-04-02 20:35:14 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-02 20:35:35 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-04-02 20:36:14 +0200 <StackStackIssue> https://imgur.com/a/VmlVOMi
2021-04-02 20:36:15 +0200 <StackStackIssue> bingo
2021-04-02 20:36:17 +0200 <StackStackIssue> thanks everyone
2021-04-02 20:36:51 +0200natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-04-02 20:38:11 +0200idhugo(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-04-02 20:38:55 +0200dincio(~dincio@5.170.5.139)
2021-04-02 20:39:31 +0200ezrakilty(~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection)
2021-04-02 20:40:01 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-04-02 20:40:54 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-04-02 20:40:58 +0200dincio(~dincio@5.170.5.139) ()
2021-04-02 20:41:54 +0200 <infinisil> timCF: Is this a Nix question? Because if so, you should probably ask in #nixos instead :)
2021-04-02 20:42:11 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-02 20:42:12 +0200darjeeling_(~darjeelin@122.245.122.120) (Ping timeout: 252 seconds)
2021-04-02 20:42:42 +0200asdfghjkl100(49336fc4@c-73-51-111-196.hsd1.il.comcast.net) (Ping timeout: 240 seconds)
2021-04-02 20:47:40 +0200DTZUZU_(~DTZUZO@207.81.119.43)
2021-04-02 20:50:17 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds)
2021-04-02 20:51:20 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 20:52:11 +0200__minoru__shirae(~shiraeesh@109.166.58.127) (Ping timeout: 240 seconds)
2021-04-02 20:52:20 +0200 <tomsmeding> geekosaur: I solved it! The problematic request that crashes ircbrowse is 'GET /robots.txt' with 'If-Modified-Since:' with an empty value. Firstly the empty header value gets parsed to an empty bytestring here: https://hackage.haskell.org/package/snap-server-1.1.2.0/docs/src/Snap.Internal.Http.Server.Parser.… ; note that this produces a bytestring based on a null pointer:
2021-04-02 20:52:20 +0200 <tomsmeding> https://hackage.haskell.org/package/bytestring-0.10.12.0/docs/src/Data.ByteString.html#empty . Then in serveFileAs, used in ircbrowse's route for /robots.txt, parseHttpTime is used directly on the header value: https://hackage.haskell.org/package/snap-core-1.0.4.2/docs/src/Snap.Internal.Util.FileServe.html#s… -- and that gives the segfault :p
2021-04-02 20:52:30 +0200__minoru__shirae(~shiraeesh@77.94.25.220)
2021-04-02 20:52:32 +0200 <tomsmeding> that's a bug report
2021-04-02 20:53:02 +0200 <geekosaur> "oops"
2021-04-02 20:53:41 +0200natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-04-02 20:54:02 +0200 <tomsmeding> ;)
2021-04-02 20:54:11 +0200ericsagn1(~ericsagne@2405:6580:0:5100:6386:3ce4:dd55:29f3) (Ping timeout: 258 seconds)
2021-04-02 20:54:20 +0200 <tomsmeding> (that request is from some kind of strange web crawler, btw)
2021-04-02 20:54:23 +0200 <maerwald> How good is WSL2? I'm thinking of switching to windows
2021-04-02 20:55:08 +0200darjeeling_(~darjeelin@115.215.43.37)
2021-04-02 20:55:17 +0200 <geekosaur> spj uses it, apparently
2021-04-02 20:55:57 +0200d34df00d(~d34df00d@104-14-27-213.lightspeed.austtx.sbcglobal.net)
2021-04-02 20:56:01 +0200 <d34df00d> Hi!
2021-04-02 20:56:27 +0200 <d34df00d> Some of my functions are constrained by `Alternative f`, but I noticed I'm only using pure, empty and <|>. Is there a weaker structure I could use instead?
2021-04-02 20:56:56 +0200fosterite(~fosterite@2600:6c46:7800:fecf:8b1:68fe:9103:2d9f)
2021-04-02 20:59:37 +0200 <geekosaur> Applicative works for pure, but empty and <|> want Alternative
2021-04-02 21:00:00 +0200 <geekosaur> you may be thinking of the fact that those ultimately derive from Applicative + Monoid
2021-04-02 21:00:18 +0200 <geekosaur> but that's just Alternative, so keep using it
2021-04-02 21:00:31 +0200 <d34df00d> Right, that makes sense.
2021-04-02 21:00:47 +0200 <d34df00d> Lack of <$> or <*> in my code made me think that I could maybe make my stuff more generic.
2021-04-02 21:00:52 +0200 <d34df00d> But looks like Alternative is indeed perfect.
2021-04-02 21:00:53 +0200 <d34df00d> Thanks!
2021-04-02 21:01:18 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846)
2021-04-02 21:01:28 +0200fosterite(~fosterite@2600:6c46:7800:fecf:8b1:68fe:9103:2d9f) (Ping timeout: 258 seconds)
2021-04-02 21:02:01 +0200StackStackIssue(c634aeb5@198.52.174.181) (Quit: Connection closed)
2021-04-02 21:06:08 +0200ericsagn1(~ericsagne@2405:6580:0:5100:8e7d:1650:be7b:bbf2)
2021-04-02 21:06:47 +0200kritzefitz(~kritzefit@212.86.56.80)
2021-04-02 21:06:53 +0200moet(~moet@172.58.35.224) (Quit: leaving)
2021-04-02 21:07:50 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-04-02 21:17:27 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-02 21:18:03 +0200Tops2(~Tobias@dyndsl-095-033-020-180.ewe-ip-backbone.de)
2021-04-02 21:18:04 +0200neiluj(~jco@91-167-203-101.subs.proxad.net)
2021-04-02 21:18:04 +0200neiluj(~jco@91-167-203-101.subs.proxad.net) (Changing host)
2021-04-02 21:18:04 +0200neiluj(~jco@unaffiliated/neiluj)
2021-04-02 21:19:36 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2021-04-02 21:19:46 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-02 21:22:41 +0200stree(~stree@68.36.8.116) (Ping timeout: 265 seconds)
2021-04-02 21:26:38 +0200molehillish(~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) (Remote host closed the connection)
2021-04-02 21:27:49 +0200molehillish(~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72)
2021-04-02 21:31:08 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-02 21:31:33 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-04-02 21:32:31 +0200molehillish(~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) (Ping timeout: 258 seconds)
2021-04-02 21:33:05 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection)
2021-04-02 21:33:40 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:b9ee:34c0:cea7:8b6) (Ping timeout: 258 seconds)
2021-04-02 21:35:23 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection)
2021-04-02 21:35:27 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2021-04-02 21:35:39 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-02 21:35:50 +0200stree(~stree@68.36.8.116)
2021-04-02 21:36:07 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-04-02 21:36:15 +0200aveltras(uid364989@gateway/web/irccloud.com/x-rhpcdfifjfohktda) (Quit: Connection closed for inactivity)
2021-04-02 21:37:26 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-02 21:37:27 +0200stef204(~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1)
2021-04-02 21:39:24 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:585d:35b6:9fa3:9ce)
2021-04-02 21:43:28 +0200pleia21(~pleia2@195.140.213.38) (Remote host closed the connection)
2021-04-02 21:44:16 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-04-02 21:45:25 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood)
2021-04-02 21:45:59 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-02 21:46:39 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-04-02 21:47:02 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2021-04-02 21:47:18 +0200Lord_of_Life_Lord_of_Life
2021-04-02 21:49:59 +0200 <Philonous> Is there a variant of IntMap for the various Word types?
2021-04-02 21:50:01 +0200vchlup(~vchlup@115.128.broadband17.iol.cz) (Read error: Connection reset by peer)
2021-04-02 21:50:12 +0200vchlup(~vchlup@115.128.broadband17.iol.cz)
2021-04-02 21:50:46 +0200 <Philonous> Err, I meant IntSet
2021-04-02 21:52:59 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-04-02 21:55:23 +0200geekosaur(42d52137@66.213.33.55) (Ping timeout: 240 seconds)
2021-04-02 21:57:55 +0200geekosaur(42d52137@66.213.33.55)
2021-04-02 21:57:56 +0200molehillish(~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72)
2021-04-02 21:57:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-04-02 21:58:37 +0200 <ja> does it make sense to use Control.Concurrent.Async.concurrently with pure values?
2021-04-02 21:59:03 +0200 <hololeap> @hackage enummapset
2021-04-02 21:59:03 +0200 <lambdabot> https://hackage.haskell.org/package/enummapset
2021-04-02 21:59:07 +0200 <ja> i just call pure on them and stick them in there, but i am worried that they are actually being computed synchronously
2021-04-02 21:59:17 +0200 <hololeap> Philonous: i just did a quick search and found that
2021-04-02 21:59:42 +0200vglfr(~auiee@88.155.76.95)
2021-04-02 22:00:04 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 22:00:24 +0200 <hololeap> ja, i think you might be getting concurrency confused with parallelism. if you want to compute pure functions using more cores, that's parallelism
2021-04-02 22:01:09 +0200 <ja> hololeap: ok, so should i not use async for that? what is the easiest way to have parallelism for pure computations?
2021-04-02 22:01:15 +0200 <hololeap> quick, somebody plug simon marlow's book :)
2021-04-02 22:01:35 +0200 <ja> right, i could read that book, but i thought there would be a simple answer
2021-04-02 22:01:53 +0200 <hololeap> it's not especially simple, but no, Async is concurrency
2021-04-02 22:02:33 +0200 <ja> so i should use monad-par?
2021-04-02 22:02:44 +0200jajm1(~jajm@185.204.1.185)
2021-04-02 22:02:52 +0200 <kaol> Control.Parallel.Strategies is what I'd use for parallelism with pure values.
2021-04-02 22:03:05 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-04-02 22:03:15 +0200molehillish(~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) (Ping timeout: 250 seconds)
2021-04-02 22:04:29 +0200 <hololeap> monad-par is fine too, that's the one by marlow
2021-04-02 22:05:11 +0200petersen(~petersen@redhat/juhp) (Ping timeout: 240 seconds)
2021-04-02 22:07:02 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-04-02 22:08:07 +0200petersen(~petersen@redhat/juhp)
2021-04-02 22:11:31 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-02 22:14:43 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 22:15:35 +0200Franciman(~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving)
2021-04-02 22:19:14 +0200psygate(~psygate@unaffiliated/psygate)
2021-04-02 22:23:05 +0200v01d4lph4(~v01d4lph4@223.190.20.92)
2021-04-02 22:26:56 +0200geekosaur(42d52137@66.213.33.55) (Quit: Connection closed)
2021-04-02 22:27:06 +0200v01d4lph4(~v01d4lph4@223.190.20.92) (Ping timeout: 240 seconds)
2021-04-02 22:28:41 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-04-02 22:28:51 +0200vglfr(~auiee@88.155.76.95) (Quit: WeeChat 3.1)
2021-04-02 22:30:24 +0200retroid_(~retro@90.214.167.201)
2021-04-02 22:31:41 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-04-02 22:32:11 +0200Aquazi(uid312403@gateway/web/irccloud.com/x-vlpeluuzsmhakghd) (Quit: Connection closed for inactivity)
2021-04-02 22:32:55 +0200fendor(~fendor@178.115.129.241.wireless.dyn.drei.com) (Remote host closed the connection)
2021-04-02 22:33:26 +0200Thunderbinckx
2021-04-02 22:36:00 +0200molehillish(~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72)
2021-04-02 22:38:54 +0200fendor(~fendor@178.115.129.241.wireless.dyn.drei.com)
2021-04-02 22:40:23 +0200molehillish(~molehilli@2600:8800:8d06:1800:e038:3718:552f:8f72) (Ping timeout: 258 seconds)
2021-04-02 22:43:06 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-04-02 22:46:05 +0200fosterite(~fosterite@2600:6c46:7800:fecf:8b1:68fe:9103:2d9f)
2021-04-02 22:47:45 +0200 <Philonous> hololeap, That actually sounds dangerous, what if I try to stick a type in there that Int can't hold?
2021-04-02 22:47:49 +0200Pickchea(~private@unaffiliated/pickchea) (Quit: Leaving)
2021-04-02 22:49:30 +0200kchow(68251fe1@104.37.31.225)
2021-04-02 22:52:48 +0200kchow(68251fe1@104.37.31.225) (Client Quit)
2021-04-02 22:53:00 +0200urodna(~urodna@unaffiliated/urodna) (Read error: Connection reset by peer)
2021-04-02 22:53:56 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-02 22:55:02 +0200DTZUZU_(~DTZUZO@207.81.119.43) (Read error: Connection reset by peer)
2021-04-02 22:56:00 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-04-02 22:56:17 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-02 22:57:16 +0200conal(~conal@192.145.118.233) (Quit: Computer has gone to sleep.)
2021-04-02 22:59:13 +0200conal(~conal@64.71.133.70)
2021-04-02 23:02:21 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 23:02:29 +0200 <infinisil> hololeap: I'm fairly certain concurrency/parallelism isn't as simple as impure/pure
2021-04-02 23:04:12 +0200conal(~conal@64.71.133.70) (Ping timeout: 268 seconds)
2021-04-02 23:04:29 +0200 <infinisil> In university a professor explained that parallelism is when you do operations on many cores/units to speed it up. Whereas concurrency is more about dependencies between operations, and executing them in parallel according to those deps
2021-04-02 23:05:07 +0200 <infinisil> And that also aligns with wikipedia's definition
2021-04-02 23:05:42 +0200 <infinisil> And this idea is entirely orthogonal to impure/pure
2021-04-02 23:05:49 +0200 <monochrom> I think hololeap knows.
2021-04-02 23:06:19 +0200mkDoku(~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 252 seconds)
2021-04-02 23:07:11 +0200 <maerwald> "pure functions" vs "impure functions" is already wrong in haskell
2021-04-02 23:07:32 +0200 <maerwald> but we all know what was meant
2021-04-02 23:08:05 +0200 <monochrom> It was the question that used the "pure" wording. Maybe it was inaccurate, but it was pretty clear at the holistic level what the question meant.
2021-04-02 23:08:25 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-04-02 23:08:31 +0200auiee(~auiee@88.155.76.95)
2021-04-02 23:08:35 +0200 <maerwald> but we tend to nitpick terminology often here, so
2021-04-02 23:08:48 +0200auiee(~auiee@88.155.76.95) (Client Quit)
2021-04-02 23:09:08 +0200 <infinisil> You can do both parallelism and concurrency with Async, and you can also do parallelism and concurrency with pseq
2021-04-02 23:09:33 +0200mikoto-chan(~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds)
2021-04-02 23:09:58 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-02 23:10:09 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2021-04-02 23:10:40 +0200 <monochrom> The irony is that the nitpickers chose the wrong wording in the first place. For example, "strict" vs "lazy". Are you kdding me?
2021-04-02 23:10:54 +0200haritz(~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in)
2021-04-02 23:11:00 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-04-02 23:11:26 +0200 <infinisil> Wait what's wrong with those?
2021-04-02 23:11:27 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-02 23:11:49 +0200 <monochrom> "strict" is a denotational concern, "lazy" is an operational concern. Level mismatch.
2021-04-02 23:12:31 +0200 <monochrom> Do people speak like "temperature vs particle momentum"?
2021-04-02 23:13:16 +0200 <monochrom> Sorry, "temperature vs particle position".
2021-04-02 23:13:25 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-04-02 23:13:49 +0200 <maerwald> pretty sure most ppl don't reason about denotational semantics much in non-trivial haskell programs, so these terms get blurry by lack of frequent exposure
2021-04-02 23:13:58 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-02 23:14:17 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-02 23:15:49 +0200 <monochrom> I also have beef with "parallel vs concurrent" when a better wording is "parallel=concurrent vs communication=synchronization" but that's for another day.
2021-04-02 23:15:59 +0200 <monochrom> or rather, that's a lost cause.
2021-04-02 23:16:20 +0200ep1ctetus(~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer)
2021-04-02 23:17:39 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220)
2021-04-02 23:17:39 +0200haritz(~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host)
2021-04-02 23:17:39 +0200haritz(~hrtz@unaffiliated/haritz)
2021-04-02 23:18:36 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2021-04-02 23:19:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-04-02 23:19:43 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-04-02 23:20:38 +0200dixie_(~dixie@real.wilbury.sk) (Quit: leaving)
2021-04-02 23:21:03 +0200dixie(~dixie@real.wilbury.sk)
2021-04-02 23:25:05 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-04-02 23:25:58 +0200son0p(~son0p@181.136.122.143)
2021-04-02 23:28:06 +0200Lycurgus(~niemand@98.4.115.201) (Quit: Exeunt)
2021-04-02 23:29:24 +0200DTZUZU(~DTZUZO@207.81.119.43)
2021-04-02 23:29:45 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-02 23:29:49 +0200DTZUZU(~DTZUZO@207.81.119.43) (Client Quit)
2021-04-02 23:30:35 +0200andi-(~andi-@NixOS/user/andi-) (Ping timeout: 258 seconds)
2021-04-02 23:30:53 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-04-02 23:31:37 +0200mkDoku(~TheMule@aftr-37-201-195-134.unity-media.net)
2021-04-02 23:33:50 +0200andi-(~andi-@NixOS/user/andi-)
2021-04-02 23:34:18 +0200 <hololeap> Philonous: i'm not sure what you mean. it uses the Enum class to convert to/from Int, so it should work on any Enum including Word8/16/32. the type system will keep you from doing anything "dangerous" unless you get too fancy with the intMapToEnumMap/enumMapToIntMap functions
2021-04-02 23:34:26 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-04-02 23:34:36 +0200Feuermagier(~Feuermagi@213.178.26.41) (Quit: Leaving)
2021-04-02 23:35:30 +0200fendor_(~fendor@77.119.130.232.wireless.dyn.drei.com)
2021-04-02 23:35:46 +0200 <Philonous> > fromEnum (maxBound @Word64) :: Int
2021-04-02 23:35:48 +0200 <lambdabot> error:
2021-04-02 23:35:48 +0200 <lambdabot> Pattern syntax in expression context: maxBound@Word64
2021-04-02 23:35:48 +0200 <lambdabot> Did you mean to enable TypeApplications?
2021-04-02 23:36:04 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-04-02 23:36:05 +0200 <Philonous> > fromEnum (maxBound :: Word64) :: Int
2021-04-02 23:36:07 +0200 <lambdabot> *Exception: Enum.fromEnum{Word64}: value (18446744073709551615) is outside o...
2021-04-02 23:36:32 +0200 <hololeap> so you want something that works specifically with Word64
2021-04-02 23:37:26 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-04-02 23:37:32 +0200 <Philonous> Yes, but it's not even guaranteed to work with Word32
2021-04-02 23:38:05 +0200heatsink(~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-04-02 23:38:56 +0200 <Philonous> (Int is only guaranteed to hold up to 2^29-1)
2021-04-02 23:38:59 +0200fendor(~fendor@178.115.129.241.wireless.dyn.drei.com) (Ping timeout: 265 seconds)
2021-04-02 23:39:58 +0200natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-04-02 23:40:07 +0200 <hololeap> % fromEnum (maxBound :: Word32)
2021-04-02 23:40:07 +0200 <yahb> hololeap: 4294967295
2021-04-02 23:40:30 +0200 <Philonous> Lambdabot happens to run on AMD64, so Int really is Int64. But you can't rely on that
2021-04-02 23:41:02 +0200 <hololeap> i mean, in theory you could create a newtype wrapper with where `fromEnum (minBound :: Word64)` = `minBound :: Int`, but ultimately you're constrained by Int's limitations
2021-04-02 23:41:12 +0200 <monochrom> Fortunately, the same source that says 2^29-1 for Int, it doesn't even give any guarantee about Word. For all you know, the Haskell Report doesn't even say that Word cannot be isomorphic to (). >:)
2021-04-02 23:41:57 +0200 <Philonous> monochrom, Well, but Word64 is guaranteed to be 64 bit, which is what I care about ;)
2021-04-02 23:42:14 +0200 <monochrom> What really defeats you realistically is that "fromEnum (maxBound :: Word)" also fails.
2021-04-02 23:43:13 +0200 <monochrom> even under the GHC guarantee that Int and Word have the same entropy.
2021-04-02 23:44:02 +0200 <Philonous> monochrom, Well, if Int and Word have the same size it would fail since Int has to account for the sign bit, yes.
2021-04-02 23:44:16 +0200 <Philonous> Which is what I expect to be the case
2021-04-02 23:44:17 +0200stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-04-02 23:44:17 +0200 <hololeap> ultimately you'll have to be creating some kind of isomorphism to Int, whether it be using Enum or Hashable or whatever, unless you just want to use Map
2021-04-02 23:44:49 +0200 <monochrom> I would consider unordered-container's hashset.
2021-04-02 23:45:34 +0200 <monochrom> Then again for Int and Word etc the hash function used is the identity function, which is pessimizing for some applications.
2021-04-02 23:46:16 +0200 <Philonous> I would really like to exploit the fact that the values I care about are going to be very close together, which IntSet optimizes well for since it removes the high-bit prefixes. If I use a HashSet that won't work
2021-04-02 23:46:41 +0200 <monochrom> Or perhaps look for a raw finger tree implementation?
2021-04-02 23:46:44 +0200 <Philonous> I thin the answer is going to be: Use Set for now and omdify IntSet to work on Word64 later
2021-04-02 23:47:10 +0200 <Philonous> Wait, if the hash for Word is id that would actually work in my favour
2021-04-02 23:47:13 +0200 <Philonous> Thanks for that hint
2021-04-02 23:47:17 +0200 <monochrom> :)
2021-04-02 23:47:19 +0200 <hololeap> but remember, you want to do it for any architecture ;)
2021-04-02 23:47:37 +0200 <Philonous> Word64 is Word64 on any architecture
2021-04-02 23:48:41 +0200 <hololeap> if you want it to work with the whole set of Word64 values on any architecture, you're stuck with Map
2021-04-02 23:49:15 +0200 <hololeap> or something fancy, like an array of IntMaps or something
2021-04-02 23:49:22 +0200fosterite(~fosterite@2600:6c46:7800:fecf:8b1:68fe:9103:2d9f) (Ping timeout: 258 seconds)
2021-04-02 23:49:45 +0200 <monochrom> Is there an architect that has a machine word size so big it can't move? >:)
2021-04-02 23:51:49 +0200molehillish(~molehilli@2600:8800:8d06:1800:d9c:dee3:c2e:bb78)
2021-04-02 23:51:51 +0200 <Philonous> hololeap, Well, HashSet hashes to Ints, but worst case I get some collisions which would marginally impact performance.
2021-04-02 23:52:55 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 268 seconds)
2021-04-02 23:53:13 +0200 <hololeap> does HashSet/HashMap use patricia trees under the hood?
2021-04-02 23:53:26 +0200 <monochrom> http://hackage.haskell.org/package/hashable-1.3.1.0/docs/src/Data.Hashable.Class.html#line-372 has the hash function for Word64
2021-04-02 23:54:59 +0200kuribas(~user@ptr-25vy0i9ffr9vxfznwlf.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-04-02 23:55:00 +0200 <monochrom> "hash array mapped tries"
2021-04-02 23:56:16 +0200molehillish(~molehilli@2600:8800:8d06:1800:d9c:dee3:c2e:bb78) (Ping timeout: 258 seconds)
2021-04-02 23:56:55 +0200stree(~stree@68.36.8.116)
2021-04-02 23:58:45 +0200natechan(~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-04-02 23:58:58 +0200 <dmj`> I'm writing a haskell guide, but it uses type signature instances to show what's going on in the proofs, and will provide equational reasoning of all instances for the laws of the typeclass, I think that will increase intuition much faster.
2021-04-02 23:59:43 +0200alx741(~alx741@181.196.68.6) (Quit: alx741)