IRCBrowse

2020/10/24

2020-10-24 00:00:23 +0200 <maerwald> > join Nothing
2020-10-24 00:00:26 +0200 <lambdabot> Nothing
2020-10-24 00:00:36 +0200 <maerwald> > join (Just Nothing)
2020-10-24 00:00:38 +0200 <lambdabot> Nothing
2020-10-24 00:00:46 +0200 <dminuoso> crestfallen: In terms of power, join and (>>=) are completely equivalent. The only reason `join` is not a method of Monad (and an alternative to implement instead of (>>=)) is actually some very interesting interaction with other extensions.
2020-10-24 00:01:14 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Remote host closed the connection)
2020-10-24 00:01:35 +0200 <crestfallen> so Nothing in that last one has no effect, since its extracted from Just Nothing ?
2020-10-24 00:03:29 +0200 <crestfallen> I ask, because of this note: An effect is the structural information of a Functor, the part that's not parametric. Does that mean a Nothing is effectual ? -- yes
2020-10-24 00:03:37 +0200fendor(~fendor@178.115.130.82.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-24 00:03:48 +0200ulidtko(~ulidtko@193.111.48.79) (Remote host closed the connection)
2020-10-24 00:03:55 +0200 <maerwald> what are you reading?
2020-10-24 00:03:55 +0200fendor(~fendor@178.115.130.82.wireless.dyn.drei.com)
2020-10-24 00:04:03 +0200ulidtko(~ulidtko@193.111.48.79)
2020-10-24 00:04:05 +0200 <crestfallen> so I'm confused about Nothing as non/effectual
2020-10-24 00:04:09 +0200 <dminuoso> an "effect" is really just a handwavy and very non-precise idea that comes from already existing intuition
2020-10-24 00:04:32 +0200 <dminuoso> "effect" is not something useful for understanding what all of this means, it's rather the *result* of having gained some understanding, and making some analogies
2020-10-24 00:04:37 +0200 <maerwald> This sounds like lecture notes :p
2020-10-24 00:05:34 +0200conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-24 00:05:35 +0200 <crestfallen> one moment pls
2020-10-24 00:05:39 +0200britva(~britva@2a02:aa13:7240:2980:15e:53b7:85f5:d29f) (Quit: This computer has gone to sleep)
2020-10-24 00:06:12 +0200 <maerwald> crestfallen: you can think of `Maybe Int` as having an effect flow (Nothing and Just) and a value flow (Int)
2020-10-24 00:06:13 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-10-24 00:06:18 +0200conal(~conal@64.71.133.70)
2020-10-24 00:06:21 +0200conal(~conal@64.71.133.70) (Client Quit)
2020-10-24 00:06:43 +0200LKoen(~LKoen@lstlambert-657-1-123-43.w92-154.abo.wanadoo.fr) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-10-24 00:07:03 +0200conal(~conal@64.71.133.70)
2020-10-24 00:07:08 +0200conal(~conal@64.71.133.70) (Client Quit)
2020-10-24 00:07:18 +0200 <maerwald> `join` just combines the effects... it's actually pretty boring
2020-10-24 00:07:19 +0200 <maerwald> :p
2020-10-24 00:07:21 +0200 <crestfallen> so if we extract Nothing from Just -- join Just Nothing -- what is the result, Nothing, there? just out of curiosity
2020-10-24 00:07:49 +0200conal(~conal@64.71.133.70)
2020-10-24 00:07:50 +0200 <maerwald> crestfallen: https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#line-1005
2020-10-24 00:07:55 +0200conal(~conal@64.71.133.70) (Client Quit)
2020-10-24 00:08:35 +0200 <maerwald> maybe would be nicer to show the pattern matching for join
2020-10-24 00:08:36 +0200conal(~conal@64.71.133.70)
2020-10-24 00:08:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 00:08:43 +0200conal(~conal@64.71.133.70) (Client Quit)
2020-10-24 00:08:47 +0200ech(~user@gateway/tor-sasl/ech) (Remote host closed the connection)
2020-10-24 00:09:03 +0200ech(~user@gateway/tor-sasl/ech)
2020-10-24 00:09:09 +0200 <crestfallen> not sure I follow, if Just and Nothing are both in the effect flow..
2020-10-24 00:09:50 +0200 <crestfallen> because my notes have Nothing as effectual, but in this case Nothing is in the parameter
2020-10-24 00:11:11 +0200 <maerwald> crestfallen: https://paste.tomsmeding.com/lJ9EjYAJ
2020-10-24 00:11:37 +0200 <maerwald> pretty boring right?
2020-10-24 00:11:37 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds)
2020-10-24 00:11:43 +0200fendor(~fendor@178.115.130.82.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-24 00:12:18 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 00:13:05 +0200 <crestfallen> its boring but then I read about effects .. once again .. and have to be content without understanding it.
2020-10-24 00:13:42 +0200 <maerwald> that's just jargon... what matters is the typeclass
2020-10-24 00:13:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-24 00:13:56 +0200 <maerwald> and that it applies for many more stuff
2020-10-24 00:14:23 +0200Franciman(~francesco@host-82-54-10-114.retail.telecomitalia.it) (Quit: Leaving)
2020-10-24 00:14:28 +0200 <maerwald> > join [[1,2,3]]
2020-10-24 00:14:31 +0200 <lambdabot> [1,2,3]
2020-10-24 00:15:17 +0200 <crestfallen> join == concat
2020-10-24 00:16:41 +0200 <maerwald> > join (+) 8
2020-10-24 00:16:44 +0200 <lambdabot> 16
2020-10-24 00:16:45 +0200 <maerwald> xD
2020-10-24 00:16:52 +0200 <maerwald> ignore that one
2020-10-24 00:17:05 +0200 <crestfallen> ??
2020-10-24 00:17:10 +0200 <crestfallen> > join (+) 8
2020-10-24 00:17:12 +0200 <lambdabot> 16
2020-10-24 00:18:26 +0200 <maerwald> > join (\x -> \y -> x + y) 8
2020-10-24 00:18:28 +0200 <lambdabot> 16
2020-10-24 00:18:36 +0200 <maerwald> so functions are monads too
2020-10-24 00:19:15 +0200 <crestfallen> god I have notes that seem to be conflicting.. maddening
2020-10-24 00:20:26 +0200 <maerwald> here's the definition https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Base.html#line-979
2020-10-24 00:21:27 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-24 00:21:45 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 00:21:45 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 00:21:45 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 00:22:20 +0200 <maerwald> Also see this in-depth answer: https://stackoverflow.com/a/5316690
2020-10-24 00:22:39 +0200 <crestfallen> maerwald, I have this: An 'm a' is an effect; Nothing is not an 'm a'
2020-10-24 00:22:55 +0200 <maerwald> > Nothing :: Maybe Int
2020-10-24 00:22:57 +0200 <lambdabot> Nothing
2020-10-24 00:23:00 +0200 <maerwald> why not?
2020-10-24 00:23:52 +0200 <crestfallen> > Nothing :: Maybe Bool
2020-10-24 00:23:54 +0200 <lambdabot> Nothing
2020-10-24 00:24:12 +0200 <crestfallen> interesting.
2020-10-24 00:24:19 +0200chaosmasttter(~chaosmast@p200300c4a7138f0100d84ef38a79333e.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-24 00:24:22 +0200 <maerwald> stop thinking about effects
2020-10-24 00:24:43 +0200 <crestfallen> ok that's interesting thanks , I'll read that SO. appreciate it!
2020-10-24 00:24:50 +0200 <maerwald> it's just a class: Monad
2020-10-24 00:25:24 +0200 <crestfallen> maerwald, let me show you one thing...
2020-10-24 00:26:11 +0200mimi_vx(mimi1vx@nat/suse/x-mbferublenzmdqyh) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-24 00:29:43 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-24 00:29:59 +0200DataComputist(~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net)
2020-10-24 00:32:32 +0200 <crestfallen> "effect" acquired a second meaning broader than that of "side-effect" -- namely, whatever is introduced through a type constructor which is a Monad instance.
2020-10-24 00:33:00 +0200 <maerwald> I'm getting headache reading that :D
2020-10-24 00:33:07 +0200 <crestfallen> :)
2020-10-24 00:33:10 +0200 <crestfallen> sorry
2020-10-24 00:33:20 +0200 <maerwald> Is it lecture notes?
2020-10-24 00:33:50 +0200 <crestfallen> it's SO but it's referring to a Wadler paper
2020-10-24 00:34:15 +0200 <maerwald> He's maybe a bit too smart to explain it simply :p
2020-10-24 00:34:38 +0200 <maerwald> "side-effect" is an even more confusing term too
2020-10-24 00:34:44 +0200 <maerwald> even haskellers get confused about it
2020-10-24 00:34:55 +0200alp(~alp@2a01:e0a:58b:4920:80f:b0e:18f1:7b3) (Ping timeout: 272 seconds)
2020-10-24 00:35:16 +0200 <crestfallen> monads encapsulate effects.. so it's something I'll just ignore for a while I gues
2020-10-24 00:35:17 +0200 <crestfallen> s
2020-10-24 00:35:28 +0200hackagecapnp 0.7.0.0 - Cap'n Proto for Haskell https://hackage.haskell.org/package/capnp-0.7.0.0 (isd)
2020-10-24 00:35:39 +0200 <maerwald> did you remeber the Monad instance of Maybe?
2020-10-24 00:35:50 +0200 <maerwald> It starts like this: "instance Monad Maybe where"
2020-10-24 00:36:06 +0200 <maerwald> not "instance Monad Maybe a where"
2020-10-24 00:36:11 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds)
2020-10-24 00:36:31 +0200 <maerwald> and in the definition we know nothing about the value
2020-10-24 00:36:32 +0200constR(uid58205@gateway/web/irccloud.com/x-kmhanpixnsfkszux)
2020-10-24 00:36:36 +0200 <maerwald> and just do stuff with constructors
2020-10-24 00:37:00 +0200 <maerwald> if you call constructors effects, then yeah, sure
2020-10-24 00:37:35 +0200 <crestfallen> maerwald, thanks I'll sort it out
2020-10-24 00:37:58 +0200hackagegopro-plus 0.4.1.1 - GoPro Plus Client API. https://hackage.haskell.org/package/gopro-plus-0.4.1.1 (dustin)
2020-10-24 00:39:50 +0200thir(~thir@p200300f27f19de00fc7cfd1eb4863dd1.dip0.t-ipconnect.de)
2020-10-24 00:40:08 +0200 <maerwald> also, we call `Maybe` a type constructor and Just and Nothing a data constructor
2020-10-24 00:40:27 +0200 <maerwald> often they have the same name, don't mix them up
2020-10-24 00:41:18 +0200 <maerwald> data Foo = Foo Int
2020-10-24 00:44:05 +0200MarcelineVQ(~anja@198.254.202.72)
2020-10-24 00:44:34 +0200MarcelineVQ(~anja@198.254.202.72) (Remote host closed the connection)
2020-10-24 00:44:42 +0200thir(~thir@p200300f27f19de00fc7cfd1eb4863dd1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 00:44:57 +0200 <crestfallen> maerwald, thanks. yeah this was very helpful, what you said at the end: "instance Monad Maybe where" not "instance Monad Maybe a where." And in the definition we know nothing about the value, and just do stuff with constructors. If you call constructors effects, then yeah, sure
2020-10-24 00:45:20 +0200MarcelineVQ(~anja@198.254.202.72)
2020-10-24 00:46:27 +0200jedws(~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 00:46:29 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 00:46:57 +0200pomiiu(d46625ca@212.102.37.202) (Remote host closed the connection)
2020-10-24 00:51:05 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-24 00:55:08 +0200cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2020-10-24 00:56:24 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 260 seconds)
2020-10-24 00:56:28 +0200mbomba(~mbomba@142.114.9.241)
2020-10-24 01:00:32 +0200ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-24 01:01:10 +0200Katarushisu4(~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net)
2020-10-24 01:01:12 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 01:01:36 +0200Katarushisu(~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-24 01:01:37 +0200Katarushisu4Katarushisu
2020-10-24 01:07:47 +0200erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 260 seconds)
2020-10-24 01:08:37 +0200acidjnk_new3(~acidjnk@p200300d0c7237805143004c29cad477d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 01:08:58 +0200erolm_a(~erolm_a@62.18.213.68)
2020-10-24 01:09:36 +0200mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-24 01:09:48 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 01:14:16 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-24 01:15:13 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 01:15:48 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-24 01:16:05 +0200ericsagnes(~ericsagne@2405:6580:0:5100:c0a:b447:b123:a55a) (Ping timeout: 272 seconds)
2020-10-24 01:16:37 +0200christo(~chris@81.96.113.213)
2020-10-24 01:18:17 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-24 01:20:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-10-24 01:25:12 +0200ensyde(~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Quit: WeeChat 2.9)
2020-10-24 01:26:07 +0200JohnnyL(~john@unaffiliated/johnnyl)
2020-10-24 01:26:27 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-24 01:26:28 +0200 <JohnnyL> Are there any plans to make haskell for the browser or perhaps a 'mini' version of haskell?
2020-10-24 01:26:57 +0200 <monsterchrom> Does GHCJS count?
2020-10-24 01:27:40 +0200erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 260 seconds)
2020-10-24 01:27:42 +0200 <monsterchrom> And the multitude of functional/typed languages like purescript.
2020-10-24 01:28:14 +0200erolm_a(~erolm_a@62.18.213.68)
2020-10-24 01:28:34 +0200ericsagnes(~ericsagne@2405:6580:0:5100:c30c:e109:135c:6061)
2020-10-24 01:28:47 +0200 <JohnnyL> ok
2020-10-24 01:28:49 +0200 <JohnnyL> i'll have to check.
2020-10-24 01:29:31 +0200son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2020-10-24 01:30:13 +0200jlamothe(~jlamothe@dev.jlamothe.net) (Ping timeout: 260 seconds)
2020-10-24 01:30:47 +0200 <JohnnyL> Is ghcjs stable? Or is it same shady buggy product?
2020-10-24 01:31:02 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-24 01:31:05 +0200 <monsterchrom> stable
2020-10-24 01:32:12 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 01:36:44 +0200 <simon> apparently much better than before
2020-10-24 01:36:44 +0200 <JohnnyL> ok thanks.
2020-10-24 01:36:52 +0200 <yushyin> 'same' as what?
2020-10-24 01:37:33 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 258 seconds)
2020-10-24 01:37:33 +0200 <JohnnyL> yushyin: s/same/some
2020-10-24 01:37:43 +0200 <yushyin> ah
2020-10-24 01:38:16 +0200 <simon> JohnnyL, haskell for the browser: https://github.com/tweag/asterius#asterius-a-haskell-to-webassembly-compiler
2020-10-24 01:39:49 +0200 <simon> yushyin, I thought he referred to GHCJS being hard to install and based on GHC 7.x for a long time.
2020-10-24 01:40:29 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-24 01:41:51 +0200 <simon> JohnnyL, apparently less mature than GHCJS, but definitely promising. :)
2020-10-24 01:46:25 +0200erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 240 seconds)
2020-10-24 01:46:25 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 240 seconds)
2020-10-24 01:47:21 +0200erolm_a(~erolm_a@62.18.213.68)
2020-10-24 01:49:12 +0200taurux(~taurux@net-188-152-78-51.cust.vodafonedsl.it) (Ping timeout: 260 seconds)
2020-10-24 01:49:13 +0200tito_04(~taurux@net-188-152-78-51.cust.dsl.teletu.it)
2020-10-24 01:49:47 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ac30:bbd7:59b:66ab) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 01:50:20 +0200 <JohnnyL> I cannot for the sake of me see the entire industry *not* going pure.
2020-10-24 01:51:21 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 01:53:14 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-10-24 01:54:07 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-24 01:54:11 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Client Quit)
2020-10-24 01:54:27 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-24 01:54:39 +0200thir(~thir@p200300f27f19de002cecd531afedd8d6.dip0.t-ipconnect.de)
2020-10-24 01:54:57 +0200crestfallen(~john@128.32.176.159) (Remote host closed the connection)
2020-10-24 01:56:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-24 02:00:01 +0200ericbsd1(~ericbsd@178.162.204.214) ()
2020-10-24 02:01:07 +0200thir(~thir@p200300f27f19de002cecd531afedd8d6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 02:02:55 +0200falafel(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-24 02:03:43 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ac30:bbd7:59b:66ab)
2020-10-24 02:04:17 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 02:05:36 +0200thir(~thir@p200300f27f252300edbc47e1ffd73c66.dip0.t-ipconnect.de)
2020-10-24 02:06:42 +0200vacm(~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 02:07:39 +0200p8m_(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 02:07:48 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-24 02:08:44 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-24 02:10:27 +0200thir(~thir@p200300f27f252300edbc47e1ffd73c66.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 02:10:40 +0200Jonno_FTW(~come@api.carswap.me) (Ping timeout: 272 seconds)
2020-10-24 02:13:44 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 02:13:50 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-24 02:15:23 +0200ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-24 02:15:44 +0200ech(~user@gateway/tor-sasl/ech)
2020-10-24 02:16:18 +0200tanuki_(~quassel@173.168.154.189) (Ping timeout: 260 seconds)
2020-10-24 02:16:34 +0200tanuki(~quassel@173.168.154.189)
2020-10-24 02:17:29 +0200Jonno_FTW(~come@api.carswap.me)
2020-10-24 02:22:01 +0200milky1(~milky@185.204.1.185)
2020-10-24 02:22:16 +0200jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds)
2020-10-24 02:22:33 +0200vacm(~vacwm@70.23.92.191)
2020-10-24 02:23:25 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-24 02:25:07 +0200laserpants(c59d001b@197.157.0.27)
2020-10-24 02:26:30 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 02:26:32 +0200jathan(~jathan@69.61.93.38) (Ping timeout: 260 seconds)
2020-10-24 02:27:46 +0200laserpants(c59d001b@197.157.0.27) (Remote host closed the connection)
2020-10-24 02:29:13 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 02:30:45 +0200Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 240 seconds)
2020-10-24 02:33:24 +0200jathan(~jathan@69.61.93.38)
2020-10-24 02:35:14 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ac30:bbd7:59b:66ab) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 02:36:43 +0200ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-24 02:40:02 +0200falafel(~falafel@71-34-132-121.clsp.qwest.net) (Remote host closed the connection)
2020-10-24 02:40:29 +0200falafel(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-24 02:40:49 +0200thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 02:42:36 +0200ech(~user@gateway/tor-sasl/ech)
2020-10-24 02:44:02 +0200Chi1thangoo(~Chi1thang@87.112.60.168)
2020-10-24 02:45:27 +0200thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 02:46:02 +0200ericsagnes(~ericsagne@2405:6580:0:5100:c30c:e109:135c:6061) (Ping timeout: 260 seconds)
2020-10-24 02:46:29 +0200JohnnyL(~john@unaffiliated/johnnyl) (Quit: leaving)
2020-10-24 02:48:32 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer)
2020-10-24 02:50:42 +0200Lord_of_Life(~Lord@46.217.218.96)
2020-10-24 02:52:06 +0200Lord_of_Life_(~Lord@46.217.218.75) (Ping timeout: 256 seconds)
2020-10-24 02:52:09 +0200steve_(~quassel@ool-18b99d28.dyn.optonline.net)
2020-10-24 02:52:12 +0200steve__(~quassel@ool-18b99d28.dyn.optonline.net)
2020-10-24 02:53:45 +0200falafel(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 240 seconds)
2020-10-24 02:58:27 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 03:00:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-24 03:00:44 +0200erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 258 seconds)
2020-10-24 03:01:23 +0200erolm_a(~erolm_a@62.18.213.68)
2020-10-24 03:02:45 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-10-24 03:02:57 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-24 03:06:05 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 03:06:06 +0200steve_(~quassel@ool-18b99d28.dyn.optonline.net) (Ping timeout: 258 seconds)
2020-10-24 03:06:08 +0200steve__(~quassel@ool-18b99d28.dyn.optonline.net) (Ping timeout: 260 seconds)
2020-10-24 03:07:28 +0200hackageweb-routes-happstack 0.23.12.1 - Adds support for using web-routes with Happstack https://hackage.haskell.org/package/web-routes-happstack-0.23.12.1 (JeremyShaw)
2020-10-24 03:08:54 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-24 03:10:39 +0200unlink_(~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de)
2020-10-24 03:11:20 +0200unlink_(~unlink2@p200300ebcf3c54001b9e8be0a8d0c9c4.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-24 03:11:56 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 256 seconds)
2020-10-24 03:12:48 +0200dibblego(~dibblego@haskell/developer/dibblego) (Ping timeout: 265 seconds)
2020-10-24 03:14:16 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 03:14:37 +0200toorevitimirp(~tooreviti@117.182.180.83)
2020-10-24 03:14:57 +0200p8m_(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-24 03:19:40 +0200erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 260 seconds)
2020-10-24 03:19:57 +0200dibblego(~dibblego@122-199-1-30.ip4.superloop.com)
2020-10-24 03:19:57 +0200dibblego(~dibblego@122-199-1-30.ip4.superloop.com) (Changing host)
2020-10-24 03:19:57 +0200dibblego(~dibblego@haskell/developer/dibblego)
2020-10-24 03:20:12 +0200Chi1thangoo(~Chi1thang@87.112.60.168) (Ping timeout: 260 seconds)
2020-10-24 03:21:13 +0200erolm_a(~erolm_a@62.18.213.68)
2020-10-24 03:25:05 +0200mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-10-24 03:25:14 +0200mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-24 03:27:14 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 03:27:45 +0200darjeeli1(~darjeelin@122.245.123.118) (Ping timeout: 240 seconds)
2020-10-24 03:28:56 +0200acidjnk_new3(~acidjnk@p200300d0c7237865d5c3bc452ffc90f6.dip0.t-ipconnect.de)
2020-10-24 03:30:07 +0200HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-10-24 03:30:07 +0200 <texasmynsted> What is the most common/best way to map a function to the first element of a tuple. I see in hoogle things like mapFst, and many others. I could also just write my own function...
2020-10-24 03:30:24 +0200 <texasmynsted> It feels like Control.Arrow might live in this space.
2020-10-24 03:30:52 +0200 <MarcelineVQ> first of Control.Arrow or Control.Bifunctor
2020-10-24 03:31:08 +0200 <MarcelineVQ> * Data.Bifunctor
2020-10-24 03:32:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 03:34:25 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22)
2020-10-24 03:34:28 +0200valdyn_(~valdyn@host-88-217-143-53.customer.m-online.net) (Ping timeout: 260 seconds)
2020-10-24 03:34:29 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-24 03:34:54 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-24 03:36:22 +0200 <texasmynsted> okay
2020-10-24 03:36:26 +0200ericsagnes(~ericsagne@2405:6580:0:5100:3075:fc1b:a06c:a2b3)
2020-10-24 03:37:00 +0200theelous3(~theelous3@unaffiliated/theelous3) (Read error: Connection reset by peer)
2020-10-24 03:37:15 +0200 <Squarism> ghoulguy, it took me ages, but with your help i finally was able to complete the "textual" getter function. Learned a bunch. https://paste.ofcode.org/TrYkpAdAC3BKSzy4mBNSSL
2020-10-24 03:38:13 +0200thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 03:38:58 +0200hackagehappstack-hsp 7.3.7.5 - Support for using HSP templates in Happstack https://hackage.haskell.org/package/happstack-hsp-7.3.7.5 (JeremyShaw)
2020-10-24 03:40:44 +0200 <texasmynsted> thank you
2020-10-24 03:44:42 +0200thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 03:45:14 +0200valdyn(~valdyn@host-88-217-143-53.customer.m-online.net)
2020-10-24 03:46:44 +0200erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 260 seconds)
2020-10-24 03:46:54 +0200erolm_a(~erolm_a@62.18.213.68)
2020-10-24 03:49:31 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 03:49:33 +0200 <Squarism> what is a popular "lens" library that doesn have a much dependencies as ordinary lens lib?
2020-10-24 03:50:06 +0200 <Squarism> i just got the impression "lens" had tons of dependencies
2020-10-24 03:52:32 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 03:52:51 +0200Wuzzy(~Wuzzy@p5790ef06.dip0.t-ipconnect.de) (Quit: Wuzzy)
2020-10-24 03:53:40 +0200mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-24 03:53:47 +0200xff0x(~fox@2001:1a81:530a:3a00:393a:8eae:c84c:d22c) (Ping timeout: 246 seconds)
2020-10-24 03:55:28 +0200texasmynsted(~texasmyns@185.240.246.92) (Read error: Connection reset by peer)
2020-10-24 03:55:51 +0200xff0x(~fox@2001:1a81:5345:9900:b354:bb80:32a4:609c)
2020-10-24 03:56:05 +0200texasmynsted(~texasmyns@185.240.246.92)
2020-10-24 03:56:19 +0200Amras(~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-10-24 03:56:40 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-24 03:57:34 +0200 <ghoulguy> Squarism: I'd suggest just using lens until you're comfortable with it and know what parts you like. After that you'll be able to assess what you don't mind giving up
2020-10-24 03:58:04 +0200 <ghoulguy> There are a few dependencies, but none of them are that big
2020-10-24 03:58:07 +0200 <Squarism> okok
2020-10-24 03:58:23 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 04:00:42 +0200 <Squarism> ghoulguy, as a follow up to the above problem. I think I actually would be better off to map String -> Lens, in order to both read and write values. Do you think it would be easy to use generics to spit out Maybe (<whatever lens type>)?
2020-10-24 04:02:04 +0200 <ghoulguy> You wouldn't make an actual Lens, you'd make a Traversal (a think that might not visit any data)
2020-10-24 04:02:45 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 04:03:04 +0200sw1nn(~sw1nn@2a00:23c6:2385:3a00:842c:7584:d43a:6b01) (Ping timeout: 244 seconds)
2020-10-24 04:03:04 +0200 <Squarism> okok what do you mean with "a think that might not visit any data"
2020-10-24 04:03:07 +0200 <Squarism> ?
2020-10-24 04:03:13 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22)
2020-10-24 04:03:18 +0200 <ghoulguy> The Nothing part of what you have
2020-10-24 04:03:30 +0200 <ghoulguy> when a particular path doesn't actually reach the value you're interested in
2020-10-24 04:03:44 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 04:04:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 04:05:43 +0200lagothrixGuest96355
2020-10-24 04:05:43 +0200Guest96355(~lagothrix@unaffiliated/lagothrix) (Killed (card.freenode.net (Nickname regained by services)))
2020-10-24 04:05:49 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-24 04:07:19 +0200 <texasmynsted> What is a reasonable way to combine these? https://gist.github.com/mmynsted/da7bc7a118ded64080d87208a0f5c798
2020-10-24 04:08:22 +0200 <texasmynsted> other comments welcome. I just want to improve and I have been looking at code too long today.
2020-10-24 04:08:55 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2020-10-24 04:09:00 +0200 <texasmynsted> I can't really recall the let/where details for inside a do block
2020-10-24 04:09:01 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-24 04:09:19 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 04:09:20 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 04:09:20 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 04:09:37 +0200christo(~chris@81.96.113.213)
2020-10-24 04:10:11 +0200 <Squarism> texasmynsted, im not haskell veteran. But I think it would help if you provide more context, types and background.
2020-10-24 04:10:51 +0200ryjm_matrix(~matrixirc@2600:4040:a009:6100:3adc:615b:70b5:b0c) (Quit: killed)
2020-10-24 04:10:58 +0200 <texasmynsted> I am just wanting to combine foo and bar
2020-10-24 04:11:20 +0200 <texasmynsted> foo is Rules UrlPairs
2020-10-24 04:11:31 +0200 <texasmynsted> bar is Rules ()
2020-10-24 04:11:58 +0200 <Squarism> you mean Rules is a semigroup / monoid?
2020-10-24 04:12:18 +0200 <texasmynsted> Rules --> https://jaspervdj.be/hakyll/reference/Hakyll-Core-Rules.html#t:Rules
2020-10-24 04:12:19 +0200Tario(~Tario@200.119.186.205) (Read error: Connection reset by peer)
2020-10-24 04:12:43 +0200Tario(~Tario@200.119.186.205)
2020-10-24 04:13:28 +0200 <texasmynsted> it forms a Monad, Functor, Applicative, and MonadMetaData if I am reading that right.
2020-10-24 04:15:13 +0200theDon(~td@muedsl-82-207-238-026.citykom.de) (Ping timeout: 246 seconds)
2020-10-24 04:15:39 +0200sw1nn(~sw1nn@2a00:23c6:2385:3a00:11be:8bb9:294d:1e35)
2020-10-24 04:16:34 +0200 <MarcelineVQ> bar uses foo, are you wanting to write one definition that replaces them entirely?
2020-10-24 04:16:46 +0200polyrain(~polyrain@58.161.83.164)
2020-10-24 04:17:16 +0200 <MarcelineVQ> *replaces foo and bar entirely
2020-10-24 04:17:22 +0200theDon(~td@muedsl-82-207-238-099.citykom.de)
2020-10-24 04:18:29 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-10-24 04:19:16 +0200 <Squarism> ghoulguy, you seem to have an obvious idea in your head there on how to accomplish my above problem. Could you just show a short signature of pseudo code for what you mean?
2020-10-24 04:21:22 +0200 <Squarism> or do you mean Traversal as in what is used by over / view in in lens lib?
2020-10-24 04:21:23 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-24 04:21:55 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-24 04:23:25 +0200 <MarcelineVQ> texasmynsted: you should be able to just insert the body you wrote for foo right into bar, e.g. https://gist.github.com/mmynsted/da7bc7a118ded64080d87208a0f5c798
2020-10-24 04:23:26 +0200wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 04:24:47 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-24 04:24:57 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-24 04:25:31 +0200 <Squarism> yeah, right. its a Traversal i want to make
2020-10-24 04:27:35 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 04:28:08 +0200wroathe_(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2020-10-24 04:28:54 +0200polyrain(~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 04:30:03 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22)
2020-10-24 04:36:07 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 04:38:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-24 04:39:39 +0200 <texasmynsted> yes replace both with a single function
2020-10-24 04:40:28 +0200 <texasmynsted> :-)
2020-10-24 04:40:34 +0200jlamothe(~jlamothe@198.251.55.207)
2020-10-24 04:40:59 +0200polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e)
2020-10-24 04:41:42 +0200howdoi(uid224@gateway/web/irccloud.com/x-giahkircsluozbqw) (Quit: Connection closed for inactivity)
2020-10-24 04:41:55 +0200 <texasmynsted> Nice thank you MarcelineVQ
2020-10-24 04:45:36 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 265 seconds)
2020-10-24 04:46:40 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 04:50:58 +0200hackagehappstack-jmacro 7.0.12.3 - Support for using JMacro with Happstack https://hackage.haskell.org/package/happstack-jmacro-7.0.12.3 (JeremyShaw)
2020-10-24 04:51:24 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds)
2020-10-24 04:52:27 +0200ystael(~ystael@209.6.50.55) (Read error: Connection reset by peer)
2020-10-24 04:52:57 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-24 04:55:08 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 04:59:06 +0200polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 04:59:33 +0200texasmynsted(~texasmyns@185.240.246.92) (Remote host closed the connection)
2020-10-24 05:00:01 +0200milky1(~milky@185.204.1.185) ()
2020-10-24 05:01:12 +0200burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net)
2020-10-24 05:03:27 +0200xff0x(~fox@2001:1a81:5345:9900:b354:bb80:32a4:609c) (Ping timeout: 260 seconds)
2020-10-24 05:05:02 +0200xff0x(~fox@2001:1a81:5355:300:8972:1637:b6e1:e69f)
2020-10-24 05:05:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 05:06:13 +0200burg_philo(~igloo@pool-100-33-61-227.nycmny.fios.verizon.net) (Ping timeout: 264 seconds)
2020-10-24 05:06:45 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-10-24 05:08:22 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds)
2020-10-24 05:10:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-10-24 05:11:26 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 256 seconds)
2020-10-24 05:12:04 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2020-10-24 05:12:37 +0200mbomba(~mbomba@142.114.9.241)
2020-10-24 05:16:10 +0200lagothrix(~lagothrix@unaffiliated/lagothrix) (Killed (tolkien.freenode.net (Nickname regained by services)))
2020-10-24 05:16:16 +0200lagothrix(~lagothrix@unaffiliated/lagothrix)
2020-10-24 05:23:28 +0200erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 246 seconds)
2020-10-24 05:24:19 +0200erolm_a(~erolm_a@62.18.213.68)
2020-10-24 05:25:50 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-24 05:26:37 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-24 05:27:49 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 264 seconds)
2020-10-24 05:33:08 +0200 <jtmar> is it possible to define a pattern that works against multiple types? it looks like associated pattern synonyms were never implemented so I'm wondering if there's an alternative
2020-10-24 05:33:47 +0200erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 260 seconds)
2020-10-24 05:34:34 +0200erolm_a(~erolm_a@62.18.213.68)
2020-10-24 05:38:16 +0200theDon(~td@muedsl-82-207-238-099.citykom.de) (Ping timeout: 260 seconds)
2020-10-24 05:39:37 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-10-24 05:39:53 +0200theDon(~td@muedsl-82-207-238-136.citykom.de)
2020-10-24 05:40:47 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 05:41:41 +0200thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 05:42:26 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:ddbf:5d40:c0b8:ea22) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 05:43:52 +0200solonarv(~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-24 05:44:11 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-24 05:44:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 05:45:05 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2020-10-24 05:46:17 +0200thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 05:46:23 +0200hololeap(~hololeap@unaffiliated/hololeap)
2020-10-24 05:49:47 +0200 <c_wraith> jtmar: nope. but you can do the dual, by defining an eliminator in a class
2020-10-24 05:50:54 +0200 <jtmar> alright then. thanks.
2020-10-24 05:51:04 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-24 05:51:56 +0200nados(~dan@69-165-210-185.cable.teksavvy.com) (Quit: Leaving)
2020-10-24 05:58:15 +0200vacm(~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 05:58:38 +0200 <dolio> You can, actually.
2020-10-24 05:59:18 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 05:59:42 +0200 <jtmar> how?
2020-10-24 05:59:45 +0200erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 240 seconds)
2020-10-24 06:00:00 +0200erolm_a(~erolm_a@62.18.213.68)
2020-10-24 06:00:01 +0200 <dolio> https://paste.tomsmeding.com/d8CFDh3q
2020-10-24 06:00:22 +0200Rudd0(~Rudd0@185.189.115.108)
2020-10-24 06:02:05 +0200nshepperd2(~nshepperd@gorgon.zlkj.in) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 06:02:53 +0200 <dolio> Instead of an associated pattern you'd define an overloaded test function, and alias a view pattern using the test function.
2020-10-24 06:03:56 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-24 06:04:50 +0200nshepperd2(~nshepperd@li364-218.members.linode.com)
2020-10-24 06:06:42 +0200cp-(~cp-@b157153.ppp.asahi-net.or.jp) (Quit: Disappeared in a puff of smoke)
2020-10-24 06:07:54 +0200elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 06:09:28 +0200cp-(~cp-@b157153.ppp.asahi-net.or.jp)
2020-10-24 06:09:28 +0200Tario(~Tario@200.119.186.205) (Read error: Connection reset by peer)
2020-10-24 06:12:22 +0200Tario(~Tario@201.192.165.173)
2020-10-24 06:12:37 +0200jlamothe(~jlamothe@198.251.55.207) (Quit: leaving)
2020-10-24 06:12:43 +0200 <Squarism> Im not sure I can understand this. https://paste.ofcode.org/iUBMHtVdk2DQtBvxmZzayb
2020-10-24 06:12:44 +0200falafel_(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-24 06:13:12 +0200 <Squarism> type of "preview ( ff2 . _Just . ee1 )" is not even a function, but it can be applied to c3
2020-10-24 06:13:57 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-24 06:15:49 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-24 06:17:51 +0200jlamothe(~jlamothe@198.251.55.207)
2020-10-24 06:18:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-24 06:19:47 +0200 <jtmar> wow, what an awful hack! it works perfectly. I love it.
2020-10-24 06:20:03 +0200 <hololeap> Squarism: Getting r s a = (a -> Const r a) -> s -> Const r s
2020-10-24 06:20:56 +0200 <jtmar> only took 34 lines of code to overload two patterns for two types ;)
2020-10-24 06:20:58 +0200 <hololeap> so, `preview (ff2 . _Just . ee1)` _is_ a function that takes an `s` argument
2020-10-24 06:21:26 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2020-10-24 06:25:05 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-24 06:25:49 +0200 <MarcelineVQ> Squarism: consider fmap where the Functor is chosen to be a partially applied function type, i.e. where we take f and substitute (r ->): fmap :: Functor f => (a -> b) -> f a -> f b to fmap :: (a -> b) -> (r -> a) -> (r -> b) m can be chosen similarly
2020-10-24 06:30:01 +0200amagi(~amagi@113.101.23.223) (Quit: Lost terminal)
2020-10-24 06:31:59 +0200 <Squarism> im gonna need to digest this
2020-10-24 06:33:54 +0200conal(~conal@64.71.133.70)
2020-10-24 06:34:36 +0200 <MarcelineVQ> Directly pure 'c' :: Applicative f => f Char but
2020-10-24 06:34:42 +0200 <MarcelineVQ> :t pure 'c' `asAppliedTo` 2
2020-10-24 06:34:43 +0200 <lambdabot> Num a => a -> Char
2020-10-24 06:34:57 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 06:35:47 +0200 <MarcelineVQ> :t pure 'c' `asAppliedTo` (2 :: Int) -- or more directly. f is chosen as Int ->
2020-10-24 06:35:48 +0200 <lambdabot> Int -> Char
2020-10-24 06:39:04 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-24 06:40:08 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-24 06:40:38 +0200erolm_a(~erolm_a@62.18.213.68) (Ping timeout: 265 seconds)
2020-10-24 06:41:22 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-24 06:43:09 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 260 seconds)
2020-10-24 06:44:53 +0200day(~Unknown@unaffiliated/day)
2020-10-24 06:45:20 +0200nshepperd2(~nshepperd@li364-218.members.linode.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 06:46:19 +0200nshepperd2(~nshepperd@li364-218.members.linode.com)
2020-10-24 06:46:42 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 06:50:37 +0200elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2020-10-24 06:52:00 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 06:52:59 +0200jbox(~atlas@unaffiliated/jbox)
2020-10-24 07:04:50 +0200vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-24 07:09:23 +0200tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net)
2020-10-24 07:10:58 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 07:11:31 +0200tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2020-10-24 07:11:48 +0200tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net)
2020-10-24 07:12:06 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 07:12:45 +0200tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2020-10-24 07:13:54 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-24 07:13:56 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-24 07:17:36 +0200nshepperd1(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 07:17:59 +0200nshepperd(~nshepperd@gorgon.zlkj.in) (Quit: WeeChat 2.9)
2020-10-24 07:18:06 +0200nshepperd1(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 07:18:16 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 07:19:38 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 07:20:15 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 07:20:34 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 07:23:20 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 07:23:41 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 07:23:51 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 07:25:27 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 07:25:35 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 265 seconds)
2020-10-24 07:26:17 +0200day(~Unknown@unaffiliated/day)
2020-10-24 07:27:32 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 260 seconds)
2020-10-24 07:29:02 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 07:31:05 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2020-10-24 07:31:18 +0200day_(~Unknown@unaffiliated/day)
2020-10-24 07:31:30 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: WeeChat 2.9)
2020-10-24 07:31:40 +0200day(~Unknown@unaffiliated/day) (Ping timeout: 260 seconds)
2020-10-24 07:31:46 +0200day_day
2020-10-24 07:32:19 +0200 <hololeap> : fmap (++ " is the number") show 4
2020-10-24 07:32:22 +0200 <hololeap> :t fmap (++ " is the number") show 4
2020-10-24 07:32:24 +0200 <lambdabot> [Char]
2020-10-24 07:32:29 +0200 <hololeap> > fmap (++ " is the number") show 4
2020-10-24 07:32:31 +0200 <lambdabot> "4 is the number"
2020-10-24 07:33:32 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds)
2020-10-24 07:35:17 +0200mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-24 07:36:01 +0200openstackstatus1(~openstack@94.229.74.91)
2020-10-24 07:38:25 +0200Kolkrabe(~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-24 07:38:35 +0200 <sureyeaah> How can I create a named socket in unix?
2020-10-24 07:38:56 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 07:39:43 +0200Tario(~Tario@201.192.165.173)
2020-10-24 07:40:57 +0200hackagegoogle-server-api 0.3.3.1 - Google APIs for server to server applications https://hackage.haskell.org/package/google-server-api-0.3.3.1 (arowM)
2020-10-24 07:41:47 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2020-10-24 07:42:19 +0200thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 07:45:07 +0200sureyeaahsent a long message: < https://matrix.org/_matrix/media/r0/download/matrix.org/nOXlbNDHbFYDdoFCbhdcMctI/message.txt >
2020-10-24 07:45:30 +0200 <sureyeaah> ```No instance for (Protocol Unix) arising from a use of socket```
2020-10-24 07:46:26 +0200wei2912(~wei2912@unaffiliated/wei2912)
2020-10-24 07:46:47 +0200thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 07:47:11 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-24 07:47:29 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-24 07:50:24 +0200carlomagno(~cararell@148.87.23.13) (Quit: Leaving.)
2020-10-24 07:52:25 +0200how_does_this_wo(3263cbdb@50.99.203.219)
2020-10-24 07:52:42 +0200christo(~chris@81.96.113.213)
2020-10-24 07:52:49 +0200 <how_does_this_wo> hey! I'm probably thinking about this wrong, but I'm trying to implement a function
2020-10-24 07:53:03 +0200 <how_does_this_wo> parse :: String -> [String]
2020-10-24 07:53:33 +0200 <sureyeaah> I tried `socket :: IO (Socket Unix Stream Default)` and that works. But I'm still not able to create the file based socket.
2020-10-24 07:53:51 +0200 <how_does_this_wo> where it searches the string for valid patterns and then returns a list of everything it can parse out, and I want to create it lazily obviously so I can stream in the data, so is there a way to yield in parse?
2020-10-24 07:54:16 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 07:54:46 +0200 <how_does_this_wo> cause the only other way I can think of doing it is consing the newest parsed element to the front of the list, piping it through a reverse, and then processing it
2020-10-24 07:55:14 +0200 <how_does_this_wo> but I don't think in that case the laziness can be of any advantage
2020-10-24 07:55:24 +0200atriqTaneb
2020-10-24 07:55:35 +0200 <how_does_this_wo> parse :: [String] -> [String] **
2020-10-24 07:59:37 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 08:00:02 +0200openstackstatus1(~openstack@94.229.74.91) ()
2020-10-24 08:00:02 +0200 <sureyeaah> probably use something like scanl?
2020-10-24 08:00:09 +0200 <sureyeaah> how_does_this_wo:
2020-10-24 08:00:13 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 08:04:45 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 08:05:59 +0200junjie(~Thunderbi@112.49.232.164)
2020-10-24 08:08:10 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 258 seconds)
2020-10-24 08:09:15 +0200how_does_this_wo(3263cbdb@50.99.203.219) (Remote host closed the connection)
2020-10-24 08:13:22 +0200mbomba(~mbomba@142.114.9.241)
2020-10-24 08:15:08 +0200taurux(~taurux@net-188-152-78-51.cust.dsl.teletu.it)
2020-10-24 08:15:49 +0200tito_04(~taurux@net-188-152-78-51.cust.dsl.teletu.it) (Ping timeout: 264 seconds)
2020-10-24 08:17:57 +0200acidjnk_new3(~acidjnk@p200300d0c7237865d5c3bc452ffc90f6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 08:20:00 +0200mbomba(~mbomba@142.114.9.241) (Quit: WeeChat 2.9)
2020-10-24 08:23:10 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 08:27:34 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2020-10-24 08:28:47 +0200Quarl(~Quarl@94.191.136.110.mobile.tre.se)
2020-10-24 08:28:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 08:29:14 +0200sfvm(~sfvm@37.228.215.148) (Remote host closed the connection)
2020-10-24 08:32:00 +0200christo(~chris@81.96.113.213)
2020-10-24 08:32:09 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 08:34:13 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-24 08:37:00 +0200falafel_(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 260 seconds)
2020-10-24 08:37:05 +0200ggole(~ggole@2001:8003:8119:7200:f40c:8454:96a4:4e08)
2020-10-24 08:38:34 +0200falafel_(~falafel@71-34-132-121.clsp.qwest.net)
2020-10-24 08:42:58 +0200nshepperd2(~nshepperd@li364-218.members.linode.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 08:42:58 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Quit: WeeChat 2.9)
2020-10-24 08:44:02 +0200nshepperd(~nshepperd@li364-218.members.linode.com)
2020-10-24 08:44:09 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-24 08:45:16 +0200nshepperd2(~nshepperd@li364-218.members.linode.com)
2020-10-24 08:46:25 +0200nshepperd(~nshepperd@li364-218.members.linode.com) (Client Quit)
2020-10-24 08:46:25 +0200toorevitimirp(~tooreviti@117.182.180.83) (Ping timeout: 264 seconds)
2020-10-24 08:46:41 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 08:47:07 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (Client Quit)
2020-10-24 08:50:03 +0200nshepperd(nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
2020-10-24 08:58:06 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-24 09:01:15 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 09:01:22 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 09:07:14 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-10-24 09:14:20 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-24 09:15:53 +0200Lord_of_Life(~Lord@46.217.218.96) (Changing host)
2020-10-24 09:15:53 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-24 09:17:53 +0200knupfer(~Thunderbi@i59F7FF06.versanet.de)
2020-10-24 09:19:22 +0200revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 246 seconds)
2020-10-24 09:20:32 +0200revprez_anzio(~revprez_a@pool-108-49-213-40.bstnma.fios.verizon.net)
2020-10-24 09:21:39 +0200polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e)
2020-10-24 09:22:27 +0200knupfer(~Thunderbi@i59F7FF06.versanet.de) (Ping timeout: 260 seconds)
2020-10-24 09:25:19 +0200CMCDragonkai1(~Thunderbi@124.19.3.250)
2020-10-24 09:25:42 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 09:26:24 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-24 09:29:10 +0200pabelanger1(~pabelange@185.244.214.217)
2020-10-24 09:32:27 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 09:34:05 +0200ps-auxw(~arneb@p548c6f52.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-24 09:34:23 +0200ps-auxw(~arneb@p548c6f52.dip0.t-ipconnect.de)
2020-10-24 09:36:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 09:37:35 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 09:38:35 +0200jedws(~jedws@101.184.148.229)
2020-10-24 09:40:56 +0200jedws(~jedws@101.184.148.229) (Client Quit)
2020-10-24 09:42:37 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 09:42:48 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-24 09:43:50 +0200GyroW(~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-24 09:44:07 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 09:44:07 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 09:44:07 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 09:44:37 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-24 09:50:36 +0200tefter(~bmaxa@87.250.59.115)
2020-10-24 09:50:47 +0200irc_user(uid423822@gateway/web/irccloud.com/x-alxceqcksustqekt) (Quit: Connection closed for inactivity)
2020-10-24 10:00:08 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 10:01:07 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 10:03:24 +0200jedws(~jedws@101.184.148.229)
2020-10-24 10:06:10 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-10-24 10:08:29 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-24 10:08:44 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 10:11:23 +0200ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-24 10:12:40 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-24 10:13:25 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-10-24 10:14:46 +0200Varis(~Tadas@unaffiliated/varis)
2020-10-24 10:20:59 +0200chaosmasttter(~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de)
2020-10-24 10:21:43 +0200Franciman(~francesco@host-82-54-10-114.retail.telecomitalia.it)
2020-10-24 10:22:28 +0200is_null(~jpic@pdpc/supporter/professional/is-null) (Ping timeout: 260 seconds)
2020-10-24 10:22:59 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2020-10-24 10:23:02 +0200m0rphism(~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de)
2020-10-24 10:26:15 +0200jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-24 10:28:49 +0200jbox(~atlas@unaffiliated/jbox) (Quit: WeeChat 2.9)
2020-10-24 10:28:52 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2020-10-24 10:29:12 +0200jb55(~jb55@gateway/tor-sasl/jb55)
2020-10-24 10:29:25 +0200falafel_(~falafel@71-34-132-121.clsp.qwest.net) (Ping timeout: 240 seconds)
2020-10-24 10:32:05 +0200mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 240 seconds)
2020-10-24 10:34:13 +0200hwabyong(~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com) (Ping timeout: 258 seconds)
2020-10-24 10:34:41 +0200bjs(sid190364@gateway/web/irccloud.com/x-vnofeissxqqkjger) (Ping timeout: 272 seconds)
2020-10-24 10:34:41 +0200graingert(sid128301@gateway/web/irccloud.com/x-yfujwzpliujjotpd) (Ping timeout: 272 seconds)
2020-10-24 10:35:19 +0200metadave(sid28102@gateway/web/irccloud.com/x-homnjybqfevkpyxd) (Ping timeout: 272 seconds)
2020-10-24 10:35:28 +0200metadave(sid28102@gateway/web/irccloud.com/x-usvwvhrdpncruziq)
2020-10-24 10:35:57 +0200ullbeking(sid5364@gateway/web/irccloud.com/x-bvgsyttfzmvalseg) (Ping timeout: 272 seconds)
2020-10-24 10:36:19 +0200bjs(sid190364@gateway/web/irccloud.com/x-gblpydmbtrekwhlk)
2020-10-24 10:36:35 +0200ibloom(sid350277@gateway/web/irccloud.com/x-dcwoytmmqgioqvdo) (Ping timeout: 272 seconds)
2020-10-24 10:36:35 +0200johs(sid246410@gateway/web/irccloud.com/x-jrsdwkwqkuyhnhvg) (Ping timeout: 272 seconds)
2020-10-24 10:36:35 +0200FMJz____(sid279245@gateway/web/irccloud.com/x-vztbmrxtdakgkjkm) (Ping timeout: 272 seconds)
2020-10-24 10:36:35 +0200betawaffle(sid2730@gateway/web/irccloud.com/x-wghvolpocwqebnnh) (Ping timeout: 272 seconds)
2020-10-24 10:37:01 +0200FMJz____(sid279245@gateway/web/irccloud.com/x-uxwggzqsvvuxwnvv)
2020-10-24 10:37:03 +0200graingert(sid128301@gateway/web/irccloud.com/x-tezmjotwcjxceyfv)
2020-10-24 10:37:13 +0200davetapley(sid666@gateway/web/irccloud.com/x-jnosdhgzusdwtedt) (Ping timeout: 272 seconds)
2020-10-24 10:37:24 +0200brettgilio_(~brettgili@brettgilio.com)
2020-10-24 10:37:31 +0200ibloom(sid350277@gateway/web/irccloud.com/x-ccblpzopmwnfxhss)
2020-10-24 10:37:47 +0200johs(sid246410@gateway/web/irccloud.com/x-eafdufqmtlcqylai)
2020-10-24 10:37:51 +0200constR(uid58205@gateway/web/irccloud.com/x-kmhanpixnsfkszux) (Ping timeout: 272 seconds)
2020-10-24 10:37:51 +0200integral(sid296274@p3m/member/integral) (Ping timeout: 272 seconds)
2020-10-24 10:38:20 +0200betawaffle(sid2730@gateway/web/irccloud.com/x-ikvihwtbnolnoplp)
2020-10-24 10:38:30 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 10:38:39 +0200hwabyong(~hwabyong@ec2-3-221-194-167.compute-1.amazonaws.com)
2020-10-24 10:38:41 +0200ullbeking(sid5364@gateway/web/irccloud.com/x-bnsgobzuoimopxhi)
2020-10-24 10:39:07 +0200darthThorik(sid39589@gateway/web/irccloud.com/x-dsmbkpzrbucgxzyp) (Ping timeout: 272 seconds)
2020-10-24 10:39:07 +0200rslima_____(sid26145@gateway/web/irccloud.com/x-umtfqvjespivtrcw) (Ping timeout: 272 seconds)
2020-10-24 10:39:07 +0200sclv(sid39734@haskell/developer/sclv) (Ping timeout: 272 seconds)
2020-10-24 10:39:11 +0200davetapley(sid666@gateway/web/irccloud.com/x-unkevmoregbjgeww)
2020-10-24 10:39:45 +0200scav(sid309693@gateway/web/irccloud.com/x-zlttbvsvkfeaapza) (Ping timeout: 272 seconds)
2020-10-24 10:39:47 +0200noan(~noan@2604:a880:400:d0::12fc:5001) (Remote host closed the connection)
2020-10-24 10:40:01 +0200constR(uid58205@gateway/web/irccloud.com/x-ftkkhevjqihigodw)
2020-10-24 10:40:04 +0200integral(sid296274@p3m/member/integral)
2020-10-24 10:40:15 +0200noan(~noan@2604:a880:400:d0::12fc:5001)
2020-10-24 10:40:23 +0200Kamuela(sid111576@gateway/web/irccloud.com/x-uwnwrtcyskakfxsa) (Ping timeout: 272 seconds)
2020-10-24 10:40:25 +0200rslima_____(sid26145@gateway/web/irccloud.com/x-svaniiqnbyfvpeqv)
2020-10-24 10:40:29 +0200sclv(sid39734@haskell/developer/sclv)
2020-10-24 10:40:44 +0200brettgilio(~brettgili@brettgilio.com) (Ping timeout: 258 seconds)
2020-10-24 10:41:01 +0200lally(sid388228@gateway/web/irccloud.com/x-gjvzovhllmqfgnqi) (Ping timeout: 272 seconds)
2020-10-24 10:41:01 +0200ProofTechnique(sid79547@gateway/web/irccloud.com/x-hfhkxxflhnjauuaj) (Ping timeout: 272 seconds)
2020-10-24 10:41:38 +0200darthThorik(sid39589@gateway/web/irccloud.com/x-tjuwgtcbctwqnxiv)
2020-10-24 10:41:39 +0200jonrh(sid5185@gateway/web/irccloud.com/x-aveafoxnyeedadix) (Ping timeout: 272 seconds)
2020-10-24 10:41:41 +0200jedws(~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 10:42:07 +0200jonrh(sid5185@gateway/web/irccloud.com/x-rqaikalmtlmunorz)
2020-10-24 10:42:13 +0200scav(sid309693@gateway/web/irccloud.com/x-techevumsipyqxlk)
2020-10-24 10:42:17 +0200cemerick(sid54985@gateway/web/irccloud.com/x-ykavyokceegcyoba) (Ping timeout: 272 seconds)
2020-10-24 10:42:17 +0200feepo(sid28508@gateway/web/irccloud.com/x-cypejpxsoagndzmj) (Ping timeout: 272 seconds)
2020-10-24 10:42:48 +0200ProofTechnique(sid79547@gateway/web/irccloud.com/x-vnrlcoxvuyddydfi)
2020-10-24 10:42:55 +0200hamishmack(sid389057@gateway/web/irccloud.com/x-rcfovoglewntmycy) (Ping timeout: 272 seconds)
2020-10-24 10:43:04 +0200Kamuela(sid111576@gateway/web/irccloud.com/x-sdeipatzzilccgnx)
2020-10-24 10:43:32 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-24 10:43:33 +0200bitonic(sid61915@gateway/web/irccloud.com/x-jzojjanuxnkhjyaf) (Ping timeout: 272 seconds)
2020-10-24 10:43:37 +0200lally(sid388228@gateway/web/irccloud.com/x-iepgjmxehrzuvipm)
2020-10-24 10:43:40 +0200vqrs(~vqrs@learnprogramming/regular/vqrs) (Ping timeout: 272 seconds)
2020-10-24 10:44:11 +0200jared-w(uid405292@gateway/web/irccloud.com/x-zblwaowsatpvgcgl) (Ping timeout: 272 seconds)
2020-10-24 10:44:11 +0200nh2(sid309956@gateway/web/irccloud.com/x-pqceayhznxhzktfg) (Ping timeout: 272 seconds)
2020-10-24 10:44:17 +0200aarvar(~foewfoiew@50.35.43.33) (Ping timeout: 256 seconds)
2020-10-24 10:44:44 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 10:44:49 +0200Cir0X(sid221743@gateway/web/irccloud.com/x-qlritdmlnfgwpmoo) (Ping timeout: 272 seconds)
2020-10-24 10:45:00 +0200cemerick(sid54985@gateway/web/irccloud.com/x-gqtgtcmcxeexxtnf)
2020-10-24 10:45:01 +0200feepo(sid28508@gateway/web/irccloud.com/x-borbcotgfarenzum)
2020-10-24 10:45:01 +0200__skn-(~sunil@2001:19f0:5:701:5400:ff:fe7c:4e5c)
2020-10-24 10:45:10 +0200jared-w(uid405292@gateway/web/irccloud.com/x-hoqehiufvhduodif)
2020-10-24 10:45:24 +0200vqrs(~vqrs@learnprogramming/regular/vqrs)
2020-10-24 10:45:27 +0200trumpsec(uid470694@gateway/web/irccloud.com/x-bcsxyysvhhhgwdok) (Ping timeout: 272 seconds)
2020-10-24 10:45:27 +0200feepo(sid28508@gateway/web/irccloud.com/x-borbcotgfarenzum) (Excess Flood)
2020-10-24 10:45:47 +0200__skn(~sunil@2001:19f0:5:701:5400:ff:fe7c:4e5c) (Quit: ZNC 1.8.2 - https://znc.in)
2020-10-24 10:45:55 +0200bitonic(sid61915@gateway/web/irccloud.com/x-lieuqfwkxlflylio)
2020-10-24 10:45:57 +0200feepo(sid28508@gateway/web/irccloud.com/x-egbgmiozjxqiqiea)
2020-10-24 10:46:08 +0200hamishmack(sid389057@gateway/web/irccloud.com/x-ncidighjmedmicss)
2020-10-24 10:46:17 +0200nh2(sid309956@gateway/web/irccloud.com/x-qvjqdxrjegrjwybj)
2020-10-24 10:46:42 +0200trumpsec(uid470694@gateway/web/irccloud.com/x-vmczzfmprshkgkkv)
2020-10-24 10:46:54 +0200Cir0X(sid221743@gateway/web/irccloud.com/x-sfiedvvxkgjnutkr)
2020-10-24 10:46:55 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-24 10:47:06 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-24 10:47:06 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-24 10:47:06 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 10:47:15 +0200blackdog(~blackdog@198.211.112.85) (Ping timeout: 258 seconds)
2020-10-24 10:47:59 +0200blackdog(~blackdog@198.211.112.85)
2020-10-24 10:56:17 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-24 10:57:29 +0200xff0x(~fox@2001:1a81:5355:300:8972:1637:b6e1:e69f) (Ping timeout: 272 seconds)
2020-10-24 10:58:12 +0200xff0x(~fox@2001:1a81:5355:300:5f2f:52e1:2071:f783)
2020-10-24 11:00:03 +0200pabelanger1(~pabelange@185.244.214.217) ()
2020-10-24 11:03:43 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2020-10-24 11:05:43 +0200Unhammer(~Unhammer@gateway/tor-sasl/unhammer)
2020-10-24 11:06:33 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-hspucayepdiagala) (Quit: Connection closed for inactivity)
2020-10-24 11:06:33 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 11:10:29 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-24 11:11:02 +0200AlterEgo-(~ladew@124-198-158-163.dynamic.caiway.nl)
2020-10-24 11:12:35 +0200bitmagie(~Thunderbi@200116b80696a200e9f8d5f03ffadb0f.dip.versatel-1u1.de)
2020-10-24 11:13:21 +0200fendor(~fendor@178.115.130.82.wireless.dyn.drei.com)
2020-10-24 11:15:29 +0200constR(uid58205@gateway/web/irccloud.com/x-ftkkhevjqihigodw) (Quit: Connection closed for inactivity)
2020-10-24 11:20:32 +0200danvet_(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-24 11:21:10 +0200ericholscher(~ericholsc@185.163.110.116)
2020-10-24 11:21:32 +0200ixlun(~matthew@213.205.241.94)
2020-10-24 11:22:55 +0200 <ixlun> Hi all, does anyone know why cabal isn't compiling for profiling when I use: `cabal v2-run -p --profiling-detail=all-functions hchess'?
2020-10-24 11:23:34 +0200 <ixlun> all my code recompiled as well as the libraries that it depended on, but when I run with `+RTS -p' I get: `cabal: the flag -p requires the program to be built with -prof'
2020-10-24 11:29:57 +0200 <ixlun> Never mind - I think I've fixed it with `v2-configure'
2020-10-24 11:31:05 +0200christo(~chris@81.96.113.213)
2020-10-24 11:35:13 +0200mnrmnaughmnrgle(~mnrmnaugh@unaffiliated/mnrmnaugh)
2020-10-24 11:36:16 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-24 11:36:47 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-10-24 11:37:21 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 11:37:21 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 11:37:21 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-24 11:37:58 +0200inkbottle(~inkbottle@aaubervilliers-654-1-75-206.w86-212.abo.wanadoo.fr)
2020-10-24 11:38:05 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds)
2020-10-24 11:38:05 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 11:38:37 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-110.w86-212.abo.wanadoo.fr) (Ping timeout: 258 seconds)
2020-10-24 11:43:07 +0200notnatebtw(~nate@110.138.18.157) (Quit: WeeChat 2.9)
2020-10-24 11:43:18 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 11:43:48 +0200thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de)
2020-10-24 11:44:35 +0200acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de)
2020-10-24 11:46:29 +0200is_null(~jpic@pdpc/supporter/professional/is-null)
2020-10-24 11:48:32 +0200thir(~thir@p200300f27f252300b8898b7d64cc66dd.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 11:59:41 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 12:01:59 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 12:05:47 +0200chaosmasttter(~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 12:06:48 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-10-24 12:11:37 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds)
2020-10-24 12:12:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 12:16:26 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-24 12:27:26 +0200alp(~alp@2a01:e0a:58b:4920:11:ee7e:2b2d:85c9)
2020-10-24 12:30:58 +0200hackageukrainian-phonetics-basic 0.1.2.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.1.2.0 (OleksandrZhabenko)
2020-10-24 12:32:54 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-24 12:34:00 +0200shatriff(~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-10-24 12:34:59 +0200bitmagie(~Thunderbi@200116b80696a200e9f8d5f03ffadb0f.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-24 12:35:47 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 12:35:54 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 12:36:03 +0200darjeeling_(~darjeelin@122.245.123.118)
2020-10-24 12:39:55 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 12:40:25 +0200CMCDragonkai1(~Thunderbi@124.19.3.250) (Ping timeout: 240 seconds)
2020-10-24 12:42:26 +0200polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 12:43:03 +0200polyrain(~polyrain@58.161.83.164)
2020-10-24 12:44:05 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2020-10-24 12:47:41 +0200alp(~alp@2a01:e0a:58b:4920:11:ee7e:2b2d:85c9) (Ping timeout: 272 seconds)
2020-10-24 12:48:24 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-24 12:49:26 +0200moy(5a319fdb@lfbn-nan-1-68-219.w90-49.abo.wanadoo.fr)
2020-10-24 12:49:43 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 246 seconds)
2020-10-24 12:49:51 +0200moyGuest54698
2020-10-24 12:50:11 +0200 <Guest54698> Hello o/ I have very basic questions about Haskell arrays, but i kind find the answer on the internet... Is there any simple guide about basic usage of arrays in haskells ?
2020-10-24 12:50:28 +0200 <Guest54698> (my questions are for exemple, how to get an array length, how to append an item into an array, etc...)
2020-10-24 12:50:30 +0200afwingnut(~af_wingnu@ip174-79-2-139.mc.at.cox.net)
2020-10-24 12:50:47 +0200 <Guest54698> can't find*
2020-10-24 12:50:48 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net)
2020-10-24 12:50:48 +0200ClaudiusMaximus(~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-10-24 12:50:48 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus)
2020-10-24 12:51:26 +0200afwingnut(~af_wingnu@ip174-79-2-139.mc.at.cox.net) ()
2020-10-24 12:51:35 +0200 <Guest54698> (im talking about actual Arrays, indexed list, List are pretty easy to apprehend until now)
2020-10-24 12:51:38 +0200Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2020-10-24 12:52:05 +0200 <Rembane> Guest54698: From which module do you import your arrays?
2020-10-24 12:53:12 +0200 <Guest54698> Data.Array for now, but i have no restrictions about it
2020-10-24 12:53:40 +0200 <Guest54698> if there is a better/more modern implementation
2020-10-24 12:55:28 +0200 <Rembane> Guest54698: Data.Vector has a much nicer API in my opinion. https://hackage.haskell.org/package/vector-0.12.1.2
2020-10-24 12:56:44 +0200 <Guest54698> im expecting to use string as indexes, not int
2020-10-24 12:56:59 +0200 <Guest54698> but i will check the vector API for another usage for sure, didnt know about it
2020-10-24 13:03:22 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds)
2020-10-24 13:03:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-24 13:04:54 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 13:06:45 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-24 13:11:39 +0200__monty__(~toonn@unaffiliated/toonn)
2020-10-24 13:12:15 +0200 <Guest54698> i would like to have a list of entities indexed by their string ids
2020-10-24 13:14:27 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2020-10-24 13:15:36 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-24 13:19:06 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net)
2020-10-24 13:19:32 +0200xff0x(~fox@2001:1a81:5355:300:5f2f:52e1:2071:f783) (Ping timeout: 260 seconds)
2020-10-24 13:20:24 +0200xff0x(~fox@2001:1a81:5355:300:36b0:bb39:8493:75d8)
2020-10-24 13:20:59 +0200merby(~ilgaz@176.43.211.208)
2020-10-24 13:21:22 +0200 <merby> hello
2020-10-24 13:22:13 +0200 <Uniaika> heya
2020-10-24 13:22:54 +0200 <merby> first time joining #haskell, seems great!
2020-10-24 13:24:02 +0200Deide(~Deide@217.155.19.23)
2020-10-24 13:26:38 +0200 <__monty__> 't is, merby, 't is.
2020-10-24 13:30:26 +0200alp(~alp@2a01:e0a:58b:4920:dcdd:3edb:3a8b:e055)
2020-10-24 13:31:07 +0200 <nitrix> merby, The channel can get pretty busy during the day, but that shouldn't discourage you from asking questions :)
2020-10-24 13:32:04 +0200 <merijn> Guest54698: Don't you just want a Map, then?
2020-10-24 13:32:48 +0200 <merijn> Guest54698: Data.Map from containers would be the equivalent of python dictionaries/C++'s std::map and probably what you want with string indices :)
2020-10-24 13:35:18 +0200MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-24 13:37:10 +0200MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 13:38:03 +0200merby(~ilgaz@176.43.211.208) (Quit: leaving)
2020-10-24 13:46:10 +0200texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 13:49:02 +0200rprije(~rprije@194-193-168-77.tpgi.com.au) (Ping timeout: 260 seconds)
2020-10-24 13:49:48 +0200Quarl(~Quarl@94.191.136.110.mobile.tre.se) (Quit: Leaving.)
2020-10-24 13:50:20 +0200knupfer1(~Thunderbi@i59F7FF06.versanet.de)
2020-10-24 13:50:23 +0200ericsagnes(~ericsagne@2405:6580:0:5100:3075:fc1b:a06c:a2b3) (Ping timeout: 272 seconds)
2020-10-24 13:50:48 +0200geekosaur(ac3a3ed7@172.58.62.215)
2020-10-24 13:51:54 +0200wei2912(~wei2912@unaffiliated/wei2912)
2020-10-24 13:54:11 +0200alp(~alp@2a01:e0a:58b:4920:dcdd:3edb:3a8b:e055) (Ping timeout: 272 seconds)
2020-10-24 13:59:07 +0200texasmynsted(~texasmyns@62.182.99.148) (Remote host closed the connection)
2020-10-24 13:59:47 +0200djellemah(~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-24 13:59:54 +0200texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 14:00:01 +0200ericholscher(~ericholsc@185.163.110.116) ()
2020-10-24 14:02:17 +0200ericsagnes(~ericsagne@2405:6580:0:5100:551f:7c48:a755:a572)
2020-10-24 14:02:48 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 14:04:49 +0200texasmynsted(~texasmyns@62.182.99.148) (Ping timeout: 265 seconds)
2020-10-24 14:05:36 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 14:05:44 +0200 <Guest54698> merijn it seems that its exactly what i needed indeed :o thank you. For information. haskell array can be indexed with any kind of value right ? Im a bit confused about it now.
2020-10-24 14:06:55 +0200 <merijn> Guest54698: The Array type from Data.Array supports indexing via any type that has an Ix class, so while you *can* theoretically index it using String, but it's not really designed for that
2020-10-24 14:07:25 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 14:07:26 +0200 <merijn> Array is mostly designed for numeric indices (or tuples of numbers)
2020-10-24 14:07:52 +0200knupfer1(~Thunderbi@i59F7FF06.versanet.de) (Ping timeout: 260 seconds)
2020-10-24 14:08:22 +0200ech(~user@gateway/tor-sasl/ech)
2020-10-24 14:08:42 +0200 <merijn> Guest54698: Meanwhile Map is a more traditional "lookup key value pairs" kinda data structure (as I said, comparable to python dictionaries and C++'s std::map)
2020-10-24 14:09:17 +0200 <merijn> Guest54698: Although some of the dynamic languages mix these things together and call map/dictionary data structures "arrays" too and allow indexing them by non-numbers, which confuses things even more :p
2020-10-24 14:09:43 +0200 <merijn> :t (Data.Array.!)
2020-10-24 14:09:44 +0200 <lambdabot> Ix i => Array i e -> i -> e
2020-10-24 14:09:56 +0200shatriff(~vitaliish@80.233.50.115)
2020-10-24 14:10:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-10-24 14:10:14 +0200 <merijn> So that's indexable by any type that has an Ix instance (mostly numbers and tuples of numbers, afaik)
2020-10-24 14:10:27 +0200 <merijn> :t Data.Map.lookup
2020-10-24 14:10:27 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-10-24 14:10:28 +0200 <lambdabot> Ord k => k -> M.Map k a -> Maybe a
2020-10-24 14:10:40 +0200p8m_(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 14:10:57 +0200 <merijn> That works for any key that is orderable
2020-10-24 14:10:59 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 14:11:34 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 258 seconds)
2020-10-24 14:12:11 +0200ech(~user@gateway/tor-sasl/ech) (Remote host closed the connection)
2020-10-24 14:12:49 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 14:14:23 +0200denisse(~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 240 seconds)
2020-10-24 14:16:02 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-10-24 14:16:15 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 14:16:49 +0200denisse(~spaceCat@gateway/tor-sasl/alephzer0)
2020-10-24 14:17:25 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 14:20:18 +0200ech(~user@gateway/tor-sasl/ech)
2020-10-24 14:21:34 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-10-24 14:23:56 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 14:26:36 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-10-24 14:27:15 +0200aplainzetakind(~johndoe@captainludd.powered.by.lunarbnc.net)
2020-10-24 14:28:27 +0200hackagehttp-client-websockets 0.1.1.0 - Glue code for http-client and websockets https://hackage.haskell.org/package/http-client-websockets-0.1.1.0 (amesgen)
2020-10-24 14:28:35 +0200shatriff(~vitaliish@80.233.50.115) (Remote host closed the connection)
2020-10-24 14:32:23 +0200texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 14:34:29 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-10-24 14:34:53 +0200Amras(~Amras@unaffiliated/amras0000)
2020-10-24 14:36:02 +0200stefan-__stefan-_
2020-10-24 14:36:27 +0200christo(~chris@81.96.113.213)
2020-10-24 14:36:45 +0200raichoo(~raichoo@dslb-178-001-019-190.178.001.pools.vodafone-ip.de)
2020-10-24 14:36:48 +0200christo(~chris@81.96.113.213) (Read error: Connection reset by peer)
2020-10-24 14:37:01 +0200christo(~chris@81.96.113.213)
2020-10-24 14:38:10 +0200texasmynsted(~texasmyns@62.182.99.148) (Ping timeout: 265 seconds)
2020-10-24 14:38:25 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 14:41:24 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 14:44:21 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 14:46:08 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-24 14:48:29 +0200rotty(rotty@ghost.xx.vu)
2020-10-24 14:49:26 +0200polyrain(~polyrain@58.161.83.164) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 14:50:17 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 14:50:44 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-24 14:52:13 +0200avn(~avn@78-56-108-78.static.zebra.lt) (Ping timeout: 260 seconds)
2020-10-24 14:53:16 +0200thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 14:53:47 +0200donri(~donri@137.63.71.51)
2020-10-24 14:54:11 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 14:54:13 +0200xerox_(~xerox@unaffiliated/xerox)
2020-10-24 14:54:19 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-10-24 14:54:52 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception)
2020-10-24 14:55:09 +0200stree(~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net)
2020-10-24 14:56:44 +0200urodna(~urodna@unaffiliated/urodna)
2020-10-24 14:57:52 +0200shafox(~shafox@106.51.234.111)
2020-10-24 14:58:07 +0200thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 14:58:27 +0200p8m_(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 260 seconds)
2020-10-24 14:59:12 +0200christo(~chris@81.96.113.213)
2020-10-24 14:59:33 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515)
2020-10-24 15:04:15 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 15:05:42 +0200Guest_81(2a6ada69@42.106.218.105)
2020-10-24 15:05:42 +0200 <Guest_81> hi
2020-10-24 15:05:58 +0200 <Guest_81> im unable to download ghcup
2020-10-24 15:06:04 +0200 <Guest_81> on my mac
2020-10-24 15:06:59 +0200 <maerwald> Guest_81: why
2020-10-24 15:08:00 +0200son0p(~son0p@181.136.122.143)
2020-10-24 15:08:50 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 15:10:46 +0200carlomagno(~cararell@148.87.23.12)
2020-10-24 15:14:14 +0200Guest_81(2a6ada69@42.106.218.105) (Ping timeout: 245 seconds)
2020-10-24 15:14:44 +0200 <joel135> I am trying curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh now in a pretty clean ubuntu 20.04
2020-10-24 15:15:33 +0200Wuzzy(~Wuzzy@p5790ef06.dip0.t-ipconnect.de)
2020-10-24 15:15:44 +0200 <joel135> un/fortunately I don't have a mac to test on
2020-10-24 15:16:45 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 15:17:16 +0200MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 256 seconds)
2020-10-24 15:18:20 +0200donri(~donri@137.63.71.51) (Ping timeout: 256 seconds)
2020-10-24 15:18:27 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 15:18:42 +0200invaser(~Thunderbi@31.148.23.125)
2020-10-24 15:19:18 +0200christo(~chris@81.96.113.213)
2020-10-24 15:20:31 +0200MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 15:21:53 +0200ClaudiusMaximus(~claude@unaffiliated/claudiusmaximus) (Quit: ->)
2020-10-24 15:24:05 +0200christo(~chris@81.96.113.213) (Ping timeout: 265 seconds)
2020-10-24 15:27:59 +0200ambiso9(~ambiso@209.182.239.205) (Quit: The Lounge - https://thelounge.chat)
2020-10-24 15:28:52 +0200ambiso9(~ambiso@209.182.239.205)
2020-10-24 15:28:59 +0200polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e)
2020-10-24 15:30:08 +0200texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 15:31:07 +0200texasmynsted(~texasmyns@62.182.99.148) (Read error: Connection reset by peer)
2020-10-24 15:31:52 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-10-24 15:33:09 +0200ddellacosta(~dd@86.106.121.168)
2020-10-24 15:33:26 +0200 <tomsmeding> maerwald: do you have a keyword highlight on 'ghcup' :p
2020-10-24 15:34:06 +0200 <maerwald> sure
2020-10-24 15:36:51 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 15:37:12 +0200mirrorbird_(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 15:38:43 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving)
2020-10-24 15:39:52 +0200MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-24 15:40:09 +0200geekosaur(ac3a3ed7@172.58.62.215) (Remote host closed the connection)
2020-10-24 15:42:27 +0200acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 15:45:34 +0200texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 15:46:21 +0200texasmyn_(~texasmyns@62.182.99.148)
2020-10-24 15:46:38 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 15:47:42 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 15:48:35 +0200fendor_(~fendor@178.115.130.136.wireless.dyn.drei.com)
2020-10-24 15:50:11 +0200texasmynsted(~texasmyns@62.182.99.148) (Ping timeout: 265 seconds)
2020-10-24 15:51:14 +0200fendor(~fendor@178.115.130.82.wireless.dyn.drei.com) (Ping timeout: 258 seconds)
2020-10-24 15:52:32 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-24 15:55:55 +0200Chi1thangoo(~Chi1thang@87.112.60.168)
2020-10-24 15:56:12 +0200jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds)
2020-10-24 15:56:20 +0200toorevitimirp(~tooreviti@117.182.180.36)
2020-10-24 15:57:02 +0200shatriff(~vitaliish@176.52.219.10)
2020-10-24 15:58:02 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 16:00:45 +0200carlomagno(~cararell@148.87.23.12) (Remote host closed the connection)
2020-10-24 16:02:57 +0200hackagecontext 0.1.1.0 - Thread-indexed, nested contexts https://hackage.haskell.org/package/context-0.1.1.0 (jship)
2020-10-24 16:03:37 +0200carlomagno(~cararell@148.87.23.7)
2020-10-24 16:03:45 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 16:03:54 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-24 16:04:35 +0200carlomagno(~cararell@148.87.23.7) (Remote host closed the connection)
2020-10-24 16:05:27 +0200hackagerank1dynamic 0.4.1 - Like Data.Dynamic/Data.Typeable but with support for rank-1 polymorphic types https://hackage.haskell.org/package/rank1dynamic-0.4.1 (FacundoDominguez)
2020-10-24 16:06:05 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-24 16:08:16 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds)
2020-10-24 16:08:58 +0200tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) (Read error: Connection reset by peer)
2020-10-24 16:09:19 +0200bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru) ()
2020-10-24 16:09:39 +0200bartemius(~bartemius@109.252.20.20)
2020-10-24 16:12:13 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 16:12:23 +0200vacm(~vacwm@70.23.92.191)
2020-10-24 16:21:23 +0200dyeplexer(~lol@unaffiliated/terpin)
2020-10-24 16:23:02 +0200carlomagno(~cararell@148.87.23.5)
2020-10-24 16:25:00 +0200texasmyn_(~texasmyns@62.182.99.148) (Remote host closed the connection)
2020-10-24 16:25:19 +0200texasmynsted(~texasmyns@62.182.99.148)
2020-10-24 16:26:39 +0200tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net)
2020-10-24 16:27:34 +0200MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 16:30:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 16:31:33 +0200machinedgod(~machinedg@24.105.81.50)
2020-10-24 16:35:52 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-24 16:38:45 +0200dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 240 seconds)
2020-10-24 16:38:47 +0200ericsagnes(~ericsagne@2405:6580:0:5100:551f:7c48:a755:a572) (Ping timeout: 260 seconds)
2020-10-24 16:38:51 +0200dyeplexer(~lol@unaffiliated/terpin)
2020-10-24 16:41:36 +0200thevishy(~Nishant@103.210.43.2)
2020-10-24 16:42:46 +0200HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Ping timeout: 272 seconds)
2020-10-24 16:43:17 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 16:43:56 +0200meinhof(b2f6bcc4@178.246.188.196)
2020-10-24 16:44:00 +0200bartemius(~bartemius@109.252.20.20) (Remote host closed the connection)
2020-10-24 16:48:28 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-24 16:50:33 +0200ericsagnes(~ericsagne@2405:6580:0:5100:7496:5c58:dab0:e60e)
2020-10-24 16:51:05 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-10-24 16:51:24 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 16:51:44 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 16:51:51 +0200alp(~alp@2a01:e0a:58b:4920:f8ae:1b82:109a:d6a2)
2020-10-24 16:52:12 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 16:52:32 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 16:52:59 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 16:53:16 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 16:53:47 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 16:54:45 +0200thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 16:55:06 +0200ruljak(5cf785e2@92.247.133.226)
2020-10-24 16:57:30 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2020-10-24 16:58:39 +0200damianfral(~damianfra@177.red-2-142-221.dynamicip.rima-tde.net)
2020-10-24 16:59:27 +0200thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 17:00:35 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4)
2020-10-24 17:03:40 +0200junjie(~Thunderbi@112.49.232.164) (Quit: junjie)
2020-10-24 17:04:25 +0200dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 264 seconds)
2020-10-24 17:04:51 +0200renzhi(~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-24 17:05:00 +0200acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de)
2020-10-24 17:05:38 +0200dyeplexer(~lol@unaffiliated/terpin)
2020-10-24 17:09:32 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 17:09:58 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 17:10:30 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-10-24 17:13:53 +0200jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-24 17:14:16 +0200kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-10-24 17:15:35 +0200thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 17:16:02 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-10-24 17:16:06 +0200raichoo(~raichoo@dslb-178-001-019-190.178.001.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-10-24 17:17:52 +0200acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds)
2020-10-24 17:18:33 +0200 <maerwald> https://github.com/pcapriotti/optparse-applicative/issues/148 the problem with DSLs... you can never anticipate all use cases
2020-10-24 17:19:47 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2020-10-24 17:20:05 +0200berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2020-10-24 17:20:12 +0200thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 17:20:29 +0200berberman(~berberman@unaffiliated/berberman)
2020-10-24 17:20:37 +0200texasmynsted(~texasmyns@62.182.99.148) (Remote host closed the connection)
2020-10-24 17:21:17 +0200Lord_of_Life(~Lord@46.217.218.96)
2020-10-24 17:21:18 +0200Lord_of_Life(~Lord@46.217.218.96) (Changing host)
2020-10-24 17:21:18 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-24 17:21:57 +0200dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 260 seconds)
2020-10-24 17:22:37 +0200dyeplexer(~lol@unaffiliated/terpin)
2020-10-24 17:22:42 +0200jedws(~jedws@101.184.148.229)
2020-10-24 17:23:14 +0200jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 258 seconds)
2020-10-24 17:24:34 +0200meinhof(b2f6bcc4@178.246.188.196) (Remote host closed the connection)
2020-10-24 17:24:38 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 17:25:29 +0200HarveyPwca(~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-10-24 17:26:45 +0200jedws(~jedws@101.184.148.229) (Ping timeout: 240 seconds)
2020-10-24 17:30:49 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-mwjmzzijsisquogc) (Quit: Connection closed for inactivity)
2020-10-24 17:30:51 +0200irc_user(uid423822@gateway/web/irccloud.com/x-ypwtewedsewvdlne)
2020-10-24 17:31:11 +0200 <merijn> maerwald: But you can mostly already implement that behaviour?
2020-10-24 17:31:28 +0200 <maerwald> yeah, it doesn't render properly though
2020-10-24 17:31:52 +0200 <maerwald> e.g. in stack cli you have: --[no-]dump-logs
2020-10-24 17:31:55 +0200 <maerwald> that's proper
2020-10-24 17:32:02 +0200 <merijn> ah, right, but then what you want is probably just "better control over help text", which is somewhere deep down my todo list :p
2020-10-24 17:32:12 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-24 17:32:50 +0200 <maerwald> in the end you're messing with the internals, which is what I don't like... mix of high-level and low-level API is always awkward
2020-10-24 17:34:09 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-qblnjbdvopnophrh)
2020-10-24 17:34:35 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-24 17:35:15 +0200polyrain(~polyrain@2001:8003:e501:6901:513b:72e6:ceb8:fd2e) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 17:36:02 +0200lightwave(uid469838@gateway/web/irccloud.com/x-senxbphlukrorlpa) (Quit: Connection closed for inactivity)
2020-10-24 17:37:22 +0200acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 17:40:05 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-24 17:40:36 +0200toorevitimirp(~tooreviti@117.182.180.36) (Remote host closed the connection)
2020-10-24 17:40:51 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-24 17:42:16 +0200constR(uid58205@gateway/web/irccloud.com/x-ncabxfwmsmdkinmh)
2020-10-24 17:43:49 +0200fryguybob(~fryguybob@cpe-74-65-31-113.rochester.res.rr.com)
2020-10-24 17:46:13 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 17:47:14 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 17:47:51 +0200daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2020-10-24 17:49:17 +0200mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-24 17:50:17 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se)
2020-10-24 17:51:41 +0200 <daphnis> how is --enable-debug-info=1 supposed to be passed with a stack project? (trying to compile xmobar with that option)
2020-10-24 17:55:22 +0200p8m(p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 256 seconds)
2020-10-24 17:56:09 +0200Sgeo(~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-24 17:58:45 +0200kish`(~oracle@unaffiliated/oracle)
2020-10-24 17:59:24 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 272 seconds)
2020-10-24 18:01:45 +0200kish(~oracle@unaffiliated/oracle) (Ping timeout: 256 seconds)
2020-10-24 18:01:46 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer)
2020-10-24 18:01:54 +0200chkno(~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net)
2020-10-24 18:02:27 +0200hackagecontext 0.1.1.1 - Thread-indexed, nested contexts https://hackage.haskell.org/package/context-0.1.1.1 (jship)
2020-10-24 18:04:35 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 18:07:49 +0200 <tomsmeding> daphnis: you might try 'stack build --no-strip', but not sure
2020-10-24 18:08:09 +0200 <tomsmeding> source: 'stack build --help' :p
2020-10-24 18:09:24 +0200ruljak(5cf785e2@92.247.133.226) (Remote host closed the connection)
2020-10-24 18:09:32 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-24 18:11:33 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 18:12:58 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 18:14:44 +0200 <tomsmeding> unrelated, does 'stack repl' not work with a local library in the cabal file?
2020-10-24 18:16:32 +0200christo(~chris@81.96.113.213)
2020-10-24 18:18:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-24 18:18:55 +0200Saukk(~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-10-24 18:20:01 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-24 18:20:33 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2020-10-24 18:20:43 +0200solonarv(~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr)
2020-10-24 18:23:34 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-24 18:26:45 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-24 18:30:36 +0200reeiiko(~reeiiko@84.39.116.180)
2020-10-24 18:32:25 +0200bartemius(~bartemius@109.252.20.20)
2020-10-24 18:32:28 +0200hackageZ-IO 0.1.7.0 - Simple and high performance IO toolkit for Haskell https://hackage.haskell.org/package/Z-IO-0.1.7.0 (winterland)
2020-10-24 18:33:17 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2020-10-24 18:33:18 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-24 18:34:51 +0200p8m(p8m@gateway/vpn/protonvpn/p8m)
2020-10-24 18:35:17 +0200xff0x(~fox@2001:1a81:5355:300:36b0:bb39:8493:75d8) (Remote host closed the connection)
2020-10-24 18:35:35 +0200xff0x(~fox@2001:1a81:5355:300:b6fb:6049:f390:36a1)
2020-10-24 18:36:13 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Remote host closed the connection)
2020-10-24 18:36:25 +0200zariuq(~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection)
2020-10-24 18:36:38 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-24 18:37:24 +0200zariuq(~zar@fw1.ciirc.cvut.cz)
2020-10-24 18:37:57 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 18:38:16 +0200christo(~chris@81.96.113.213)
2020-10-24 18:41:31 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 18:41:58 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 18:42:05 +0200daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 240 seconds)
2020-10-24 18:42:12 +0200christo(~chris@81.96.113.213)
2020-10-24 18:45:05 +0200Gerula(~Gerula@unaffiliated/gerula) (Quit: Leaving)
2020-10-24 18:45:38 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 18:46:37 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-24 18:46:52 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 18:46:53 +0200GyroW(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 18:46:53 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 18:49:20 +0200mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com)
2020-10-24 18:49:52 +0200son0p(~son0p@181.136.122.143) (Ping timeout: 258 seconds)
2020-10-24 18:50:37 +0200mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 260 seconds)
2020-10-24 18:50:58 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-24 18:51:29 +0200son0p(~son0p@181.136.122.143)
2020-10-24 18:53:14 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 272 seconds)
2020-10-24 18:56:39 +0200daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2020-10-24 18:57:04 +0200 <ixlun> Does anyone know if there is a way to lift to a pattern in TH?
2020-10-24 18:57:56 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 18:58:09 +0200hnOsmium0001(uid453710@gateway/web/irccloud.com/x-tpxsfbngvqvdwafc)
2020-10-24 19:00:18 +0200jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz)
2020-10-24 19:01:22 +0200danza(~francesco@host-87-16-96-139.retail.telecomitalia.it)
2020-10-24 19:03:20 +0200 <ixlun> I found LitP
2020-10-24 19:03:39 +0200 <ixlun> but now I need to lift that into the Q monad
2020-10-24 19:04:45 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2020-10-24 19:06:08 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 19:06:50 +0200 <monsterchrom> just use return? Q is a monad.
2020-10-24 19:07:25 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds)
2020-10-24 19:07:38 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-10-24 19:10:48 +0200ddellacosta(~dd@86.106.121.168)
2020-10-24 19:13:29 +0200Gerula(~Gerula@unaffiliated/gerula)
2020-10-24 19:14:22 +0200daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 246 seconds)
2020-10-24 19:17:53 +0200Khisanth(~Khisanth@166.sub-174-197-147.myvzw.com) (Read error: No route to host)
2020-10-24 19:18:17 +0200Khisanth(~Khisanth@166.sub-174-197-147.myvzw.com)
2020-10-24 19:22:47 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-10-24 19:22:57 +0200nlhowell(~nlhowell@don28-11.ln.rinet.ru) (Quit: WeeChat 2.9)
2020-10-24 19:24:55 +0200thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 19:25:25 +0200wroathe(~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-24 19:27:30 +0200xwl(~user@2a01:c22:c834:6a34:5dc7:2232:115c:751e)
2020-10-24 19:28:01 +0200xwl(~user@2a01:c22:c834:6a34:5dc7:2232:115c:751e) (Client Quit)
2020-10-24 19:28:51 +0200thevishy(~Nishant@103.210.43.2) (Quit: Leaving)
2020-10-24 19:29:22 +0200thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 19:32:25 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2020-10-24 19:36:28 +0200hackageukrainian-phonetics-basic 0.1.3.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.1.3.0 (OleksandrZhabenko)
2020-10-24 19:36:40 +0200GyroW(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-24 19:36:50 +0200GyroW(~GyroW@d54c03e98.access.telenet.be)
2020-10-24 19:36:51 +0200GyroW(~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-24 19:36:51 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 19:37:51 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 19:42:13 +0200st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Ping timeout: 260 seconds)
2020-10-24 19:43:46 +0200aarvar(~foewfoiew@50.35.43.33)
2020-10-24 19:44:25 +0200dyeplexer(~lol@unaffiliated/terpin) (Ping timeout: 240 seconds)
2020-10-24 19:46:19 +0200alp(~alp@2a01:e0a:58b:4920:f8ae:1b82:109a:d6a2) (Ping timeout: 272 seconds)
2020-10-24 19:48:19 +0200son0p(~son0p@181.136.122.143) (Ping timeout: 246 seconds)
2020-10-24 19:48:58 +0200dyeplexer(~lol@unaffiliated/terpin)
2020-10-24 19:49:14 +0200Guest54698(5a319fdb@lfbn-nan-1-68-219.w90-49.abo.wanadoo.fr) (Ping timeout: 245 seconds)
2020-10-24 19:49:32 +0200son0p(~son0p@181.136.122.143)
2020-10-24 19:52:15 +0200mirrorbird_(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-24 19:56:11 +0200Patternmaster(~georg@li1192-118.members.linode.com) (Ping timeout: 240 seconds)
2020-10-24 19:58:36 +0200Patternmaster(~georg@li1192-118.members.linode.com)
2020-10-24 19:58:39 +0200mimi_vx(~mimi@2a01:490:16:1026:b095:5d2a:db18:3291)
2020-10-24 19:59:42 +0200daphnis(~daphnis@cm-84.214.179.98.getinternet.no)
2020-10-24 20:00:01 +0200reeiiko(~reeiiko@84.39.116.180) ()
2020-10-24 20:00:39 +0200christo(~chris@81.96.113.213) (Remote host closed the connection)
2020-10-24 20:02:01 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 20:02:01 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 20:02:01 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-24 20:02:32 +0200ixlun(~matthew@213.205.241.94) (Read error: Connection reset by peer)
2020-10-24 20:03:11 +0200christo(~chris@81.96.113.213)
2020-10-24 20:03:29 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 260 seconds)
2020-10-24 20:05:24 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 20:07:13 +0200MindlessDrone(~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 260 seconds)
2020-10-24 20:09:12 +0200dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2020-10-24 20:10:51 +0200kish`(~oracle@unaffiliated/oracle) (Remote host closed the connection)
2020-10-24 20:11:19 +0200kish(~oracle@unaffiliated/oracle)
2020-10-24 20:11:40 +0200andybkof2001(~andybkof2@201.141.61.28)
2020-10-24 20:11:44 +0200 <andybkof2001> made your area like quebec and speak german, in the frontier méxico with texas,the flag is in the frontier, in horizont orange almost dark like brick in up, in half gray aluminum, and in down blue sky day, with letter L red shinning thick, no very thick just 1 cm and 4 mm with red fire in the right side in line like shadow the same red shinnig 9 mm right, at the left side 1 mm of shadow,
2020-10-24 20:11:44 +0200 <andybkof2001> and in down 3 mm of shadow red shinnig all the shadows stiked at the L the L no with waves in line 9 mm of fire 1 left and 3 in down , the L in the center of the new german flag occupying the entire gray strip with the shadow, the name is Deutcsh, coin deutsches. let the giants play baskectball with the browns.learn german https://app.memrise.com/course/920/5000-german-words-top-87/1/ copy
2020-10-24 20:11:44 +0200 <andybkof2001> the adress of the page, and paste somewhere, for read it later, go at the bookseller and ask for the diccionary english german and read it verbatim, https://www.youtube.com/watch?v=Y6DNjM4s-zw
2020-10-24 20:11:49 +0200andybkof2001(~andybkof2@201.141.61.28) (Remote host closed the connection)
2020-10-24 20:12:08 +0200MindlessDrone(~MindlessD@unaffiliated/mindlessdrone)
2020-10-24 20:12:09 +0200nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com) (Ping timeout: 265 seconds)
2020-10-24 20:13:02 +0200kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 272 seconds)
2020-10-24 20:13:55 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-24 20:14:15 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 20:14:35 +0200 <MarcelineVQ> That was kind of poetic until the urls
2020-10-24 20:17:11 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-10-24 20:18:20 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 20:19:25 +0200ddellacosta(~dd@86.106.121.168) (Ping timeout: 264 seconds)
2020-10-24 20:19:42 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1)
2020-10-24 20:23:42 +0200ixlun(~matthew@213.205.241.94)
2020-10-24 20:23:59 +0200danza(~francesco@host-87-16-96-139.retail.telecomitalia.it) (Quit: Leaving)
2020-10-24 20:25:23 +0200alp(~alp@2a01:e0a:58b:4920:ac5b:158:30e4:51d7)
2020-10-24 20:25:33 +0200elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 20:28:02 +0200 <koz_> The hell did I just read?
2020-10-24 20:28:11 +0200coot(~coot@37.30.51.94.nat.umts.dynamic.t-mobile.pl)
2020-10-24 20:28:56 +0200mananamenos_(~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 256 seconds)
2020-10-24 20:29:49 +0200 <ixlun> Say I had: `Data Foo = Foo Ordering' and then : `x foo = ...'. How could I convert `foo' into a template haskell `Pat'?
2020-10-24 20:30:23 +0200 <ixlun> So far I've got `ConP ''Foo'
2020-10-24 20:31:00 +0200 <ixlun> but I'm unsure how to convert the Ordering type consturctor into a Pat
2020-10-24 20:31:44 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds)
2020-10-24 20:32:47 +0200tomsmedingis going to assume that was a markov chain generator
2020-10-24 20:33:16 +0200 <ixlun> I don't want to have to write: foo2Pat (Foo EQ) = [p|Foo EQ|] for all Ordering
2020-10-24 20:35:03 +0200 <tomsmeding> ixlun: wild guess, would it not just be ConP ''Foo (ConP ''EQ) ?
2020-10-24 20:35:16 +0200 <tomsmeding> or, well, ConP ''Foo [ConP ''EQ]
2020-10-24 20:35:39 +0200 <ixlun> Ahhhhh
2020-10-24 20:36:00 +0200 <ixlun> Didn't get that it would have another ConP as it's child
2020-10-24 20:36:01 +0200 <tomsmeding> EQ is also just a data constructor :)
2020-10-24 20:36:22 +0200 <ixlun> thanks tomsmeding :-)
2020-10-24 20:36:26 +0200 <ixlun> TH is really cool!
2020-10-24 20:37:27 +0200 <chkno> What's the simplest way to use TCP (client & server) while keeping the rest of my program Safe? I'm starting from "error: [-Wunsafe, -Werror=unsafe] ... Network.Socket: Can't be safely imported! The module itself isn't safe." network-simple gives the same error, and pipes-network looks complicated. Should I bite the bullet and learn Pipes or make small module that wraps Network.Socket & mark it
2020-10-24 20:37:33 +0200 <chkno> Trustworthy?
2020-10-24 20:38:23 +0200Kolkrabe(~user@unaffiliated/siracusa)
2020-10-24 20:39:07 +0200avdb(~avdb@ip-62-235-13-212.dsl.scarlet.be)
2020-10-24 20:41:20 +0200incertia(~incertia@d60-65-215-180.col.wideopenwest.com) (Ping timeout: 256 seconds)
2020-10-24 20:42:12 +0200daphnis(~daphnis@cm-84.214.179.98.getinternet.no) (Ping timeout: 260 seconds)
2020-10-24 20:42:36 +0200incertia(~incertia@d60-65-215-180.col.wideopenwest.com)
2020-10-24 20:43:36 +0200DavidEichmann(~david@43.240.198.146.dyn.plus.net) (Ping timeout: 256 seconds)
2020-10-24 20:44:29 +0200isovector1(~isovector@172.103.217.169)
2020-10-24 20:44:35 +0200ericsagnes(~ericsagne@2405:6580:0:5100:7496:5c58:dab0:e60e) (Ping timeout: 272 seconds)
2020-10-24 20:46:16 +0200acidjnk_new3(~acidjnk@p200300d0c7237865e916a6f62c87a72c.dip0.t-ipconnect.de)
2020-10-24 20:47:57 +0200nyaomi(~naomi@cpe-74-75-6-125.maine.res.rr.com)
2020-10-24 20:50:32 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 20:51:48 +0200GyroW_(~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-24 20:51:58 +0200GyroW(~GyroW@d54C03E98.access.telenet.be)
2020-10-24 20:51:58 +0200GyroW(~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-24 20:51:58 +0200GyroW(~GyroW@unaffiliated/gyrow)
2020-10-24 20:52:50 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu)
2020-10-24 20:53:05 +0200taurux(~taurux@net-188-152-78-51.cust.dsl.teletu.it) (Ping timeout: 240 seconds)
2020-10-24 20:54:10 +0200brettgilio_(~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com>)
2020-10-24 20:54:13 +0200taurux(~taurux@net-188-152-78-51.cust.vodafonedsl.it)
2020-10-24 20:55:22 +0200aki_(~aki_@195.206.169.184)
2020-10-24 20:56:25 +0200ericsagnes(~ericsagne@2405:6580:0:5100:2c27:27e3:588f:de92)
2020-10-24 20:57:38 +0200 <merijn> Honestly, I don't think anyone's really using SafeHaskell these days
2020-10-24 20:57:43 +0200isovector1(~isovector@172.103.217.169) ("Leaving")
2020-10-24 20:58:09 +0200kritzefitz(~kritzefit@212.86.56.80)
2020-10-24 20:58:10 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 21:00:10 +0200brettgilio(~brettgili@brettgilio.com)
2020-10-24 21:01:17 +0200 <Zetagon> Why not?
2020-10-24 21:03:24 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 21:03:28 +0200berberman_(~berberman@unaffiliated/berberman)
2020-10-24 21:03:52 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds)
2020-10-24 21:04:33 +0200st8less(~st8less@inet-167-224-197-181.isp.ozarksgo.net)
2020-10-24 21:04:41 +0200fandi(~fandi@118.97.77.114)
2020-10-24 21:07:54 +0200 <chkno> I suppose I could keep most of my program in transport-agnostic Safe modules and then just mix the TCP in with the rest in an Unsafe top-level Main. I'm using Safe because it came with -Weverything, and because https://wiki.haskell.org/Safe_Haskell says 'it's like -Wall', and I use -Wall (and -Wextra, -pedantic, clang-tidy, ...) when I write C.
2020-10-24 21:10:02 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds)
2020-10-24 21:11:07 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 265 seconds)
2020-10-24 21:11:43 +0200chaosmasttter(~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de)
2020-10-24 21:12:13 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 21:12:25 +0200elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-24 21:13:27 +0200ddellacosta(~dd@86.106.121.168)
2020-10-24 21:21:01 +0200Varis(~Tadas@unaffiliated/varis) (Quit: Leaving)
2020-10-24 21:22:08 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 21:22:21 +0200avdb(~avdb@ip-62-235-13-212.dsl.scarlet.be) (Quit: WeeChat 2.9)
2020-10-24 21:25:53 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6)
2020-10-24 21:26:43 +0200thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de)
2020-10-24 21:27:28 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds)
2020-10-24 21:30:29 +0200 <merijn> chkno: That's not the case
2020-10-24 21:30:38 +0200 <merijn> chkno: You shouldn't use -Weverything
2020-10-24 21:31:16 +0200 <merijn> -Wall enables everything you should care about, -Weverything includes *lots* of things that are very questionable (i.e. warns about things which aren't wrong)
2020-10-24 21:32:00 +0200steve_(~quassel@ool-18b99d28.dyn.optonline.net)
2020-10-24 21:32:01 +0200steve__(~quassel@ool-18b99d28.dyn.optonline.net)
2020-10-24 21:32:17 +0200Varis(~Tadas@unaffiliated/varis)
2020-10-24 21:32:27 +0200thir(~thir@p200300f27f2523003c23ef77843b8858.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-24 21:32:57 +0200 <christo> hey guys
2020-10-24 21:33:00 +0200 <christo> in acabal project
2020-10-24 21:33:02 +0200 <christo> cabal*
2020-10-24 21:33:14 +0200 <christo> what should i be .gitignore'ing?
2020-10-24 21:33:18 +0200 <merijn> chkno: Actually using Safe means you're going to have to audit your dependencies and mark which ones you're going to trust, or it's not really going to do anything for you :)
2020-10-24 21:33:20 +0200 <christo> dist/ folder?
2020-10-24 21:33:41 +0200 <merijn> christo: dist and dist-newstyle, that should be the only thing cabal really makes
2020-10-24 21:34:05 +0200 <christo> thx, what does those folders contain? the build of the project? after you compile it?
2020-10-24 21:34:13 +0200 <merijn> And if your cabal-install is making dist folders, you probably wanna upgrade to a newer version of cabal-install :p
2020-10-24 21:34:16 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:fc8f:46b9:ad7f:fbe6) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-24 21:34:33 +0200gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2020-10-24 21:34:37 +0200 <christo> everything i need for cabal is the .cabal file right?
2020-10-24 21:34:46 +0200 <merijn> christo: dist/dist-newstyle contains the build artifacts of your project, yes (dependencies get installed in ~/.cabal)
2020-10-24 21:34:57 +0200 <merijn> christo: Yeah
2020-10-24 21:35:06 +0200bartemius(~bartemius@109.252.20.20) (Remote host closed the connection)
2020-10-24 21:35:16 +0200gentauro(~gentauro@unaffiliated/gentauro)
2020-10-24 21:35:29 +0200 <christo> ok, will do a git -rm -r -cached then i'll double check the command for it lol
2020-10-24 21:35:39 +0200 <christo> thx
2020-10-24 21:36:16 +0200knupfer(~Thunderbi@i59F7FF06.versanet.de)
2020-10-24 21:37:58 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2020-10-24 21:39:02 +0200elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 21:39:04 +0200elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Client Quit)
2020-10-24 21:42:08 +0200lxsameer(~lxsameer@unaffiliated/lxsameer)
2020-10-24 21:42:21 +0200elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 21:42:50 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 21:43:20 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2020-10-24 21:44:21 +0200steve__(~quassel@ool-18b99d28.dyn.optonline.net) (Remote host closed the connection)
2020-10-24 21:44:22 +0200Zetagon(~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-24 21:44:46 +0200elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Client Quit)
2020-10-24 21:44:47 +0200 <maerwald> mouse scroll doesn't seem to register in brick
2020-10-24 21:45:02 +0200 <lxsameer> hey folks, f: a -> Mb and g: b -> Mc . the bind for these two would be Mb >>= \b -> Mc . is it correct to say, in order to compose these two to gether weh have to have a function like z: a -> f(a) >>= g ????
2020-10-24 21:45:24 +0200 <lxsameer> is z correct as a composition of f and g ?
2020-10-24 21:47:25 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 21:47:31 +0200tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-24 21:48:53 +0200elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-24 21:49:56 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2020-10-24 21:51:32 +0200mastarija(~mastarija@93-136-107-187.adsl.net.t-com.hr)
2020-10-24 21:52:43 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-24 21:52:53 +0200conal(~conal@64.71.133.70) (Ping timeout: 260 seconds)
2020-10-24 21:53:03 +0200 <maerwald> Weird, seems mouse wheel up results in KUp event, not in Button event
2020-10-24 21:54:08 +0200 <geekosaur> that's up to the terminal emulator; most translate it before the app running in the terminal can see it
2020-10-24 21:54:24 +0200 <geekosaur> mouse wheel scrolling is just a bit of a hack
2020-10-24 21:57:47 +0200 <geekosaur> (it should be multiple KUp events normally; there's often a configuration knob for how many)
2020-10-24 21:58:01 +0200mastarija(~mastarija@93-136-107-187.adsl.net.t-com.hr) (Quit: Leaving)
2020-10-24 21:58:50 +0200irc_user(uid423822@gateway/web/irccloud.com/x-ypwtewedsewvdlne) (Quit: Connection closed for inactivity)
2020-10-24 21:59:29 +0200vicfred(~vicfred@unaffiliated/vicfred)
2020-10-24 22:00:11 +0200mirrorbird(~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-24 22:01:04 +0200invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-10-24 22:01:09 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 22:01:12 +0200ggole(~ggole@2001:8003:8119:7200:f40c:8454:96a4:4e08) (Quit: Leaving)
2020-10-24 22:01:45 +0200jumper149(~jumper149@ip185225.wh.uni-hannover.de)
2020-10-24 22:01:57 +0200hackageaeson-combinators 0.0.4.0 - Aeson combinators for dead simple JSON decoding https://hackage.haskell.org/package/aeson-combinators-0.0.4.0 (MarekFajkus)
2020-10-24 22:03:20 +0200 <geekosaur> hm, although given how hacky that aspect is, it might only be one. (it's not really that kind of UI event in a terminal)
2020-10-24 22:03:58 +0200elpfen[m](elpfenmatr@gateway/shell/matrix.org/x-qyxfulwurvxvqcrl)
2020-10-24 22:07:28 +0200dcoutts_(~duncan@33.14.75.194.dyn.plus.net)
2020-10-24 22:08:22 +0200Neo--(~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 260 seconds)
2020-10-24 22:09:37 +0200tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net)
2020-10-24 22:10:14 +0200tuple(~igloo@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit)
2020-10-24 22:11:30 +0200xerox_(~xerox@unaffiliated/xerox) (Ping timeout: 256 seconds)
2020-10-24 22:12:23 +0200Athas(~athas@2a01:7c8:aaac:1cf:430f:bcbb:6418:e5a7) (Quit: ZNC - http://znc.sourceforge.net)
2020-10-24 22:12:33 +0200Athas(athas@2a01:7c8:aaac:1cf:c447:4462:6f16:b387)
2020-10-24 22:14:31 +0200alp(~alp@2a01:e0a:58b:4920:ac5b:158:30e4:51d7) (Ping timeout: 272 seconds)
2020-10-24 22:15:12 +0200invaser(~Thunderbi@31.148.23.125)
2020-10-24 22:18:05 +0200elliott__(~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2020-10-24 22:18:27 +0200aki_(~aki_@195.206.169.184) (Remote host closed the connection)
2020-10-24 22:18:52 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 260 seconds)
2020-10-24 22:19:26 +0200 <maerwald> I would have expected alacritty to emit an actual mouse event maybe
2020-10-24 22:20:04 +0200gxt(~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-10-24 22:20:33 +0200 <geekosaur> one could argue the translation is happening at the wrong level, but I suspect nobody would want to fix it
2020-10-24 22:20:55 +0200gxt(~gxt@gateway/tor-sasl/gxt)
2020-10-24 22:21:43 +0200ech(~user@gateway/tor-sasl/ech) (Ping timeout: 240 seconds)
2020-10-24 22:24:00 +0200ech(~user@gateway/tor-sasl/ech)
2020-10-24 22:24:47 +0200 <geekosaur> iirc it's somewhat painful to do what you want, given that passing mouse events through is itself a hack; they'd have to arrange somehow for the original event to be saved just for mouse mode
2020-10-24 22:25:10 +0200 <maerwald> well, it's kinda confusing, we have mousewheel in two events: VtyEvent https://hackage.haskell.org/package/vty-5.31/docs/Graphics-Vty-Input-Events.html#t:Event and BrickEvent https://hackage.haskell.org/package/brick-0.57/docs/Brick-Types.html#t:BrickEvent but both never trigger lol
2020-10-24 22:25:18 +0200 <geekosaur> (scrolling is not normally a UI event as such)
2020-10-24 22:25:51 +0200 <geekosaur> right, because it's up to the terminal to pass it on and most probably won't
2020-10-24 22:28:06 +0200 <geekosaur> at least, not as button or scroll events
2020-10-24 22:29:19 +0200 <geekosaur> again, you could try reporting it as a bug in alacritty that it gives you an up key instead of a mouse event in that case, but I suspect they'll find it too hard to fix and that's why they send key-up to begin with
2020-10-24 22:29:38 +0200 <maerwald> https://github.com/alacritty/alacritty/issues/2512
2020-10-24 22:29:57 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-24 22:30:03 +0200 <maerwald> so much more you can do with mouse event
2020-10-24 22:30:15 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-24 22:31:30 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 22:31:48 +0200ozbot(~ozbot@154.13.1.56)
2020-10-24 22:32:54 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-24 22:33:08 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 22:33:34 +0200OscarZ(~oscarz@95.175.104.44)
2020-10-24 22:36:01 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-24 22:39:50 +0200geekosaur(82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-10-24 22:40:22 +0200sfvm(~sfvm@37.228.215.148)
2020-10-24 22:43:52 +0200howdoi(uid224@gateway/web/irccloud.com/x-szummihjpdtceelx)
2020-10-24 22:43:56 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-24 22:44:14 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 22:45:02 +0200Gerula(~Gerula@unaffiliated/gerula) ("Leaving")
2020-10-24 22:45:07 +0200jsynacek_(~jsynacek@ip-185-149-130-112.kmenet.cz) (Ping timeout: 260 seconds)
2020-10-24 22:49:28 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 260 seconds)
2020-10-24 22:50:34 +0200infty(~ubuntu@ec2-3-126-179-254.eu-central-1.compute.amazonaws.com) (Quit: leaving)
2020-10-24 22:51:23 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 22:53:37 +0200Franciman(~francesco@host-82-54-10-114.retail.telecomitalia.it) (Quit: Leaving)
2020-10-24 23:00:01 +0200ozbot(~ozbot@154.13.1.56) ()
2020-10-24 23:06:08 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-10-24 23:07:07 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2020-10-24 23:07:57 +0200hackagemorley 1.8.0 - Developer tools for the Michelson Language https://hackage.haskell.org/package/morley-1.8.0 (gromak)
2020-10-24 23:10:25 +0200britva(~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-10-24 23:12:00 +0200mursu_mursu
2020-10-24 23:13:50 +0200hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-24 23:15:23 +0200hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-10-24 23:16:36 +0200trumpsec(uid470694@gateway/web/irccloud.com/x-vmczzfmprshkgkkv) ()
2020-10-24 23:17:09 +0200trumpsec(uid470694@gateway/web/irccloud.com/x-csiitbjsrbpckjts)
2020-10-24 23:22:08 +0200elliott_(~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-10-24 23:22:30 +0200trumpsecpsych
2020-10-24 23:22:31 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-24 23:22:31 +0200GyroW_(~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-24 23:22:31 +0200GyroW_(~GyroW@unaffiliated/gyrow)
2020-10-24 23:23:40 +0200GyroW(~GyroW@unaffiliated/gyrow) (Ping timeout: 272 seconds)
2020-10-24 23:23:40 +0200dbmikus(~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-10-24 23:24:34 +0200psych(uid470694@gateway/web/irccloud.com/x-csiitbjsrbpckjts) ()
2020-10-24 23:25:48 +0200knupfer(~Thunderbi@i59F7FF06.versanet.de) (Quit: knupfer)
2020-10-24 23:25:48 +0200knupfer1(~Thunderbi@200116b82cdc6a0038c99fd1ac8ab40b.dip.versatel-1u1.de)
2020-10-24 23:25:58 +0200knupfer1(~Thunderbi@200116b82cdc6a0038c99fd1ac8ab40b.dip.versatel-1u1.de) (Client Quit)
2020-10-24 23:26:09 +0200knupfer(~Thunderbi@200116b82cdc6a00b4a9dbb45e11696e.dip.versatel-1u1.de)
2020-10-24 23:27:16 +0200knupfer(~Thunderbi@200116b82cdc6a00b4a9dbb45e11696e.dip.versatel-1u1.de) (Client Quit)
2020-10-24 23:27:30 +0200knupfer(~Thunderbi@200116b82cdc6a00754e6662daa0832c.dip.versatel-1u1.de)
2020-10-24 23:29:07 +0200p-core(~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection)
2020-10-24 23:29:19 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser)
2020-10-24 23:29:49 +0200ahmr88(~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-24 23:30:10 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-24 23:32:02 +0200knupfer(~Thunderbi@200116b82cdc6a00754e6662daa0832c.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-10-24 23:34:57 +0200hackagexlsx 0.8.2 - Simple and incomplete Excel file parser/writer https://hackage.haskell.org/package/xlsx-0.8.2 (KirillZaborsky)
2020-10-24 23:35:39 +0200bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru)
2020-10-24 23:36:33 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-24 23:38:12 +0200justanotheruser(~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds)
2020-10-24 23:40:13 +0200bartemius(~bartemius@109-252-20-20.nat.spd-mgts.ru) (Ping timeout: 260 seconds)
2020-10-24 23:41:03 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2020-10-24 23:41:24 +0200heatsink(~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-24 23:43:22 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
2020-10-24 23:44:15 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-24 23:45:49 +0200frdg(47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net)
2020-10-24 23:47:08 +0200 <frdg> adding a function to a `composition pipeline?` will decrease or preserve the size of the compositions image. Is this true and if so is this property named?
2020-10-24 23:48:26 +0200 <c_wraith> where did that question come from? Seems like an odd thing to ask.
2020-10-24 23:49:38 +0200 <monsterchrom> This sounds like a continuation of a misguided line of thought from several days ago.
2020-10-24 23:50:26 +0200 <frdg> I came up with it while learning about monotonicity of entailment
2020-10-24 23:50:37 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds)
2020-10-24 23:51:19 +0200 <c_wraith> It's also clearly not true with arbitrary functions
2020-10-24 23:51:44 +0200 <frdg> oh
2020-10-24 23:52:18 +0200 <monsterchrom> It is true and boring. It is merely part of the definition of "function" in the first place.
2020-10-24 23:52:26 +0200 <c_wraith> (floor . max 0 . min 1 :: Double -> Int) vs (floor . (*5) . max 0 . min 1 :: Double -> Int)
2020-10-24 23:53:21 +0200 <frdg> terrible timing I must eat dinner.
2020-10-24 23:54:16 +0200chaosmasttter(~chaosmast@p200300c4a7138f01d15b56f7610b6e80.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-10-24 23:54:19 +0200alp(~alp@2a01:e0a:58b:4920:60bf:7356:ce9b:9eec)
2020-10-24 23:55:38 +0200[42]1(~42]@195.206.169.184)
2020-10-24 23:55:45 +0200taurux(~taurux@net-188-152-78-51.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2020-10-24 23:55:48 +0200son0p(~son0p@181.136.122.143) (Quit: leaving)
2020-10-24 23:56:28 +0200taurux(~taurux@net-188-152-78-90.cust.vodafonedsl.it)