| 2021-07-12 00:02:15 +0200 | theproffesor | (~theproffe@user/theproffesor) (Ping timeout: 252 seconds) |
| 2021-07-12 00:05:29 +0200 | theproffesor | (~theproffe@2601:282:847f:8010::3a29) |
| 2021-07-12 00:08:54 +0200 | Guest4772 | (~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5)) |
| 2021-07-12 00:11:21 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2021-07-12 00:13:50 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-07-12 00:16:50 +0200 | neceve | (~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 +0200 | silverwhitefish | (~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 +0200 | silverwhitefish | Guest1016 |
| 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 +0200 | Guest1016 | (~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 +0200 | raehik | (~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 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-12 00:33:42 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-07-12 00:34:42 +0200 | theproffesor | (~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 +0200 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-12 00:37:44 +0200 | nchashch | (~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 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 268 seconds) |
| 2021-07-12 00:40:51 +0200 | nchashch | (~nchashch@37.204.243.148) (Client Quit) |
| 2021-07-12 00:41:40 +0200 | yauhsien | (~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 +0200 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-12 00:49:20 +0200 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-12 00:51:40 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-12 00:51:53 +0200 | cheater | (~Username@user/cheater) |
| 2021-07-12 00:52:38 +0200 | hexfive | (~eric@50.35.83.177) |
| 2021-07-12 00:54:24 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 00:59:54 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-07-12 01:01:21 +0200 | retro_ | (~retro@90.218.175.34) |
| 2021-07-12 01:01:25 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 01:02:10 +0200 | hexfive | (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-07-12 01:03:40 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 01:04:35 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-12 01:04:58 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 2021-07-12 01:04:58 +0200 | retroid_ | (~retro@90.218.175.34) (Ping timeout: 272 seconds) |
| 2021-07-12 01:05:51 +0200 | retroid_ | (~retro@90.218.175.34) |
| 2021-07-12 01:06:14 +0200 | retro_ | (~retro@90.218.175.34) (Ping timeout: 272 seconds) |
| 2021-07-12 01:06:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-12 01:10:42 +0200 | retroid_ | (~retro@90.218.175.34) (Ping timeout: 268 seconds) |
| 2021-07-12 01:11:08 +0200 | safinaskar | (~user@109-252-90-89.nat.spd-mgts.ru) |
| 2021-07-12 01:11:17 +0200 | safinaskar | (~user@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-07-12 01:12:14 +0200 | cjb | (~cjb@user/cjb) |
| 2021-07-12 01:12:43 +0200 | wroathe | (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 258 seconds) |
| 2021-07-12 01:12:44 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 01:15:20 +0200 | acidjnk | (~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-12 01:17:08 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 01:17:36 +0200 | notzmv | (~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 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-07-12 01:22:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 01:25:02 +0200 | polykernel[m] | (~polykerne@2001:470:69fc:105::ba04) () |
| 2021-07-12 01:25:09 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 01:25:17 +0200 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-12 01:28:50 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2021-07-12 01:29:12 +0200 | jao | (jao@gateway/vpn/protonvpn/jao) |
| 2021-07-12 01:30:26 +0200 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2021-07-12 01:39:16 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-07-12 01:40:31 +0200 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-07-12 01:42:52 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-12 01:45:38 +0200 | infinisil | (~infinisil@mail.infinisil.com) |
| 2021-07-12 01:46:08 +0200 | Atum_ | (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-12 01:52:55 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-07-12 01:55:13 +0200 | mikail_ | (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Remote host closed the connection) |
| 2021-07-12 01:55:19 +0200 | infinisil | (~infinisil@mail.infinisil.com) (Quit: Configuring ZNC, sorry for the joins/quits!) |
| 2021-07-12 01:55:36 +0200 | mikail_ | (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-12 01:56:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-12 01:57:09 +0200 | infinisil | (~infinisil@mail.infinisil.com) |
| 2021-07-12 02:00:00 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-07-12 02:02:13 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 02:03:35 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-12 02:05:46 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-12 02:06:18 +0200 | warnz | (~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 +0200 | mikail_ | (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Ping timeout: 255 seconds) |
| 2021-07-12 02:14:00 +0200 | nate1 | (~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 +0200 | mikoto-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 +0200 | silverwhitefish | (~hidden@47.202.102.10) |
| 2021-07-12 02:30:21 +0200 | polykernel | (~polykerne@user/polykernel) |
| 2021-07-12 02:32:38 +0200 | polykernel | (~polykerne@user/polykernel) () |
| 2021-07-12 02:34:45 +0200 | jao | (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 258 seconds) |
| 2021-07-12 02:36:46 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-12 02:39:27 +0200 | nate1 | (~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 +0200 | Deide | (~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 +0200 | yauhsien | (~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 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-12 02:47:04 +0200 | mthvedt | (uid501949@id-501949.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-12 02:47:24 +0200 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-12 02:48:07 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-07-12 02:51:38 +0200 | nate1 | (~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 +0200 | safinaskar | (~user@109.252.90.89) |
| 2021-07-12 02:54:32 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-12 02:54:38 +0200 | safinaskar | (~user@109.252.90.89) () |
| 2021-07-12 02:58:02 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-12 02:58:50 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds) |
| 2021-07-12 02:58:58 +0200 | raehik | (~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 +0200 | Core7908 | (~Core7908@2804:18:47:52d3:1:0:b31:60e7) |
| 2021-07-12 03:01:00 +0200 | bontaq | (~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 +0200 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) |
| 2021-07-12 03:04:04 +0200 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Client Quit) |
| 2021-07-12 03:04:19 +0200 | andreabedini | (~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 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-12 03:14:18 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-07-12 03:19:41 +0200 | yauhsien | (~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 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 03:23:39 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-07-12 03:24:27 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-12 03:26:29 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-12 03:28:44 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-12 03:31:14 +0200 | xff0x | (~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 +0200 | xff0x | (~xff0x@2001:1a81:52d6:3f00:c2c2:4eb1:4c10:1645) |
| 2021-07-12 03:39:17 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 03:40:41 +0200 | notzmv | (~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 +0200 | Guest93 | (~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 +0200 | infinisil | (~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 +0200 | dajoer | (~david@user/gvx) |
| 2021-07-12 03:44:33 +0200 | Guest81 | (~Guest81@187.83.249.216.dyn.smithville.net) |
| 2021-07-12 03:44:34 +0200 | nate1 | (~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 +0200 | infinisil[m] | infinisil |
| 2021-07-12 03:52:30 +0200 | infinisil | (~infinisil@2001:470:69fc:105::ff8) (Quit: Reconnecting) |
| 2021-07-12 03:52:55 +0200 | merijn | (~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 +0200 | peterhil | (~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 +0200 | infinisil[irc] | (~infinisil@178.197.225.108) |
| 2021-07-12 04:01:37 +0200 | beka | (~beka@104-244-27-23.static.monkeybrains.net) |
| 2021-07-12 04:01:44 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 04:06:47 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-12 04:06:47 +0200 | infinisil[irc] | (~infinisil@178.197.225.108) (Ping timeout: 255 seconds) |
| 2021-07-12 04:08:50 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 04:11:55 +0200 | averell | (~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 +0200 | averell | (~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 +0200 | hgolden | (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 +0200 | hgolden | (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 +0200 | infinisil[irc] | (~infinisil@178.197.225.108) |
| 2021-07-12 04:19:01 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 04:19:23 +0200 | td_ | (~td@94.134.91.97) (Ping timeout: 255 seconds) |
| 2021-07-12 04:20:33 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-12 04:20:34 +0200 | FinnElija | Guest8527 |
| 2021-07-12 04:20:34 +0200 | Guest8527 | (~finn_elij@user/finn-elija/x-0085643) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2021-07-12 04:20:34 +0200 | finn_elija | FinnElija |
| 2021-07-12 04:21:21 +0200 | td_ | (~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 +0200 | warnz | (~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 +0200 | falafel | (~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 +0200 | merijn | (~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 +0200 | infinisil | (~infinisil@2001:470:69fc:105::ff8) |
| 2021-07-12 04:35:24 +0200 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-07-12 04:38:50 +0200 | alx741 | (~alx741@186.178.108.20) (Quit: alx741) |
| 2021-07-12 04:39:03 +0200 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-07-12 04:41:35 +0200 | zebrag | (~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 +0200 | Guest81 | (~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 +0200 | monochrom | tweets "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 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-07-12 04:57:56 +0200 | DigitalKiwi | looks 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 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2021-07-12 05:01:08 +0200 | Taneb | (~Taneb@runciman.hacksoc.org) |
| 2021-07-12 05:10:02 +0200 | ubikium | (~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 +0200 | gehmehgeh_ | (~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 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 2021-07-12 05:15:22 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-12 05:17:22 +0200 | edr | (~edr@user/edr) (Ping timeout: 252 seconds) |
| 2021-07-12 05:17:30 +0200 | alx741 | (~alx741@186.178.108.20) |
| 2021-07-12 05:19:03 +0200 | edr | (~edr@enlo.co) |
| 2021-07-12 05:19:03 +0200 | edr | (~edr@enlo.co) (Changing host) |
| 2021-07-12 05:19:03 +0200 | edr | (~edr@user/edr) |
| 2021-07-12 05:21:44 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-07-12 05:25:38 +0200 | ubikium | (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Quit: Quit) |
| 2021-07-12 05:26:53 +0200 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-07-12 05:29:54 +0200 | alx741 | (~alx741@186.178.108.20) (Quit: alx741) |
| 2021-07-12 05:30:58 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-07-12 05:31:11 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-07-12 05:32:56 +0200 | zebrag | (~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 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-07-12 05:37:13 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 2021-07-12 05:37:55 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-07-12 05:39:50 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-12 05:44:50 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-07-12 05:46:45 +0200 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2021-07-12 05:46:53 +0200 | wei2912 | (~wei2912@112.199.250.21) |
| 2021-07-12 05:48:58 +0200 | yauhsien | (~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 +0200 | JSharp | (sid4580@id-4580.tooting.irccloud.com) () |
| 2021-07-12 06:09:54 +0200 | mikail_ | (~mikail@90.212.77.3) |
| 2021-07-12 06:10:12 +0200 | JSharp | (sid4580@id-4580.tooting.irccloud.com) |
| 2021-07-12 06:23:22 +0200 | mikail_ | (~mikail@90.212.77.3) (Ping timeout: 252 seconds) |
| 2021-07-12 06:23:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 06:23:38 +0200 | retroid_ | (~retro@90.218.175.34) |
| 2021-07-12 06:23:55 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-12 06:27:03 +0200 | poljar | (~poljar@93-139-36-109.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 2021-07-12 06:30:57 +0200 | Guest9 | (~Guest9@103.240.204.23) |
| 2021-07-12 06:31:11 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 06:32:42 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-12 06:46:28 +0200 | Guest9 | (~Guest9@103.240.204.23) (Ping timeout: 252 seconds) |
| 2021-07-12 06:47:52 +0200 | akhileshs | (~user@c-73-63-166-39.hsd1.ca.comcast.net) |
| 2021-07-12 06:48:07 +0200 | akhileshs | (~user@c-73-63-166-39.hsd1.ca.comcast.net) (Client Quit) |
| 2021-07-12 06:51:38 +0200 | MorrowM | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-07-12 06:52:28 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 246 seconds) |
| 2021-07-12 06:53:23 +0200 | xerxes | (~xerxes@117.222.64.42) |
| 2021-07-12 06:55:06 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-12 06:56:30 +0200 | meinside | (uid24933@id-24933.brockwell.irccloud.com) |
| 2021-07-12 06:57:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-12 06:58:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-07-12 06:59:41 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-12 07:00:43 +0200 | yauhsien_ | (~yauhsien@36-225-130-34.dynamic-ip.hinet.net) |
| 2021-07-12 07:00:47 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 07:01:07 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 07:01:21 +0200 | noctuks | (VLd78TzYRj@user/noctux) (*.net *.split) |
| 2021-07-12 07:01:21 +0200 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2021-07-12 07:01:21 +0200 | integral | (sid296274@user/integral) (*.net *.split) |
| 2021-07-12 07:01:21 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2021-07-12 07:01:21 +0200 | mrkajetanp | (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) (*.net *.split) |
| 2021-07-12 07:01:21 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::12fc:5001) (*.net *.split) |
| 2021-07-12 07:01:22 +0200 | vito | (sid1962@user/vito) (*.net *.split) |
| 2021-07-12 07:01:22 +0200 | jmct | (sid160793@id-160793.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 07:01:22 +0200 | gaze__ | (sid387101@id-387101.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 07:01:22 +0200 | adamse | (sid72084@user/adamse) (*.net *.split) |
| 2021-07-12 07:01:22 +0200 | systemfault | (sid267009@id-267009.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 07:01:22 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 07:01:22 +0200 | T_S_ | (sid501726@id-501726.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 07:01:22 +0200 | mcglk | (~mcglk@131.191.49.120) (*.net *.split) |
| 2021-07-12 07:01:22 +0200 | yorick | (~yorick@user/yorick) (*.net *.split) |
| 2021-07-12 07:01:22 +0200 | Unode | (~Unode@194.94.44.220) (*.net *.split) |
| 2021-07-12 07:01:23 +0200 | jmct_ | (sid160793@id-160793.tinside.irccloud.com) |
| 2021-07-12 07:01:24 +0200 | gaze___ | (sid387101@id-387101.brockwell.irccloud.com) |
| 2021-07-12 07:01:25 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 07:01:25 +0200 | Unode_ | (~Unode@194.94.44.220) |
| 2021-07-12 07:01:25 +0200 | systemfault_ | (sid267009@id-267009.highgate.irccloud.com) |
| 2021-07-12 07:01:27 +0200 | integral_ | (sid296274@user/integral) |
| 2021-07-12 07:01:28 +0200 | adamse_ | (sid72084@user/adamse) |
| 2021-07-12 07:01:34 +0200 | agander_m_ | (sid407952@id-407952.tinside.irccloud.com) |
| 2021-07-12 07:01:38 +0200 | noctuks | (oGswB5gyub@user/noctux) |
| 2021-07-12 07:01:40 +0200 | mrkajetanp_ | (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) |
| 2021-07-12 07:01:45 +0200 | yorick | (~yorick@user/yorick) |
| 2021-07-12 07:01:48 +0200 | vito | (sid1962@user/vito) |
| 2021-07-12 07:01:48 +0200 | CodeKiwi | (~kiwi@2604:a880:400:d0::12fc:5001) |
| 2021-07-12 07:01:49 +0200 | Unode_ | Unode |
| 2021-07-12 07:01:51 +0200 | T_S_ | (sid501726@id-501726.highgate.irccloud.com) |
| 2021-07-12 07:02:20 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2021-07-12 07:02:29 +0200 | mcglk | (~mcglk@131.191.49.120) |
| 2021-07-12 07:02:33 +0200 | hook54321_ | (sid149355@user/hook54321) |
| 2021-07-12 07:02:48 +0200 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2021-07-12 07:03:34 +0200 | CodeKiwi | DigitalKiwi |
| 2021-07-12 07:04:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-12 07:06:12 +0200 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split) |
| 2021-07-12 07:06:12 +0200 | Clint | (~Clint@user/clint) (*.net *.split) |
| 2021-07-12 07:06:12 +0200 | shane | (~shane@ana.rch.ist) (*.net *.split) |
| 2021-07-12 07:06:12 +0200 | Hecate | (~mariposa@user/hecate) (*.net *.split) |
| 2021-07-12 07:06:12 +0200 | Ferdirand | (~somebody@user/ferdirand) (*.net *.split) |
| 2021-07-12 07:06:12 +0200 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (*.net *.split) |
| 2021-07-12 07:06:12 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split) |
| 2021-07-12 07:06:12 +0200 | hexeme | (~hexeme@user/hexeme) (*.net *.split) |
| 2021-07-12 07:06:12 +0200 | mikko | (~mikko@2a02:7b40:d418:6a61::1) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | lechner | (~lechner@debian/lechner) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | peutri | (~peutri@ns317027.ip-94-23-46.eu) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | Aleksejs | (~Aleksejs@haskell.lv) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | xerox | (~edi@user/edi) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | cohn | (~noone@user/cohn) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | vk3wtf | (~doc@124.168.198.139) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | immae | (~immae@2a01:4f8:141:53e7::) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | parisienne | (sid383587@id-383587.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | obviyus | (sid415299@user/obviyus) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | exarkun | (~exarkun@user/exarkun) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | fr33domlover | (~fr33domlo@angeley.es) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | Zemyla | (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | SethTisue__ | (sid14912@id-14912.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | janus | (janus@anubis.0x90.dk) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
| 2021-07-12 07:06:13 +0200 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
| 2021-07-12 07:06:14 +0200 | nonzen | (~nonzen@user/nonzen) (*.net *.split) |
| 2021-07-12 07:06:14 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2021-07-12 07:06:14 +0200 | feepo | (sid28508@id-28508.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 07:06:14 +0200 | Arsen | (~arsen@managarm/dev/Arsen) (*.net *.split) |
| 2021-07-12 07:06:14 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2021-07-12 07:06:18 +0200 | Ferdiran1 | (~somebody@2001:4c78:2012:5000::2) |
| 2021-07-12 07:06:19 +0200 | Hecate | (~mariposa@163.172.211.189) |
| 2021-07-12 07:06:19 +0200 | peutri | (~peutri@ns317027.ip-94-23-46.eu) |
| 2021-07-12 07:06:19 +0200 | Clint | (~Clint@user/clint) |
| 2021-07-12 07:06:19 +0200 | SethTisue__ | (sid14912@id-14912.charlton.irccloud.com) |
| 2021-07-12 07:06:21 +0200 | feepo | (sid28508@id-28508.brockwell.irccloud.com) |
| 2021-07-12 07:06:22 +0200 | xerox_ | (~edi@user/edi) |
| 2021-07-12 07:06:23 +0200 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 2021-07-12 07:06:24 +0200 | cohn | (~noone@23.239.18.252) |
| 2021-07-12 07:06:25 +0200 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2021-07-12 07:06:29 +0200 | cohn | (~noone@23.239.18.252) (Changing host) |
| 2021-07-12 07:06:29 +0200 | cohn | (~noone@user/cohn) |
| 2021-07-12 07:06:30 +0200 | janus | (janus@anubis.0x90.dk) |
| 2021-07-12 07:06:30 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-07-12 07:06:33 +0200 | parisienne | (sid383587@id-383587.brockwell.irccloud.com) |
| 2021-07-12 07:06:33 +0200 | Aleksejs_Home | (~Aleksejs@haskell.lv) |
| 2021-07-12 07:06:34 +0200 | lechner | (~lechner@letbox-vps.us-core.com) |
| 2021-07-12 07:06:35 +0200 | sclv | (sid39734@haskell/developer/sclv) |
| 2021-07-12 07:06:37 +0200 | mikko | (~mikko@2a02:7b40:d418:6a61::1) |
| 2021-07-12 07:06:37 +0200 | Hobbyboy|BNC | (Hobbyboy@hobbyboy.co.uk) |
| 2021-07-12 07:06:42 +0200 | lieven | (~mal@ns2.wyrd.be) |
| 2021-07-12 07:06:42 +0200 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2021-07-12 07:06:43 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
| 2021-07-12 07:06:47 +0200 | lechner | (~lechner@letbox-vps.us-core.com) (Changing host) |
| 2021-07-12 07:06:47 +0200 | lechner | (~lechner@debian/lechner) |
| 2021-07-12 07:06:48 +0200 | vk3wtf | (~doc@124.168.198.139) |
| 2021-07-12 07:06:48 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2021-07-12 07:06:50 +0200 | andreas3- | (andreas303@ip227.orange.bnc4free.com) |
| 2021-07-12 07:07:01 +0200 | immae | (~immae@2a01:4f8:141:53e7::) |
| 2021-07-12 07:07:05 +0200 | obviyus | (sid415299@user/obviyus) |
| 2021-07-12 07:07:06 +0200 | hexeme | (~hexeme@user/hexeme) |
| 2021-07-12 07:07:12 +0200 | fr33domlover | (~fr33domlo@angeley.es) |
| 2021-07-12 07:07:16 +0200 | nonzen | (~nonzen@user/nonzen) |
| 2021-07-12 07:07:59 +0200 | exarkun | (~exarkun@user/exarkun) |
| 2021-07-12 07:08:02 +0200 | Arsen | (~arsen@managarm/dev/Arsen) |
| 2021-07-12 07:10:07 +0200 | Ekho | (~Ekho@user/ekho) |
| 2021-07-12 07:10:24 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-12 07:10:36 +0200 | Hobbyboy|BNC | Hobbyboy |
| 2021-07-12 07:11:26 +0200 | lisq | (~quassel@lis.moe) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | jonrh | (sid5185@id-5185.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | iphy | (sid67735@2001:67c:2f08:4::1:897) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | bradparker | (sid262931@2001:67c:2f08:1::4:313) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | oxytocat | (~alloca@user/suppi) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | ggvgc | (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | choucavalier | (~choucaval@peanutbuttervibes.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | xnbya2 | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | gonz_ | (sid304396@id-304396.tooting.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | jmjl | (julian@user/jmjl) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | kaychaks__ | (sid236345@id-236345.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | dexterfoo | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | darxun | (sid504814@id-504814.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | LambdaDuck | (~anka@ksit.fixme.fi) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | meinside | (uid24933@id-24933.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | Philonous_ | (~Philonous@user/philonous) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | feliix42 | (~felix@gibbs.uberspace.de) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | jakesyl | (sid56879@id-56879.stonehaven.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | joel135 | (sid136450@id-136450.stonehaven.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | tritlo | (sid58727@user/tritlo) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | rubin55 | (sid175221@id-175221.stonehaven.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:26 +0200 | acertain | (sid470584@stonehaven.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | MasseR | (~MasseR@51.15.143.128) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | zopsi | (zopsi@2600:3c00::f03c:91ff:fe14:551f) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | zgrep | (~zgrep@user/zgrep) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | flukiluke | (~flukiluke@plum.alephc.xyz) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | kmein | (~weechat@user/kmein) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | PHO` | (~pho@akari.cielonegro.org) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | nrr | (sid20938@id-20938.tooting.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | travv0 | (sid293381@user/travv0) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | koolazer | (~koo@212.47.237.37) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | truckasaurus | (sid457088@id-457088.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2021-07-12 07:11:27 +0200 | Brianmancer | (~Neuromanc@user/briandamag) (*.net *.split) |
| 2021-07-12 07:11:29 +0200 | Zemyla | (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) |
| 2021-07-12 07:11:32 +0200 | PHO`_ | (~pho@akari.cielonegro.org) |
| 2021-07-12 07:11:33 +0200 | LambdaDu1k | (~anka@ksit.fixme.fi) |
| 2021-07-12 07:11:34 +0200 | zopsi_ | (~zopsi@irc.dir.ac) |
| 2021-07-12 07:11:34 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2021-07-12 07:11:34 +0200 | meinside_ | (uid24933@id-24933.brockwell.irccloud.com) |
| 2021-07-12 07:11:36 +0200 | choucavalier | (~choucaval@peanutbuttervibes.com) |
| 2021-07-12 07:11:38 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2021-07-12 07:11:39 +0200 | dexterfoo | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2021-07-12 07:11:40 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) |
| 2021-07-12 07:11:40 +0200 | koolazer | (~koo@user/koolazer) |
| 2021-07-12 07:11:41 +0200 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) |
| 2021-07-12 07:11:42 +0200 | kaychaks__ | (sid236345@id-236345.brockwell.irccloud.com) |
| 2021-07-12 07:11:45 +0200 | carbolymer | (~carbolyme@dropacid.net) |
| 2021-07-12 07:11:45 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-07-12 07:11:45 +0200 | lis | (~quassel@lis.moe) |
| 2021-07-12 07:11:46 +0200 | ggvgc | (~ggVGc@a.lowtech.earth) |
| 2021-07-12 07:11:49 +0200 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2021-07-12 07:11:49 +0200 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
| 2021-07-12 07:11:54 +0200 | jmjl | (julian@tilde.team) |
| 2021-07-12 07:11:55 +0200 | oxytocat | (~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) |
| 2021-07-12 07:11:56 +0200 | feliix42_ | (~felix@gibbs.uberspace.de) |
| 2021-07-12 07:11:56 +0200 | bradparker | (sid262931@2001:67c:2f08:1::4:313) |
| 2021-07-12 07:11:58 +0200 | travv0 | (sid293381@user/travv0) |
| 2021-07-12 07:11:58 +0200 | joel135 | (sid136450@id-136450.stonehaven.irccloud.com) |
| 2021-07-12 07:12:00 +0200 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-07-12 07:12:12 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2021-07-12 07:12:12 +0200 | tinwood | (~tinwood@canonical/tinwood) |
| 2021-07-12 07:12:18 +0200 | rubin55 | (sid175221@2001:67c:2f08:8::2:ac75) |
| 2021-07-12 07:12:20 +0200 | zgrep | (~zgrep@user/zgrep) |
| 2021-07-12 07:12:20 +0200 | jmjl | (julian@tilde.team) (Changing host) |
| 2021-07-12 07:12:20 +0200 | jmjl | (julian@user/jmjl) |
| 2021-07-12 07:12:20 +0200 | oxytocat | (~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) (Signing in (oxytocat)) |
| 2021-07-12 07:12:20 +0200 | oxytocat | (~alloca@user/suppi) |
| 2021-07-12 07:12:26 +0200 | nrr | (sid20938@id-20938.tooting.irccloud.com) |
| 2021-07-12 07:12:27 +0200 | gonz_ | (sid304396@2001:67c:2f08:4::4:a50c) |
| 2021-07-12 07:12:27 +0200 | jonrh | (sid5185@id-5185.charlton.irccloud.com) |
| 2021-07-12 07:12:36 +0200 | acertain | (sid470584@id-470584.stonehaven.irccloud.com) |
| 2021-07-12 07:12:37 +0200 | truckasaurus | (sid457088@2001:67c:2f08:5::6:f980) |
| 2021-07-12 07:12:39 +0200 | darxun | (sid504814@id-504814.tinside.irccloud.com) |
| 2021-07-12 07:12:43 +0200 | iphy | (sid67735@id-67735.tooting.irccloud.com) |
| 2021-07-12 07:12:46 +0200 | sa | (sid1055@2a03:5180:f::41f) |
| 2021-07-12 07:12:50 +0200 | tritlo | (sid58727@stonehaven.irccloud.com) |
| 2021-07-12 07:12:51 +0200 | mustafa | (sid502723@stonehaven.irccloud.com) |
| 2021-07-12 07:12:55 +0200 | mustafa | (sid502723@stonehaven.irccloud.com) (Changing host) |
| 2021-07-12 07:12:55 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2021-07-12 07:12:56 +0200 | tritlo | (sid58727@stonehaven.irccloud.com) (Changing host) |
| 2021-07-12 07:12:56 +0200 | tritlo | (sid58727@user/tritlo) |
| 2021-07-12 07:13:07 +0200 | nurupo | (~nurupo.ga@user/nurupo) |
| 2021-07-12 07:13:08 +0200 | Philonous | (~Philonous@user/philonous) |
| 2021-07-12 07:13:08 +0200 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) |
| 2021-07-12 07:13:18 +0200 | infinisil[irc] | (~infinisil@178.197.225.108) (Ping timeout: 268 seconds) |
| 2021-07-12 07:13:21 +0200 | jakesyl | (sid56879@stonehaven.irccloud.com) |
| 2021-07-12 07:13:41 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) (Client Quit) |
| 2021-07-12 07:13:51 +0200 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2021-07-12 07:14:16 +0200 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2021-07-12 07:14:58 +0200 | quintasan | (~quassel@quintasan.pl) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | abbie | (~abbie@offtopia/offtopian/abbie) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | xaltsc | (~xaltsc@user/xaltsc) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | feetwind | (~mike@user/feetwind) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | dy | (~dy@user/dy) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | sa1 | (uid7690@id-7690.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | matijja | (~matijja@193.77.181.201) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | robertm | (robertm@rojoma.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | zzz | (~yin@user/yin) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | edmundnoble | (sid229620@id-229620.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | totbwf_ | (sid402332@id-402332.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | relrod | (~relrod@redhat/ansible.staff.relrod) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | aravk | (~aravk@user/aravk) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | juri_ | (~juri@178.63.35.222) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | gorignak | (~gorignak@047-037-033-079.res.spectrum.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | lightandlight | (sid135476@id-135476.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | b20n | (sid115913@id-115913.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | etrepum | (sid763@id-763.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | tapas | (sid467876@id-467876.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | Adeon | (sid418992@id-418992.tooting.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | gmc | (sid58314@id-58314.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | dkeohane | (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | hexology | (~hexology@user/hexology) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | supersven | (uid501114@id-501114.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:58 +0200 | parseval | (sid239098@id-239098.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | mikolaj | (~mikolaj@purple.well-typed.com) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | jassob | (~jassob@korrob.vth.sgsnet.se) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | marienz | (~marienz@libera/staff/marienz) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | Jon | (jon@dow.land) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | davetapley | (sid666@id-666.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | tchakka | (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | phaazon | (~phaazon@2001:41d0:a:fe76::1) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | davl | (~davl@207.154.228.18) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | toms | (~foobar@pogostick.net) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | S11001001 | (sid42510@id-42510.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | angerman | (sid209936@id-209936.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | winny | (~winny@user/winny) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | ProofTechnique | (sid79547@id-79547.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | auri | (~admin@static.46.108.40.188.clients.your-server.de) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | trueboxguy | (~trueboxgu@user/trueboxguy) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | Boarders | (sid425905@tooting.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | dpratt | (sid193493@id-193493.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | Unhammer | (~Unhammer@user/unhammer) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | cpape | (~user@2a01:4f9:c010:632d::1) (*.net *.split) |
| 2021-07-12 07:14:59 +0200 | enemeth79 | (sid309041@id-309041.tooting.irccloud.com) (*.net *.split) |
| 2021-07-12 07:15:02 +0200 | toms__ | (~foobar@pogostick.net) |
| 2021-07-12 07:15:04 +0200 | Jonno_FT1 | (~come@api.carswap.me) |
| 2021-07-12 07:15:04 +0200 | totbwf__ | (sid402332@id-402332.highgate.irccloud.com) |
| 2021-07-12 07:15:05 +0200 | mikolaj_ | (~mikolaj@purple.well-typed.com) |
| 2021-07-12 07:15:05 +0200 | jmtd | (jon@dow.land) |
| 2021-07-12 07:15:07 +0200 | aravk_ | (~aravk@user/aravk) |
| 2021-07-12 07:15:07 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 07:15:07 +0200 | cpape` | (~user@2a01:4f9:c010:632d::1) |
| 2021-07-12 07:15:08 +0200 | gorignak | (~gorignak@047-037-033-079.res.spectrum.com) |
| 2021-07-12 07:15:09 +0200 | juri_ | (~juri@178.63.35.222) |
| 2021-07-12 07:15:09 +0200 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2021-07-12 07:15:11 +0200 | phaazon | (~phaazon@2001:41d0:a:fe76::1) |
| 2021-07-12 07:15:12 +0200 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2021-07-12 07:15:14 +0200 | relrod_ | (~relrod@redhat/ansible.staff.relrod) |
| 2021-07-12 07:15:15 +0200 | quintasan_ | (~quassel@quintasan.pl) |
| 2021-07-12 07:15:17 +0200 | jassob | (~jassob@korrob.vth.sgsnet.se) |
| 2021-07-12 07:15:18 +0200 | lightandlight | (sid135476@id-135476.brockwell.irccloud.com) |
| 2021-07-12 07:15:20 +0200 | supersven | (uid501114@id-501114.charlton.irccloud.com) |
| 2021-07-12 07:15:21 +0200 | parseval | (sid239098@id-239098.brockwell.irccloud.com) |
| 2021-07-12 07:15:23 +0200 | dpratt_ | (sid193493@id-193493.brockwell.irccloud.com) |
| 2021-07-12 07:15:27 +0200 | robertm | (robertm@rojoma.com) |
| 2021-07-12 07:15:28 +0200 | feetwind | (~mike@2406:d500:6:1:216:3cff:fe36:651) |
| 2021-07-12 07:15:29 +0200 | Unhammer | (~Unhammer@2a01:799:42:6a00::40c) |
| 2021-07-12 07:15:29 +0200 | jmtd | Jon |
| 2021-07-12 07:15:31 +0200 | auri | (~admin@static.46.108.40.188.clients.your-server.de) |
| 2021-07-12 07:15:34 +0200 | davetapley | (sid666@id-666.highgate.irccloud.com) |
| 2021-07-12 07:15:45 +0200 | b20n | (sid115913@id-115913.highgate.irccloud.com) |
| 2021-07-12 07:15:47 +0200 | feetwind | (~mike@2406:d500:6:1:216:3cff:fe36:651) (Signing in (feetwind)) |
| 2021-07-12 07:15:47 +0200 | feetwind | (~mike@user/feetwind) |
| 2021-07-12 07:15:48 +0200 | Unhammer | (~Unhammer@2a01:799:42:6a00::40c) (Changing host) |
| 2021-07-12 07:15:48 +0200 | Unhammer | (~Unhammer@user/unhammer) |
| 2021-07-12 07:15:49 +0200 | winny | (~winny@2001:19f0:5c01:1de7:5400:1ff:fec6:4ab0) |
| 2021-07-12 07:15:49 +0200 | gmc | (sid58314@id-58314.charlton.irccloud.com) |
| 2021-07-12 07:15:50 +0200 | edmundnoble | (sid229620@id-229620.brockwell.irccloud.com) |
| 2021-07-12 07:15:51 +0200 | etrepum | (sid763@id-763.highgate.irccloud.com) |
| 2021-07-12 07:15:53 +0200 | enemeth79 | (sid309041@id-309041.tooting.irccloud.com) |
| 2021-07-12 07:15:53 +0200 | xaltsc | (~xaltsc@user/xaltsc) |
| 2021-07-12 07:15:54 +0200 | Boarders | (sid425905@id-425905.tooting.irccloud.com) |
| 2021-07-12 07:15:54 +0200 | yin | (~yin@user/yin) |
| 2021-07-12 07:15:59 +0200 | S11001001 | (sid42510@id-42510.charlton.irccloud.com) |
| 2021-07-12 07:16:00 +0200 | marienz | (~marienz@libera/staff/marienz) |
| 2021-07-12 07:16:03 +0200 | angerman | (sid209936@id-209936.charlton.irccloud.com) |
| 2021-07-12 07:16:03 +0200 | sa1 | (sid7690@id-7690.charlton.irccloud.com) |
| 2021-07-12 07:16:10 +0200 | Adeon | (sid418992@id-418992.tooting.irccloud.com) |
| 2021-07-12 07:16:12 +0200 | ProofTechnique | (sid79547@id-79547.charlton.irccloud.com) |
| 2021-07-12 07:16:13 +0200 | tapas | (sid467876@id-467876.charlton.irccloud.com) |
| 2021-07-12 07:16:17 +0200 | trueboxguy | (~trueboxgu@user/trueboxguy) |
| 2021-07-12 07:16:18 +0200 | feetwind | Guest3034 |
| 2021-07-12 07:16:18 +0200 | yin | zzz |
| 2021-07-12 07:16:21 +0200 | hexology | (~hexology@user/hexology) |
| 2021-07-12 07:16:24 +0200 | davl | (~davl@207.154.228.18) |
| 2021-07-12 07:16:37 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2021-07-12 07:17:11 +0200 | matijja | (~matijja@193.77.181.201) |
| 2021-07-12 07:17:15 +0200 | dkeohane | (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) |
| 2021-07-12 07:17:20 +0200 | dy | (~dy@user/dy) |
| 2021-07-12 07:17:46 +0200 | relrod_ | relrod |
| 2021-07-12 07:20:10 +0200 | tchakka | (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) |
| 2021-07-12 07:20:46 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 272 seconds) |
| 2021-07-12 07:21:52 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2021-07-12 07:21:54 +0200 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2021-07-12 07:24:09 +0200 | chris-the-slurpa | (~chris@81.96.113.213) |
| 2021-07-12 07:25:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-12 07:26:26 +0200 | jneira | (~jneira@212.8.115.226) |
| 2021-07-12 07:28:54 +0200 | chris-the-slurpa | (~chris@81.96.113.213) (Ping timeout: 276 seconds) |
| 2021-07-12 07:29:12 +0200 | winny | (~winny@2001:19f0:5c01:1de7:5400:1ff:fec6:4ab0) (Quit: WeeChat 2.8) |
| 2021-07-12 07:29:25 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-12 07:29:41 +0200 | winny | (~winny@user/winny) |
| 2021-07-12 07:30:56 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 07:35:58 +0200 | biberu | (~biberu@user/biberu) (Ping timeout: 252 seconds) |
| 2021-07-12 07:36:34 +0200 | biberu | (~biberu@user/biberu) |
| 2021-07-12 07:36:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-12 07:37:07 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 07:37:26 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 07:42:36 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 07:47:06 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-12 07:49:54 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-12 07:50:12 +0200 | cheater | (~Username@user/cheater) |
| 2021-07-12 08:06:38 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds) |
| 2021-07-12 08:08:03 +0200 | typetetris | (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 +0200 | beka | (~beka@104-244-27-23.static.monkeybrains.net) (Ping timeout: 265 seconds) |
| 2021-07-12 08:13:18 +0200 | cjb | (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-07-12 08:13:23 +0200 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-07-12 08:14:53 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 08:17:10 +0200 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-07-12 08:19:30 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 08:20:09 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 08:20:28 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 08:20:52 +0200 | yauhsien_ | (~yauhsien@36-225-130-34.dynamic-ip.hinet.net) (Quit: Leaving...) |
| 2021-07-12 08:20:59 +0200 | sayola | (~vekto@dslb-088-078-152-192.088.078.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-07-12 08:21:09 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 08:21:28 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 08:24:27 +0200 | oxide | (~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 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-07-12 08:33:47 +0200 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-12 08:35:30 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-12 08:38:27 +0200 | tromp | (~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 +0200 | acidjnk | (~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) |
| 2021-07-12 08:40:59 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 08:42:11 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-07-12 08:52:25 +0200 | turlando | (~turlando@user/turlando) (Ping timeout: 265 seconds) |
| 2021-07-12 08:52:37 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-12 08:53:18 +0200 | lis | lisq |
| 2021-07-12 08:56:43 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-07-12 08:59:40 +0200 | Core7908_ | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 09:00:34 +0200 | Claymore | (~nehushtan@154.6.16.5) |
| 2021-07-12 09:00:42 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-07-12 09:00:59 +0200 | fendor | (~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 +0200 | MQ-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 +0200 | Claymore | (~nehushtan@154.6.16.5) (Client Quit) |
| 2021-07-12 09:03:00 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-12 09:03:30 +0200 | Core7908 | (~Core7908@2804:18:47:52d3:1:0:b31:60e7) (Ping timeout: 240 seconds) |
| 2021-07-12 09:05:09 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 09:08:56 +0200 | chele | (~chele@user/chele) |
| 2021-07-12 09:21:10 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Read error: Connection reset by peer) |
| 2021-07-12 09:21:29 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 09:22:11 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-07-12 09:22:20 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
| 2021-07-12 09:22:57 +0200 | MQ-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 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 09:30:10 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 09:35:15 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-07-12 09:35:54 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2021-07-12 09:37:14 +0200 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Quit: WeeChat 2.8) |
| 2021-07-12 09:39:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-07-12 09:40:48 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-12 09:41:00 +0200 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-07-12 09:42:51 +0200 | javran | (~javran@172.58.35.225) |
| 2021-07-12 09:43:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 09:43:48 +0200 | eggplantade | (~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 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 2021-07-12 09:46:47 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-12 09:46:48 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-12 09:47:03 +0200 | Hecate | (~mariposa@163.172.211.189) (Changing host) |
| 2021-07-12 09:47:03 +0200 | Hecate | (~mariposa@user/hecate) |
| 2021-07-12 09:48:09 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds) |
| 2021-07-12 09:49:14 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Client Quit) |
| 2021-07-12 09:49:18 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-07-12 09:55:03 +0200 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-07-12 09:59:59 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2021-07-12 10:00:12 +0200 | javran | (~javran@172.58.35.225) (Read error: Connection reset by peer) |
| 2021-07-12 10:00:23 +0200 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) |
| 2021-07-12 10:01:50 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2021-07-12 10:05:14 +0200 | michalz | (~michalz@185.246.204.33) |
| 2021-07-12 10:06:35 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-07-12 10:07:36 +0200 | kuribas | (~user@ptr-25vy0i9hoprzpksooyh.18120a2.ip6.access.telenet.be) |
| 2021-07-12 10:08:58 +0200 | hendursa1 | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-12 10:09:37 +0200 | xerxes | (~xerxes@117.222.64.42) (Quit: leaving) |
| 2021-07-12 10:11:09 +0200 | dunj3 | (~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 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-07-12 10:12:10 +0200 | jespada | (~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 +0200 | jespada | (~jespada@90.254.247.46) |
| 2021-07-12 10:13:51 +0200 | m1dnight | (~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 +0200 | m1dnight | (~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 +0200 | geekosaur | (~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 +0200 | geekosaur | (~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 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-12 10:20:51 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-07-12 10:21:38 +0200 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
| 2021-07-12 10:23:02 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Remote host closed the connection) |
| 2021-07-12 10:23:14 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-12 10:24:04 +0200 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2021-07-12 10:25:02 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-12 10:25:56 +0200 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) |
| 2021-07-12 10:26:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2021-07-12 10:26:15 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-07-12 10:27:32 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-12 10:28:03 +0200 | Xnuk | (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-07-12 10:28:20 +0200 | Xnuk | (~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 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 10:31:27 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 10:33:56 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-12 10:35:14 +0200 | econo | (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 +0200 | hnOsmium0001 | (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 +0200 | Brianmancer | (~Neuromanc@user/briandamag) |
| 2021-07-12 10:42:11 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-12 10:45:43 +0200 | ubert1 | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-12 10:48:02 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:e6d:4895:5c36:fc58) |
| 2021-07-12 10:49:52 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-07-12 10:50:57 +0200 | azeem | (~azeem@176.200.251.23) |
| 2021-07-12 10:52:13 +0200 | azeem | (~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 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 10:58:38 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-12 11:03:14 +0200 | zaquest | (~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 +0200 | tromp | (~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 +0200 | Tuplanolla | (~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 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 11:09:56 +0200 | a1paca | (~a1paca@user/a1paca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-12 11:10:15 +0200 | a1paca | (~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 +0200 | tromp | (~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 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-12 11:30:29 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 255 seconds) |
| 2021-07-12 11:31:20 +0200 | chris-the-slurpa | (~chris@81.96.113.213) |
| 2021-07-12 11:33:47 +0200 | <_________> | ;) |
| 2021-07-12 11:45:01 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 11:48:09 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 11:48:28 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 11:49:09 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 11:49:28 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 11:49:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds) |
| 2021-07-12 11:53:45 +0200 | haykam2 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 11:55:25 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) (Read error: Connection reset by peer) |
| 2021-07-12 11:56:51 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-12 11:58:13 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:21dc:ed10:85d2:c2f8) |
| 2021-07-12 11:58:39 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-12 11:59:59 +0200 | xerox_ | xerox |
| 2021-07-12 12:00:08 +0200 | azeem | (~azeem@176.200.251.23) |
| 2021-07-12 12:05:38 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-12 12:06:24 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 12:06:38 +0200 | azeem | (~azeem@176.200.251.23) (Ping timeout: 256 seconds) |
| 2021-07-12 12:07:03 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-12 12:09:27 +0200 | ubert1 | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-12 12:10:05 +0200 | azeem | (~azeem@176.200.251.23) |
| 2021-07-12 12:12:27 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-12 12:13:21 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-12 12:13:35 +0200 | jonathanx | (~jonathan@185.224.57.161) |
| 2021-07-12 12:13:41 +0200 | jonathanx | (~jonathan@185.224.57.161) (Client Quit) |
| 2021-07-12 12:15:42 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-12 12:16:00 +0200 | Vajb | (~Vajb@85-76-37-197-nat.elisa-mobile.fi) |
| 2021-07-12 12:16:30 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 12:19:26 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:e6d:4895:5c36:fc58) (Remote host closed the connection) |
| 2021-07-12 12:20:30 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:cb9c:8f6:3247:45ac) |
| 2021-07-12 12:21:09 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 12:21:40 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-12 12:23:47 +0200 | anandprabhu | (~anandprab@94.202.243.198) |
| 2021-07-12 12:24:51 +0200 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-12 12:28:03 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-12 12:28:42 +0200 | ukari | (~ukari@user/ukari) |
| 2021-07-12 12:30:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 12:30:17 +0200 | Vajb | (~Vajb@85-76-37-197-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2021-07-12 12:31:00 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2021-07-12 12:31:19 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-12 12:31:20 +0200 | oxide | (~lambda@user/oxide) |
| 2021-07-12 12:37:01 +0200 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed) |
| 2021-07-12 12:37:14 +0200 | acidjnk | (~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-12 12:37:26 +0200 | azeem | (~azeem@176.200.251.23) (Ping timeout: 272 seconds) |
| 2021-07-12 12:37:30 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-12 12:38:44 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) (Remote host closed the connection) |
| 2021-07-12 12:39:24 +0200 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2021-07-12 12:40:22 +0200 | Core7908_ | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Quit: ...) |
| 2021-07-12 12:41:14 +0200 | Core7908 | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 12:42:20 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 12:44:37 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-12 12:45:16 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 12:45:56 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 12:46:58 +0200 | kosakgroove | (~textual@2a02:a210:2d80:300:b480:470d:3b11:5e20) |
| 2021-07-12 12:47:17 +0200 | azeem | (~azeem@176.200.251.23) |
| 2021-07-12 12:48:12 +0200 | kosakgroove | (~textual@2a02:a210:2d80:300:b480:470d:3b11:5e20) (Client Quit) |
| 2021-07-12 12:51:47 +0200 | mchristi | (~mchristi@ip-213-49-96-7.dsl.scarlet.be) |
| 2021-07-12 12:54:45 +0200 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-07-12 12:55:57 +0200 | Logio_ | Logio |
| 2021-07-12 12:56:36 +0200 | mchristi | (~mchristi@ip-213-49-96-7.dsl.scarlet.be) (Quit: WeeChat 3.0.1) |
| 2021-07-12 12:59:28 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-12 13:04:57 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-07-12 13:05:03 +0200 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-12 13:06:28 +0200 | juhp | (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-12 13:06:28 +0200 | thyriaen | (~thyriaen@45.178.73.238) |
| 2021-07-12 13:06:36 +0200 | Core7908 | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Ping timeout: 255 seconds) |
| 2021-07-12 13:06:43 +0200 | juhp | (~juhp@128.106.188.66) |
| 2021-07-12 13:11:58 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 13:12:07 +0200 | Core7383 | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 13:18:29 +0200 | hseg | (~gesh@185.120.126.10) |
| 2021-07-12 13:18:29 +0200 | berberman | (~berberman@user/berberman) (Ping timeout: 255 seconds) |
| 2021-07-12 13:19:10 +0200 | azeem | (~azeem@176.200.251.23) (Ping timeout: 256 seconds) |
| 2021-07-12 13:19:31 +0200 | berberman | (~berberman@user/berberman) |
| 2021-07-12 13:20:14 +0200 | bjobjo | (~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 +0200 | acidjnk | (~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 +0200 | smtnet3 | (~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 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-12 13:24:51 +0200 | thyriaen | (~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 +0200 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 13:29:31 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-12 13:34:12 +0200 | ziman | (~ziman@user/ziman) (Ping timeout: 265 seconds) |
| 2021-07-12 13:36:06 +0200 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-07-12 13:36:13 +0200 | tremon | tremon_ |
| 2021-07-12 13:40:21 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-12 13:40:34 +0200 | cheater | (~Username@user/cheater) |
| 2021-07-12 13:41:42 +0200 | azeem | (~azeem@176.201.23.19) (Ping timeout: 255 seconds) |
| 2021-07-12 13:42:59 +0200 | ziman | (~ziman@c25-5.condornet.sk) |
| 2021-07-12 13:43:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-12 13:44:51 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds) |
| 2021-07-12 13:45:57 +0200 | eight | (~eight@user/eight) (Quit: leaving) |
| 2021-07-12 13:46:34 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 13:47:16 +0200 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 13:51:09 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds) |
| 2021-07-12 13:52:24 +0200 | azeem | (~azeem@176.201.23.19) (Ping timeout: 276 seconds) |
| 2021-07-12 13:54:11 +0200 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 13:55:06 +0200 | ziman | (~ziman@c25-5.condornet.sk) (Changing host) |
| 2021-07-12 13:55:07 +0200 | ziman | (~ziman@user/ziman) |
| 2021-07-12 13:55:44 +0200 | jneira | (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-12 13:56:24 +0200 | jneira | (~jneira@212.8.115.226) |
| 2021-07-12 13:57:06 +0200 | bjobjo | (~bjobjo@user/bjobjo) |
| 2021-07-12 14:02:30 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
| 2021-07-12 14:03:01 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds) |
| 2021-07-12 14:03:32 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-12 14:04:03 +0200 | gehmehgeh_ | (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 2021-07-12 14:04:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-07-12 14:04:04 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds) |
| 2021-07-12 14:04:12 +0200 | hololeap | (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 2021-07-12 14:04:34 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-12 14:05:06 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2021-07-12 14:05:08 +0200 | gehmehgeh_ | (~user@user/gehmehgeh) |
| 2021-07-12 14:05:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-07-12 14:05:09 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-12 14:05:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-07-12 14:05:21 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-07-12 14:06:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-12 14:06:49 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-07-12 14:07:45 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 14:10:56 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-07-12 14:13:05 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-07-12 14:13:13 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-12 14:15:11 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-12 14:18:40 +0200 | hegstal | (~hegstal@2a02:c7f:7604:8a00:cb9c:8f6:3247:45ac) (Ping timeout: 256 seconds) |
| 2021-07-12 14:20:13 +0200 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) |
| 2021-07-12 14:20:22 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-07-12 14:20:47 +0200 | cheater | (~Username@user/cheater) |
| 2021-07-12 14:21:33 +0200 | Atum_ | (IRC@user/atum/x-2392232) |
| 2021-07-12 14:24:20 +0200 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2021-07-12 14:24:55 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-12 14:24:57 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-12 14:28:11 +0200 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Quit: WeeChat 2.8) |
| 2021-07-12 14:28:32 +0200 | hseg | (~gesh@185.120.126.10) (Quit: WeeChat 3.2) |
| 2021-07-12 14:35:15 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Ping timeout: 255 seconds) |
| 2021-07-12 14:35:40 +0200 | lbseale__ | (~lbseale@user/ep1ctetus) |
| 2021-07-12 14:36:36 +0200 | azeem | (~azeem@176.201.23.19) (Ping timeout: 255 seconds) |
| 2021-07-12 14:38:02 +0200 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 14:38:29 +0200 | s4ch1n | (~s4ch1n@45.250.47.32) |
| 2021-07-12 14:39:46 +0200 | lbseale_ | (~lbseale@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 2021-07-12 14:40:41 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 14:43:59 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-12 14:44:07 +0200 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) |
| 2021-07-12 14:44:25 +0200 | s4ch1n | (~s4ch1n@45.250.47.32) (Quit: WeeChat 3.2) |
| 2021-07-12 14:45:18 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-12 14:47:58 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds) |
| 2021-07-12 14:51:09 +0200 | jneira | (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-12 14:52:46 +0200 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2021-07-12 14:53:14 +0200 | alx741 | (~alx741@186.178.109.100) |
| 2021-07-12 15:00:13 +0200 | bontaq` | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-07-12 15:00:36 +0200 | azeem | (~azeem@176.201.23.19) (Ping timeout: 256 seconds) |
| 2021-07-12 15:00:53 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 15:02:26 +0200 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 15:02:47 +0200 | keutoi | (~keutoi@157.48.184.234) |
| 2021-07-12 15:03:54 +0200 | infinisil[irc] | (~infinisil@178.197.225.108) |
| 2021-07-12 15:05:27 +0200 | brandonh | (~brandonh@151.57.24.153) |
| 2021-07-12 15:08:51 +0200 | lbseale_ | (~lbseale@user/ep1ctetus) |
| 2021-07-12 15:09:08 +0200 | lbseale_ | (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-07-12 15:09:27 +0200 | keutoi | (~keutoi@157.48.184.234) (Ping timeout: 255 seconds) |
| 2021-07-12 15:10:09 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 15:10:47 +0200 | keutoi | (~keutoi@157.48.184.234) |
| 2021-07-12 15:10:55 +0200 | pbrisbin | (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) (Quit: WeeChat 3.2) |
| 2021-07-12 15:10:59 +0200 | mikail_ | (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-12 15:11:15 +0200 | azeem | (~azeem@176.201.23.19) (Ping timeout: 255 seconds) |
| 2021-07-12 15:12:00 +0200 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 15:12:12 +0200 | pbrisbin | (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) |
| 2021-07-12 15:13:10 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-07-12 15:13:14 +0200 | lbseale__ | (~lbseale@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 2021-07-12 15:15:23 +0200 | hatz_ | (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) |
| 2021-07-12 15:21:24 +0200 | thecoder | (~mrrobot@c-73-27-71-147.hsd1.fl.comcast.net) |
| 2021-07-12 15:21:43 +0200 | chris-the-slurpa | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-12 15:22:06 +0200 | azeem | (~azeem@176.201.23.19) (Ping timeout: 276 seconds) |
| 2021-07-12 15:25:59 +0200 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 15:26:12 +0200 | s__ | (~s@50.34.81.185) (Read error: Connection reset by peer) |
| 2021-07-12 15:26:14 +0200 | s_ | (~s@50.34.81.185) |
| 2021-07-12 15:30:58 +0200 | azeem | (~azeem@176.201.23.19) (Ping timeout: 272 seconds) |
| 2021-07-12 15:32:08 +0200 | cheater | (~Username@user/cheater) (Quit: BitchX: it's magically delicious!) |
| 2021-07-12 15:34:02 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 15:34:38 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 15:35:21 +0200 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 15:35:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-12 15:37:03 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 276 seconds) |
| 2021-07-12 15:38:20 +0200 | cheater | (~Username@user/cheater) |
| 2021-07-12 15:38:34 +0200 | oxide | (~lambda@user/oxide) |
| 2021-07-12 15:39:12 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 272 seconds) |
| 2021-07-12 15:45:58 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-12 15:46:33 +0200 | Core7383 | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Quit: ...) |
| 2021-07-12 15:47:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 15:48:12 +0200 | brandonh | (~brandonh@151.57.24.153) (Ping timeout: 256 seconds) |
| 2021-07-12 15:48:15 +0200 | Core8687 | (~Core8687@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 15:51:02 +0200 | azeem | (~azeem@176.201.23.19) (Ping timeout: 256 seconds) |
| 2021-07-12 15:51:54 +0200 | azeem | (~azeem@176.200.226.100) |
| 2021-07-12 15:52:30 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 272 seconds) |
| 2021-07-12 15:53:33 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-12 15:53:59 +0200 | cheater | (~Username@user/cheater) |
| 2021-07-12 15:54:57 +0200 | polykernel | (~polykerne@user/polykernel) |
| 2021-07-12 15:55:03 +0200 | polykernel | (~polykerne@user/polykernel) () |
| 2021-07-12 15:58:30 +0200 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-07-12 16:04:31 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-07-12 16:04:55 +0200 | brandonh | (~brandonh@host-212-171-14-119.retail.telecomitalia.it) |
| 2021-07-12 16:05:09 +0200 | brandonh | (~brandonh@host-212-171-14-119.retail.telecomitalia.it) (Client Quit) |
| 2021-07-12 16:06:15 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-07-12 16:06:30 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-07-12 16:06:50 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds) |
| 2021-07-12 16:07:04 +0200 | azeem | (~azeem@176.200.226.100) (Ping timeout: 272 seconds) |
| 2021-07-12 16:07:35 +0200 | jolly | (~jolly@208.180.97.158) |
| 2021-07-12 16:08:23 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 16:09:05 +0200 | chris-the-slurpa | (~chris@81.96.113.213) |
| 2021-07-12 16:13:14 +0200 | azeem | (~azeem@176.200.226.100) |
| 2021-07-12 16:13:48 +0200 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-12 16:14:14 +0200 | Xnuk | (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-07-12 16:14:32 +0200 | Xnuk | (~xnuk@45.76.202.58) |
| 2021-07-12 16:15:20 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 16:20:06 +0200 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-12 16:22:18 +0200 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-12 16:24:04 +0200 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 16:28:13 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 16:28:32 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 16:28:39 +0200 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Ping timeout: 255 seconds) |
| 2021-07-12 16:32:16 +0200 | systemfault_ | systemfault |
| 2021-07-12 16:34:01 +0200 | argento | (~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 +0200 | Pickchea | (~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 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2021-07-12 16:40:05 +0200 | oxide | (~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 +0200 | jao | (~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 +0200 | keutoi_ | (~keutoi@157.48.184.234) |
| 2021-07-12 16:48:39 +0200 | keutoi | (~keutoi@157.48.184.234) (Quit: Reconnecting) |
| 2021-07-12 16:48:46 +0200 | keutoi_ | keutoi |
| 2021-07-12 16:48:55 +0200 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-12 16:49:04 +0200 | zaquest | (~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 +0200 | ec | (~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 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 16:52:31 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 16:53:07 +0200 | <keutoi> | dminuoso: thank you |
| 2021-07-12 16:53:58 +0200 | Taren | (~Taren@port-92-196-206-198.dynamic.as20676.net) |
| 2021-07-12 16:55:38 +0200 | acidjnk | (~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 +0200 | tomsmeding | . o O ( or maybe we need MAXIMAL -- disallow <*> and ap both being defined ) |
| 2021-07-12 17:00:51 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2021-07-12 17:01:55 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-07-12 17:02:17 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-07-12 17:03:06 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-07-12 17:03:39 +0200 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 17:05:07 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 17:05:34 +0200 | Taren | (~Taren@port-92-196-206-198.dynamic.as20676.net) (Ping timeout: 246 seconds) |
| 2021-07-12 17:06:43 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 17:07:17 +0200 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-07-12 17:08:42 +0200 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Ping timeout: 276 seconds) |
| 2021-07-12 17:09:26 +0200 | Taren | (~Taren@port-92-196-206-198.dynamic.as20676.net) |
| 2021-07-12 17:10:08 +0200 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-07-12 17:12:22 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 17:12:35 +0200 | anandprabhu | (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-07-12 17:13:07 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-12 17:13:12 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2021-07-12 17:16:21 +0200 | argento | (~argent0@168-227-97-23.ptr.westnet.com.ar) (Ping timeout: 255 seconds) |
| 2021-07-12 17:16:52 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-07-12 17:19:37 +0200 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 17:22:46 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-07-12 17:24:09 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-07-12 17:24:27 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-12 17:24:54 +0200 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Ping timeout: 255 seconds) |
| 2021-07-12 17:24:54 +0200 | cheater | (~Username@user/cheater) |
| 2021-07-12 17:25:48 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-12 17:27:32 +0200 | polykernel | (~polykerne@user/polykernel) |
| 2021-07-12 17:27:42 +0200 | peterhil | (~peterhil@mobile-access-bceeac-89.dhcp.inet.fi) |
| 2021-07-12 17:27:48 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) |
| 2021-07-12 17:29:55 +0200 | silverwhitefish | (~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5)) |
| 2021-07-12 17:31:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 17:32:06 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds) |
| 2021-07-12 17:33:00 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
| 2021-07-12 17:33:12 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-07-12 17:33:51 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-12 17:33:52 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-12 17:35:43 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-07-12 17:35:43 +0200 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-07-12 17:35:43 +0200 | turlando | (~turlando@user/turlando) |
| 2021-07-12 17:36:24 +0200 | robertm | (robertm@rojoma.com) (Quit: WeeChat 2.3) |
| 2021-07-12 17:36:34 +0200 | robertm | (robertm@rojoma.com) |
| 2021-07-12 17:37:39 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Client Quit) |
| 2021-07-12 17:40:03 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 17:40:58 +0200 | azeem | (~azeem@176.200.226.100) (Read error: Connection reset by peer) |
| 2021-07-12 17:41:03 +0200 | hatz_ | (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) (Quit: hatz_) |
| 2021-07-12 17:41:11 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 17:43:17 +0200 | hatz_ | (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) |
| 2021-07-12 17:43:47 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-12 17:44:59 +0200 | P1RATEZ | (piratez@user/p1ratez) |
| 2021-07-12 17:45:40 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2021-07-12 17:49:31 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 17:52:28 +0200 | Taren | (~Taren@port-92-196-206-198.dynamic.as20676.net) (Ping timeout: 246 seconds) |
| 2021-07-12 17:52:54 +0200 | kuribas | (~user@ptr-25vy0i9hoprzpksooyh.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-07-12 17:53:04 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-12 17:56:27 +0200 | cohn | (~noone@user/cohn) () |
| 2021-07-12 17:58:20 +0200 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-07-12 17:58:52 +0200 | haykam2 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-12 17:59:04 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 18:00:42 +0200 | keutoi | (~keutoi@157.48.184.234) (Quit: leaving) |
| 2021-07-12 18:01:48 +0200 | s_ | (~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 +0200 | s_ | (~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 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-12 18:06:11 +0200 | LKY | (~Burger@76.102.85.231) |
| 2021-07-12 18:07:58 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-12 18:09:54 +0200 | LKY | (~Burger@76.102.85.231) () |
| 2021-07-12 18:10:34 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-12 18:10:34 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-12 18:11:03 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 18:11:03 +0200 | ukari | (~ukari@user/ukari) |
| 2021-07-12 18:15:26 +0200 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-07-12 18:15:49 +0200 | cohn | (~noone@user/cohn) |
| 2021-07-12 18:17:28 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-12 18:18:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-12 18:19:28 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-12 18:20:34 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-12 18:20:34 +0200 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-12 18:22:02 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 18:22:09 +0200 | mikail_ | (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Ping timeout: 276 seconds) |
| 2021-07-12 18:23:51 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 18:24:31 +0200 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-12 18:28:14 +0200 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Quit: brandonh) |
| 2021-07-12 18:28:57 +0200 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 18:32:44 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-12 18:32:46 +0200 | michalz | (~michalz@185.246.204.33) (Remote host closed the connection) |
| 2021-07-12 18:35:08 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-07-12 18:36:54 +0200 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Quit: brandonh) |
| 2021-07-12 18:38:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 18:40:34 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 18:41:37 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-07-12 18:41:37 +0200 | Deide | (~Deide@217.155.19.23) (Changing host) |
| 2021-07-12 18:41:37 +0200 | Deide | (~Deide@user/deide) |
| 2021-07-12 18:41:38 +0200 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed) |
| 2021-07-12 18:42:28 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 18:47:18 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-12 18:48:04 +0200 | dunj3 | (~dunj3@2001:16b8:3074:1c00:57f:b83d:ce5e:2d79) (Quit: Leaving) |
| 2021-07-12 18:48:09 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds) |
| 2021-07-12 18:48:55 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) (Quit: Gateway shutdown) |
| 2021-07-12 18:49:11 +0200 | qrpnxz | (~qrpnxz@user/qrpnxz) |
| 2021-07-12 18:51:13 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-12 18:51:28 +0200 | Guest55 | (~Guest55@187.83.249.216.dyn.smithville.net) |
| 2021-07-12 18:54:38 +0200 | peterhil | (~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 +0200 | Hanicef | (~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 +0200 | merijn | (~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 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 2021-07-12 19:15:36 +0200 | derelict | (~derelict@user/derelict) |
| 2021-07-12 19:17:35 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-07-12 19:17:54 +0200 | xff0x | (~xff0x@2001:1a81:52d6:3f00:c2c2:4eb1:4c10:1645) (Ping timeout: 240 seconds) |
| 2021-07-12 19:19:12 +0200 | xff0x | (~xff0x@2001:1a81:52d6:3f00:1a58:61d8:8aa3:1417) |
| 2021-07-12 19:20:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 19:20:22 +0200 | Kugge | (~Kugge@2a01:cb15:81e5:f00:2dd0:6066:fe1b:9751) |
| 2021-07-12 19:23:05 +0200 | safinaskar | (~user@109.252.90.89) |
| 2021-07-12 19:23:17 +0200 | safinaskar | (~user@109.252.90.89) () |
| 2021-07-12 19:25:11 +0200 | smichel17 | (~smichel17@2601:193:8300:4b9::600) |
| 2021-07-12 19:27:43 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-12 19:27:56 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 19:28:12 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-12 19:28:32 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 19:28:59 +0200 | Hanicef | (~hanicef@90-229-213-50-no68.tbcn.telia.com) (Quit: leaving) |
| 2021-07-12 19:30:22 +0200 | azeem | (~azeem@176.200.192.14) |
| 2021-07-12 19:40:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-12 19:41:42 +0200 | azeem | (~azeem@176.200.192.14) (Ping timeout: 255 seconds) |
| 2021-07-12 19:43:27 +0200 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 19:46:12 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-12 19:54:11 +0200 | hexfive | (~eric@50.35.83.177) |
| 2021-07-12 19:56:52 +0200 | siers | (~ij@user/ij) |
| 2021-07-12 19:57:00 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2021-07-12 19:59:01 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 20:02:46 +0200 | mikail_ | (~mikail@90.212.77.3) |
| 2021-07-12 20:03:04 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 20:03:18 +0200 | warnz | (~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 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-12 20:11:04 +0200 | Kugge | (~Kugge@2a01:cb15:81e5:f00:2dd0:6066:fe1b:9751) (Quit: Client closed) |
| 2021-07-12 20:13:19 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-12 20:15:41 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 20:18:09 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 255 seconds) |
| 2021-07-12 20:19:18 +0200 | chris-the-slurpa | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-12 20:20:17 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 20:20:29 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 20:20:37 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 20:22:40 +0200 | fendor | (~fendor@77.119.208.64.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-12 20:23:41 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 20:25:45 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 20:28:20 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 20:32:26 +0200 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 2021-07-12 20:32:46 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-12 20:33:13 +0200 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-12 20:35:06 +0200 | ub | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-12 20:40:11 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-12 20:40:36 +0200 | mikail_ | (~mikail@90.212.77.3) (Ping timeout: 256 seconds) |
| 2021-07-12 20:40:55 +0200 | eggplantade | (~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 +0200 | chexum | (~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 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 20:45:59 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-07-12 20:46:16 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
| 2021-07-12 20:47:39 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-07-12 20:52:47 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) |
| 2021-07-12 20:53:35 +0200 | xdefrag | (~xdefrag@user/xdefrag) |
| 2021-07-12 20:53:35 +0200 | xdefrag | (~xdefrag@user/xdefrag) (Quit: WeeChat 3.1) |
| 2021-07-12 20:54:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 20:55:16 +0200 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-12 20:56:38 +0200 | fendor | (~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 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-12 21:04:32 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-12 21:05:02 +0200 | ukari | (~ukari@user/ukari) |
| 2021-07-12 21:06:50 +0200 | silverwhitefish | (~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 +0200 | hatz_ | (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) (Quit: hatz_) |
| 2021-07-12 21:07:49 +0200 | hatz_ | (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) |
| 2021-07-12 21:14:50 +0200 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-12 21:17:20 +0200 | smichel17 | (~smichel17@2601:193:8300:4b9::600) (Quit: smichel17) |
| 2021-07-12 21:17:28 +0200 | smichel17 | (~smichel17@2601:193:8300:4b9::600) |
| 2021-07-12 21:17:36 +0200 | smichel17 | (~smichel17@2601:193:8300:4b9::600) () |
| 2021-07-12 21:17:52 +0200 | smichel17 | (~smichel17@2601:193:8300:4b9::600) |
| 2021-07-12 21:19:03 +0200 | Guest55 | (~Guest55@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-07-12 21:19:48 +0200 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds) |
| 2021-07-12 21:20:16 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-12 21:23:42 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-12 21:25:17 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 21:29:29 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 21:32:22 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 21:35:34 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:21dc:ed10:85d2:c2f8) (Ping timeout: 256 seconds) |
| 2021-07-12 21:36:44 +0200 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-12 21:37:03 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 21:37:57 +0200 | ph88 | (~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 +0200 | argento | (~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 +0200 | dudek | (~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 +0200 | MQ-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 +0200 | rostero | (uid236576@id-236576.tooting.irccloud.com) |
| 2021-07-12 21:50:58 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 21:52:58 +0200 | DNH | (~DNH@2a02:8108:1100:16d8:74d4:dc25:5697:f3ed) |
| 2021-07-12 21:53:02 +0200 | DNH | (~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 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-12 21:56:45 +0200 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 21:59:25 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-07-12 22:01:12 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 276 seconds) |
| 2021-07-12 22:01:56 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 22:02:20 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-07-12 22:03:55 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-12 22:05:02 +0200 | juhp | (~juhp@128.106.188.66) (Ping timeout: 256 seconds) |
| 2021-07-12 22:05:30 +0200 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-07-12 22:05:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 22:06:16 +0200 | chris-the-slurpa | (~chris@81.96.113.213) |
| 2021-07-12 22:07:02 +0200 | pavonia | (~user@user/siracusa) |
| 2021-07-12 22:07:05 +0200 | juhp | (~juhp@128.106.188.66) |
| 2021-07-12 22:08:38 +0200 | nschoe | (~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 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-12 22:12:15 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-07-12 22:13:41 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-07-12 22:13:59 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-07-12 22:14:13 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 2021-07-12 22:14:21 +0200 | infinisil[irc] | (~infinisil@178.197.225.108) (WeeChat 3.2) |
| 2021-07-12 22:14:27 +0200 | bontaq` | bontaq |
| 2021-07-12 22:14:36 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 22:15:11 +0200 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-12 22:16:25 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 22:21:24 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 22:24:36 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-12 22:26:00 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-12 22:27:20 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 22:27:32 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 22:31:40 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 256 seconds) |
| 2021-07-12 22:33:33 +0200 | o1lo01ol1o | (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-07-12 22:35:00 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-12 22:36:12 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 256 seconds) |
| 2021-07-12 22:37:35 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 22:37:54 +0200 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 256 seconds) |
| 2021-07-12 22:43:07 +0200 | acidjnk | (~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de) |
| 2021-07-12 22:43:21 +0200 | <dsal> | Are you multihomed? |
| 2021-07-12 22:47:32 +0200 | alx741 | (~alx741@186.178.109.100) (Ping timeout: 256 seconds) |
| 2021-07-12 22:47:38 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 22:50:41 +0200 | Guest25 | (~Guest25@187.83.249.216.dyn.smithville.net) |
| 2021-07-12 22:52:03 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 22:52:31 +0200 | johnw | (~johnw@2600:1700:cf00:db0:edf9:8c5b:5a8d:2f85) (Ping timeout: 246 seconds) |
| 2021-07-12 22:56:01 +0200 | gehmehgeh_ | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-12 22:56:06 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-07-12 22:56:42 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 23:01:23 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:e467:8d74:86ae:d294) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-07-12 23:01:39 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 276 seconds) |
| 2021-07-12 23:04:33 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-12 23:06:48 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
| 2021-07-12 23:09:06 +0200 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 23:09:38 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 23:11:14 +0200 | chexum | (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-12 23:12:16 +0200 | tremon_ | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-07-12 23:13:21 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 23:13:57 +0200 | even4void | (even4void@came.here.for-some.fun) (Remote host closed the connection) |
| 2021-07-12 23:13:58 +0200 | xacktm | (xacktm@user/xacktm) (Remote host closed the connection) |
| 2021-07-12 23:13:58 +0200 | andreas3- | (andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection) |
| 2021-07-12 23:15:50 +0200 | phaazon | (~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 272 seconds) |
| 2021-07-12 23:17:15 +0200 | ub | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-12 23:19:57 +0200 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-12 23:20:04 +0200 | chisui | (~chisui@200116b8667bfd006d48966f94785d9f.dip.versatel-1u1.de) |
| 2021-07-12 23:21:34 +0200 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 23:22:11 +0200 | fendor | (~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 +0200 | chexum | (~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 +0200 | warnz | (~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 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-07-12 23:28:53 +0200 | Ariakenom | (~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 +0200 | andreas303 | (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 +0200 | even4void | (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 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-07-12 23:35:03 +0200 | xacktm | (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 +0200 | oldleather | (~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 +0200 | oldleather | (~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 +0200 | falafel | (~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 +0200 | argento | (~argent0@168-227-97-29.ptr.westnet.com.ar) (Ping timeout: 276 seconds) |
| 2021-07-12 23:53:40 +0200 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-12 23:53:57 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 23:54:27 +0200 | ukari | (~ukari@user/ukari) |
| 2021-07-12 23:54:43 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-12 23:54:55 +0200 | Vajb | (~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 +0200 | V | (~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 +0200 | lavaman | (~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 +0200 | thecoder | (~mrrobot@c-73-27-71-147.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-12 23:59:39 +0200 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Read error: Connection reset by peer) |
| 2021-07-12 23:59:41 +0200 | <boxscape> | yes |
