2021/07/12

2021-07-12 00:02:15 +0200theproffesor(~theproffe@user/theproffesor) (Ping timeout: 252 seconds)
2021-07-12 00:05:29 +0200theproffesor(~theproffe@2601:282:847f:8010::3a29)
2021-07-12 00:08:54 +0200Guest4772(~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5))
2021-07-12 00:11:21 +0200oxide(~lambda@user/oxide) (Quit: oxide)
2021-07-12 00:13:50 +0200jakalx(~jakalx@base.jakalx.net) ()
2021-07-12 00:16:50 +0200neceve(~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 255 seconds)
2021-07-12 00:16:50 +0200 <Atum_> Hey, I'm trying to understand an example code from LYAH, it says that I can drop the xs parameter on: "sum' xs = foldl (\acc x -> acc + x) 0 xs" to be "sum' = foldl (\acc x -> acc + x)"
2021-07-12 00:17:14 +0200 <geekosaur> there should be a 0 at the end of that
2021-07-12 00:17:15 +0200 <Atum_> how does the xs parameter gets to the foldl, when I call "sum' [1,2,3]"?
2021-07-12 00:17:33 +0200 <Atum_> oh, yea, it was a typo
2021-07-12 00:17:34 +0200 <geekosaur> the xs is on the right of both sides so you can factor it out
2021-07-12 00:17:48 +0200silverwhitefish(~hidden@47.202.102.10)
2021-07-12 00:17:50 +0200 <geekosaur> haskell will still figure out it's needed
2021-07-12 00:17:56 +0200silverwhitefishGuest1016
2021-07-12 00:18:03 +0200 <Atum_> but wouldn't "sum' [1,2,3]" just ignore the parameter?
2021-07-12 00:18:07 +0200 <dibblego> I get this question a lot irl. I then defer to explaining that all functions in Haskell take exactly one argument, including foldl
2021-07-12 00:18:25 +0200 <Atum_> oh
2021-07-12 00:18:50 +0200 <Atum_> It would be something like this, in JS: "let a = () => arr => arr.reduce((acc, curr) => acc + curr, 0)"
2021-07-12 00:18:54 +0200 <dibblego> explaining that fact over IRC is a little more difficult
2021-07-12 00:19:02 +0200 <Atum_> so I would invoke it like a()([1, 2,3])
2021-07-12 00:19:18 +0200Guest1016(~hidden@47.202.102.10) ()
2021-07-12 00:19:19 +0200 <dibblego> here is the type of the only argument of foldl :: (b -> a -> a)
2021-07-12 00:19:30 +0200 <dibblego> here is its return type :: b -> [a] -> b
2021-07-12 00:20:11 +0200 <Atum_> hmm
2021-07-12 00:20:31 +0200 <dibblego> note that its return type is itself a function, and what do functions do? they take exactly one argument
2021-07-12 00:21:07 +0200 <Atum_> I see
2021-07-12 00:21:08 +0200 <dibblego> that function doesn't have a name
2021-07-12 00:21:24 +0200 <dibblego> but you could give it one if you applied foldl to an argument
2021-07-12 00:21:40 +0200 <dibblego> e.g. myfavouritename = foldl (\acc x -> acc + x)
2021-07-12 00:21:53 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-12 00:21:58 +0200 <dibblego> and follow that reasoning … I feel like I need a whiteboard at this point :)
2021-07-12 00:22:00 +0200 <Atum_> Got it, thanks dibblego :)
2021-07-12 00:22:13 +0200 <Atum_> Yea, makes sense what you said
2021-07-12 00:30:31 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-12 00:33:42 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 268 seconds)
2021-07-12 00:34:42 +0200theproffesor(~theproffe@2601:282:847f:8010::3a29) (Ping timeout: 240 seconds)
2021-07-12 00:36:11 +0200 <koz> If I want to generate a function definition like 'foo (A b c) = ... \n foo _ = ....' in TH, do I need to use FunD with two Clauses in the list, or two FunDs?
2021-07-12 00:36:50 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-12 00:37:44 +0200nchashch(~nchashch@37.204.243.148)
2021-07-12 00:38:03 +0200 <janus> aaah the \n is a newline. i thought it was a lambda and couldn't understand why you had two equals :P
2021-07-12 00:38:11 +0200 <koz> Yeah, my bad.
2021-07-12 00:38:28 +0200 <koz> I assume it's 'one FunD, two Clauses'.
2021-07-12 00:38:33 +0200 <koz> (immature giggle)
2021-07-12 00:39:52 +0200MQ-17J(~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds)
2021-07-12 00:40:51 +0200nchashch(~nchashch@37.204.243.148) (Client Quit)
2021-07-12 00:41:40 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 258 seconds)
2021-07-12 00:42:47 +0200 <monochrom> Yes one FunD.
2021-07-12 00:43:06 +0200 <koz> OK, that explains the weird errors I am getting. Thank you!
2021-07-12 00:43:55 +0200 <monochrom> Two FunDs would reproduce the classic beginner error of "at the REPL I entered f 0 = 0 then I entered f n = f (n-1)"
2021-07-12 00:44:44 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-12 00:49:20 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-07-12 00:51:40 +0200cheater(~Username@user/cheater) (Ping timeout: 272 seconds)
2021-07-12 00:51:53 +0200cheater(~Username@user/cheater)
2021-07-12 00:52:38 +0200hexfive(~eric@50.35.83.177)
2021-07-12 00:54:24 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection)
2021-07-12 00:59:54 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 272 seconds)
2021-07-12 01:01:21 +0200retro_(~retro@90.218.175.34)
2021-07-12 01:01:25 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-12 01:02:10 +0200hexfive(~eric@50.35.83.177) (Quit: WeeChat 3.0)
2021-07-12 01:03:40 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-12 01:04:35 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-12 01:04:58 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2021-07-12 01:04:58 +0200retroid_(~retro@90.218.175.34) (Ping timeout: 272 seconds)
2021-07-12 01:05:51 +0200retroid_(~retro@90.218.175.34)
2021-07-12 01:06:14 +0200retro_(~retro@90.218.175.34) (Ping timeout: 272 seconds)
2021-07-12 01:06:26 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-07-12 01:10:42 +0200retroid_(~retro@90.218.175.34) (Ping timeout: 268 seconds)
2021-07-12 01:11:08 +0200safinaskar(~user@109-252-90-89.nat.spd-mgts.ru)
2021-07-12 01:11:17 +0200safinaskar(~user@109-252-90-89.nat.spd-mgts.ru) ()
2021-07-12 01:12:14 +0200cjb(~cjb@user/cjb)
2021-07-12 01:12:43 +0200wroathe(~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 258 seconds)
2021-07-12 01:12:44 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 01:15:20 +0200acidjnk(~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-12 01:17:08 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds)
2021-07-12 01:17:36 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2021-07-12 01:18:25 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2021-07-12 01:18:28 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2021-07-12 01:22:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-12 01:25:02 +0200polykernel[m](~polykerne@2001:470:69fc:105::ba04) ()
2021-07-12 01:25:09 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-12 01:25:17 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-12 01:28:50 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds)
2021-07-12 01:29:12 +0200jao(jao@gateway/vpn/protonvpn/jao)
2021-07-12 01:30:26 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 268 seconds)
2021-07-12 01:39:16 +0200jakalx(~jakalx@base.jakalx.net)
2021-07-12 01:40:31 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-07-12 01:42:52 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-12 01:45:38 +0200infinisil(~infinisil@mail.infinisil.com)
2021-07-12 01:46:08 +0200Atum_(IRC@user/atum/x-2392232) (Quit: Atum_)
2021-07-12 01:52:55 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-07-12 01:55:13 +0200mikail_(~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection)
2021-07-12 01:55:19 +0200infinisil(~infinisil@mail.infinisil.com) (Quit: Configuring ZNC, sorry for the joins/quits!)
2021-07-12 01:55:36 +0200mikail_(~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f)
2021-07-12 01:56:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds)
2021-07-12 01:57:09 +0200infinisil(~infinisil@mail.infinisil.com)
2021-07-12 02:00:00 +0200notzmv(~zmv@user/notzmv)
2021-07-12 02:02:13 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 02:03:35 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-12 02:05:46 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-07-12 02:06:18 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds)
2021-07-12 02:06:54 +0200 <hololeap> is there something ready-made out there that will take a type-level list and turn it into a "stream" of arguments, for instance '[Int, Bool] would become (Int -> Bool -> x)
2021-07-12 02:08:28 +0200 <hololeap> i've made this before and was curious if it was something that should be exported to a library
2021-07-12 02:09:46 +0200 <johnw> hi, is anyone here on the HIW program committee this year?
2021-07-12 02:10:14 +0200mikail_(~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Ping timeout: 255 seconds)
2021-07-12 02:14:00 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-07-12 02:17:27 +0200 <dexterfoo> Is 'Char' the same as 'Word32' in terms of performance?
2021-07-12 02:18:30 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds)
2021-07-12 02:19:22 +0200 <geekosaur> I think so, yes
2021-07-12 02:21:17 +0200 <dexterfoo> thanks
2021-07-12 02:25:59 +0200 <Axman6> @src Char
2021-07-12 02:26:00 +0200 <lambdabot> data Char = C# Char#
2021-07-12 02:26:22 +0200 <Axman6> IIRC a Char# is a Word#, but worth checking
2021-07-12 02:26:27 +0200 <Axman6> @src Char#
2021-07-12 02:26:27 +0200 <lambdabot> Source not found. Listen, broccoli brains, I don't have time to listen to this trash.
2021-07-12 02:26:34 +0200 <Axman6> Fair
2021-07-12 02:28:54 +0200silverwhitefish(~hidden@47.202.102.10)
2021-07-12 02:30:21 +0200polykernel(~polykerne@user/polykernel)
2021-07-12 02:32:38 +0200polykernel(~polykerne@user/polykernel) ()
2021-07-12 02:34:45 +0200jao(jao@gateway/vpn/protonvpn/jao) (Ping timeout: 258 seconds)
2021-07-12 02:36:46 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-12 02:39:27 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-12 02:39:27 +0200 <geekosaur> until 9.2 at least
2021-07-12 02:39:42 +0200 <Axman6> is something changing?
2021-07-12 02:39:45 +0200Deide(~Deide@user/deide) (Quit: Seeee yaaaa)
2021-07-12 02:40:18 +0200 <geekosaur> when the types get distinguished because of the aarch64-darwin sbi not supporting C upcasting or something like that
2021-07-12 02:41:04 +0200 <geekosaur> Word32 and Char# will actually be 32 bits instead of all the types being Word# / Int# underneath
2021-07-12 02:41:44 +0200 <davean> Yah, I'm really excited about that
2021-07-12 02:43:03 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-12 02:43:27 +0200 <Axman6> ah great, that'll help with UNPACK sizes
2021-07-12 02:44:00 +0200 <davean> yes, massively, and memory bandwidth
2021-07-12 02:44:36 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-07-12 02:47:04 +0200mthvedt(uid501949@id-501949.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-12 02:47:24 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds)
2021-07-12 02:48:07 +0200fef(~thedawn@user/thedawn)
2021-07-12 02:51:38 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-12 02:52:35 +0200_xor(~xor@74.215.46.133)
2021-07-12 02:54:19 +0200safinaskar(~user@109.252.90.89)
2021-07-12 02:54:32 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-07-12 02:54:38 +0200safinaskar(~user@109.252.90.89) ()
2021-07-12 02:58:02 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2021-07-12 02:58:50 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds)
2021-07-12 02:58:58 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-07-12 02:59:15 +0200 <Axman6> are we getting one byte Word8# too?
2021-07-12 03:00:48 +0200Core7908(~Core7908@2804:18:47:52d3:1:0:b31:60e7)
2021-07-12 03:01:00 +0200bontaq(~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-07-12 03:01:15 +0200 <geekosaur> yes
2021-07-12 03:02:24 +0200andreabedini(~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com)
2021-07-12 03:04:04 +0200andreabedini(~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Client Quit)
2021-07-12 03:04:19 +0200andreabedini(~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com)
2021-07-12 03:04:34 +0200 <davean> Its the biggest deal in ages!
2021-07-12 03:06:40 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-07-12 03:14:18 +0200fef(~thedawn@user/thedawn)
2021-07-12 03:19:41 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-12 03:23:14 +0200 <Axman6> This is the ~worst~ best deal in the history of deals
2021-07-12 03:23:25 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-12 03:23:39 +0200machinedgod(~machinedg@24.105.81.50)
2021-07-12 03:24:27 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-12 03:26:29 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net)
2021-07-12 03:28:44 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-07-12 03:31:14 +0200xff0x(~xff0x@2001:1a81:5298:1800:4b48:fc50:6a76:3d62) (Ping timeout: 255 seconds)
2021-07-12 03:32:29 +0200 <dmj`> 8 bytes for the price of 1 ...
2021-07-12 03:33:02 +0200xff0x(~xff0x@2001:1a81:52d6:3f00:c2c2:4eb1:4c10:1645)
2021-07-12 03:39:17 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-12 03:40:41 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 258 seconds)
2021-07-12 03:42:07 +0200 <DigitalKiwi> ate too many bytes now i'm fat ;(
2021-07-12 03:42:18 +0200Guest93(~Guest93@c-73-170-126-103.hsd1.ca.comcast.net) (Quit: Client closed)
2021-07-12 03:42:22 +0200 <Axman6> should have taken smaller nibbles
2021-07-12 03:42:38 +0200 <monochrom> haha
2021-07-12 03:43:28 +0200 <monochrom> If you eat 2 bytes you're fat16. If you eat 4 bytes you're fat32.
2021-07-12 03:43:56 +0200infinisil(~infinisil@mail.infinisil.com) (WeeChat 3.2)
2021-07-12 03:43:56 +0200 <shachaf> I ate 1.5 bytes.
2021-07-12 03:44:11 +0200dajoer(~david@user/gvx)
2021-07-12 03:44:33 +0200Guest81(~Guest81@187.83.249.216.dyn.smithville.net)
2021-07-12 03:44:34 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-07-12 03:48:15 +0200 <janus> i am looking for a guide on implementing monad transformers. i know about Monad Transformers Step-by-Step, but it stays that it only explains how to use them
2021-07-12 03:51:31 +0200infinisil[m]infinisil
2021-07-12 03:52:30 +0200infinisil(~infinisil@2001:470:69fc:105::ff8) (Quit: Reconnecting)
2021-07-12 03:52:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-12 03:55:33 +0200 <Guest81> when I write instance (a ~ TF b) => SomeClass a b where... for some type family TF b, am I telling GHC to trust me? or does it actually verify that the a ~ TF b holds?
2021-07-12 03:56:36 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 272 seconds)
2021-07-12 03:58:03 +0200 <monochrom> Perhaps start with an elementary example like "instance Eq a => Eq [a]". Can you ask the same questions? Can you answer the same questions?
2021-07-12 03:58:27 +0200infinisil[irc](~infinisil@178.197.225.108)
2021-07-12 04:01:37 +0200beka(~beka@104-244-27-23.static.monkeybrains.net)
2021-07-12 04:01:44 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-12 04:06:47 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2021-07-12 04:06:47 +0200infinisil[irc](~infinisil@178.197.225.108) (Ping timeout: 255 seconds)
2021-07-12 04:08:50 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-12 04:11:55 +0200averell(~averell@irc.nf3.eu) (Quit: .)
2021-07-12 04:11:55 +0200 <Guest81> i still don't really understand the behaviour...it looks like writing instance (a ~ TF a) => SomeClass a will make every a an instance of SomeClass, but calls to methods of SomeClass will fail unless the constraint a ~ TF a is satisfied when called?
2021-07-12 04:12:12 +0200averell(~averell@user/averell)
2021-07-12 04:12:20 +0200 <Guest81> is that right or am I missing something?
2021-07-12 04:12:31 +0200 <monochrom> Yes. Same with "instance Eq a => Eq [a]".
2021-07-12 04:12:46 +0200 <monochrom> This is why the elementary example is so important.
2021-07-12 04:13:59 +0200hgolden(uid507415@id-507415.highgate.irccloud.com) (Read error: Connection reset by peer)
2021-07-12 04:14:00 +0200 <monochrom> This is why a civil engineering degree program forces 1st-year students to first play with "toy" pulley and lever systems.
2021-07-12 04:14:08 +0200hgolden(uid507415@id-507415.highgate.irccloud.com)
2021-07-12 04:14:47 +0200 <monochrom> where the 1st-year students must have been very eager to jump ahead to operate a real crane and start wrecking.
2021-07-12 04:16:44 +0200infinisil[irc](~infinisil@178.197.225.108)
2021-07-12 04:19:01 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 04:19:23 +0200td_(~td@94.134.91.97) (Ping timeout: 255 seconds)
2021-07-12 04:20:33 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2021-07-12 04:20:34 +0200FinnElijaGuest8527
2021-07-12 04:20:34 +0200Guest8527(~finn_elij@user/finn-elija/x-0085643) (Killed (sodium.libera.chat (Nickname regained by services)))
2021-07-12 04:20:34 +0200finn_elijaFinnElija
2021-07-12 04:21:21 +0200td_(~td@94.134.91.208)
2021-07-12 04:22:00 +0200 <Axman6> I don't think that many people who study engineering end up as crane operators...
2021-07-12 04:23:10 +0200 <monochrom> Indeed, civil engineering having very few job openings... Most go to grad school or find irrelevant jobs.
2021-07-12 04:23:26 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds)
2021-07-12 04:25:08 +0200 <Guest81> the root of my misunderstanding seems to be that instance (a ~ b) => Class a b is not equivalent to instance Class a a
2021-07-12 04:25:46 +0200 <Axman6> yeah the former only checks that constraint at the use site IIRC
2021-07-12 04:26:22 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-07-12 04:26:50 +0200 <Guest81> yup: https://journal.infinitenegativeutility.com/haskell-type-equality-constraints
2021-07-12 04:27:04 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-12 04:29:46 +0200 <dmj`> janus: this might be relevant https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.268&rep=rep1&type=pdf
2021-07-12 04:30:33 +0200 <janus> dmj`: thanks, that looks very thorough. i'll get started reading...
2021-07-12 04:31:17 +0200 <dmj`> janus: tldr, put an (m :: * -> *) through all your existing monads
2021-07-12 04:31:41 +0200infinisil(~infinisil@2001:470:69fc:105::ff8)
2021-07-12 04:35:24 +0200tcard(~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving)
2021-07-12 04:38:50 +0200alx741(~alx741@186.178.108.20) (Quit: alx741)
2021-07-12 04:39:03 +0200tcard(~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp)
2021-07-12 04:41:35 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2021-07-12 04:44:25 +0200 <DigitalKiwi> Axman6: what's the crane operator? i know the bird operator and the fish operator but not the crane operator
2021-07-12 04:49:20 +0200 <monochrom> haha
2021-07-12 04:49:56 +0200 <monochrom> crane is a bird, too
2021-07-12 04:53:55 +0200Guest81(~Guest81@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-12 04:54:02 +0200 <DigitalKiwi> i can only assume the crane operator is like the normal bird operator but taller
2021-07-12 04:54:16 +0200 <monochrom> yeah
2021-07-12 04:54:58 +0200 <DigitalKiwi> and it eats the fish operator
2021-07-12 04:55:24 +0200 <monochrom> "Is this an ecosystem?" meme
2021-07-12 04:56:16 +0200 <DigitalKiwi> *chortles*
2021-07-12 04:56:52 +0200monochromtweets "the phrase 'programming language ecosystem' encourages a toxic culture because it implies that some members are meant to be predators, the rest meant to be preys"
2021-07-12 04:57:02 +0200 <DigitalKiwi> When feeding on land, they consume seeds, leaves, nuts and acorns, berries, fruit, insects, worms, snails, small reptiles, mammals, and birds.
2021-07-12 04:57:02 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2021-07-12 04:57:56 +0200DigitalKiwilooks at self nick https://i.redd.it/8bnu2wr6oam41.jpg
2021-07-12 04:59:51 +0200 <DigitalKiwi> phrik calls me a digitized chirping fruit with citizenship lol
2021-07-12 05:00:00 +0200Taneb(~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.)
2021-07-12 05:01:08 +0200Taneb(~Taneb@runciman.hacksoc.org)
2021-07-12 05:10:02 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net)
2021-07-12 05:11:41 +0200 <oso> is there any simple container with a more efficient lookup than Set? or is that the one to go with?
2021-07-12 05:12:52 +0200gehmehgeh_(~user@user/gehmehgeh)
2021-07-12 05:13:13 +0200 <Axman6> HashSet?
2021-07-12 05:14:20 +0200 <oso> ooh, and it even specifically mentions performing better for strings. thanks!
2021-07-12 05:14:59 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 244 seconds)
2021-07-12 05:15:22 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-07-12 05:17:22 +0200edr(~edr@user/edr) (Ping timeout: 252 seconds)
2021-07-12 05:17:30 +0200alx741(~alx741@186.178.108.20)
2021-07-12 05:19:03 +0200edr(~edr@enlo.co)
2021-07-12 05:19:03 +0200edr(~edr@enlo.co) (Changing host)
2021-07-12 05:19:03 +0200edr(~edr@user/edr)
2021-07-12 05:21:44 +0200zebrag(~chris@user/zebrag)
2021-07-12 05:25:38 +0200ubikium(~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Quit: Quit)
2021-07-12 05:26:53 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-07-12 05:29:54 +0200alx741(~alx741@186.178.108.20) (Quit: alx741)
2021-07-12 05:30:58 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2021-07-12 05:31:11 +0200zebrag(~chris@user/zebrag)
2021-07-12 05:32:56 +0200zebrag(~chris@user/zebrag) (Remote host closed the connection)
2021-07-12 05:33:02 +0200 <janus> oso: but strings are going to be hashed slowly just because of their representation... no?
2021-07-12 05:33:44 +0200 <oso> hackage says "The implementation is based on hash array mapped tries. A HashSet is often faster than other Ord-based set types, especially when value comparisons are expensive, as in the case of strings."
2021-07-12 05:33:53 +0200 <oso> oh value comparisons, not key comparisons
2021-07-12 05:34:10 +0200 <monochrom> They mean key comparisons.
2021-07-12 05:34:15 +0200 <oso> wait sorry got confused bc i'm also using hashmap
2021-07-12 05:34:20 +0200 <oso> for something else
2021-07-12 05:35:04 +0200pfurla_(~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-07-12 05:37:13 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 258 seconds)
2021-07-12 05:37:55 +0200pfurla(~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds)
2021-07-12 05:39:50 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds)
2021-07-12 05:44:50 +0200notzmv(~zmv@user/notzmv)
2021-07-12 05:46:45 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
2021-07-12 05:46:53 +0200wei2912(~wei2912@112.199.250.21)
2021-07-12 05:48:58 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net)
2021-07-12 05:52:01 +0200 <oso> wow, the switch from list to hashset was an order of magnitude speedup on a heavy test, 0.25s -> 0.2s
2021-07-12 05:52:07 +0200 <oso> 0.02s*
2021-07-12 06:08:50 +0200 <DigitalKiwi> <3 appropriate data structure. i had a lua port of pacman many years ago that had a few cases it was faster than pacman because i could implement them with tables and associated features but pacman only had linked lists
2021-07-12 06:09:51 +0200JSharp(sid4580@id-4580.tooting.irccloud.com) ()
2021-07-12 06:09:54 +0200mikail_(~mikail@90.212.77.3)
2021-07-12 06:10:12 +0200JSharp(sid4580@id-4580.tooting.irccloud.com)
2021-07-12 06:23:22 +0200mikail_(~mikail@90.212.77.3) (Ping timeout: 252 seconds)
2021-07-12 06:23:35 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-12 06:23:38 +0200retroid_(~retro@90.218.175.34)
2021-07-12 06:23:55 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-07-12 06:27:03 +0200poljar(~poljar@93-139-36-109.adsl.net.t-com.hr) (Ping timeout: 268 seconds)
2021-07-12 06:30:57 +0200Guest9(~Guest9@103.240.204.23)
2021-07-12 06:31:11 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 06:32:42 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-12 06:46:28 +0200Guest9(~Guest9@103.240.204.23) (Ping timeout: 252 seconds)
2021-07-12 06:47:52 +0200akhileshs(~user@c-73-63-166-39.hsd1.ca.comcast.net)
2021-07-12 06:48:07 +0200akhileshs(~user@c-73-63-166-39.hsd1.ca.comcast.net) (Client Quit)
2021-07-12 06:51:38 +0200MorrowM(~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-07-12 06:52:28 +0200Morrow(~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 246 seconds)
2021-07-12 06:53:23 +0200xerxes(~xerxes@117.222.64.42)
2021-07-12 06:55:06 +0200slowButPresent(~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-07-12 06:56:30 +0200meinside(uid24933@id-24933.brockwell.irccloud.com)
2021-07-12 06:57:43 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-07-12 06:58:30 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2021-07-12 06:59:41 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-12 07:00:43 +0200yauhsien_(~yauhsien@36-225-130-34.dynamic-ip.hinet.net)
2021-07-12 07:00:47 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-12 07:01:07 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection)
2021-07-12 07:01:21 +0200noctuks(VLd78TzYRj@user/noctux) (*.net *.split)
2021-07-12 07:01:21 +0200hook54321(sid149355@user/hook54321) (*.net *.split)
2021-07-12 07:01:21 +0200integral(sid296274@user/integral) (*.net *.split)
2021-07-12 07:01:21 +0200tomboy64(~tomboy64@user/tomboy64) (*.net *.split)
2021-07-12 07:01:21 +0200mrkajetanp(~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) (*.net *.split)
2021-07-12 07:01:21 +0200DigitalKiwi(~kiwi@2604:a880:400:d0::12fc:5001) (*.net *.split)
2021-07-12 07:01:22 +0200vito(sid1962@user/vito) (*.net *.split)
2021-07-12 07:01:22 +0200jmct(sid160793@id-160793.tinside.irccloud.com) (*.net *.split)
2021-07-12 07:01:22 +0200gaze__(sid387101@id-387101.brockwell.irccloud.com) (*.net *.split)
2021-07-12 07:01:22 +0200adamse(sid72084@user/adamse) (*.net *.split)
2021-07-12 07:01:22 +0200systemfault(sid267009@id-267009.highgate.irccloud.com) (*.net *.split)
2021-07-12 07:01:22 +0200agander_m(sid407952@id-407952.tinside.irccloud.com) (*.net *.split)
2021-07-12 07:01:22 +0200T_S_(sid501726@id-501726.highgate.irccloud.com) (*.net *.split)
2021-07-12 07:01:22 +0200mcglk(~mcglk@131.191.49.120) (*.net *.split)
2021-07-12 07:01:22 +0200yorick(~yorick@user/yorick) (*.net *.split)
2021-07-12 07:01:22 +0200Unode(~Unode@194.94.44.220) (*.net *.split)
2021-07-12 07:01:23 +0200jmct_(sid160793@id-160793.tinside.irccloud.com)
2021-07-12 07:01:24 +0200gaze___(sid387101@id-387101.brockwell.irccloud.com)
2021-07-12 07:01:25 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 07:01:25 +0200Unode_(~Unode@194.94.44.220)
2021-07-12 07:01:25 +0200systemfault_(sid267009@id-267009.highgate.irccloud.com)
2021-07-12 07:01:27 +0200integral_(sid296274@user/integral)
2021-07-12 07:01:28 +0200adamse_(sid72084@user/adamse)
2021-07-12 07:01:34 +0200agander_m_(sid407952@id-407952.tinside.irccloud.com)
2021-07-12 07:01:38 +0200noctuks(oGswB5gyub@user/noctux)
2021-07-12 07:01:40 +0200mrkajetanp_(~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88)
2021-07-12 07:01:45 +0200yorick(~yorick@user/yorick)
2021-07-12 07:01:48 +0200vito(sid1962@user/vito)
2021-07-12 07:01:48 +0200CodeKiwi(~kiwi@2604:a880:400:d0::12fc:5001)
2021-07-12 07:01:49 +0200Unode_Unode
2021-07-12 07:01:51 +0200T_S_(sid501726@id-501726.highgate.irccloud.com)
2021-07-12 07:02:20 +0200tomboy64(~tomboy64@user/tomboy64)
2021-07-12 07:02:29 +0200mcglk(~mcglk@131.191.49.120)
2021-07-12 07:02:33 +0200hook54321_(sid149355@user/hook54321)
2021-07-12 07:02:48 +0200yauhsien(~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2021-07-12 07:03:34 +0200CodeKiwiDigitalKiwi
2021-07-12 07:04:40 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-07-12 07:06:12 +0200Vq(~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split)
2021-07-12 07:06:12 +0200Clint(~Clint@user/clint) (*.net *.split)
2021-07-12 07:06:12 +0200shane(~shane@ana.rch.ist) (*.net *.split)
2021-07-12 07:06:12 +0200Hecate(~mariposa@user/hecate) (*.net *.split)
2021-07-12 07:06:12 +0200Ferdirand(~somebody@user/ferdirand) (*.net *.split)
2021-07-12 07:06:12 +0200andreas303(andreas303@ip227.orange.bnc4free.com) (*.net *.split)
2021-07-12 07:06:12 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split)
2021-07-12 07:06:12 +0200hexeme(~hexeme@user/hexeme) (*.net *.split)
2021-07-12 07:06:12 +0200mikko(~mikko@2a02:7b40:d418:6a61::1) (*.net *.split)
2021-07-12 07:06:13 +0200lechner(~lechner@debian/lechner) (*.net *.split)
2021-07-12 07:06:13 +0200peutri(~peutri@ns317027.ip-94-23-46.eu) (*.net *.split)
2021-07-12 07:06:13 +0200Aleksejs(~Aleksejs@haskell.lv) (*.net *.split)
2021-07-12 07:06:13 +0200Ekho(~Ekho@user/ekho) (*.net *.split)
2021-07-12 07:06:13 +0200xerox(~edi@user/edi) (*.net *.split)
2021-07-12 07:06:13 +0200cohn(~noone@user/cohn) (*.net *.split)
2021-07-12 07:06:13 +0200vk3wtf(~doc@124.168.198.139) (*.net *.split)
2021-07-12 07:06:13 +0200immae(~immae@2a01:4f8:141:53e7::) (*.net *.split)
2021-07-12 07:06:13 +0200parisienne(sid383587@id-383587.brockwell.irccloud.com) (*.net *.split)
2021-07-12 07:06:13 +0200m1dnight(~christoph@188.ip-51-91-158.eu) (*.net *.split)
2021-07-12 07:06:13 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2021-07-12 07:06:13 +0200obviyus(sid415299@user/obviyus) (*.net *.split)
2021-07-12 07:06:13 +0200sclv(sid39734@haskell/developer/sclv) (*.net *.split)
2021-07-12 07:06:13 +0200exarkun(~exarkun@user/exarkun) (*.net *.split)
2021-07-12 07:06:13 +0200fr33domlover(~fr33domlo@angeley.es) (*.net *.split)
2021-07-12 07:06:13 +0200Zemyla(~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) (*.net *.split)
2021-07-12 07:06:13 +0200SethTisue__(sid14912@id-14912.charlton.irccloud.com) (*.net *.split)
2021-07-12 07:06:13 +0200janus(janus@anubis.0x90.dk) (*.net *.split)
2021-07-12 07:06:13 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split)
2021-07-12 07:06:13 +0200kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split)
2021-07-12 07:06:14 +0200nonzen(~nonzen@user/nonzen) (*.net *.split)
2021-07-12 07:06:14 +0200Hobbyboy(Hobbyboy@hobbyboy.co.uk) (*.net *.split)
2021-07-12 07:06:14 +0200feepo(sid28508@id-28508.brockwell.irccloud.com) (*.net *.split)
2021-07-12 07:06:14 +0200Arsen(~arsen@managarm/dev/Arsen) (*.net *.split)
2021-07-12 07:06:14 +0200lieven(~mal@ns2.wyrd.be) (*.net *.split)
2021-07-12 07:06:18 +0200Ferdiran1(~somebody@2001:4c78:2012:5000::2)
2021-07-12 07:06:19 +0200Hecate(~mariposa@163.172.211.189)
2021-07-12 07:06:19 +0200peutri(~peutri@ns317027.ip-94-23-46.eu)
2021-07-12 07:06:19 +0200Clint(~Clint@user/clint)
2021-07-12 07:06:19 +0200SethTisue__(sid14912@id-14912.charlton.irccloud.com)
2021-07-12 07:06:21 +0200feepo(sid28508@id-28508.brockwell.irccloud.com)
2021-07-12 07:06:22 +0200xerox_(~edi@user/edi)
2021-07-12 07:06:23 +0200Vq(~vq@90-227-195-41-no77.tbcn.telia.com)
2021-07-12 07:06:24 +0200cohn(~noone@23.239.18.252)
2021-07-12 07:06:25 +0200piele(~piele@tbonesteak.creativeserver.net)
2021-07-12 07:06:29 +0200cohn(~noone@23.239.18.252) (Changing host)
2021-07-12 07:06:29 +0200cohn(~noone@user/cohn)
2021-07-12 07:06:30 +0200janus(janus@anubis.0x90.dk)
2021-07-12 07:06:30 +0200aforemny(~aforemny@static.248.158.34.188.clients.your-server.de)
2021-07-12 07:06:33 +0200parisienne(sid383587@id-383587.brockwell.irccloud.com)
2021-07-12 07:06:33 +0200Aleksejs_Home(~Aleksejs@haskell.lv)
2021-07-12 07:06:34 +0200lechner(~lechner@letbox-vps.us-core.com)
2021-07-12 07:06:35 +0200sclv(sid39734@haskell/developer/sclv)
2021-07-12 07:06:37 +0200mikko(~mikko@2a02:7b40:d418:6a61::1)
2021-07-12 07:06:37 +0200Hobbyboy|BNC(Hobbyboy@hobbyboy.co.uk)
2021-07-12 07:06:42 +0200lieven(~mal@ns2.wyrd.be)
2021-07-12 07:06:42 +0200kawzeg(kawzeg@2a01:7e01::f03c:92ff:fee2:ec34)
2021-07-12 07:06:43 +0200m1dnight(~christoph@188.ip-51-91-158.eu)
2021-07-12 07:06:47 +0200lechner(~lechner@letbox-vps.us-core.com) (Changing host)
2021-07-12 07:06:47 +0200lechner(~lechner@debian/lechner)
2021-07-12 07:06:48 +0200vk3wtf(~doc@124.168.198.139)
2021-07-12 07:06:48 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk)
2021-07-12 07:06:50 +0200andreas3-(andreas303@ip227.orange.bnc4free.com)
2021-07-12 07:07:01 +0200immae(~immae@2a01:4f8:141:53e7::)
2021-07-12 07:07:05 +0200obviyus(sid415299@user/obviyus)
2021-07-12 07:07:06 +0200hexeme(~hexeme@user/hexeme)
2021-07-12 07:07:12 +0200fr33domlover(~fr33domlo@angeley.es)
2021-07-12 07:07:16 +0200nonzen(~nonzen@user/nonzen)
2021-07-12 07:07:59 +0200exarkun(~exarkun@user/exarkun)
2021-07-12 07:08:02 +0200Arsen(~arsen@managarm/dev/Arsen)
2021-07-12 07:10:07 +0200Ekho(~Ekho@user/ekho)
2021-07-12 07:10:24 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds)
2021-07-12 07:10:36 +0200Hobbyboy|BNCHobbyboy
2021-07-12 07:11:26 +0200lisq(~quassel@lis.moe) (*.net *.split)
2021-07-12 07:11:26 +0200skn(~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) (*.net *.split)
2021-07-12 07:11:26 +0200jonrh(sid5185@id-5185.charlton.irccloud.com) (*.net *.split)
2021-07-12 07:11:26 +0200iphy(sid67735@2001:67c:2f08:4::1:897) (*.net *.split)
2021-07-12 07:11:26 +0200bradparker(sid262931@2001:67c:2f08:1::4:313) (*.net *.split)
2021-07-12 07:11:26 +0200oxytocat(~alloca@user/suppi) (*.net *.split)
2021-07-12 07:11:26 +0200hongminhee(sid295@id-295.tinside.irccloud.com) (*.net *.split)
2021-07-12 07:11:26 +0200ggvgc(~ggVGc@a.lowtech.earth) (*.net *.split)
2021-07-12 07:11:26 +0200choucavalier(~choucaval@peanutbuttervibes.com) (*.net *.split)
2021-07-12 07:11:26 +0200teddyc(theodorc@cassarossa.samfundet.no) (*.net *.split)
2021-07-12 07:11:26 +0200xnbya2(~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split)
2021-07-12 07:11:26 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
2021-07-12 07:11:26 +0200gonz_(sid304396@id-304396.tooting.irccloud.com) (*.net *.split)
2021-07-12 07:11:26 +0200jmjl(julian@user/jmjl) (*.net *.split)
2021-07-12 07:11:26 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (*.net *.split)
2021-07-12 07:11:26 +0200kaychaks__(sid236345@id-236345.brockwell.irccloud.com) (*.net *.split)
2021-07-12 07:11:26 +0200dexterfoo(dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split)
2021-07-12 07:11:26 +0200darxun(sid504814@id-504814.tinside.irccloud.com) (*.net *.split)
2021-07-12 07:11:26 +0200LambdaDuck(~anka@ksit.fixme.fi) (*.net *.split)
2021-07-12 07:11:26 +0200meinside(uid24933@id-24933.brockwell.irccloud.com) (*.net *.split)
2021-07-12 07:11:26 +0200Philonous_(~Philonous@user/philonous) (*.net *.split)
2021-07-12 07:11:26 +0200feliix42(~felix@gibbs.uberspace.de) (*.net *.split)
2021-07-12 07:11:26 +0200mustafa(sid502723@rockylinux/releng/mustafa) (*.net *.split)
2021-07-12 07:11:26 +0200jakesyl(sid56879@id-56879.stonehaven.irccloud.com) (*.net *.split)
2021-07-12 07:11:26 +0200joel135(sid136450@id-136450.stonehaven.irccloud.com) (*.net *.split)
2021-07-12 07:11:26 +0200tritlo(sid58727@user/tritlo) (*.net *.split)
2021-07-12 07:11:26 +0200rubin55(sid175221@id-175221.stonehaven.irccloud.com) (*.net *.split)
2021-07-12 07:11:26 +0200acertain(sid470584@stonehaven.irccloud.com) (*.net *.split)
2021-07-12 07:11:27 +0200nurupo(~nurupo.ga@user/nurupo) (*.net *.split)
2021-07-12 07:11:27 +0200MasseR(~MasseR@51.15.143.128) (*.net *.split)
2021-07-12 07:11:27 +0200carbolymer(~carbolyme@dropacid.net) (*.net *.split)
2021-07-12 07:11:27 +0200tdammers(~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split)
2021-07-12 07:11:27 +0200zopsi(zopsi@2600:3c00::f03c:91ff:fe14:551f) (*.net *.split)
2021-07-12 07:11:27 +0200zgrep(~zgrep@user/zgrep) (*.net *.split)
2021-07-12 07:11:27 +0200flukiluke(~flukiluke@plum.alephc.xyz) (*.net *.split)
2021-07-12 07:11:27 +0200kmein(~weechat@user/kmein) (*.net *.split)
2021-07-12 07:11:27 +0200PHO`(~pho@akari.cielonegro.org) (*.net *.split)
2021-07-12 07:11:27 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca) (*.net *.split)
2021-07-12 07:11:27 +0200nrr(sid20938@id-20938.tooting.irccloud.com) (*.net *.split)
2021-07-12 07:11:27 +0200travv0(sid293381@user/travv0) (*.net *.split)
2021-07-12 07:11:27 +0200sa(sid1055@id-1055.tinside.irccloud.com) (*.net *.split)
2021-07-12 07:11:27 +0200koolazer(~koo@212.47.237.37) (*.net *.split)
2021-07-12 07:11:27 +0200truckasaurus(sid457088@id-457088.brockwell.irccloud.com) (*.net *.split)
2021-07-12 07:11:27 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2021-07-12 07:11:27 +0200Brianmancer(~Neuromanc@user/briandamag) (*.net *.split)
2021-07-12 07:11:29 +0200Zemyla(~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com)
2021-07-12 07:11:32 +0200PHO`_(~pho@akari.cielonegro.org)
2021-07-12 07:11:33 +0200LambdaDu1k(~anka@ksit.fixme.fi)
2021-07-12 07:11:34 +0200zopsi_(~zopsi@irc.dir.ac)
2021-07-12 07:11:34 +0200xnbya(~xnbya@2a01:4f8:c17:cbdd::1)
2021-07-12 07:11:34 +0200meinside_(uid24933@id-24933.brockwell.irccloud.com)
2021-07-12 07:11:36 +0200choucavalier(~choucaval@peanutbuttervibes.com)
2021-07-12 07:11:38 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io)
2021-07-12 07:11:39 +0200dexterfoo(dexter@2a01:7e00::f03c:91ff:fe86:59ec)
2021-07-12 07:11:40 +0200teddyc(theodorc@cassarossa.samfundet.no)
2021-07-12 07:11:40 +0200koolazer(~koo@user/koolazer)
2021-07-12 07:11:41 +0200tdammers(~tdammers@77.109.72.213.res.static.edpnet.net)
2021-07-12 07:11:42 +0200kaychaks__(sid236345@id-236345.brockwell.irccloud.com)
2021-07-12 07:11:45 +0200carbolymer(~carbolyme@dropacid.net)
2021-07-12 07:11:45 +0200danso(~danso@23-233-111-52.cpe.pppoe.ca)
2021-07-12 07:11:45 +0200lis(~quassel@lis.moe)
2021-07-12 07:11:46 +0200ggvgc(~ggVGc@a.lowtech.earth)
2021-07-12 07:11:49 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2021-07-12 07:11:49 +0200hongminhee(sid295@id-295.tinside.irccloud.com)
2021-07-12 07:11:54 +0200jmjl(julian@tilde.team)
2021-07-12 07:11:55 +0200oxytocat(~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0)
2021-07-12 07:11:56 +0200feliix42_(~felix@gibbs.uberspace.de)
2021-07-12 07:11:56 +0200bradparker(sid262931@2001:67c:2f08:1::4:313)
2021-07-12 07:11:58 +0200travv0(sid293381@user/travv0)
2021-07-12 07:11:58 +0200joel135(sid136450@id-136450.stonehaven.irccloud.com)
2021-07-12 07:12:00 +0200kmein(~weechat@static.173.83.99.88.clients.your-server.de)
2021-07-12 07:12:12 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host)
2021-07-12 07:12:12 +0200tinwood(~tinwood@canonical/tinwood)
2021-07-12 07:12:18 +0200rubin55(sid175221@2001:67c:2f08:8::2:ac75)
2021-07-12 07:12:20 +0200zgrep(~zgrep@user/zgrep)
2021-07-12 07:12:20 +0200jmjl(julian@tilde.team) (Changing host)
2021-07-12 07:12:20 +0200jmjl(julian@user/jmjl)
2021-07-12 07:12:20 +0200oxytocat(~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) (Signing in (oxytocat))
2021-07-12 07:12:20 +0200oxytocat(~alloca@user/suppi)
2021-07-12 07:12:26 +0200nrr(sid20938@id-20938.tooting.irccloud.com)
2021-07-12 07:12:27 +0200gonz_(sid304396@2001:67c:2f08:4::4:a50c)
2021-07-12 07:12:27 +0200jonrh(sid5185@id-5185.charlton.irccloud.com)
2021-07-12 07:12:36 +0200acertain(sid470584@id-470584.stonehaven.irccloud.com)
2021-07-12 07:12:37 +0200truckasaurus(sid457088@2001:67c:2f08:5::6:f980)
2021-07-12 07:12:39 +0200darxun(sid504814@id-504814.tinside.irccloud.com)
2021-07-12 07:12:43 +0200iphy(sid67735@id-67735.tooting.irccloud.com)
2021-07-12 07:12:46 +0200sa(sid1055@2a03:5180:f::41f)
2021-07-12 07:12:50 +0200tritlo(sid58727@stonehaven.irccloud.com)
2021-07-12 07:12:51 +0200mustafa(sid502723@stonehaven.irccloud.com)
2021-07-12 07:12:55 +0200mustafa(sid502723@stonehaven.irccloud.com) (Changing host)
2021-07-12 07:12:55 +0200mustafa(sid502723@rockylinux/releng/mustafa)
2021-07-12 07:12:56 +0200tritlo(sid58727@stonehaven.irccloud.com) (Changing host)
2021-07-12 07:12:56 +0200tritlo(sid58727@user/tritlo)
2021-07-12 07:13:07 +0200nurupo(~nurupo.ga@user/nurupo)
2021-07-12 07:13:08 +0200Philonous(~Philonous@user/philonous)
2021-07-12 07:13:08 +0200skn(~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c)
2021-07-12 07:13:18 +0200infinisil[irc](~infinisil@178.197.225.108) (Ping timeout: 268 seconds)
2021-07-12 07:13:21 +0200jakesyl(sid56879@stonehaven.irccloud.com)
2021-07-12 07:13:41 +0200mustafa(sid502723@rockylinux/releng/mustafa) (Client Quit)
2021-07-12 07:13:51 +0200mustafa(sid502723@rockylinux/releng/mustafa)
2021-07-12 07:14:16 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2021-07-12 07:14:58 +0200quintasan(~quassel@quintasan.pl) (*.net *.split)
2021-07-12 07:14:58 +0200abbie(~abbie@offtopia/offtopian/abbie) (*.net *.split)
2021-07-12 07:14:58 +0200xaltsc(~xaltsc@user/xaltsc) (*.net *.split)
2021-07-12 07:14:58 +0200feetwind(~mike@user/feetwind) (*.net *.split)
2021-07-12 07:14:58 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) (*.net *.split)
2021-07-12 07:14:58 +0200dy(~dy@user/dy) (*.net *.split)
2021-07-12 07:14:58 +0200sa1(uid7690@id-7690.charlton.irccloud.com) (*.net *.split)
2021-07-12 07:14:58 +0200matijja(~matijja@193.77.181.201) (*.net *.split)
2021-07-12 07:14:58 +0200robertm(robertm@rojoma.com) (*.net *.split)
2021-07-12 07:14:58 +0200zzz(~yin@user/yin) (*.net *.split)
2021-07-12 07:14:58 +0200edmundnoble(sid229620@id-229620.brockwell.irccloud.com) (*.net *.split)
2021-07-12 07:14:58 +0200codedmart(~codedmart@li335-49.members.linode.com) (*.net *.split)
2021-07-12 07:14:58 +0200totbwf_(sid402332@id-402332.highgate.irccloud.com) (*.net *.split)
2021-07-12 07:14:58 +0200relrod(~relrod@redhat/ansible.staff.relrod) (*.net *.split)
2021-07-12 07:14:58 +0200aravk(~aravk@user/aravk) (*.net *.split)
2021-07-12 07:14:58 +0200juri_(~juri@178.63.35.222) (*.net *.split)
2021-07-12 07:14:58 +0200gorignak(~gorignak@047-037-033-079.res.spectrum.com) (*.net *.split)
2021-07-12 07:14:58 +0200lightandlight(sid135476@id-135476.brockwell.irccloud.com) (*.net *.split)
2021-07-12 07:14:58 +0200b20n(sid115913@id-115913.highgate.irccloud.com) (*.net *.split)
2021-07-12 07:14:58 +0200etrepum(sid763@id-763.highgate.irccloud.com) (*.net *.split)
2021-07-12 07:14:58 +0200tapas(sid467876@id-467876.charlton.irccloud.com) (*.net *.split)
2021-07-12 07:14:58 +0200Adeon(sid418992@id-418992.tooting.irccloud.com) (*.net *.split)
2021-07-12 07:14:58 +0200gmc(sid58314@id-58314.charlton.irccloud.com) (*.net *.split)
2021-07-12 07:14:58 +0200dkeohane(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (*.net *.split)
2021-07-12 07:14:58 +0200hexology(~hexology@user/hexology) (*.net *.split)
2021-07-12 07:14:58 +0200supersven(uid501114@id-501114.charlton.irccloud.com) (*.net *.split)
2021-07-12 07:14:58 +0200parseval(sid239098@id-239098.brockwell.irccloud.com) (*.net *.split)
2021-07-12 07:14:59 +0200mikolaj(~mikolaj@purple.well-typed.com) (*.net *.split)
2021-07-12 07:14:59 +0200jassob(~jassob@korrob.vth.sgsnet.se) (*.net *.split)
2021-07-12 07:14:59 +0200marienz(~marienz@libera/staff/marienz) (*.net *.split)
2021-07-12 07:14:59 +0200Jon(jon@dow.land) (*.net *.split)
2021-07-12 07:14:59 +0200davetapley(sid666@id-666.highgate.irccloud.com) (*.net *.split)
2021-07-12 07:14:59 +0200tchakka(~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) (*.net *.split)
2021-07-12 07:14:59 +0200phaazon(~phaazon@2001:41d0:a:fe76::1) (*.net *.split)
2021-07-12 07:14:59 +0200davl(~davl@207.154.228.18) (*.net *.split)
2021-07-12 07:14:59 +0200toms(~foobar@pogostick.net) (*.net *.split)
2021-07-12 07:14:59 +0200xnyhps(~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split)
2021-07-12 07:14:59 +0200S11001001(sid42510@id-42510.charlton.irccloud.com) (*.net *.split)
2021-07-12 07:14:59 +0200angerman(sid209936@id-209936.charlton.irccloud.com) (*.net *.split)
2021-07-12 07:14:59 +0200winny(~winny@user/winny) (*.net *.split)
2021-07-12 07:14:59 +0200tolt(~weechat-h@li219-154.members.linode.com) (*.net *.split)
2021-07-12 07:14:59 +0200ProofTechnique(sid79547@id-79547.charlton.irccloud.com) (*.net *.split)
2021-07-12 07:14:59 +0200auri(~admin@static.46.108.40.188.clients.your-server.de) (*.net *.split)
2021-07-12 07:14:59 +0200trueboxguy(~trueboxgu@user/trueboxguy) (*.net *.split)
2021-07-12 07:14:59 +0200Boarders(sid425905@tooting.irccloud.com) (*.net *.split)
2021-07-12 07:14:59 +0200dpratt(sid193493@id-193493.brockwell.irccloud.com) (*.net *.split)
2021-07-12 07:14:59 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split)
2021-07-12 07:14:59 +0200Unhammer(~Unhammer@user/unhammer) (*.net *.split)
2021-07-12 07:14:59 +0200cpape(~user@2a01:4f9:c010:632d::1) (*.net *.split)
2021-07-12 07:14:59 +0200enemeth79(sid309041@id-309041.tooting.irccloud.com) (*.net *.split)
2021-07-12 07:15:02 +0200toms__(~foobar@pogostick.net)
2021-07-12 07:15:04 +0200Jonno_FT1(~come@api.carswap.me)
2021-07-12 07:15:04 +0200totbwf__(sid402332@id-402332.highgate.irccloud.com)
2021-07-12 07:15:05 +0200mikolaj_(~mikolaj@purple.well-typed.com)
2021-07-12 07:15:05 +0200jmtd(jon@dow.land)
2021-07-12 07:15:07 +0200aravk_(~aravk@user/aravk)
2021-07-12 07:15:07 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 07:15:07 +0200cpape`(~user@2a01:4f9:c010:632d::1)
2021-07-12 07:15:08 +0200gorignak(~gorignak@047-037-033-079.res.spectrum.com)
2021-07-12 07:15:09 +0200juri_(~juri@178.63.35.222)
2021-07-12 07:15:09 +0200xnyhps(~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288)
2021-07-12 07:15:11 +0200phaazon(~phaazon@2001:41d0:a:fe76::1)
2021-07-12 07:15:12 +0200codedmart(codedmart@2600:3c01::f03c:92ff:fefe:8511)
2021-07-12 07:15:14 +0200relrod_(~relrod@redhat/ansible.staff.relrod)
2021-07-12 07:15:15 +0200quintasan_(~quassel@quintasan.pl)
2021-07-12 07:15:17 +0200jassob(~jassob@korrob.vth.sgsnet.se)
2021-07-12 07:15:18 +0200lightandlight(sid135476@id-135476.brockwell.irccloud.com)
2021-07-12 07:15:20 +0200supersven(uid501114@id-501114.charlton.irccloud.com)
2021-07-12 07:15:21 +0200parseval(sid239098@id-239098.brockwell.irccloud.com)
2021-07-12 07:15:23 +0200dpratt_(sid193493@id-193493.brockwell.irccloud.com)
2021-07-12 07:15:27 +0200robertm(robertm@rojoma.com)
2021-07-12 07:15:28 +0200feetwind(~mike@2406:d500:6:1:216:3cff:fe36:651)
2021-07-12 07:15:29 +0200Unhammer(~Unhammer@2a01:799:42:6a00::40c)
2021-07-12 07:15:29 +0200jmtdJon
2021-07-12 07:15:31 +0200auri(~admin@static.46.108.40.188.clients.your-server.de)
2021-07-12 07:15:34 +0200davetapley(sid666@id-666.highgate.irccloud.com)
2021-07-12 07:15:45 +0200b20n(sid115913@id-115913.highgate.irccloud.com)
2021-07-12 07:15:47 +0200feetwind(~mike@2406:d500:6:1:216:3cff:fe36:651) (Signing in (feetwind))
2021-07-12 07:15:47 +0200feetwind(~mike@user/feetwind)
2021-07-12 07:15:48 +0200Unhammer(~Unhammer@2a01:799:42:6a00::40c) (Changing host)
2021-07-12 07:15:48 +0200Unhammer(~Unhammer@user/unhammer)
2021-07-12 07:15:49 +0200winny(~winny@2001:19f0:5c01:1de7:5400:1ff:fec6:4ab0)
2021-07-12 07:15:49 +0200gmc(sid58314@id-58314.charlton.irccloud.com)
2021-07-12 07:15:50 +0200edmundnoble(sid229620@id-229620.brockwell.irccloud.com)
2021-07-12 07:15:51 +0200etrepum(sid763@id-763.highgate.irccloud.com)
2021-07-12 07:15:53 +0200enemeth79(sid309041@id-309041.tooting.irccloud.com)
2021-07-12 07:15:53 +0200xaltsc(~xaltsc@user/xaltsc)
2021-07-12 07:15:54 +0200Boarders(sid425905@id-425905.tooting.irccloud.com)
2021-07-12 07:15:54 +0200yin(~yin@user/yin)
2021-07-12 07:15:59 +0200S11001001(sid42510@id-42510.charlton.irccloud.com)
2021-07-12 07:16:00 +0200marienz(~marienz@libera/staff/marienz)
2021-07-12 07:16:03 +0200angerman(sid209936@id-209936.charlton.irccloud.com)
2021-07-12 07:16:03 +0200sa1(sid7690@id-7690.charlton.irccloud.com)
2021-07-12 07:16:10 +0200Adeon(sid418992@id-418992.tooting.irccloud.com)
2021-07-12 07:16:12 +0200ProofTechnique(sid79547@id-79547.charlton.irccloud.com)
2021-07-12 07:16:13 +0200tapas(sid467876@id-467876.charlton.irccloud.com)
2021-07-12 07:16:17 +0200trueboxguy(~trueboxgu@user/trueboxguy)
2021-07-12 07:16:18 +0200feetwindGuest3034
2021-07-12 07:16:18 +0200yinzzz
2021-07-12 07:16:21 +0200hexology(~hexology@user/hexology)
2021-07-12 07:16:24 +0200davl(~davl@207.154.228.18)
2021-07-12 07:16:37 +0200tolt(~weechat-h@li219-154.members.linode.com)
2021-07-12 07:17:11 +0200matijja(~matijja@193.77.181.201)
2021-07-12 07:17:15 +0200dkeohane(~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com)
2021-07-12 07:17:20 +0200dy(~dy@user/dy)
2021-07-12 07:17:46 +0200relrod_relrod
2021-07-12 07:20:10 +0200tchakka(~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net)
2021-07-12 07:20:46 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 272 seconds)
2021-07-12 07:21:52 +0200beaky(~beaky@2a03:b0c0:0:1010::1e:a001)
2021-07-12 07:21:54 +0200norias(~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Remote host closed the connection)
2021-07-12 07:24:09 +0200chris-the-slurpa(~chris@81.96.113.213)
2021-07-12 07:25:42 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-07-12 07:26:26 +0200jneira(~jneira@212.8.115.226)
2021-07-12 07:28:54 +0200chris-the-slurpa(~chris@81.96.113.213) (Ping timeout: 276 seconds)
2021-07-12 07:29:12 +0200winny(~winny@2001:19f0:5c01:1de7:5400:1ff:fec6:4ab0) (Quit: WeeChat 2.8)
2021-07-12 07:29:25 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-12 07:29:41 +0200winny(~winny@user/winny)
2021-07-12 07:30:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-12 07:35:58 +0200biberu(~biberu@user/biberu) (Ping timeout: 252 seconds)
2021-07-12 07:36:34 +0200biberu(~biberu@user/biberu)
2021-07-12 07:36:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-07-12 07:37:07 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection)
2021-07-12 07:37:26 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 07:42:36 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-12 07:47:06 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds)
2021-07-12 07:49:54 +0200cheater(~Username@user/cheater) (Ping timeout: 252 seconds)
2021-07-12 07:50:12 +0200cheater(~Username@user/cheater)
2021-07-12 08:06:38 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds)
2021-07-12 08:08:03 +0200typetetris(sid275937@id-275937.tinside.irccloud.com)
2021-07-12 08:09:04 +0200 <typetetris> Having strange linker failures while turning on profiling and optimizations on ghc 10.2.*. Is that a known issue?
2021-07-12 08:11:20 +0200beka(~beka@104-244-27-23.static.monkeybrains.net) (Ping timeout: 265 seconds)
2021-07-12 08:13:18 +0200cjb(~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50)
2021-07-12 08:13:23 +0200Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2021-07-12 08:14:53 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 08:17:10 +0200jumper149(~jumper149@80.240.31.34)
2021-07-12 08:19:30 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds)
2021-07-12 08:20:09 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection)
2021-07-12 08:20:28 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 08:20:52 +0200yauhsien_(~yauhsien@36-225-130-34.dynamic-ip.hinet.net) (Quit: Leaving...)
2021-07-12 08:20:59 +0200sayola(~vekto@dslb-088-078-152-192.088.078.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-07-12 08:21:09 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection)
2021-07-12 08:21:28 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 08:24:27 +0200oxide(~lambda@user/oxide)
2021-07-12 08:28:40 +0200 <davean> There is no ghc 10.2
2021-07-12 08:28:55 +0200 <davean> and "strange" do you mean you don't have the prof libraries installed?
2021-07-12 08:30:36 +0200xkuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2021-07-12 08:33:47 +0200mikoto-chan(~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be)
2021-07-12 08:35:30 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-07-12 08:38:27 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-07-12 08:38:42 +0200 <tromp> any chess fans in here?
2021-07-12 08:40:53 +0200acidjnk(~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de)
2021-07-12 08:40:59 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-12 08:42:11 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-07-12 08:52:25 +0200turlando(~turlando@user/turlando) (Ping timeout: 265 seconds)
2021-07-12 08:52:37 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2021-07-12 08:53:18 +0200lislisq
2021-07-12 08:56:43 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-07-12 08:59:40 +0200Core7908_(~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3)
2021-07-12 09:00:34 +0200Claymore(~nehushtan@154.6.16.5)
2021-07-12 09:00:42 +0200shriekingnoise(~shrieking@186.137.144.80) (Quit: Quit)
2021-07-12 09:00:59 +0200fendor(~fendor@77.119.208.64.wireless.dyn.drei.com)
2021-07-12 09:01:07 +0200 <Claymore> hello fendor
2021-07-12 09:02:28 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds)
2021-07-12 09:02:29 +0200 <fendor> Claymore, good mordning!
2021-07-12 09:02:36 +0200 <fendor> *morning
2021-07-12 09:02:51 +0200 <Claymore> funny you should say that. It is good night for me now! Later
2021-07-12 09:02:55 +0200Claymore(~nehushtan@154.6.16.5) (Client Quit)
2021-07-12 09:03:00 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es)
2021-07-12 09:03:30 +0200Core7908(~Core7908@2804:18:47:52d3:1:0:b31:60e7) (Ping timeout: 240 seconds)
2021-07-12 09:05:09 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-12 09:08:56 +0200chele(~chele@user/chele)
2021-07-12 09:21:10 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Read error: Connection reset by peer)
2021-07-12 09:21:29 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 09:22:11 +0200m1dnight(~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1)
2021-07-12 09:22:20 +0200m1dnight(~christoph@188.ip-51-91-158.eu)
2021-07-12 09:22:57 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds)
2021-07-12 09:24:14 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-07-12 09:25:11 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-12 09:30:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-12 09:35:15 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-07-12 09:35:54 +0200zmt00(~zmt00@user/zmt00) (Ping timeout: 240 seconds)
2021-07-12 09:37:14 +0200andreabedini(~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Quit: WeeChat 2.8)
2021-07-12 09:39:33 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds)
2021-07-12 09:40:48 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-12 09:41:00 +0200javran(~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Ping timeout: 252 seconds)
2021-07-12 09:42:51 +0200javran(~javran@172.58.35.225)
2021-07-12 09:43:19 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection)
2021-07-12 09:43:48 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-12 09:45:46 +0200 <typetetris> Sorry I meant ghc 8.10.2
2021-07-12 09:46:34 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-07-12 09:46:47 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-07-12 09:46:48 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-07-12 09:47:03 +0200Hecate(~mariposa@163.172.211.189) (Changing host)
2021-07-12 09:47:03 +0200Hecate(~mariposa@user/hecate)
2021-07-12 09:48:09 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds)
2021-07-12 09:49:14 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Client Quit)
2021-07-12 09:49:18 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-07-12 09:55:03 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com)
2021-07-12 09:59:59 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-07-12 10:00:12 +0200javran(~javran@172.58.35.225) (Read error: Connection reset by peer)
2021-07-12 10:00:23 +0200javran(~javran@c-98-207-169-40.hsd1.ca.comcast.net)
2021-07-12 10:01:50 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection)
2021-07-12 10:05:14 +0200michalz(~michalz@185.246.204.33)
2021-07-12 10:06:35 +0200hendursaga(~weechat@user/hendursaga)
2021-07-12 10:07:36 +0200kuribas(~user@ptr-25vy0i9hoprzpksooyh.18120a2.ip6.access.telenet.be)
2021-07-12 10:08:58 +0200hendursa1(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-07-12 10:09:37 +0200xerxes(~xerxes@117.222.64.42) (Quit: leaving)
2021-07-12 10:11:09 +0200dunj3(~dunj3@2001:16b8:3074:1c00:57f:b83d:ce5e:2d79)
2021-07-12 10:11:52 +0200 <kuribas> I've been thinking that records in sum types is an antipattern: data Foo = Foo1 {field1 :: Int} | Foo2 {field2 :: String}
2021-07-12 10:11:57 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-07-12 10:12:10 +0200jespada(~jespada@90.254.247.46) (Ping timeout: 272 seconds)
2021-07-12 10:12:21 +0200 <kuribas> More verbose, but better: Foo = Foo1 Foo1Fields | Foo2 Foo2Fields
2021-07-12 10:13:00 +0200 <kuribas> For positional fields it still makes sense (like Maybe, Tree), but you don't want many positional fields.
2021-07-12 10:13:24 +0200jespada(~jespada@90.254.247.46)
2021-07-12 10:13:51 +0200m1dnight(~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1)
2021-07-12 10:13:54 +0200 <kuribas> many positional fields is an antipattern as well.
2021-07-12 10:14:43 +0200m1dnight(~christoph@188.ip-51-91-158.eu)
2021-07-12 10:16:30 +0200 <Hecate> kuribas: whilst records in sum types are not inherently an antipattern, don't create accessors like `field1` because it can be used on Foo2
2021-07-12 10:17:04 +0200 <kuribas> Hecate: but then all fields have to match
2021-07-12 10:17:30 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-07-12 10:17:38 +0200 <Hecate> kuribas: If you favour your comfort rather than type safety then I presume you know full well what you're doing :-P
2021-07-12 10:17:55 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-07-12 10:18:05 +0200 <kuribas> I don't mind a small amount of boilerplate
2021-07-12 10:18:40 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-07-12 10:20:51 +0200m1dnight(~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1)
2021-07-12 10:21:38 +0200m1dnight(~christoph@188.ip-51-91-158.eu)
2021-07-12 10:23:02 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Remote host closed the connection)
2021-07-12 10:23:14 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2021-07-12 10:24:04 +0200javran(~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2021-07-12 10:25:02 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2021-07-12 10:25:56 +0200javran(~javran@c-98-207-169-40.hsd1.ca.comcast.net)
2021-07-12 10:26:13 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds)
2021-07-12 10:26:15 +0200Lord_of_Life_Lord_of_Life
2021-07-12 10:27:32 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-12 10:28:03 +0200Xnuk(~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in)
2021-07-12 10:28:20 +0200Xnuk(~xnuk@vultr.xnu.kr)
2021-07-12 10:29:18 +0200 <Hecate> kuribas: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-warnings.html#ghc-flag--Wpar…
2021-07-12 10:29:46 +0200 <kuribas> Hecate: the point is, without partial fields, records in sum types make no sense.
2021-07-12 10:31:08 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection)
2021-07-12 10:31:27 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 10:33:56 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-07-12 10:35:14 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-07-12 10:35:54 +0200 <boxscape> At least if you use lens/optics you can soon use -XNoFieldSelectors, and then you can use records in sum types without creating partial functions
2021-07-12 10:36:07 +0200 <boxscape> though the built-in record dot syntax will still be partial for sum types
2021-07-12 10:36:32 +0200 <boxscape> (but it's disabled by default and guarded behind -XOverloadedRecordDot)
2021-07-12 10:37:08 +0200 <kuribas> I suppose partial fields make sense with classy lenses...
2021-07-12 10:38:38 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-12 10:39:11 +0200 <boxscape> hm I think any sort of optics, not necessarily classy, you should get prisms for partial fields in sum types regardless
2021-07-12 10:39:29 +0200 <kuribas> ah indeed
2021-07-12 10:40:04 +0200 <kuribas> yeah, I look forward to NoFIeldSelectors
2021-07-12 10:41:33 +0200Brianmancer(~Neuromanc@user/briandamag)
2021-07-12 10:42:11 +0200neceve(~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f)
2021-07-12 10:45:43 +0200ubert1(~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de)
2021-07-12 10:48:02 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:e6d:4895:5c36:fc58)
2021-07-12 10:49:52 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 265 seconds)
2021-07-12 10:50:57 +0200azeem(~azeem@176.200.251.23)
2021-07-12 10:52:13 +0200azeem(~azeem@176.200.251.23) (Read error: Connection reset by peer)
2021-07-12 10:52:58 +0200 <dibblego> if anti-pattern means "bad idea", then yes
2021-07-12 10:54:11 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-12 10:58:38 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-07-12 11:03:14 +0200zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-07-12 11:04:11 +0200 <Orbstheorem> Where can I find `servant` release notes?
2021-07-12 11:04:13 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2021-07-12 11:05:12 +0200 <Orbstheorem> I upgraded from lts-13.30 to lts-18.1 and am getting some missing definitions on the servant module; I assume they provided a migration strategy on the release notes.
2021-07-12 11:05:40 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-07-12 11:06:19 +0200 <Orbstheorem> More precisely, the `ServantErr` type seems to be missing.
2021-07-12 11:09:45 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-12 11:09:56 +0200a1paca(~a1paca@user/a1paca) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-12 11:10:15 +0200a1paca(~a1paca@user/a1paca)
2021-07-12 11:24:03 +0200 <_________> Orbstheorem: https://github.com/haskell-servant/servant/blob/master/servant/CHANGELOG.md#significant-changes-5
2021-07-12 11:25:02 +0200 <Orbstheorem> Oh, thanks!
2021-07-12 11:25:16 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-07-12 11:25:52 +0200 <DigitalKiwi> _________: halloween
2021-07-12 11:26:54 +0200 <DigitalKiwi> https://twitter.com/Custard_Rito/status/1412693062363451397 ;p
2021-07-12 11:27:41 +0200Gurkenglas(~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-07-12 11:30:29 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 255 seconds)
2021-07-12 11:31:20 +0200chris-the-slurpa(~chris@81.96.113.213)
2021-07-12 11:33:47 +0200 <_________> ;)
2021-07-12 11:45:01 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-12 11:48:09 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection)
2021-07-12 11:48:28 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 11:49:09 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection)
2021-07-12 11:49:28 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 11:49:39 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds)
2021-07-12 11:53:45 +0200haykam2(~haykam@static.100.2.21.65.clients.your-server.de)
2021-07-12 11:55:25 +0200haykam1(~haykam@static.100.2.21.65.clients.your-server.de) (Read error: Connection reset by peer)
2021-07-12 11:56:51 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds)
2021-07-12 11:58:13 +0200nschoe(~quassel@2a01:e0a:8e:a190:21dc:ed10:85d2:c2f8)
2021-07-12 11:58:39 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8)
2021-07-12 11:59:59 +0200xerox_xerox
2021-07-12 12:00:08 +0200azeem(~azeem@176.200.251.23)
2021-07-12 12:05:38 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-12 12:06:24 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-12 12:06:38 +0200azeem(~azeem@176.200.251.23) (Ping timeout: 256 seconds)
2021-07-12 12:07:03 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-12 12:09:27 +0200ubert1(~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-12 12:10:05 +0200azeem(~azeem@176.200.251.23)
2021-07-12 12:12:27 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-07-12 12:13:21 +0200Vajb(~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01)
2021-07-12 12:13:35 +0200jonathanx(~jonathan@185.224.57.161)
2021-07-12 12:13:41 +0200jonathanx(~jonathan@185.224.57.161) (Client Quit)
2021-07-12 12:15:42 +0200Vajb(~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer)
2021-07-12 12:16:00 +0200Vajb(~Vajb@85-76-37-197-nat.elisa-mobile.fi)
2021-07-12 12:16:30 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 12:19:26 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:e6d:4895:5c36:fc58) (Remote host closed the connection)
2021-07-12 12:20:30 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:cb9c:8f6:3247:45ac)
2021-07-12 12:21:09 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds)
2021-07-12 12:21:40 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-12 12:23:47 +0200anandprabhu(~anandprab@94.202.243.198)
2021-07-12 12:24:51 +0200Kaiepi(~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net)
2021-07-12 12:28:03 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-07-12 12:28:42 +0200ukari(~ukari@user/ukari)
2021-07-12 12:30:17 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-12 12:30:17 +0200Vajb(~Vajb@85-76-37-197-nat.elisa-mobile.fi) (Read error: Connection reset by peer)
2021-07-12 12:31:00 +0200oxide(~lambda@user/oxide) (Ping timeout: 256 seconds)
2021-07-12 12:31:19 +0200Vajb(~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01)
2021-07-12 12:31:20 +0200oxide(~lambda@user/oxide)
2021-07-12 12:37:01 +0200oso(~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed)
2021-07-12 12:37:14 +0200acidjnk(~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-07-12 12:37:26 +0200azeem(~azeem@176.200.251.23) (Ping timeout: 272 seconds)
2021-07-12 12:37:30 +0200drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-12 12:38:44 +0200nerdypepper(~nerdypepp@user/nerdypepper) (Remote host closed the connection)
2021-07-12 12:39:24 +0200nerdypepper(~nerdypepp@user/nerdypepper)
2021-07-12 12:40:22 +0200Core7908_(~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Quit: ...)
2021-07-12 12:41:14 +0200Core7908(~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3)
2021-07-12 12:42:20 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection)
2021-07-12 12:44:37 +0200Vajb(~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer)
2021-07-12 12:45:16 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-12 12:45:56 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 12:46:58 +0200kosakgroove(~textual@2a02:a210:2d80:300:b480:470d:3b11:5e20)
2021-07-12 12:47:17 +0200azeem(~azeem@176.200.251.23)
2021-07-12 12:48:12 +0200kosakgroove(~textual@2a02:a210:2d80:300:b480:470d:3b11:5e20) (Client Quit)
2021-07-12 12:51:47 +0200mchristi(~mchristi@ip-213-49-96-7.dsl.scarlet.be)
2021-07-12 12:54:45 +0200bontaq(~user@ool-18e47f8d.dyn.optonline.net)
2021-07-12 12:55:57 +0200Logio_Logio
2021-07-12 12:56:36 +0200mchristi(~mchristi@ip-213-49-96-7.dsl.scarlet.be) (Quit: WeeChat 3.0.1)
2021-07-12 12:59:28 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds)
2021-07-12 13:04:57 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds)
2021-07-12 13:05:03 +0200wei2912(~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-07-12 13:06:28 +0200juhp(~juhp@128.106.188.66) (Quit: juhp)
2021-07-12 13:06:28 +0200thyriaen(~thyriaen@45.178.73.238)
2021-07-12 13:06:36 +0200Core7908(~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Ping timeout: 255 seconds)
2021-07-12 13:06:43 +0200juhp(~juhp@128.106.188.66)
2021-07-12 13:11:58 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-07-12 13:12:07 +0200Core7383(~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3)
2021-07-12 13:18:29 +0200hseg(~gesh@185.120.126.10)
2021-07-12 13:18:29 +0200berberman(~berberman@user/berberman) (Ping timeout: 255 seconds)
2021-07-12 13:19:10 +0200azeem(~azeem@176.200.251.23) (Ping timeout: 256 seconds)
2021-07-12 13:19:31 +0200berberman(~berberman@user/berberman)
2021-07-12 13:20:14 +0200bjobjo(~bo@user/bjobjo) (Quit: leaving)
2021-07-12 13:20:17 +0200 <hseg> Is there a way to spell "deriving instance Key a via b" such that I can elsewhere define Key k as either a synonym for Ord k or (Eq k, Hashable k) ?
2021-07-12 13:20:43 +0200acidjnk(~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de)
2021-07-12 13:20:58 +0200 <hseg> (without derivability, can just class (Eq k, Hashable k) => Key k; instance (Eq k, Hashable k) => Key k)
2021-07-12 13:21:11 +0200smtnet3(~asdfasdfa@202.36.244.28) (Quit: Leaving)
2021-07-12 13:21:30 +0200 <hseg> but it doesn't seem this list decomposes within the list of instances derived
2021-07-12 13:23:32 +0200 <Taneb> hseg: I don't believe that's possible
2021-07-12 13:24:23 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es)
2021-07-12 13:24:51 +0200thyriaen(~thyriaen@45.178.73.238) (Remote host closed the connection)
2021-07-12 13:25:05 +0200 <hseg> pity. means it's harder to write code polymorphically over the container and pick the container using synonyms
2021-07-12 13:26:04 +0200azeem(~azeem@176.201.23.19)
2021-07-12 13:29:31 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-07-12 13:34:12 +0200ziman(~ziman@user/ziman) (Ping timeout: 265 seconds)
2021-07-12 13:36:06 +0200tremon(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl)
2021-07-12 13:36:13 +0200tremontremon_
2021-07-12 13:40:21 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2021-07-12 13:40:34 +0200cheater(~Username@user/cheater)
2021-07-12 13:41:42 +0200azeem(~azeem@176.201.23.19) (Ping timeout: 255 seconds)
2021-07-12 13:42:59 +0200ziman(~ziman@c25-5.condornet.sk)
2021-07-12 13:43:37 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2021-07-12 13:44:51 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds)
2021-07-12 13:45:57 +0200eight(~eight@user/eight) (Quit: leaving)
2021-07-12 13:46:34 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-12 13:47:16 +0200azeem(~azeem@176.201.23.19)
2021-07-12 13:51:09 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds)
2021-07-12 13:52:24 +0200azeem(~azeem@176.201.23.19) (Ping timeout: 276 seconds)
2021-07-12 13:54:11 +0200azeem(~azeem@176.201.23.19)
2021-07-12 13:55:06 +0200ziman(~ziman@c25-5.condornet.sk) (Changing host)
2021-07-12 13:55:07 +0200ziman(~ziman@user/ziman)
2021-07-12 13:55:44 +0200jneira(~jneira@212.8.115.226) (Quit: Client closed)
2021-07-12 13:56:24 +0200jneira(~jneira@212.8.115.226)
2021-07-12 13:57:06 +0200bjobjo(~bjobjo@user/bjobjo)
2021-07-12 14:02:30 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds)
2021-07-12 14:03:01 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds)
2021-07-12 14:03:32 +0200hendursaga(~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-07-12 14:04:03 +0200gehmehgeh_(~user@user/gehmehgeh) (Ping timeout: 244 seconds)
2021-07-12 14:04:04 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-07-12 14:04:04 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds)
2021-07-12 14:04:12 +0200hololeap(~hololeap@user/hololeap) (Read error: Connection reset by peer)
2021-07-12 14:04:34 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds)
2021-07-12 14:05:06 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-07-12 14:05:08 +0200gehmehgeh_(~user@user/gehmehgeh)
2021-07-12 14:05:08 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2021-07-12 14:05:09 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2021-07-12 14:05:15 +0200ec(~ec@gateway/tor-sasl/ec)
2021-07-12 14:05:21 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2)
2021-07-12 14:06:05 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-07-12 14:06:49 +0200hendursaga(~weechat@user/hendursaga)
2021-07-12 14:07:45 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-07-12 14:10:56 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 272 seconds)
2021-07-12 14:13:05 +0200zaquest(~notzaques@5.128.210.178)
2021-07-12 14:13:13 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-07-12 14:15:11 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-07-12 14:18:40 +0200hegstal(~hegstal@2a02:c7f:7604:8a00:cb9c:8f6:3247:45ac) (Ping timeout: 256 seconds)
2021-07-12 14:20:13 +0200andreabedini(~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com)
2021-07-12 14:20:22 +0200cheater(~Username@user/cheater) (Ping timeout: 256 seconds)
2021-07-12 14:20:47 +0200cheater(~Username@user/cheater)
2021-07-12 14:21:33 +0200Atum_(IRC@user/atum/x-2392232)
2021-07-12 14:24:20 +0200bontaq(~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 256 seconds)
2021-07-12 14:24:55 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2021-07-12 14:24:57 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2021-07-12 14:28:11 +0200andreabedini(~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Quit: WeeChat 2.8)
2021-07-12 14:28:32 +0200hseg(~gesh@185.120.126.10) (Quit: WeeChat 3.2)
2021-07-12 14:35:15 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Ping timeout: 255 seconds)
2021-07-12 14:35:40 +0200lbseale__(~lbseale@user/ep1ctetus)
2021-07-12 14:36:36 +0200azeem(~azeem@176.201.23.19) (Ping timeout: 255 seconds)
2021-07-12 14:38:02 +0200azeem(~azeem@176.201.23.19)
2021-07-12 14:38:29 +0200s4ch1n(~s4ch1n@45.250.47.32)
2021-07-12 14:39:46 +0200lbseale_(~lbseale@user/ep1ctetus) (Ping timeout: 268 seconds)
2021-07-12 14:40:41 +0200lavaman(~lavaman@98.38.249.169)
2021-07-12 14:43:59 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-12 14:44:07 +0200oso(~oso@2601:58c:c080:a950:f275:2530:b398:680b)
2021-07-12 14:44:25 +0200s4ch1n(~s4ch1n@45.250.47.32) (Quit: WeeChat 3.2)
2021-07-12 14:45:18 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-07-12 14:47:58 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds)
2021-07-12 14:51:09 +0200jneira(~jneira@212.8.115.226) (Quit: Client closed)
2021-07-12 14:52:46 +0200HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2021-07-12 14:53:14 +0200alx741(~alx741@186.178.109.100)
2021-07-12 15:00:13 +0200bontaq`(~user@ool-18e47f8d.dyn.optonline.net)
2021-07-12 15:00:36 +0200azeem(~azeem@176.201.23.19) (Ping timeout: 256 seconds)
2021-07-12 15:00:53 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-12 15:02:26 +0200azeem(~azeem@176.201.23.19)
2021-07-12 15:02:47 +0200keutoi(~keutoi@157.48.184.234)
2021-07-12 15:03:54 +0200infinisil[irc](~infinisil@178.197.225.108)
2021-07-12 15:05:27 +0200brandonh(~brandonh@151.57.24.153)
2021-07-12 15:08:51 +0200lbseale_(~lbseale@user/ep1ctetus)
2021-07-12 15:09:08 +0200lbseale_(~lbseale@user/ep1ctetus) (Read error: Connection reset by peer)
2021-07-12 15:09:27 +0200keutoi(~keutoi@157.48.184.234) (Ping timeout: 255 seconds)
2021-07-12 15:10:09 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 15:10:47 +0200keutoi(~keutoi@157.48.184.234)
2021-07-12 15:10:55 +0200pbrisbin(~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) (Quit: WeeChat 3.2)
2021-07-12 15:10:59 +0200mikail_(~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f)
2021-07-12 15:11:15 +0200azeem(~azeem@176.201.23.19) (Ping timeout: 255 seconds)
2021-07-12 15:12:00 +0200azeem(~azeem@176.201.23.19)
2021-07-12 15:12:12 +0200pbrisbin(~patrick@pool-173-49-147-28.phlapa.fios.verizon.net)
2021-07-12 15:13:10 +0200notzmv(~zmv@user/notzmv)
2021-07-12 15:13:14 +0200lbseale__(~lbseale@user/ep1ctetus) (Ping timeout: 272 seconds)
2021-07-12 15:15:23 +0200hatz_(~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349)
2021-07-12 15:21:24 +0200thecoder(~mrrobot@c-73-27-71-147.hsd1.fl.comcast.net)
2021-07-12 15:21:43 +0200chris-the-slurpa(~chris@81.96.113.213) (Remote host closed the connection)
2021-07-12 15:22:06 +0200azeem(~azeem@176.201.23.19) (Ping timeout: 276 seconds)
2021-07-12 15:25:59 +0200azeem(~azeem@176.201.23.19)
2021-07-12 15:26:12 +0200s__(~s@50.34.81.185) (Read error: Connection reset by peer)
2021-07-12 15:26:14 +0200s_(~s@50.34.81.185)
2021-07-12 15:30:58 +0200azeem(~azeem@176.201.23.19) (Ping timeout: 272 seconds)
2021-07-12 15:32:08 +0200cheater(~Username@user/cheater) (Quit: BitchX: it's magically delicious!)
2021-07-12 15:34:02 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection)
2021-07-12 15:34:38 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 15:35:21 +0200azeem(~azeem@176.201.23.19)
2021-07-12 15:35:24 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-07-12 15:37:03 +0200oxide(~lambda@user/oxide) (Ping timeout: 276 seconds)
2021-07-12 15:38:20 +0200cheater(~Username@user/cheater)
2021-07-12 15:38:34 +0200oxide(~lambda@user/oxide)
2021-07-12 15:39:12 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 272 seconds)
2021-07-12 15:45:58 +0200shapr(~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-07-12 15:46:33 +0200Core7383(~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Quit: ...)
2021-07-12 15:47:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-12 15:48:12 +0200brandonh(~brandonh@151.57.24.153) (Ping timeout: 256 seconds)
2021-07-12 15:48:15 +0200Core8687(~Core8687@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3)
2021-07-12 15:51:02 +0200azeem(~azeem@176.201.23.19) (Ping timeout: 256 seconds)
2021-07-12 15:51:54 +0200azeem(~azeem@176.200.226.100)
2021-07-12 15:52:30 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 272 seconds)
2021-07-12 15:53:33 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2021-07-12 15:53:59 +0200cheater(~Username@user/cheater)
2021-07-12 15:54:57 +0200polykernel(~polykerne@user/polykernel)
2021-07-12 15:55:03 +0200polykernel(~polykerne@user/polykernel) ()
2021-07-12 15:58:30 +0200shriekingnoise(~shrieking@186.137.144.80)
2021-07-12 16:04:31 +0200__monty__(~toonn@user/toonn)
2021-07-12 16:04:55 +0200brandonh(~brandonh@host-212-171-14-119.retail.telecomitalia.it)
2021-07-12 16:05:09 +0200brandonh(~brandonh@host-212-171-14-119.retail.telecomitalia.it) (Client Quit)
2021-07-12 16:06:15 +0200Sgeo(~Sgeo@user/sgeo)
2021-07-12 16:06:30 +0200ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds)
2021-07-12 16:06:50 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds)
2021-07-12 16:07:04 +0200azeem(~azeem@176.200.226.100) (Ping timeout: 272 seconds)
2021-07-12 16:07:35 +0200jolly(~jolly@208.180.97.158)
2021-07-12 16:08:23 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 16:09:05 +0200chris-the-slurpa(~chris@81.96.113.213)
2021-07-12 16:13:14 +0200azeem(~azeem@176.200.226.100)
2021-07-12 16:13:48 +0200Lycurgus(~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt)
2021-07-12 16:14:14 +0200Xnuk(~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in)
2021-07-12 16:14:32 +0200Xnuk(~xnuk@45.76.202.58)
2021-07-12 16:15:20 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net)
2021-07-12 16:20:06 +0200nate1(~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds)
2021-07-12 16:22:18 +0200zaquest(~notzaques@5.128.210.178) (Remote host closed the connection)
2021-07-12 16:24:04 +0200brandonh(~brandonh@host-79-17-63-207.retail.telecomitalia.it)
2021-07-12 16:28:13 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection)
2021-07-12 16:28:32 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 16:28:39 +0200brandonh(~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Ping timeout: 255 seconds)
2021-07-12 16:32:16 +0200systemfault_systemfault
2021-07-12 16:34:01 +0200argento(~argent0@168-227-97-23.ptr.westnet.com.ar)
2021-07-12 16:36:29 +0200 <keutoi> In an Applicative instance declaration there is: (<*>) = ap . How can Applicative instance refer to the Monad instance? Shouldn't Applicative be complete before defining Monad?
2021-07-12 16:36:48 +0200Pickchea(~private@user/pickchea)
2021-07-12 16:37:46 +0200 <dminuoso> keutoi: Nope! :)
2021-07-12 16:38:09 +0200 <dminuoso> keutoi: It's just like how declarations in general can refer to each other in arbitrary order
2021-07-12 16:38:11 +0200 <dminuoso> e.g.:
2021-07-12 16:38:25 +0200 <dminuoso> % let x = y + 1; y = 10; in x + y
2021-07-12 16:38:26 +0200 <yahb> dminuoso: 21
2021-07-12 16:39:46 +0200oxide(~lambda@user/oxide) (Ping timeout: 256 seconds)
2021-07-12 16:40:05 +0200oxide(~lambda@user/oxide)
2021-07-12 16:40:50 +0200 <keutoi> How can we be sure there is no circular refering going on? Will the compiler decide that it is not circular? Or will it be stuck in a loop?
2021-07-12 16:41:01 +0200 <dminuoso> keutoi: It will be stuck in a loop.
2021-07-12 16:41:16 +0200 <dminuoso> You might get lucky and GHC will produce a <<loop>> error, but that's just a bonus
2021-07-12 16:41:39 +0200 <dminuoso> (Or, I guess, that's rather the RTS not the compiler itself)
2021-07-12 16:42:15 +0200 <dminuoso> keutoi: The specific example is going to be addressed in the AMP, though. It's redundant to have both of them.
2021-07-12 16:42:42 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds)
2021-07-12 16:42:45 +0200 <dminuoso> Personally, I find the lack of an imposed order to be liberating.
2021-07-12 16:43:02 +0200 <dminuoso> keutoi: It allows for things like (wanted) circular recursion, or restructing things more freely.
2021-07-12 16:43:22 +0200 <dminuoso> What if the instances were defined in separate modules? Would suddenly import order be important too?
2021-07-12 16:43:33 +0200 <dminuoso> Buf it that's the case, this could create serious problems in transitive import paths
2021-07-12 16:43:40 +0200 <dminuoso> Or perhaps even through package boundaries
2021-07-12 16:44:36 +0200 <[exa]> hm, isn't that a leftover from before F-A-M hierarchy got official?
2021-07-12 16:47:22 +0200 <[exa]> oic, the definition of `ap` actually doesn't depend on <*> in any way, so it just allows you to define >>= and have <*> kinda derived from that. cool.
2021-07-12 16:47:31 +0200keutoi_(~keutoi@157.48.184.234)
2021-07-12 16:48:39 +0200keutoi(~keutoi@157.48.184.234) (Quit: Reconnecting)
2021-07-12 16:48:46 +0200keutoi_keutoi
2021-07-12 16:48:55 +0200amahl(~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi)
2021-07-12 16:49:04 +0200zaquest(~notzaques@5.128.210.178)
2021-07-12 16:49:09 +0200 <boxscape> Hm, kind of seems like we need COMPLETE pragmas that address a combination of multiple classes to handle this properly in general
2021-07-12 16:50:17 +0200ec(~ec@gateway/tor-sasl/ec)
2021-07-12 16:50:53 +0200 <boxscape> er wiat
2021-07-12 16:50:55 +0200 <boxscape> MINIMAL pragmas
2021-07-12 16:52:13 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection)
2021-07-12 16:52:31 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com)
2021-07-12 16:53:07 +0200 <keutoi> dminuoso: thank you
2021-07-12 16:53:58 +0200Taren(~Taren@port-92-196-206-198.dynamic.as20676.net)
2021-07-12 16:55:38 +0200acidjnk(~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2021-07-12 16:58:30 +0200 <tomsmeding> boxscape: until someone defines <*> in terms of ap and ap in terms of <*>, but unwrapping one layer of the data structure on the way so that the whole thing terminates :p
2021-07-12 16:59:06 +0200 <tomsmeding> I think any cross-class MINIMAL checking like I think you're proposing will inherently be built on heuristics
2021-07-12 16:59:31 +0200tomsmeding. o O ( or maybe we need MAXIMAL -- disallow <*> and ap both being defined )
2021-07-12 17:00:51 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2021-07-12 17:01:55 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2021-07-12 17:02:17 +0200ec(~ec@gateway/tor-sasl/ec)
2021-07-12 17:03:06 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (Client Quit)
2021-07-12 17:03:39 +0200brandonh(~brandonh@host-79-17-63-207.retail.telecomitalia.it)
2021-07-12 17:05:07 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 17:05:34 +0200Taren(~Taren@port-92-196-206-198.dynamic.as20676.net) (Ping timeout: 246 seconds)
2021-07-12 17:06:43 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-12 17:07:17 +0200son0p(~ff@181.136.122.143) (Remote host closed the connection)
2021-07-12 17:08:42 +0200brandonh(~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Ping timeout: 276 seconds)
2021-07-12 17:09:26 +0200Taren(~Taren@port-92-196-206-198.dynamic.as20676.net)
2021-07-12 17:10:08 +0200dajoer(~david@user/gvx) (Quit: leaving)
2021-07-12 17:12:22 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-12 17:12:35 +0200anandprabhu(~anandprab@94.202.243.198) (Quit: Leaving)
2021-07-12 17:13:07 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2021-07-12 17:13:12 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 256 seconds)
2021-07-12 17:16:21 +0200argento(~argent0@168-227-97-23.ptr.westnet.com.ar) (Ping timeout: 255 seconds)
2021-07-12 17:16:52 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-07-12 17:19:37 +0200brandonh(~brandonh@host-79-17-63-207.retail.telecomitalia.it)
2021-07-12 17:22:46 +0200jakalx(~jakalx@base.jakalx.net)
2021-07-12 17:24:09 +0200slowButPresent(~slowButPr@user/slowbutpresent)
2021-07-12 17:24:27 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2021-07-12 17:24:54 +0200gzj(~GZJ0X@199.193.127.73.16clouds.com) (Ping timeout: 255 seconds)
2021-07-12 17:24:54 +0200cheater(~Username@user/cheater)
2021-07-12 17:25:48 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds)
2021-07-12 17:27:32 +0200polykernel(~polykerne@user/polykernel)
2021-07-12 17:27:42 +0200peterhil(~peterhil@mobile-access-bceeac-89.dhcp.inet.fi)
2021-07-12 17:27:48 +0200MQ-17J(~MQ-17J@8.21.10.15)
2021-07-12 17:29:55 +0200silverwhitefish(~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5))
2021-07-12 17:31:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-12 17:32:06 +0200MQ-17J(~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds)
2021-07-12 17:33:00 +0200lbseale(~lbseale@user/ep1ctetus)
2021-07-12 17:33:12 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Ping timeout: 272 seconds)
2021-07-12 17:33:51 +0200Vajb(~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01)
2021-07-12 17:33:52 +0200waleee(~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd)
2021-07-12 17:35:43 +0200turlando(~turlando@93-42-250-112.ip89.fastwebnet.it)
2021-07-12 17:35:43 +0200turlando(~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host)
2021-07-12 17:35:43 +0200turlando(~turlando@user/turlando)
2021-07-12 17:36:24 +0200robertm(robertm@rojoma.com) (Quit: WeeChat 2.3)
2021-07-12 17:36:34 +0200robertm(robertm@rojoma.com)
2021-07-12 17:37:39 +0200lbseale(~lbseale@user/ep1ctetus) (Client Quit)
2021-07-12 17:40:03 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-12 17:40:58 +0200azeem(~azeem@176.200.226.100) (Read error: Connection reset by peer)
2021-07-12 17:41:03 +0200hatz_(~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) (Quit: hatz_)
2021-07-12 17:41:11 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-12 17:43:17 +0200hatz_(~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349)
2021-07-12 17:43:47 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com)
2021-07-12 17:44:59 +0200P1RATEZ(piratez@user/p1ratez)
2021-07-12 17:45:40 +0200zmt00(~zmt00@user/zmt00)
2021-07-12 17:49:31 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection)
2021-07-12 17:52:28 +0200Taren(~Taren@port-92-196-206-198.dynamic.as20676.net) (Ping timeout: 246 seconds)
2021-07-12 17:52:54 +0200kuribas(~user@ptr-25vy0i9hoprzpksooyh.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-07-12 17:53:04 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-07-12 17:56:27 +0200cohn(~noone@user/cohn) ()
2021-07-12 17:58:20 +0200ubert(~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2021-07-12 17:58:52 +0200haykam2(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-07-12 17:59:04 +0200haykam1(~haykam@static.100.2.21.65.clients.your-server.de)
2021-07-12 18:00:42 +0200keutoi(~keutoi@157.48.184.234) (Quit: leaving)
2021-07-12 18:01:48 +0200s_(~s@50.34.81.185) (Ping timeout: 255 seconds)
2021-07-12 18:02:46 +0200 <monochrom> ap is not a method, so it's OK.
2021-07-12 18:04:10 +0200s_(~s@50.34.81.185)
2021-07-12 18:04:41 +0200 <monochrom> ap can play a similar role as e.g. Data.Traversable.fmapDefault. They can be for lazy people like me. There is their value being standalone functions outside classes.
2021-07-12 18:05:51 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds)
2021-07-12 18:06:11 +0200LKY(~Burger@76.102.85.231)
2021-07-12 18:07:58 +0200chele(~chele@user/chele) (Remote host closed the connection)
2021-07-12 18:09:54 +0200LKY(~Burger@76.102.85.231) ()
2021-07-12 18:10:34 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-07-12 18:10:34 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-07-12 18:11:03 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-12 18:11:03 +0200ukari(~ukari@user/ukari)
2021-07-12 18:15:26 +0200jumper149(~jumper149@80.240.31.34) (Quit: WeeChat 3.1)
2021-07-12 18:15:49 +0200cohn(~noone@user/cohn)
2021-07-12 18:17:28 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-07-12 18:18:34 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-07-12 18:19:28 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2021-07-12 18:20:34 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-07-12 18:20:34 +0200Vajb(~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer)
2021-07-12 18:22:02 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-12 18:22:09 +0200mikail_(~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Ping timeout: 276 seconds)
2021-07-12 18:23:51 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-12 18:24:31 +0200Obo(~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8)
2021-07-12 18:28:14 +0200brandonh(~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Quit: brandonh)
2021-07-12 18:28:57 +0200brandonh(~brandonh@host-79-17-63-207.retail.telecomitalia.it)
2021-07-12 18:32:44 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer)
2021-07-12 18:32:46 +0200michalz(~michalz@185.246.204.33) (Remote host closed the connection)
2021-07-12 18:35:08 +0200son0p(~ff@181.136.122.143)
2021-07-12 18:36:54 +0200brandonh(~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Quit: brandonh)
2021-07-12 18:38:59 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection)
2021-07-12 18:40:34 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-12 18:41:37 +0200Deide(~Deide@217.155.19.23)
2021-07-12 18:41:37 +0200Deide(~Deide@217.155.19.23) (Changing host)
2021-07-12 18:41:37 +0200Deide(~Deide@user/deide)
2021-07-12 18:41:38 +0200oso(~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed)
2021-07-12 18:42:28 +0200lavaman(~lavaman@98.38.249.169)
2021-07-12 18:47:18 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 272 seconds)
2021-07-12 18:48:04 +0200dunj3(~dunj3@2001:16b8:3074:1c00:57f:b83d:ce5e:2d79) (Quit: Leaving)
2021-07-12 18:48:09 +0200drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds)
2021-07-12 18:48:55 +0200qrpnxz(~qrpnxz@user/qrpnxz) (Quit: Gateway shutdown)
2021-07-12 18:49:11 +0200qrpnxz(~qrpnxz@user/qrpnxz)
2021-07-12 18:51:13 +0200drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-12 18:51:28 +0200Guest55(~Guest55@187.83.249.216.dyn.smithville.net)
2021-07-12 18:54:38 +0200peterhil(~peterhil@mobile-access-bceeac-89.dhcp.inet.fi) (Ping timeout: 256 seconds)
2021-07-12 18:59:44 +0200 <Guest55> is it possible to use GeneralizedNewtypeDeriving with a multiparamtypeclass in the first argument? or do I just have to derive through a wrapper class?
2021-07-12 19:00:51 +0200 <Guest55> basically I have a Class a b with an instance Class Foo b, and I want to derive Class Bar b for newtype Bar = Bar Foo
2021-07-12 19:01:30 +0200Hanicef(~hanicef@90-229-213-50-no68.tbcn.telia.com)
2021-07-12 19:02:55 +0200 <int-e> Not sure what you want... you can do newtype M r w s m a = M (RWST r w s m a) deriving (Functor, Applicative, Monad) with GND
2021-07-12 19:03:07 +0200 <int-e> for example
2021-07-12 19:06:25 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-12 19:06:26 +0200 <Guest55> ooh i see, thanks
2021-07-12 19:08:41 +0200 <int-e> Or this, which is related but more interesting: newtype RWST' r w s m a = RWST' (ReaderT r (WriterT w (StateT s m)) a) deriving (Functor, Applicative, Monad, MonadReader r, MonadWriter w, MonadState s)
2021-07-12 19:13:21 +0200Pickchea(~private@user/pickchea) (Ping timeout: 255 seconds)
2021-07-12 19:15:36 +0200derelict(~derelict@user/derelict)
2021-07-12 19:17:35 +0200fef(~thedawn@user/thedawn)
2021-07-12 19:17:54 +0200xff0x(~xff0x@2001:1a81:52d6:3f00:c2c2:4eb1:4c10:1645) (Ping timeout: 240 seconds)
2021-07-12 19:19:12 +0200xff0x(~xff0x@2001:1a81:52d6:3f00:1a58:61d8:8aa3:1417)
2021-07-12 19:20:02 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-12 19:20:22 +0200Kugge(~Kugge@2a01:cb15:81e5:f00:2dd0:6066:fe1b:9751)
2021-07-12 19:23:05 +0200safinaskar(~user@109.252.90.89)
2021-07-12 19:23:17 +0200safinaskar(~user@109.252.90.89) ()
2021-07-12 19:25:11 +0200smichel17(~smichel17@2601:193:8300:4b9::600)
2021-07-12 19:27:43 +0200haykam1(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-07-12 19:27:56 +0200haykam1(~haykam@static.100.2.21.65.clients.your-server.de)
2021-07-12 19:28:12 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds)
2021-07-12 19:28:32 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection)
2021-07-12 19:28:59 +0200Hanicef(~hanicef@90-229-213-50-no68.tbcn.telia.com) (Quit: leaving)
2021-07-12 19:30:22 +0200azeem(~azeem@176.200.192.14)
2021-07-12 19:40:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-07-12 19:41:42 +0200azeem(~azeem@176.200.192.14) (Ping timeout: 255 seconds)
2021-07-12 19:43:27 +0200azeem(~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it)
2021-07-12 19:46:12 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds)
2021-07-12 19:54:11 +0200hexfive(~eric@50.35.83.177)
2021-07-12 19:56:52 +0200siers(~ij@user/ij)
2021-07-12 19:57:00 +0200vicfred(~vicfred@user/vicfred)
2021-07-12 19:59:01 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 20:02:46 +0200mikail_(~mikail@90.212.77.3)
2021-07-12 20:03:04 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-12 20:03:18 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds)
2021-07-12 20:05:19 +0200 <EvanR> the package HMap is really cool
2021-07-12 20:06:00 +0200 <EvanR> the implementation contains all the unsafePerformIO and unsafeCoerce I never want to use
2021-07-12 20:07:48 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds)
2021-07-12 20:11:04 +0200Kugge(~Kugge@2a01:cb15:81e5:f00:2dd0:6066:fe1b:9751) (Quit: Client closed)
2021-07-12 20:13:19 +0200Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-07-12 20:15:41 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 20:18:09 +0200Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 255 seconds)
2021-07-12 20:19:18 +0200chris-the-slurpa(~chris@81.96.113.213) (Remote host closed the connection)
2021-07-12 20:20:17 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection)
2021-07-12 20:20:29 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 20:20:37 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection)
2021-07-12 20:22:40 +0200fendor(~fendor@77.119.208.64.wireless.dyn.drei.com) (Remote host closed the connection)
2021-07-12 20:23:41 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 20:25:45 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection)
2021-07-12 20:28:20 +0200lavaman(~lavaman@98.38.249.169)
2021-07-12 20:32:26 +0200drd(~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds)
2021-07-12 20:32:46 +0200Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-07-12 20:33:13 +0200ubert(~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de)
2021-07-12 20:35:06 +0200ub(~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de)
2021-07-12 20:40:11 +0200fef(~thedawn@user/thedawn) (Remote host closed the connection)
2021-07-12 20:40:36 +0200mikail_(~mikail@90.212.77.3) (Ping timeout: 256 seconds)
2021-07-12 20:40:55 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-12 20:41:10 +0200 <mikoto-chan> monochrom: can you send me your website?
2021-07-12 20:43:49 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Quit: -)
2021-07-12 20:45:30 +0200 <mikoto-chan> there seems to be a lot about you on the internet when I search for "monochrom haskell" but none of the links point to your website (it had really good articles if I remember correctly)
2021-07-12 20:45:33 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-07-12 20:45:59 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-07-12 20:46:16 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds)
2021-07-12 20:47:39 +0200Pickchea(~private@user/pickchea)
2021-07-12 20:52:47 +0200MQ-17J(~MQ-17J@8.21.10.15)
2021-07-12 20:53:35 +0200xdefrag(~xdefrag@user/xdefrag)
2021-07-12 20:53:35 +0200xdefrag(~xdefrag@user/xdefrag) (Quit: WeeChat 3.1)
2021-07-12 20:54:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-12 20:55:16 +0200wallymathieu(~wallymath@81-234-151-21-no94.tbcn.telia.com)
2021-07-12 20:56:38 +0200fendor(~fendor@77.119.208.64.wireless.dyn.drei.com)
2021-07-12 21:01:29 +0200 <EvanR> mikoto-chan: http://www.vex.net/~trebla/haskell/
2021-07-12 21:01:55 +0200 <EvanR> to find that, I have to remember monochrom's true name: trebla
2021-07-12 21:03:31 +0200 <monochrom> :)
2021-07-12 21:03:54 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-12 21:04:32 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-07-12 21:05:02 +0200ukari(~ukari@user/ukari)
2021-07-12 21:06:50 +0200silverwhitefish(~hidden@47.202.102.10)
2021-07-12 21:06:56 +0200 <mikoto-chan> true name as in human name? thanks btw
2021-07-12 21:07:01 +0200hatz_(~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) (Quit: hatz_)
2021-07-12 21:07:49 +0200hatz_(~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349)
2021-07-12 21:14:50 +0200drd(~drd@93-39-151-19.ip76.fastwebnet.it)
2021-07-12 21:17:20 +0200smichel17(~smichel17@2601:193:8300:4b9::600) (Quit: smichel17)
2021-07-12 21:17:28 +0200smichel17(~smichel17@2601:193:8300:4b9::600)
2021-07-12 21:17:36 +0200smichel17(~smichel17@2601:193:8300:4b9::600) ()
2021-07-12 21:17:52 +0200smichel17(~smichel17@2601:193:8300:4b9::600)
2021-07-12 21:19:03 +0200Guest55(~Guest55@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-12 21:19:48 +0200MQ-17J(~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds)
2021-07-12 21:20:16 +0200lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2021-07-12 21:23:42 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-12 21:25:17 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection)
2021-07-12 21:29:29 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-12 21:32:22 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 21:35:34 +0200nschoe(~quassel@2a01:e0a:8e:a190:21dc:ed10:85d2:c2f8) (Ping timeout: 256 seconds)
2021-07-12 21:36:44 +0200epolanski(uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity)
2021-07-12 21:37:03 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-12 21:37:57 +0200ph88(~ph88@2a02:8109:9e00:7e5c:f009:5606:b7ea:3eb0)
2021-07-12 21:43:13 +0200 <int-e> EvanR: good one (it's much closer than 'monochrom' is, indeed)
2021-07-12 21:44:04 +0200 <EvanR> I only just now realized where trebla came from
2021-07-12 21:44:07 +0200 <int-e> monochrom: have you ever gone by "morhconom"?
2021-07-12 21:44:31 +0200 <maerwald> years of haskell made me unable to comprehend large if-else blocks
2021-07-12 21:44:32 +0200 <int-e> (which is surprisingly pronouncible)
2021-07-12 21:44:45 +0200argento(~argent0@168-227-97-29.ptr.westnet.com.ar)
2021-07-12 21:44:50 +0200 <maerwald> now I'm useless at javascript
2021-07-12 21:44:51 +0200 <EvanR> /nick RaveN
2021-07-12 21:45:15 +0200 <int-e> . o O ( nevar a raven )
2021-07-12 21:45:28 +0200dudek(~dudek@185.150.236.155)
2021-07-12 21:45:43 +0200 <maerwald> > reverse "raven"
2021-07-12 21:45:45 +0200 <lambdabot> "nevar"
2021-07-12 21:45:48 +0200 <maerwald> oh
2021-07-12 21:47:10 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds)
2021-07-12 21:47:55 +0200 <EvanR> dim brain, javascript. bright brain, haskell. galaxy brain, somehow using haskell stuff in the next programming language despite itself
2021-07-12 21:48:14 +0200 <monochrom> No, but I have used "morphochrom" for various things.
2021-07-12 21:48:57 +0200 <monochrom> And I call my phone "monophone".
2021-07-12 21:49:08 +0200rostero(uid236576@id-236576.tooting.irccloud.com)
2021-07-12 21:50:58 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-12 21:52:58 +0200DNH(~DNH@2a02:8108:1100:16d8:74d4:dc25:5697:f3ed)
2021-07-12 21:53:02 +0200DNH(~DNH@2a02:8108:1100:16d8:74d4:dc25:5697:f3ed) (Client Quit)
2021-07-12 21:54:05 +0200 <Vq> telemonophone?
2021-07-12 21:54:26 +0200 <monochrom> Isn't that too long?
2021-07-12 21:56:32 +0200haykam1(~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection)
2021-07-12 21:56:45 +0200haykam1(~haykam@static.100.2.21.65.clients.your-server.de)
2021-07-12 21:59:25 +0200vicfred(~vicfred@user/vicfred) (Quit: Leaving)
2021-07-12 22:01:12 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 276 seconds)
2021-07-12 22:01:56 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-12 22:02:20 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...)
2021-07-12 22:03:55 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-12 22:05:02 +0200juhp(~juhp@128.106.188.66) (Ping timeout: 256 seconds)
2021-07-12 22:05:30 +0200mjs2600(~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net)
2021-07-12 22:05:56 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection)
2021-07-12 22:06:16 +0200chris-the-slurpa(~chris@81.96.113.213)
2021-07-12 22:07:02 +0200pavonia(~user@user/siracusa)
2021-07-12 22:07:05 +0200juhp(~juhp@128.106.188.66)
2021-07-12 22:08:38 +0200nschoe(~quassel@2a01:e0a:8e:a190:e467:8d74:86ae:d294)
2021-07-12 22:09:54 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-07-12 22:11:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-07-12 22:12:15 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds)
2021-07-12 22:13:41 +0200justsomeguy(~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1)
2021-07-12 22:13:59 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...)
2021-07-12 22:14:13 +0200dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2)
2021-07-12 22:14:21 +0200infinisil[irc](~infinisil@178.197.225.108) (WeeChat 3.2)
2021-07-12 22:14:27 +0200bontaq`bontaq
2021-07-12 22:14:36 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b)
2021-07-12 22:15:11 +0200peterhil(~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-07-12 22:16:25 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection)
2021-07-12 22:21:24 +0200lavaman(~lavaman@98.38.249.169)
2021-07-12 22:24:36 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Quit: -)
2021-07-12 22:26:00 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-07-12 22:27:20 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 22:27:32 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-07-12 22:31:40 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 256 seconds)
2021-07-12 22:33:33 +0200o1lo01ol1o(~o1lo01ol1@bl7-89-228.dsl.telepac.pt)
2021-07-12 22:35:00 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-12 22:36:12 +0200Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 256 seconds)
2021-07-12 22:37:35 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-12 22:37:54 +0200neceve(~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 256 seconds)
2021-07-12 22:43:07 +0200acidjnk(~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de)
2021-07-12 22:43:21 +0200 <dsal> Are you multihomed?
2021-07-12 22:47:32 +0200alx741(~alx741@186.178.109.100) (Ping timeout: 256 seconds)
2021-07-12 22:47:38 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 22:50:41 +0200Guest25(~Guest25@187.83.249.216.dyn.smithville.net)
2021-07-12 22:52:03 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds)
2021-07-12 22:52:31 +0200johnw(~johnw@2600:1700:cf00:db0:edf9:8c5b:5a8d:2f85) (Ping timeout: 246 seconds)
2021-07-12 22:56:01 +0200gehmehgeh_(~user@user/gehmehgeh) (Quit: Leaving)
2021-07-12 22:56:06 +0200zeenk(~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3)
2021-07-12 22:56:42 +0200lavaman(~lavaman@98.38.249.169)
2021-07-12 23:01:23 +0200nschoe(~quassel@2a01:e0a:8e:a190:e467:8d74:86ae:d294) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-07-12 23:01:39 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 276 seconds)
2021-07-12 23:04:33 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-12 23:06:48 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds)
2021-07-12 23:09:06 +0200MQ-17J(~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-12 23:09:38 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-12 23:11:14 +0200chexum(~chexum@gateway/tor-sasl/chexum) (Quit: -)
2021-07-12 23:12:16 +0200tremon_(~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in)
2021-07-12 23:13:21 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection)
2021-07-12 23:13:57 +0200even4void(even4void@came.here.for-some.fun) (Remote host closed the connection)
2021-07-12 23:13:58 +0200xacktm(xacktm@user/xacktm) (Remote host closed the connection)
2021-07-12 23:13:58 +0200andreas3-(andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection)
2021-07-12 23:15:50 +0200phaazon(~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 272 seconds)
2021-07-12 23:17:15 +0200ub(~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-12 23:19:57 +0200ubert(~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2021-07-12 23:20:04 +0200chisui(~chisui@200116b8667bfd006d48966f94785d9f.dip.versatel-1u1.de)
2021-07-12 23:21:34 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452)
2021-07-12 23:22:11 +0200fendor(~fendor@77.119.208.64.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-07-12 23:22:29 +0200 <Atum_> If `==` is a function, why can't I call it as `== 1 2`?
2021-07-12 23:22:42 +0200 <Guest25> (==) 1 2
2021-07-12 23:22:53 +0200 <geekosaur> because that's not the syntax for infix // symbol functions
2021-07-12 23:23:03 +0200 <Atum_> hm, symbol functions
2021-07-12 23:23:08 +0200 <Atum_> Ok, I'll search about it, thanks!
2021-07-12 23:23:24 +0200 <geekosaur> symbols are infix unless parenthesized; alphanumerics are prefix unless backticked
2021-07-12 23:23:44 +0200 <geekosaur> so (==) a b but a `mod` b
2021-07-12 23:24:46 +0200 <Atum_> I see, ty!
2021-07-12 23:25:00 +0200chexum(~chexum@gateway/tor-sasl/chexum)
2021-07-12 23:25:53 +0200 <chisui> why does `(\case {}) :: forall v a. Proxy (v :: Void) -> a` result in a non-exhaustive Patter warning when using `-Wall`?
2021-07-12 23:26:04 +0200warnz(~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 256 seconds)
2021-07-12 23:26:32 +0200 <chisui> * needs Extensions: LambdaCase, ScopedTypeVariables, DataKinds, EmptyCase
2021-07-12 23:27:54 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-07-12 23:28:53 +0200Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se)
2021-07-12 23:29:15 +0200 <chisui> My expectation would be that can't create an value for `Proxy (v :: Void)` since Void doesn't have any constructors, thus you could safely create an absurd function.
2021-07-12 23:30:07 +0200 <Hecate> > :t absurd
2021-07-12 23:30:10 +0200 <lambdabot> <hint>:1:1: error: parse error on input ‘:’
2021-07-12 23:30:12 +0200 <Hecate> booo
2021-07-12 23:30:16 +0200 <monochrom> Proxy (v :: Void) is not Void.
2021-07-12 23:30:16 +0200 <Hecate> % :t absurd
2021-07-12 23:30:16 +0200 <yahb> Hecate: forall {a}. Void -> a
2021-07-12 23:30:43 +0200 <boxscape> % (\case {}) (Proxy :: Proxy Void)
2021-07-12 23:30:43 +0200 <yahb> boxscape: *** Exception: <interactive>:149:2-9: Non-exhaustive patterns in case
2021-07-12 23:31:13 +0200 <chisui> monochrom: but you can't create a value of that Type.
2021-07-12 23:31:21 +0200 <boxscape> chisui: see my example
2021-07-12 23:31:25 +0200 <monochrom> boxscape just did.
2021-07-12 23:31:36 +0200 <janus> % (\case Proxy -> "Yo") (Proxy :: Proxy Void)
2021-07-12 23:31:36 +0200 <yahb> janus: "Yo"
2021-07-12 23:31:39 +0200 <boxscape> wait
2021-07-12 23:31:46 +0200 <boxscape> it's Proxy (v :: Void)
2021-07-12 23:32:20 +0200 <chisui> I want a Proxy where the argument is of the DataKind of Void.
2021-07-12 23:33:13 +0200 <boxscape> % foo = ((\case {}) :: forall v a. Proxy (v :: Void) -> a)
2021-07-12 23:33:13 +0200 <yahb> boxscape:
2021-07-12 23:33:16 +0200andreas303(andreas303@ip227.orange.bnc4free.com)
2021-07-12 23:33:46 +0200 <boxscape> % foo Proxy
2021-07-12 23:33:46 +0200 <yahb> boxscape: *** Exception: <interactive>:153:9-16: Non-exhaustive patterns in case
2021-07-12 23:34:13 +0200even4void(even4void@came.here.for-some.fun)
2021-07-12 23:34:13 +0200 <boxscape> chisui: that means it really is non-exhaustive
2021-07-12 23:34:48 +0200 <chisui> huh, do you not have to provide a proof for v?
2021-07-12 23:34:57 +0200 <monochrom> Proxy is a phantom type that has one data constructor and completely ignores the type parameter so even when the type parameter is nonsense you still have one data constructor to worry about.
2021-07-12 23:35:02 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2021-07-12 23:35:03 +0200xacktm(xacktm@user/xacktm)
2021-07-12 23:35:34 +0200 <chisui> % foo (Proxy :: Proxy Any)
2021-07-12 23:35:34 +0200 <yahb> chisui: ; <interactive>:155:21: error:; Ambiguous occurrence `Any'; It could refer to; either `GHC.Exts.Any', imported from `GHC.Exts' (and originally defined in `GHC.Types'); or `Control.Monad.RWS.Any', imported from `Control.Monad.RWS' (and originally defined in `base-4.15.0.0:Data.Semigroup.Internal')
2021-07-12 23:35:49 +0200oldleather(~oldleathe@172.58.168.19)
2021-07-12 23:36:12 +0200 <boxscape> chisui: I'm not actually sure how GHC supplies v here but when in doubt it usually is Any
2021-07-12 23:36:19 +0200 <monochrom> This is very similar to an error I made when I was learning set theory.
2021-07-12 23:36:36 +0200 <monochrom> {} is the empty set, but {{}} is non-empty.
2021-07-12 23:37:34 +0200 <monochrom> My teacher had trouble convincing me of that for like half and hour.
2021-07-12 23:37:42 +0200 <chisui> Proxy is a functor. So shouldn't `Proxy (v :: Void)` be that functor be applied to the empty category?
2021-07-12 23:37:47 +0200oldleather(~oldleathe@172.58.168.19) (Leaving)
2021-07-12 23:38:09 +0200 <boxscape> chisui: I think if you were to do this in Agda for example your example really but would exhaustive but I'm not sure
2021-07-12 23:38:16 +0200 <boxscape> Any breaks the assumption
2021-07-12 23:38:22 +0200 <boxscape> but Any isn't allowed in Agda
2021-07-12 23:38:45 +0200 <boxscape> (...the assumption being that you must be able to supply a v)
2021-07-12 23:39:12 +0200 <monochrom> As far as the Functor class is concerned, it is only concerned about Proxy (v :: *), no?
2021-07-12 23:39:37 +0200 <monochrom> Because you need "(a -> b) -> Proxy a -> Proxy b" to make sense.
2021-07-12 23:41:18 +0200 <chisui> monochrom: If understand you correctly then `Proxy Void` would be the set containing the empty set. `Proxy (v :: Void)` would be the image of a function where the empty set is its domain.
2021-07-12 23:42:03 +0200 <boxscape> chisui: btw looking at the core output confirms that GHC chooses Any as instantiation for v
2021-07-12 23:42:04 +0200 <chisui> monochrom: I didn't mean Functor in the haskell sense but the category theoretical sense.
2021-07-12 23:42:27 +0200falafel(~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-12 23:42:36 +0200 <chisui> boxscape: thank you. Too bad
2021-07-12 23:43:09 +0200 <boxscape> chisui: if it bothers you I suppose you could open a ticket on the issue tracker to spark a discussion...
2021-07-12 23:43:41 +0200 <boxscape> though it might not be feasible to disallow it, idk
2021-07-12 23:44:17 +0200 <boxscape> (s/disallow it/make GHC not choose Any here)
2021-07-12 23:45:19 +0200 <chisui> boxscape: how did you discover that any was chosen?
2021-07-12 23:47:12 +0200 <boxscape> chisui: in ghci I put `:set -ddump-simpl`, and then ran `foo Proxy`, which resulted in this output https://paste.tomsmeding.com/hAkGgIvT note how the first type argument supplied to `foo` with the @ is GHC.Types.Any
2021-07-12 23:48:10 +0200 <monochrom> The IOs are a bit distracting :)
2021-07-12 23:48:24 +0200 <chisui> Thank you
2021-07-12 23:48:52 +0200 <boxscape> monochrom: that is true, could be more enlightening to actually compile a file that contains the expression with -ddump-simpl
2021-07-12 23:49:09 +0200 <monochrom> "Data.Proxy.Proxy @ Data.Void.Void @ GHC.Types.Any" helps, though.
2021-07-12 23:51:54 +0200 <monochrom> "type family Any :: k" inhabits every kind. That's very kind of it.
2021-07-12 23:52:47 +0200 <chisui> Well its definition is just `type family Any where {}` so ...
2021-07-12 23:53:39 +0200argento(~argent0@168-227-97-29.ptr.westnet.com.ar) (Ping timeout: 276 seconds)
2021-07-12 23:53:40 +0200ukari(~ukari@user/ukari) (Remote host closed the connection)
2021-07-12 23:53:57 +0200lavaman(~lavaman@98.38.249.169)
2021-07-12 23:54:27 +0200ukari(~ukari@user/ukari)
2021-07-12 23:54:43 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection)
2021-07-12 23:54:55 +0200Vajb(~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-12 23:55:14 +0200 <boxscape> chisui: btw here's a version where the core output for that expression is a bit nicer to read (though I omitted the other bindings from the core output) https://paste.tomsmeding.com/TmtRWXRN
2021-07-12 23:56:07 +0200V(~v@anomalous.eu)
2021-07-12 23:57:24 +0200 <boxscape> (without the NOINLINE foo simply becomes an exception about non-exhaustive patterns)
2021-07-12 23:57:30 +0200 <boxscape> s/foo/test
2021-07-12 23:58:22 +0200lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-07-12 23:59:16 +0200 <chisui> Isn't using `Any` the same as arguing from False?
2021-07-12 23:59:33 +0200thecoder(~mrrobot@c-73-27-71-147.hsd1.fl.comcast.net) (Ping timeout: 255 seconds)
2021-07-12 23:59:39 +0200Ariakenom(~Ariakenom@c83-255-154-140.bredband.tele2.se) (Read error: Connection reset by peer)
2021-07-12 23:59:41 +0200 <boxscape> yes