| 2021-07-12 00:00:00 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-07-12 00:02:13 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 00:03:35 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-12 00:05:46 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-12 00:06:18 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 240 seconds) |
| 2021-07-12 00:06:54 +0000 | <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 00:08:28 +0000 | <hololeap> | i've made this before and was curious if it was something that should be exported to a library |
| 2021-07-12 00:09:46 +0000 | <johnw> | hi, is anyone here on the HIW program committee this year? |
| 2021-07-12 00:10:14 +0000 | mikail_ | (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Ping timeout: 255 seconds) |
| 2021-07-12 00:14:00 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-12 00:17:27 +0000 | <dexterfoo> | Is 'Char' the same as 'Word32' in terms of performance? |
| 2021-07-12 00:18:30 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-07-12 00:19:22 +0000 | <geekosaur> | I think so, yes |
| 2021-07-12 00:21:17 +0000 | <dexterfoo> | thanks |
| 2021-07-12 00:25:59 +0000 | <Axman6> | @src Char |
| 2021-07-12 00:26:00 +0000 | <lambdabot> | data Char = C# Char# |
| 2021-07-12 00:26:22 +0000 | <Axman6> | IIRC a Char# is a Word#, but worth checking |
| 2021-07-12 00:26:27 +0000 | <Axman6> | @src Char# |
| 2021-07-12 00:26:27 +0000 | <lambdabot> | Source not found. Listen, broccoli brains, I don't have time to listen to this trash. |
| 2021-07-12 00:26:34 +0000 | <Axman6> | Fair |
| 2021-07-12 00:28:54 +0000 | silverwhitefish | (~hidden@47.202.102.10) |
| 2021-07-12 00:30:21 +0000 | polykernel | (~polykerne@user/polykernel) |
| 2021-07-12 00:32:38 +0000 | polykernel | (~polykerne@user/polykernel) () |
| 2021-07-12 00:34:45 +0000 | jao | (jao@gateway/vpn/protonvpn/jao) (Ping timeout: 258 seconds) |
| 2021-07-12 00:36:46 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-12 00:39:27 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 00:39:27 +0000 | <geekosaur> | until 9.2 at least |
| 2021-07-12 00:39:42 +0000 | <Axman6> | is something changing? |
| 2021-07-12 00:39:45 +0000 | Deide | (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-07-12 00:40:18 +0000 | <geekosaur> | when the types get distinguished because of the aarch64-darwin sbi not supporting C upcasting or something like that |
| 2021-07-12 00:41:04 +0000 | <geekosaur> | Word32 and Char# will actually be 32 bits instead of all the types being Word# / Int# underneath |
| 2021-07-12 00:41:44 +0000 | <davean> | Yah, I'm really excited about that |
| 2021-07-12 00:43:03 +0000 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-12 00:43:27 +0000 | <Axman6> | ah great, that'll help with UNPACK sizes |
| 2021-07-12 00:44:00 +0000 | <davean> | yes, massively, and memory bandwidth |
| 2021-07-12 00:44:36 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-12 00:47:04 +0000 | mthvedt | (uid501949@id-501949.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-12 00:47:24 +0000 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-12 00:48:07 +0000 | fef | (~thedawn@user/thedawn) |
| 2021-07-12 00:51:38 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 00:52:35 +0000 | _xor | (~xor@74.215.46.133) |
| 2021-07-12 00:54:19 +0000 | safinaskar | (~user@109.252.90.89) |
| 2021-07-12 00:54:32 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-12 00:54:38 +0000 | safinaskar | (~user@109.252.90.89) () |
| 2021-07-12 00:58:02 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-12 00:58:50 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds) |
| 2021-07-12 00:58:58 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-07-12 00:59:15 +0000 | <Axman6> | are we getting one byte Word8# too? |
| 2021-07-12 01:00:48 +0000 | Core7908 | (~Core7908@2804:18:47:52d3:1:0:b31:60e7) |
| 2021-07-12 01:01:00 +0000 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-07-12 01:01:15 +0000 | <geekosaur> | yes |
| 2021-07-12 01:02:24 +0000 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) |
| 2021-07-12 01:04:04 +0000 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Client Quit) |
| 2021-07-12 01:04:19 +0000 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) |
| 2021-07-12 01:04:34 +0000 | <davean> | Its the biggest deal in ages! |
| 2021-07-12 01:06:40 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-12 01:14:18 +0000 | fef | (~thedawn@user/thedawn) |
| 2021-07-12 01:19:41 +0000 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-12 01:23:14 +0000 | <Axman6> | This is the ~worst~ best deal in the history of deals |
| 2021-07-12 01:23:25 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 01:23:39 +0000 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-07-12 01:24:27 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-12 01:26:29 +0000 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-12 01:28:44 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-12 01:31:14 +0000 | xff0x | (~xff0x@2001:1a81:5298:1800:4b48:fc50:6a76:3d62) (Ping timeout: 255 seconds) |
| 2021-07-12 01:32:29 +0000 | <dmj`> | 8 bytes for the price of 1 ... |
| 2021-07-12 01:33:02 +0000 | xff0x | (~xff0x@2001:1a81:52d6:3f00:c2c2:4eb1:4c10:1645) |
| 2021-07-12 01:39:17 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 01:40:41 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 258 seconds) |
| 2021-07-12 01:42:07 +0000 | <DigitalKiwi> | ate too many bytes now i'm fat ;( |
| 2021-07-12 01:42:18 +0000 | Guest93 | (~Guest93@c-73-170-126-103.hsd1.ca.comcast.net) (Quit: Client closed) |
| 2021-07-12 01:42:22 +0000 | <Axman6> | should have taken smaller nibbles |
| 2021-07-12 01:42:38 +0000 | <monochrom> | haha |
| 2021-07-12 01:43:28 +0000 | <monochrom> | If you eat 2 bytes you're fat16. If you eat 4 bytes you're fat32. |
| 2021-07-12 01:43:56 +0000 | infinisil | (~infinisil@mail.infinisil.com) (WeeChat 3.2) |
| 2021-07-12 01:43:56 +0000 | <shachaf> | I ate 1.5 bytes. |
| 2021-07-12 01:44:11 +0000 | dajoer | (~david@user/gvx) |
| 2021-07-12 01:44:33 +0000 | Guest81 | (~Guest81@187.83.249.216.dyn.smithville.net) |
| 2021-07-12 01:44:34 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-12 01:48:15 +0000 | <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 01:51:31 +0000 | infinisil[m] | infinisil |
| 2021-07-12 01:52:30 +0000 | infinisil | (~infinisil@2001:470:69fc:105::ff8) (Quit: Reconnecting) |
| 2021-07-12 01:52:55 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 01:55:33 +0000 | <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 01:56:36 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-07-12 01:58:03 +0000 | <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 01:58:27 +0000 | infinisil[irc] | (~infinisil@178.197.225.108) |
| 2021-07-12 02:01:37 +0000 | beka | (~beka@104-244-27-23.static.monkeybrains.net) |
| 2021-07-12 02:01:44 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 02:06:47 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-12 02:06:47 +0000 | infinisil[irc] | (~infinisil@178.197.225.108) (Ping timeout: 255 seconds) |
| 2021-07-12 02:08:50 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 02:11:55 +0000 | averell | (~averell@irc.nf3.eu) (Quit: .) |
| 2021-07-12 02:11:55 +0000 | <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 02:12:12 +0000 | averell | (~averell@user/averell) |
| 2021-07-12 02:12:20 +0000 | <Guest81> | is that right or am I missing something? |
| 2021-07-12 02:12:31 +0000 | <monochrom> | Yes. Same with "instance Eq a => Eq [a]". |
| 2021-07-12 02:12:46 +0000 | <monochrom> | This is why the elementary example is so important. |
| 2021-07-12 02:13:59 +0000 | hgolden | (uid507415@id-507415.highgate.irccloud.com) (Read error: Connection reset by peer) |
| 2021-07-12 02:14:00 +0000 | <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 02:14:08 +0000 | hgolden | (uid507415@id-507415.highgate.irccloud.com) |
| 2021-07-12 02:14:47 +0000 | <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 02:16:44 +0000 | infinisil[irc] | (~infinisil@178.197.225.108) |
| 2021-07-12 02:19:01 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 02:19:23 +0000 | td_ | (~td@94.134.91.97) (Ping timeout: 255 seconds) |
| 2021-07-12 02:20:33 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-12 02:20:34 +0000 | FinnElija | Guest8527 |
| 2021-07-12 02:20:34 +0000 | Guest8527 | (~finn_elij@user/finn-elija/x-0085643) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2021-07-12 02:20:34 +0000 | finn_elija | FinnElija |
| 2021-07-12 02:21:21 +0000 | td_ | (~td@94.134.91.208) |
| 2021-07-12 02:22:00 +0000 | <Axman6> | I don't think that many people who study engineering end up as crane operators... |
| 2021-07-12 02:23:10 +0000 | <monochrom> | Indeed, civil engineering having very few job openings... Most go to grad school or find irrelevant jobs. |
| 2021-07-12 02:23:26 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 02:25:08 +0000 | <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 02:25:46 +0000 | <Axman6> | yeah the former only checks that constraint at the use site IIRC |
| 2021-07-12 02:26:22 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-12 02:26:50 +0000 | <Guest81> | yup: https://journal.infinitenegativeutility.com/haskell-type-equality-constraints |
| 2021-07-12 02:27:04 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-12 02:29:46 +0000 | <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 02:30:33 +0000 | <janus> | dmj`: thanks, that looks very thorough. i'll get started reading... |
| 2021-07-12 02:31:17 +0000 | <dmj`> | janus: tldr, put an (m :: * -> *) through all your existing monads |
| 2021-07-12 02:31:41 +0000 | infinisil | (~infinisil@2001:470:69fc:105::ff8) |
| 2021-07-12 02:35:24 +0000 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-07-12 02:38:50 +0000 | alx741 | (~alx741@186.178.108.20) (Quit: alx741) |
| 2021-07-12 02:39:03 +0000 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-07-12 02:41:35 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-12 02:44:25 +0000 | <DigitalKiwi> | Axman6: what's the crane operator? i know the bird operator and the fish operator but not the crane operator |
| 2021-07-12 02:49:20 +0000 | <monochrom> | haha |
| 2021-07-12 02:49:56 +0000 | <monochrom> | crane is a bird, too |
| 2021-07-12 02:53:55 +0000 | Guest81 | (~Guest81@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-07-12 02:54:02 +0000 | <DigitalKiwi> | i can only assume the crane operator is like the normal bird operator but taller |
| 2021-07-12 02:54:16 +0000 | <monochrom> | yeah |
| 2021-07-12 02:54:58 +0000 | <DigitalKiwi> | and it eats the fish operator |
| 2021-07-12 02:55:24 +0000 | <monochrom> | "Is this an ecosystem?" meme |
| 2021-07-12 02:56:16 +0000 | <DigitalKiwi> | *chortles* |
| 2021-07-12 02:56:52 +0000 | 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 02:57:02 +0000 | <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 02:57:02 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-07-12 02:57:56 +0000 | DigitalKiwi | looks at self nick https://i.redd.it/8bnu2wr6oam41.jpg |
| 2021-07-12 02:59:51 +0000 | <DigitalKiwi> | phrik calls me a digitized chirping fruit with citizenship lol |
| 2021-07-12 03:00:00 +0000 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2021-07-12 03:01:08 +0000 | Taneb | (~Taneb@runciman.hacksoc.org) |
| 2021-07-12 03:10:02 +0000 | ubikium | (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-07-12 03:11:41 +0000 | <oso> | is there any simple container with a more efficient lookup than Set? or is that the one to go with? |
| 2021-07-12 03:12:52 +0000 | gehmehgeh_ | (~user@user/gehmehgeh) |
| 2021-07-12 03:13:13 +0000 | <Axman6> | HashSet? |
| 2021-07-12 03:14:20 +0000 | <oso> | ooh, and it even specifically mentions performing better for strings. thanks! |
| 2021-07-12 03:14:59 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 2021-07-12 03:15:22 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-12 03:17:22 +0000 | edr | (~edr@user/edr) (Ping timeout: 252 seconds) |
| 2021-07-12 03:17:30 +0000 | alx741 | (~alx741@186.178.108.20) |
| 2021-07-12 03:19:03 +0000 | edr | (~edr@enlo.co) |
| 2021-07-12 03:19:03 +0000 | edr | (~edr@enlo.co) (Changing host) |
| 2021-07-12 03:19:03 +0000 | edr | (~edr@user/edr) |
| 2021-07-12 03:21:44 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-07-12 03:25:38 +0000 | ubikium | (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) (Quit: Quit) |
| 2021-07-12 03:26:53 +0000 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-07-12 03:29:54 +0000 | alx741 | (~alx741@186.178.108.20) (Quit: alx741) |
| 2021-07-12 03:30:58 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-07-12 03:31:11 +0000 | zebrag | (~chris@user/zebrag) |
| 2021-07-12 03:32:56 +0000 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-07-12 03:33:02 +0000 | <janus> | oso: but strings are going to be hashed slowly just because of their representation... no? |
| 2021-07-12 03:33:44 +0000 | <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 03:33:53 +0000 | <oso> | oh value comparisons, not key comparisons |
| 2021-07-12 03:34:10 +0000 | <monochrom> | They mean key comparisons. |
| 2021-07-12 03:34:15 +0000 | <oso> | wait sorry got confused bc i'm also using hashmap |
| 2021-07-12 03:34:20 +0000 | <oso> | for something else |
| 2021-07-12 03:35:04 +0000 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-07-12 03:37:13 +0000 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 258 seconds) |
| 2021-07-12 03:37:55 +0000 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-07-12 03:39:50 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-12 03:44:50 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-07-12 03:46:45 +0000 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2021-07-12 03:46:53 +0000 | wei2912 | (~wei2912@112.199.250.21) |
| 2021-07-12 03:48:58 +0000 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-12 03:52:01 +0000 | <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 03:52:07 +0000 | <oso> | 0.02s* |
| 2021-07-12 04:08:50 +0000 | <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 04:09:51 +0000 | JSharp | (sid4580@id-4580.tooting.irccloud.com) () |
| 2021-07-12 04:09:54 +0000 | mikail_ | (~mikail@90.212.77.3) |
| 2021-07-12 04:10:12 +0000 | JSharp | (sid4580@id-4580.tooting.irccloud.com) |
| 2021-07-12 04:23:22 +0000 | mikail_ | (~mikail@90.212.77.3) (Ping timeout: 252 seconds) |
| 2021-07-12 04:23:35 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 04:23:38 +0000 | retroid_ | (~retro@90.218.175.34) |
| 2021-07-12 04:23:55 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-12 04:27:03 +0000 | poljar | (~poljar@93-139-36-109.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 2021-07-12 04:30:57 +0000 | Guest9 | (~Guest9@103.240.204.23) |
| 2021-07-12 04:31:11 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 04:32:42 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-12 04:46:28 +0000 | Guest9 | (~Guest9@103.240.204.23) (Ping timeout: 252 seconds) |
| 2021-07-12 04:47:52 +0000 | akhileshs | (~user@c-73-63-166-39.hsd1.ca.comcast.net) |
| 2021-07-12 04:48:07 +0000 | akhileshs | (~user@c-73-63-166-39.hsd1.ca.comcast.net) (Client Quit) |
| 2021-07-12 04:51:38 +0000 | MorrowM | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-07-12 04:52:28 +0000 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 246 seconds) |
| 2021-07-12 04:53:23 +0000 | xerxes | (~xerxes@117.222.64.42) |
| 2021-07-12 04:55:06 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-12 04:56:30 +0000 | meinside | (uid24933@id-24933.brockwell.irccloud.com) |
| 2021-07-12 04:57:43 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-12 04:58:30 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-07-12 04:59:41 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-12 05:00:43 +0000 | yauhsien_ | (~yauhsien@36-225-130-34.dynamic-ip.hinet.net) |
| 2021-07-12 05:00:47 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 05:01:07 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 05:01:21 +0000 | noctuks | (VLd78TzYRj@user/noctux) (*.net *.split) |
| 2021-07-12 05:01:21 +0000 | hook54321 | (sid149355@user/hook54321) (*.net *.split) |
| 2021-07-12 05:01:21 +0000 | integral | (sid296274@user/integral) (*.net *.split) |
| 2021-07-12 05:01:21 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (*.net *.split) |
| 2021-07-12 05:01:21 +0000 | mrkajetanp | (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) (*.net *.split) |
| 2021-07-12 05:01:21 +0000 | DigitalKiwi | (~kiwi@2604:a880:400:d0::12fc:5001) (*.net *.split) |
| 2021-07-12 05:01:22 +0000 | vito | (sid1962@user/vito) (*.net *.split) |
| 2021-07-12 05:01:22 +0000 | jmct | (sid160793@id-160793.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 05:01:22 +0000 | gaze__ | (sid387101@id-387101.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 05:01:22 +0000 | adamse | (sid72084@user/adamse) (*.net *.split) |
| 2021-07-12 05:01:22 +0000 | systemfault | (sid267009@id-267009.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 05:01:22 +0000 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 05:01:22 +0000 | T_S_ | (sid501726@id-501726.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 05:01:22 +0000 | mcglk | (~mcglk@131.191.49.120) (*.net *.split) |
| 2021-07-12 05:01:22 +0000 | yorick | (~yorick@user/yorick) (*.net *.split) |
| 2021-07-12 05:01:22 +0000 | Unode | (~Unode@194.94.44.220) (*.net *.split) |
| 2021-07-12 05:01:23 +0000 | jmct_ | (sid160793@id-160793.tinside.irccloud.com) |
| 2021-07-12 05:01:24 +0000 | gaze___ | (sid387101@id-387101.brockwell.irccloud.com) |
| 2021-07-12 05:01:25 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 05:01:25 +0000 | Unode_ | (~Unode@194.94.44.220) |
| 2021-07-12 05:01:25 +0000 | systemfault_ | (sid267009@id-267009.highgate.irccloud.com) |
| 2021-07-12 05:01:27 +0000 | integral_ | (sid296274@user/integral) |
| 2021-07-12 05:01:28 +0000 | adamse_ | (sid72084@user/adamse) |
| 2021-07-12 05:01:34 +0000 | agander_m_ | (sid407952@id-407952.tinside.irccloud.com) |
| 2021-07-12 05:01:38 +0000 | noctuks | (oGswB5gyub@user/noctux) |
| 2021-07-12 05:01:40 +0000 | mrkajetanp_ | (~mrkajetan@2a01:4b00:ea36:6c00:7994:941c:3f5d:2b88) |
| 2021-07-12 05:01:45 +0000 | yorick | (~yorick@user/yorick) |
| 2021-07-12 05:01:48 +0000 | vito | (sid1962@user/vito) |
| 2021-07-12 05:01:48 +0000 | CodeKiwi | (~kiwi@2604:a880:400:d0::12fc:5001) |
| 2021-07-12 05:01:49 +0000 | Unode_ | Unode |
| 2021-07-12 05:01:51 +0000 | T_S_ | (sid501726@id-501726.highgate.irccloud.com) |
| 2021-07-12 05:02:20 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2021-07-12 05:02:29 +0000 | mcglk | (~mcglk@131.191.49.120) |
| 2021-07-12 05:02:33 +0000 | hook54321_ | (sid149355@user/hook54321) |
| 2021-07-12 05:02:48 +0000 | yauhsien | (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2021-07-12 05:03:34 +0000 | CodeKiwi | DigitalKiwi |
| 2021-07-12 05:04:40 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-07-12 05:06:12 +0000 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) (*.net *.split) |
| 2021-07-12 05:06:12 +0000 | Clint | (~Clint@user/clint) (*.net *.split) |
| 2021-07-12 05:06:12 +0000 | shane | (~shane@ana.rch.ist) (*.net *.split) |
| 2021-07-12 05:06:12 +0000 | Hecate | (~mariposa@user/hecate) (*.net *.split) |
| 2021-07-12 05:06:12 +0000 | Ferdirand | (~somebody@user/ferdirand) (*.net *.split) |
| 2021-07-12 05:06:12 +0000 | andreas303 | (andreas303@ip227.orange.bnc4free.com) (*.net *.split) |
| 2021-07-12 05:06:12 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split) |
| 2021-07-12 05:06:12 +0000 | hexeme | (~hexeme@user/hexeme) (*.net *.split) |
| 2021-07-12 05:06:12 +0000 | mikko | (~mikko@2a02:7b40:d418:6a61::1) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | lechner | (~lechner@debian/lechner) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | peutri | (~peutri@ns317027.ip-94-23-46.eu) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | Aleksejs | (~Aleksejs@haskell.lv) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | Ekho | (~Ekho@user/ekho) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | xerox | (~edi@user/edi) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | cohn | (~noone@user/cohn) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | vk3wtf | (~doc@124.168.198.139) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | immae | (~immae@2a01:4f8:141:53e7::) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | parisienne | (sid383587@id-383587.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | piele | (~piele@tbonesteak.creativeserver.net) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | obviyus | (sid415299@user/obviyus) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | sclv | (sid39734@haskell/developer/sclv) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | exarkun | (~exarkun@user/exarkun) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | fr33domlover | (~fr33domlo@angeley.es) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | Zemyla | (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | SethTisue__ | (sid14912@id-14912.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | janus | (janus@anubis.0x90.dk) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
| 2021-07-12 05:06:13 +0000 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
| 2021-07-12 05:06:14 +0000 | nonzen | (~nonzen@user/nonzen) (*.net *.split) |
| 2021-07-12 05:06:14 +0000 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (*.net *.split) |
| 2021-07-12 05:06:14 +0000 | feepo | (sid28508@id-28508.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 05:06:14 +0000 | Arsen | (~arsen@managarm/dev/Arsen) (*.net *.split) |
| 2021-07-12 05:06:14 +0000 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2021-07-12 05:06:18 +0000 | Ferdiran1 | (~somebody@2001:4c78:2012:5000::2) |
| 2021-07-12 05:06:19 +0000 | Hecate | (~mariposa@163.172.211.189) |
| 2021-07-12 05:06:19 +0000 | peutri | (~peutri@ns317027.ip-94-23-46.eu) |
| 2021-07-12 05:06:19 +0000 | Clint | (~Clint@user/clint) |
| 2021-07-12 05:06:19 +0000 | SethTisue__ | (sid14912@id-14912.charlton.irccloud.com) |
| 2021-07-12 05:06:21 +0000 | feepo | (sid28508@id-28508.brockwell.irccloud.com) |
| 2021-07-12 05:06:22 +0000 | xerox_ | (~edi@user/edi) |
| 2021-07-12 05:06:23 +0000 | Vq | (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 2021-07-12 05:06:24 +0000 | cohn | (~noone@23.239.18.252) |
| 2021-07-12 05:06:25 +0000 | piele | (~piele@tbonesteak.creativeserver.net) |
| 2021-07-12 05:06:29 +0000 | cohn | (~noone@23.239.18.252) (Changing host) |
| 2021-07-12 05:06:29 +0000 | cohn | (~noone@user/cohn) |
| 2021-07-12 05:06:30 +0000 | janus | (janus@anubis.0x90.dk) |
| 2021-07-12 05:06:30 +0000 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2021-07-12 05:06:33 +0000 | parisienne | (sid383587@id-383587.brockwell.irccloud.com) |
| 2021-07-12 05:06:33 +0000 | Aleksejs_Home | (~Aleksejs@haskell.lv) |
| 2021-07-12 05:06:34 +0000 | lechner | (~lechner@letbox-vps.us-core.com) |
| 2021-07-12 05:06:35 +0000 | sclv | (sid39734@haskell/developer/sclv) |
| 2021-07-12 05:06:37 +0000 | mikko | (~mikko@2a02:7b40:d418:6a61::1) |
| 2021-07-12 05:06:37 +0000 | Hobbyboy|BNC | (Hobbyboy@hobbyboy.co.uk) |
| 2021-07-12 05:06:42 +0000 | lieven | (~mal@ns2.wyrd.be) |
| 2021-07-12 05:06:42 +0000 | kawzeg | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2021-07-12 05:06:43 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
| 2021-07-12 05:06:47 +0000 | lechner | (~lechner@letbox-vps.us-core.com) (Changing host) |
| 2021-07-12 05:06:47 +0000 | lechner | (~lechner@debian/lechner) |
| 2021-07-12 05:06:48 +0000 | vk3wtf | (~doc@124.168.198.139) |
| 2021-07-12 05:06:48 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2021-07-12 05:06:50 +0000 | andreas3- | (andreas303@ip227.orange.bnc4free.com) |
| 2021-07-12 05:07:01 +0000 | immae | (~immae@2a01:4f8:141:53e7::) |
| 2021-07-12 05:07:05 +0000 | obviyus | (sid415299@user/obviyus) |
| 2021-07-12 05:07:06 +0000 | hexeme | (~hexeme@user/hexeme) |
| 2021-07-12 05:07:12 +0000 | fr33domlover | (~fr33domlo@angeley.es) |
| 2021-07-12 05:07:16 +0000 | nonzen | (~nonzen@user/nonzen) |
| 2021-07-12 05:07:59 +0000 | exarkun | (~exarkun@user/exarkun) |
| 2021-07-12 05:08:02 +0000 | Arsen | (~arsen@managarm/dev/Arsen) |
| 2021-07-12 05:10:07 +0000 | Ekho | (~Ekho@user/ekho) |
| 2021-07-12 05:10:24 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-12 05:10:36 +0000 | Hobbyboy|BNC | Hobbyboy |
| 2021-07-12 05:11:26 +0000 | lisq | (~quassel@lis.moe) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | jonrh | (sid5185@id-5185.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | iphy | (sid67735@2001:67c:2f08:4::1:897) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | bradparker | (sid262931@2001:67c:2f08:1::4:313) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | oxytocat | (~alloca@user/suppi) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | hongminhee | (sid295@id-295.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | ggvgc | (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | choucavalier | (~choucaval@peanutbuttervibes.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | teddyc | (theodorc@cassarossa.samfundet.no) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | xnbya2 | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | gonz_ | (sid304396@id-304396.tooting.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | jmjl | (julian@user/jmjl) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | kaychaks__ | (sid236345@id-236345.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | dexterfoo | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | darxun | (sid504814@id-504814.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | LambdaDuck | (~anka@ksit.fixme.fi) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | meinside | (uid24933@id-24933.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | Philonous_ | (~Philonous@user/philonous) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | feliix42 | (~felix@gibbs.uberspace.de) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | jakesyl | (sid56879@id-56879.stonehaven.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | joel135 | (sid136450@id-136450.stonehaven.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | tritlo | (sid58727@user/tritlo) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | rubin55 | (sid175221@id-175221.stonehaven.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:26 +0000 | acertain | (sid470584@stonehaven.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | nurupo | (~nurupo.ga@user/nurupo) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | MasseR | (~MasseR@51.15.143.128) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | carbolymer | (~carbolyme@dropacid.net) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | zopsi | (zopsi@2600:3c00::f03c:91ff:fe14:551f) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | zgrep | (~zgrep@user/zgrep) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | flukiluke | (~flukiluke@plum.alephc.xyz) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | kmein | (~weechat@user/kmein) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | PHO` | (~pho@akari.cielonegro.org) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | nrr | (sid20938@id-20938.tooting.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | travv0 | (sid293381@user/travv0) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | koolazer | (~koo@212.47.237.37) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | truckasaurus | (sid457088@id-457088.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 2021-07-12 05:11:27 +0000 | Brianmancer | (~Neuromanc@user/briandamag) (*.net *.split) |
| 2021-07-12 05:11:29 +0000 | Zemyla | (~ec2-user@ec2-54-196-11-2.compute-1.amazonaws.com) |
| 2021-07-12 05:11:32 +0000 | PHO`_ | (~pho@akari.cielonegro.org) |
| 2021-07-12 05:11:33 +0000 | LambdaDu1k | (~anka@ksit.fixme.fi) |
| 2021-07-12 05:11:34 +0000 | zopsi_ | (~zopsi@irc.dir.ac) |
| 2021-07-12 05:11:34 +0000 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2021-07-12 05:11:34 +0000 | meinside_ | (uid24933@id-24933.brockwell.irccloud.com) |
| 2021-07-12 05:11:36 +0000 | choucavalier | (~choucaval@peanutbuttervibes.com) |
| 2021-07-12 05:11:38 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2021-07-12 05:11:39 +0000 | dexterfoo | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2021-07-12 05:11:40 +0000 | teddyc | (theodorc@cassarossa.samfundet.no) |
| 2021-07-12 05:11:40 +0000 | koolazer | (~koo@user/koolazer) |
| 2021-07-12 05:11:41 +0000 | tdammers | (~tdammers@77.109.72.213.res.static.edpnet.net) |
| 2021-07-12 05:11:42 +0000 | kaychaks__ | (sid236345@id-236345.brockwell.irccloud.com) |
| 2021-07-12 05:11:45 +0000 | carbolymer | (~carbolyme@dropacid.net) |
| 2021-07-12 05:11:45 +0000 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-07-12 05:11:45 +0000 | lis | (~quassel@lis.moe) |
| 2021-07-12 05:11:46 +0000 | ggvgc | (~ggVGc@a.lowtech.earth) |
| 2021-07-12 05:11:49 +0000 | taktoa[c] | (sid282096@id-282096.tinside.irccloud.com) |
| 2021-07-12 05:11:49 +0000 | hongminhee | (sid295@id-295.tinside.irccloud.com) |
| 2021-07-12 05:11:54 +0000 | jmjl | (julian@tilde.team) |
| 2021-07-12 05:11:55 +0000 | oxytocat | (~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) |
| 2021-07-12 05:11:56 +0000 | feliix42_ | (~felix@gibbs.uberspace.de) |
| 2021-07-12 05:11:56 +0000 | bradparker | (sid262931@2001:67c:2f08:1::4:313) |
| 2021-07-12 05:11:58 +0000 | travv0 | (sid293381@user/travv0) |
| 2021-07-12 05:11:58 +0000 | joel135 | (sid136450@id-136450.stonehaven.irccloud.com) |
| 2021-07-12 05:12:00 +0000 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-07-12 05:12:12 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2021-07-12 05:12:12 +0000 | tinwood | (~tinwood@canonical/tinwood) |
| 2021-07-12 05:12:18 +0000 | rubin55 | (sid175221@2001:67c:2f08:8::2:ac75) |
| 2021-07-12 05:12:20 +0000 | zgrep | (~zgrep@user/zgrep) |
| 2021-07-12 05:12:20 +0000 | jmjl | (julian@tilde.team) (Changing host) |
| 2021-07-12 05:12:20 +0000 | jmjl | (julian@user/jmjl) |
| 2021-07-12 05:12:20 +0000 | oxytocat | (~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) (Signing in (oxytocat)) |
| 2021-07-12 05:12:20 +0000 | oxytocat | (~alloca@user/suppi) |
| 2021-07-12 05:12:26 +0000 | nrr | (sid20938@id-20938.tooting.irccloud.com) |
| 2021-07-12 05:12:27 +0000 | gonz_ | (sid304396@2001:67c:2f08:4::4:a50c) |
| 2021-07-12 05:12:27 +0000 | jonrh | (sid5185@id-5185.charlton.irccloud.com) |
| 2021-07-12 05:12:36 +0000 | acertain | (sid470584@id-470584.stonehaven.irccloud.com) |
| 2021-07-12 05:12:37 +0000 | truckasaurus | (sid457088@2001:67c:2f08:5::6:f980) |
| 2021-07-12 05:12:39 +0000 | darxun | (sid504814@id-504814.tinside.irccloud.com) |
| 2021-07-12 05:12:43 +0000 | iphy | (sid67735@id-67735.tooting.irccloud.com) |
| 2021-07-12 05:12:46 +0000 | sa | (sid1055@2a03:5180:f::41f) |
| 2021-07-12 05:12:50 +0000 | tritlo | (sid58727@stonehaven.irccloud.com) |
| 2021-07-12 05:12:51 +0000 | mustafa | (sid502723@stonehaven.irccloud.com) |
| 2021-07-12 05:12:55 +0000 | mustafa | (sid502723@stonehaven.irccloud.com) (Changing host) |
| 2021-07-12 05:12:55 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2021-07-12 05:12:56 +0000 | tritlo | (sid58727@stonehaven.irccloud.com) (Changing host) |
| 2021-07-12 05:12:56 +0000 | tritlo | (sid58727@user/tritlo) |
| 2021-07-12 05:13:07 +0000 | nurupo | (~nurupo.ga@user/nurupo) |
| 2021-07-12 05:13:08 +0000 | Philonous | (~Philonous@user/philonous) |
| 2021-07-12 05:13:08 +0000 | skn | (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) |
| 2021-07-12 05:13:18 +0000 | infinisil[irc] | (~infinisil@178.197.225.108) (Ping timeout: 268 seconds) |
| 2021-07-12 05:13:21 +0000 | jakesyl | (sid56879@stonehaven.irccloud.com) |
| 2021-07-12 05:13:41 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) (Client Quit) |
| 2021-07-12 05:13:51 +0000 | mustafa | (sid502723@rockylinux/releng/mustafa) |
| 2021-07-12 05:14:16 +0000 | adamCS | (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 2021-07-12 05:14:58 +0000 | quintasan | (~quassel@quintasan.pl) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | abbie | (~abbie@offtopia/offtopian/abbie) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | xaltsc | (~xaltsc@user/xaltsc) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | feetwind | (~mike@user/feetwind) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | dy | (~dy@user/dy) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | sa1 | (uid7690@id-7690.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | matijja | (~matijja@193.77.181.201) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | robertm | (robertm@rojoma.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | zzz | (~yin@user/yin) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | edmundnoble | (sid229620@id-229620.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | codedmart | (~codedmart@li335-49.members.linode.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | totbwf_ | (sid402332@id-402332.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | relrod | (~relrod@redhat/ansible.staff.relrod) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | aravk | (~aravk@user/aravk) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | juri_ | (~juri@178.63.35.222) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | gorignak | (~gorignak@047-037-033-079.res.spectrum.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | lightandlight | (sid135476@id-135476.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | b20n | (sid115913@id-115913.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | etrepum | (sid763@id-763.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | tapas | (sid467876@id-467876.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | Adeon | (sid418992@id-418992.tooting.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | gmc | (sid58314@id-58314.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | dkeohane | (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | hexology | (~hexology@user/hexology) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | supersven | (uid501114@id-501114.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:58 +0000 | parseval | (sid239098@id-239098.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | mikolaj | (~mikolaj@purple.well-typed.com) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | jassob | (~jassob@korrob.vth.sgsnet.se) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | marienz | (~marienz@libera/staff/marienz) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | Jon | (jon@dow.land) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | davetapley | (sid666@id-666.highgate.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | tchakka | (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | phaazon | (~phaazon@2001:41d0:a:fe76::1) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | davl | (~davl@207.154.228.18) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | toms | (~foobar@pogostick.net) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | S11001001 | (sid42510@id-42510.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | angerman | (sid209936@id-209936.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | winny | (~winny@user/winny) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | ProofTechnique | (sid79547@id-79547.charlton.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | auri | (~admin@static.46.108.40.188.clients.your-server.de) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | trueboxguy | (~trueboxgu@user/trueboxguy) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | Boarders | (sid425905@tooting.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | dpratt | (sid193493@id-193493.brockwell.irccloud.com) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | Unhammer | (~Unhammer@user/unhammer) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | cpape | (~user@2a01:4f9:c010:632d::1) (*.net *.split) |
| 2021-07-12 05:14:59 +0000 | enemeth79 | (sid309041@id-309041.tooting.irccloud.com) (*.net *.split) |
| 2021-07-12 05:15:02 +0000 | toms__ | (~foobar@pogostick.net) |
| 2021-07-12 05:15:04 +0000 | Jonno_FT1 | (~come@api.carswap.me) |
| 2021-07-12 05:15:04 +0000 | totbwf__ | (sid402332@id-402332.highgate.irccloud.com) |
| 2021-07-12 05:15:05 +0000 | mikolaj_ | (~mikolaj@purple.well-typed.com) |
| 2021-07-12 05:15:05 +0000 | jmtd | (jon@dow.land) |
| 2021-07-12 05:15:07 +0000 | aravk_ | (~aravk@user/aravk) |
| 2021-07-12 05:15:07 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 05:15:07 +0000 | cpape` | (~user@2a01:4f9:c010:632d::1) |
| 2021-07-12 05:15:08 +0000 | gorignak | (~gorignak@047-037-033-079.res.spectrum.com) |
| 2021-07-12 05:15:09 +0000 | juri_ | (~juri@178.63.35.222) |
| 2021-07-12 05:15:09 +0000 | xnyhps | (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2021-07-12 05:15:11 +0000 | phaazon | (~phaazon@2001:41d0:a:fe76::1) |
| 2021-07-12 05:15:12 +0000 | codedmart | (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2021-07-12 05:15:14 +0000 | relrod_ | (~relrod@redhat/ansible.staff.relrod) |
| 2021-07-12 05:15:15 +0000 | quintasan_ | (~quassel@quintasan.pl) |
| 2021-07-12 05:15:17 +0000 | jassob | (~jassob@korrob.vth.sgsnet.se) |
| 2021-07-12 05:15:18 +0000 | lightandlight | (sid135476@id-135476.brockwell.irccloud.com) |
| 2021-07-12 05:15:20 +0000 | supersven | (uid501114@id-501114.charlton.irccloud.com) |
| 2021-07-12 05:15:21 +0000 | parseval | (sid239098@id-239098.brockwell.irccloud.com) |
| 2021-07-12 05:15:23 +0000 | dpratt_ | (sid193493@id-193493.brockwell.irccloud.com) |
| 2021-07-12 05:15:27 +0000 | robertm | (robertm@rojoma.com) |
| 2021-07-12 05:15:28 +0000 | feetwind | (~mike@2406:d500:6:1:216:3cff:fe36:651) |
| 2021-07-12 05:15:29 +0000 | Unhammer | (~Unhammer@2a01:799:42:6a00::40c) |
| 2021-07-12 05:15:29 +0000 | jmtd | Jon |
| 2021-07-12 05:15:31 +0000 | auri | (~admin@static.46.108.40.188.clients.your-server.de) |
| 2021-07-12 05:15:34 +0000 | davetapley | (sid666@id-666.highgate.irccloud.com) |
| 2021-07-12 05:15:45 +0000 | b20n | (sid115913@id-115913.highgate.irccloud.com) |
| 2021-07-12 05:15:47 +0000 | feetwind | (~mike@2406:d500:6:1:216:3cff:fe36:651) (Signing in (feetwind)) |
| 2021-07-12 05:15:47 +0000 | feetwind | (~mike@user/feetwind) |
| 2021-07-12 05:15:48 +0000 | Unhammer | (~Unhammer@2a01:799:42:6a00::40c) (Changing host) |
| 2021-07-12 05:15:48 +0000 | Unhammer | (~Unhammer@user/unhammer) |
| 2021-07-12 05:15:49 +0000 | winny | (~winny@2001:19f0:5c01:1de7:5400:1ff:fec6:4ab0) |
| 2021-07-12 05:15:49 +0000 | gmc | (sid58314@id-58314.charlton.irccloud.com) |
| 2021-07-12 05:15:50 +0000 | edmundnoble | (sid229620@id-229620.brockwell.irccloud.com) |
| 2021-07-12 05:15:51 +0000 | etrepum | (sid763@id-763.highgate.irccloud.com) |
| 2021-07-12 05:15:53 +0000 | enemeth79 | (sid309041@id-309041.tooting.irccloud.com) |
| 2021-07-12 05:15:53 +0000 | xaltsc | (~xaltsc@user/xaltsc) |
| 2021-07-12 05:15:54 +0000 | Boarders | (sid425905@id-425905.tooting.irccloud.com) |
| 2021-07-12 05:15:54 +0000 | yin | (~yin@user/yin) |
| 2021-07-12 05:15:59 +0000 | S11001001 | (sid42510@id-42510.charlton.irccloud.com) |
| 2021-07-12 05:16:00 +0000 | marienz | (~marienz@libera/staff/marienz) |
| 2021-07-12 05:16:03 +0000 | angerman | (sid209936@id-209936.charlton.irccloud.com) |
| 2021-07-12 05:16:03 +0000 | sa1 | (sid7690@id-7690.charlton.irccloud.com) |
| 2021-07-12 05:16:10 +0000 | Adeon | (sid418992@id-418992.tooting.irccloud.com) |
| 2021-07-12 05:16:12 +0000 | ProofTechnique | (sid79547@id-79547.charlton.irccloud.com) |
| 2021-07-12 05:16:13 +0000 | tapas | (sid467876@id-467876.charlton.irccloud.com) |
| 2021-07-12 05:16:17 +0000 | trueboxguy | (~trueboxgu@user/trueboxguy) |
| 2021-07-12 05:16:18 +0000 | feetwind | Guest3034 |
| 2021-07-12 05:16:18 +0000 | yin | zzz |
| 2021-07-12 05:16:21 +0000 | hexology | (~hexology@user/hexology) |
| 2021-07-12 05:16:24 +0000 | davl | (~davl@207.154.228.18) |
| 2021-07-12 05:16:37 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2021-07-12 05:17:11 +0000 | matijja | (~matijja@193.77.181.201) |
| 2021-07-12 05:17:15 +0000 | dkeohane | (~dkeohane@ec2-18-189-29-140.us-east-2.compute.amazonaws.com) |
| 2021-07-12 05:17:20 +0000 | dy | (~dy@user/dy) |
| 2021-07-12 05:17:46 +0000 | relrod_ | relrod |
| 2021-07-12 05:20:10 +0000 | tchakka | (~tchakkazu@static-47-180-28-65.lsan.ca.frontiernet.net) |
| 2021-07-12 05:20:46 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 272 seconds) |
| 2021-07-12 05:21:52 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2021-07-12 05:21:54 +0000 | norias | (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2021-07-12 05:24:09 +0000 | chris-the-slurpa | (~chris@81.96.113.213) |
| 2021-07-12 05:25:42 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds) |
| 2021-07-12 05:26:26 +0000 | jneira | (~jneira@212.8.115.226) |
| 2021-07-12 05:28:54 +0000 | chris-the-slurpa | (~chris@81.96.113.213) (Ping timeout: 276 seconds) |
| 2021-07-12 05:29:12 +0000 | winny | (~winny@2001:19f0:5c01:1de7:5400:1ff:fec6:4ab0) (Quit: WeeChat 2.8) |
| 2021-07-12 05:29:25 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-12 05:29:41 +0000 | winny | (~winny@user/winny) |
| 2021-07-12 05:30:56 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 05:35:58 +0000 | biberu | (~biberu@user/biberu) (Ping timeout: 252 seconds) |
| 2021-07-12 05:36:34 +0000 | biberu | (~biberu@user/biberu) |
| 2021-07-12 05:36:36 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-12 05:37:07 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 05:37:26 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 05:42:36 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 05:47:06 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-12 05:49:54 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-12 05:50:12 +0000 | cheater | (~Username@user/cheater) |
| 2021-07-12 06:06:38 +0000 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds) |
| 2021-07-12 06:08:03 +0000 | typetetris | (sid275937@id-275937.tinside.irccloud.com) |
| 2021-07-12 06:09:04 +0000 | <typetetris> | Having strange linker failures while turning on profiling and optimizations on ghc 10.2.*. Is that a known issue? |
| 2021-07-12 06:11:20 +0000 | beka | (~beka@104-244-27-23.static.monkeybrains.net) (Ping timeout: 265 seconds) |
| 2021-07-12 06:13:18 +0000 | cjb | (~cjb@user/cjb) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-07-12 06:13:23 +0000 | Cale | (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 2021-07-12 06:14:53 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 06:17:10 +0000 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-07-12 06:19:30 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 06:20:09 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 06:20:28 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 06:20:52 +0000 | yauhsien_ | (~yauhsien@36-225-130-34.dynamic-ip.hinet.net) (Quit: Leaving...) |
| 2021-07-12 06:20:59 +0000 | sayola | (~vekto@dslb-088-078-152-192.088.078.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2021-07-12 06:21:09 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 06:21:28 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 06:24:27 +0000 | oxide | (~lambda@user/oxide) |
| 2021-07-12 06:28:40 +0000 | <davean> | There is no ghc 10.2 |
| 2021-07-12 06:28:55 +0000 | <davean> | and "strange" do you mean you don't have the prof libraries installed? |
| 2021-07-12 06:30:36 +0000 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-07-12 06:33:47 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) |
| 2021-07-12 06:35:30 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-12 06:38:27 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-12 06:38:42 +0000 | <tromp> | any chess fans in here? |
| 2021-07-12 06:40:53 +0000 | acidjnk | (~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) |
| 2021-07-12 06:40:59 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 06:42:11 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-07-12 06:52:25 +0000 | turlando | (~turlando@user/turlando) (Ping timeout: 265 seconds) |
| 2021-07-12 06:52:37 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-12 06:53:18 +0000 | lis | lisq |
| 2021-07-12 06:56:43 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-07-12 06:59:40 +0000 | Core7908_ | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 07:00:34 +0000 | Claymore | (~nehushtan@154.6.16.5) |
| 2021-07-12 07:00:42 +0000 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-07-12 07:00:59 +0000 | fendor | (~fendor@77.119.208.64.wireless.dyn.drei.com) |
| 2021-07-12 07:01:07 +0000 | <Claymore> | hello fendor |
| 2021-07-12 07:02:28 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
| 2021-07-12 07:02:29 +0000 | <fendor> | Claymore, good mordning! |
| 2021-07-12 07:02:36 +0000 | <fendor> | *morning |
| 2021-07-12 07:02:51 +0000 | <Claymore> | funny you should say that. It is good night for me now! Later |
| 2021-07-12 07:02:55 +0000 | Claymore | (~nehushtan@154.6.16.5) (Client Quit) |
| 2021-07-12 07:03:00 +0000 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-12 07:03:30 +0000 | Core7908 | (~Core7908@2804:18:47:52d3:1:0:b31:60e7) (Ping timeout: 240 seconds) |
| 2021-07-12 07:05:09 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 07:08:56 +0000 | chele | (~chele@user/chele) |
| 2021-07-12 07:21:10 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Read error: Connection reset by peer) |
| 2021-07-12 07:21:29 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 07:22:11 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-07-12 07:22:20 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
| 2021-07-12 07:22:57 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-12 07:24:14 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-07-12 07:25:11 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 07:30:10 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 07:35:15 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-07-12 07:35:54 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2021-07-12 07:37:14 +0000 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Quit: WeeChat 2.8) |
| 2021-07-12 07:39:33 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-07-12 07:40:48 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-12 07:41:00 +0000 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-07-12 07:42:51 +0000 | javran | (~javran@172.58.35.225) |
| 2021-07-12 07:43:19 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 07:43:48 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 07:45:46 +0000 | <typetetris> | Sorry I meant ghc 8.10.2 |
| 2021-07-12 07:46:34 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 2021-07-12 07:46:47 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-12 07:46:48 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-12 07:47:03 +0000 | Hecate | (~mariposa@163.172.211.189) (Changing host) |
| 2021-07-12 07:47:03 +0000 | Hecate | (~mariposa@user/hecate) |
| 2021-07-12 07:48:09 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds) |
| 2021-07-12 07:49:14 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Client Quit) |
| 2021-07-12 07:49:18 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-07-12 07:55:03 +0000 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) |
| 2021-07-12 07:59:59 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2021-07-12 08:00:12 +0000 | javran | (~javran@172.58.35.225) (Read error: Connection reset by peer) |
| 2021-07-12 08:00:23 +0000 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) |
| 2021-07-12 08:01:50 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Remote host closed the connection) |
| 2021-07-12 08:05:14 +0000 | michalz | (~michalz@185.246.204.33) |
| 2021-07-12 08:06:35 +0000 | hendursaga | (~weechat@user/hendursaga) |
| 2021-07-12 08:07:36 +0000 | kuribas | (~user@ptr-25vy0i9hoprzpksooyh.18120a2.ip6.access.telenet.be) |
| 2021-07-12 08:08:58 +0000 | hendursa1 | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-12 08:09:37 +0000 | xerxes | (~xerxes@117.222.64.42) (Quit: leaving) |
| 2021-07-12 08:11:09 +0000 | dunj3 | (~dunj3@2001:16b8:3074:1c00:57f:b83d:ce5e:2d79) |
| 2021-07-12 08:11:52 +0000 | <kuribas> | I've been thinking that records in sum types is an antipattern: data Foo = Foo1 {field1 :: Int} | Foo2 {field2 :: String} |
| 2021-07-12 08:11:57 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-07-12 08:12:10 +0000 | jespada | (~jespada@90.254.247.46) (Ping timeout: 272 seconds) |
| 2021-07-12 08:12:21 +0000 | <kuribas> | More verbose, but better: Foo = Foo1 Foo1Fields | Foo2 Foo2Fields |
| 2021-07-12 08:13:00 +0000 | <kuribas> | For positional fields it still makes sense (like Maybe, Tree), but you don't want many positional fields. |
| 2021-07-12 08:13:24 +0000 | jespada | (~jespada@90.254.247.46) |
| 2021-07-12 08:13:51 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-07-12 08:13:54 +0000 | <kuribas> | many positional fields is an antipattern as well. |
| 2021-07-12 08:14:43 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
| 2021-07-12 08:16:30 +0000 | <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 08:17:04 +0000 | <kuribas> | Hecate: but then all fields have to match |
| 2021-07-12 08:17:30 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-12 08:17:38 +0000 | <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 08:17:55 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-12 08:18:05 +0000 | <kuribas> | I don't mind a small amount of boilerplate |
| 2021-07-12 08:18:40 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-12 08:20:51 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-07-12 08:21:38 +0000 | m1dnight | (~christoph@188.ip-51-91-158.eu) |
| 2021-07-12 08:23:02 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Remote host closed the connection) |
| 2021-07-12 08:23:14 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-12 08:24:04 +0000 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2021-07-12 08:25:02 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-12 08:25:56 +0000 | javran | (~javran@c-98-207-169-40.hsd1.ca.comcast.net) |
| 2021-07-12 08:26:13 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2021-07-12 08:26:15 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2021-07-12 08:27:32 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-12 08:28:03 +0000 | Xnuk | (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-07-12 08:28:20 +0000 | Xnuk | (~xnuk@vultr.xnu.kr) |
| 2021-07-12 08:29:18 +0000 | <Hecate> | kuribas: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-warnings.html#ghc-flag--Wpar… |
| 2021-07-12 08:29:46 +0000 | <kuribas> | Hecate: the point is, without partial fields, records in sum types make no sense. |
| 2021-07-12 08:31:08 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 08:31:27 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 08:33:56 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-12 08:35:14 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-07-12 08:35:54 +0000 | <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 08:36:07 +0000 | <boxscape> | though the built-in record dot syntax will still be partial for sum types |
| 2021-07-12 08:36:32 +0000 | <boxscape> | (but it's disabled by default and guarded behind -XOverloadedRecordDot) |
| 2021-07-12 08:37:08 +0000 | <kuribas> | I suppose partial fields make sense with classy lenses... |
| 2021-07-12 08:38:38 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-12 08:39:11 +0000 | <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 08:39:29 +0000 | <kuribas> | ah indeed |
| 2021-07-12 08:40:04 +0000 | <kuribas> | yeah, I look forward to NoFIeldSelectors |
| 2021-07-12 08:41:33 +0000 | Brianmancer | (~Neuromanc@user/briandamag) |
| 2021-07-12 08:42:11 +0000 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-12 08:45:43 +0000 | ubert1 | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-12 08:48:02 +0000 | hegstal | (~hegstal@2a02:c7f:7604:8a00:e6d:4895:5c36:fc58) |
| 2021-07-12 08:49:52 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-07-12 08:50:57 +0000 | azeem | (~azeem@176.200.251.23) |
| 2021-07-12 08:52:13 +0000 | azeem | (~azeem@176.200.251.23) (Read error: Connection reset by peer) |
| 2021-07-12 08:52:58 +0000 | <dibblego> | if anti-pattern means "bad idea", then yes |
| 2021-07-12 08:54:11 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 08:58:38 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-12 09:03:14 +0000 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-12 09:04:11 +0000 | <Orbstheorem> | Where can I find `servant` release notes? |
| 2021-07-12 09:04:13 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-12 09:05:12 +0000 | <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 09:05:40 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-12 09:06:19 +0000 | <Orbstheorem> | More precisely, the `ServantErr` type seems to be missing. |
| 2021-07-12 09:09:45 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 09:09:56 +0000 | a1paca | (~a1paca@user/a1paca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-12 09:10:15 +0000 | a1paca | (~a1paca@user/a1paca) |
| 2021-07-12 09:24:03 +0000 | <_________> | Orbstheorem: https://github.com/haskell-servant/servant/blob/master/servant/CHANGELOG.md#significant-changes-5 |
| 2021-07-12 09:25:02 +0000 | <Orbstheorem> | Oh, thanks! |
| 2021-07-12 09:25:16 +0000 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-07-12 09:25:52 +0000 | <DigitalKiwi> | _________: halloween |
| 2021-07-12 09:26:54 +0000 | <DigitalKiwi> | https://twitter.com/Custard_Rito/status/1412693062363451397 ;p |
| 2021-07-12 09:27:41 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-12 09:30:29 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 255 seconds) |
| 2021-07-12 09:31:20 +0000 | chris-the-slurpa | (~chris@81.96.113.213) |
| 2021-07-12 09:33:47 +0000 | <_________> | ;) |
| 2021-07-12 09:45:01 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 09:48:09 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 09:48:28 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 09:49:09 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 09:49:28 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 09:49:39 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds) |
| 2021-07-12 09:53:45 +0000 | haykam2 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 09:55:25 +0000 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) (Read error: Connection reset by peer) |
| 2021-07-12 09:56:51 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-12 09:58:13 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:21dc:ed10:85d2:c2f8) |
| 2021-07-12 09:58:39 +0000 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-12 09:59:59 +0000 | xerox_ | xerox |
| 2021-07-12 10:00:08 +0000 | azeem | (~azeem@176.200.251.23) |
| 2021-07-12 10:05:38 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-12 10:06:24 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 10:06:38 +0000 | azeem | (~azeem@176.200.251.23) (Ping timeout: 256 seconds) |
| 2021-07-12 10:07:03 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-12 10:09:27 +0000 | ubert1 | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-12 10:10:05 +0000 | azeem | (~azeem@176.200.251.23) |
| 2021-07-12 10:12:27 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-12 10:13:21 +0000 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-12 10:13:35 +0000 | jonathanx | (~jonathan@185.224.57.161) |
| 2021-07-12 10:13:41 +0000 | jonathanx | (~jonathan@185.224.57.161) (Client Quit) |
| 2021-07-12 10:15:42 +0000 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-12 10:16:00 +0000 | Vajb | (~Vajb@85-76-37-197-nat.elisa-mobile.fi) |
| 2021-07-12 10:16:30 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 10:19:26 +0000 | hegstal | (~hegstal@2a02:c7f:7604:8a00:e6d:4895:5c36:fc58) (Remote host closed the connection) |
| 2021-07-12 10:20:30 +0000 | hegstal | (~hegstal@2a02:c7f:7604:8a00:cb9c:8f6:3247:45ac) |
| 2021-07-12 10:21:09 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 10:21:40 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-12 10:23:47 +0000 | anandprabhu | (~anandprab@94.202.243.198) |
| 2021-07-12 10:24:51 +0000 | Kaiepi | (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-12 10:28:03 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-12 10:28:42 +0000 | ukari | (~ukari@user/ukari) |
| 2021-07-12 10:30:17 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 10:30:17 +0000 | Vajb | (~Vajb@85-76-37-197-nat.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2021-07-12 10:31:00 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2021-07-12 10:31:19 +0000 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-12 10:31:20 +0000 | oxide | (~lambda@user/oxide) |
| 2021-07-12 10:37:01 +0000 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed) |
| 2021-07-12 10:37:14 +0000 | acidjnk | (~acidjnk@p200300d0c72b95663cee14c44c3d676c.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-12 10:37:26 +0000 | azeem | (~azeem@176.200.251.23) (Ping timeout: 272 seconds) |
| 2021-07-12 10:37:30 +0000 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-12 10:38:44 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) (Remote host closed the connection) |
| 2021-07-12 10:39:24 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2021-07-12 10:40:22 +0000 | Core7908_ | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Quit: ...) |
| 2021-07-12 10:41:14 +0000 | Core7908 | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 10:42:20 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 10:44:37 +0000 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-12 10:45:16 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 10:45:56 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 10:46:58 +0000 | kosakgroove | (~textual@2a02:a210:2d80:300:b480:470d:3b11:5e20) |
| 2021-07-12 10:47:17 +0000 | azeem | (~azeem@176.200.251.23) |
| 2021-07-12 10:48:12 +0000 | kosakgroove | (~textual@2a02:a210:2d80:300:b480:470d:3b11:5e20) (Client Quit) |
| 2021-07-12 10:51:47 +0000 | mchristi | (~mchristi@ip-213-49-96-7.dsl.scarlet.be) |
| 2021-07-12 10:54:45 +0000 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-07-12 10:55:57 +0000 | Logio_ | Logio |
| 2021-07-12 10:56:36 +0000 | mchristi | (~mchristi@ip-213-49-96-7.dsl.scarlet.be) (Quit: WeeChat 3.0.1) |
| 2021-07-12 10:59:28 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-12 11:04:57 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-07-12 11:05:03 +0000 | wei2912 | (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-12 11:06:28 +0000 | juhp | (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-07-12 11:06:28 +0000 | thyriaen | (~thyriaen@45.178.73.238) |
| 2021-07-12 11:06:36 +0000 | Core7908 | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Ping timeout: 255 seconds) |
| 2021-07-12 11:06:43 +0000 | juhp | (~juhp@128.106.188.66) |
| 2021-07-12 11:11:58 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 11:12:07 +0000 | Core7383 | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 11:18:29 +0000 | hseg | (~gesh@185.120.126.10) |
| 2021-07-12 11:18:29 +0000 | berberman | (~berberman@user/berberman) (Ping timeout: 255 seconds) |
| 2021-07-12 11:19:10 +0000 | azeem | (~azeem@176.200.251.23) (Ping timeout: 256 seconds) |
| 2021-07-12 11:19:31 +0000 | berberman | (~berberman@user/berberman) |
| 2021-07-12 11:20:14 +0000 | bjobjo | (~bo@user/bjobjo) (Quit: leaving) |
| 2021-07-12 11:20:17 +0000 | <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 11:20:43 +0000 | acidjnk | (~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de) |
| 2021-07-12 11:20:58 +0000 | <hseg> | (without derivability, can just class (Eq k, Hashable k) => Key k; instance (Eq k, Hashable k) => Key k) |
| 2021-07-12 11:21:11 +0000 | smtnet3 | (~asdfasdfa@202.36.244.28) (Quit: Leaving) |
| 2021-07-12 11:21:30 +0000 | <hseg> | but it doesn't seem this list decomposes within the list of instances derived |
| 2021-07-12 11:23:32 +0000 | <Taneb> | hseg: I don't believe that's possible |
| 2021-07-12 11:24:23 +0000 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-12 11:24:51 +0000 | thyriaen | (~thyriaen@45.178.73.238) (Remote host closed the connection) |
| 2021-07-12 11:25:05 +0000 | <hseg> | pity. means it's harder to write code polymorphically over the container and pick the container using synonyms |
| 2021-07-12 11:26:04 +0000 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 11:29:31 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-12 11:34:12 +0000 | ziman | (~ziman@user/ziman) (Ping timeout: 265 seconds) |
| 2021-07-12 11:36:06 +0000 | tremon | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-07-12 11:36:13 +0000 | tremon | tremon_ |
| 2021-07-12 11:40:21 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-12 11:40:34 +0000 | cheater | (~Username@user/cheater) |
| 2021-07-12 11:41:42 +0000 | azeem | (~azeem@176.201.23.19) (Ping timeout: 255 seconds) |
| 2021-07-12 11:42:59 +0000 | ziman | (~ziman@c25-5.condornet.sk) |
| 2021-07-12 11:43:37 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-12 11:44:51 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds) |
| 2021-07-12 11:45:57 +0000 | eight | (~eight@user/eight) (Quit: leaving) |
| 2021-07-12 11:46:34 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 11:47:16 +0000 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 11:51:09 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds) |
| 2021-07-12 11:52:24 +0000 | azeem | (~azeem@176.201.23.19) (Ping timeout: 276 seconds) |
| 2021-07-12 11:54:11 +0000 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 11:55:06 +0000 | ziman | (~ziman@c25-5.condornet.sk) (Changing host) |
| 2021-07-12 11:55:07 +0000 | ziman | (~ziman@user/ziman) |
| 2021-07-12 11:55:44 +0000 | jneira | (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-12 11:56:24 +0000 | jneira | (~jneira@212.8.115.226) |
| 2021-07-12 11:57:06 +0000 | bjobjo | (~bjobjo@user/bjobjo) |
| 2021-07-12 12:02:30 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
| 2021-07-12 12:03:01 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds) |
| 2021-07-12 12:03:32 +0000 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-12 12:04:03 +0000 | gehmehgeh_ | (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 2021-07-12 12:04:04 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-07-12 12:04:04 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds) |
| 2021-07-12 12:04:12 +0000 | hololeap | (~hololeap@user/hololeap) (Read error: Connection reset by peer) |
| 2021-07-12 12:04:34 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 2021-07-12 12:05:06 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2021-07-12 12:05:08 +0000 | gehmehgeh_ | (~user@user/gehmehgeh) |
| 2021-07-12 12:05:08 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2021-07-12 12:05:09 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-07-12 12:05:15 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-07-12 12:05:21 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-07-12 12:06:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-12 12:06:49 +0000 | hendursaga | (~weechat@user/hendursaga) |
| 2021-07-12 12:07:45 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 12:10:56 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2021-07-12 12:13:05 +0000 | zaquest | (~notzaques@5.128.210.178) |
| 2021-07-12 12:13:13 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-07-12 12:15:11 +0000 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-12 12:18:40 +0000 | hegstal | (~hegstal@2a02:c7f:7604:8a00:cb9c:8f6:3247:45ac) (Ping timeout: 256 seconds) |
| 2021-07-12 12:20:13 +0000 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) |
| 2021-07-12 12:20:22 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2021-07-12 12:20:47 +0000 | cheater | (~Username@user/cheater) |
| 2021-07-12 12:21:33 +0000 | Atum_ | (IRC@user/atum/x-2392232) |
| 2021-07-12 12:24:20 +0000 | bontaq | (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2021-07-12 12:24:55 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-12 12:24:57 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-07-12 12:28:11 +0000 | andreabedini | (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Quit: WeeChat 2.8) |
| 2021-07-12 12:28:32 +0000 | hseg | (~gesh@185.120.126.10) (Quit: WeeChat 3.2) |
| 2021-07-12 12:35:15 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Ping timeout: 255 seconds) |
| 2021-07-12 12:35:40 +0000 | lbseale__ | (~lbseale@user/ep1ctetus) |
| 2021-07-12 12:36:36 +0000 | azeem | (~azeem@176.201.23.19) (Ping timeout: 255 seconds) |
| 2021-07-12 12:38:02 +0000 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 12:38:29 +0000 | s4ch1n | (~s4ch1n@45.250.47.32) |
| 2021-07-12 12:39:46 +0000 | lbseale_ | (~lbseale@user/ep1ctetus) (Ping timeout: 268 seconds) |
| 2021-07-12 12:40:41 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 12:43:59 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-12 12:44:07 +0000 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) |
| 2021-07-12 12:44:25 +0000 | s4ch1n | (~s4ch1n@45.250.47.32) (Quit: WeeChat 3.2) |
| 2021-07-12 12:45:18 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-12 12:47:58 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds) |
| 2021-07-12 12:51:09 +0000 | jneira | (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-07-12 12:52:46 +0000 | HotblackDesiato | (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2021-07-12 12:53:14 +0000 | alx741 | (~alx741@186.178.109.100) |
| 2021-07-12 13:00:13 +0000 | bontaq` | (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-07-12 13:00:36 +0000 | azeem | (~azeem@176.201.23.19) (Ping timeout: 256 seconds) |
| 2021-07-12 13:00:53 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 13:02:26 +0000 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 13:02:47 +0000 | keutoi | (~keutoi@157.48.184.234) |
| 2021-07-12 13:03:54 +0000 | infinisil[irc] | (~infinisil@178.197.225.108) |
| 2021-07-12 13:05:27 +0000 | brandonh | (~brandonh@151.57.24.153) |
| 2021-07-12 13:08:51 +0000 | lbseale_ | (~lbseale@user/ep1ctetus) |
| 2021-07-12 13:09:08 +0000 | lbseale_ | (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-07-12 13:09:27 +0000 | keutoi | (~keutoi@157.48.184.234) (Ping timeout: 255 seconds) |
| 2021-07-12 13:10:09 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 13:10:47 +0000 | keutoi | (~keutoi@157.48.184.234) |
| 2021-07-12 13:10:55 +0000 | pbrisbin | (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) (Quit: WeeChat 3.2) |
| 2021-07-12 13:10:59 +0000 | mikail_ | (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-12 13:11:15 +0000 | azeem | (~azeem@176.201.23.19) (Ping timeout: 255 seconds) |
| 2021-07-12 13:12:00 +0000 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 13:12:12 +0000 | pbrisbin | (~patrick@pool-173-49-147-28.phlapa.fios.verizon.net) |
| 2021-07-12 13:13:10 +0000 | notzmv | (~zmv@user/notzmv) |
| 2021-07-12 13:13:14 +0000 | lbseale__ | (~lbseale@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 2021-07-12 13:15:23 +0000 | hatz_ | (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) |
| 2021-07-12 13:21:24 +0000 | thecoder | (~mrrobot@c-73-27-71-147.hsd1.fl.comcast.net) |
| 2021-07-12 13:21:43 +0000 | chris-the-slurpa | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-12 13:22:06 +0000 | azeem | (~azeem@176.201.23.19) (Ping timeout: 276 seconds) |
| 2021-07-12 13:25:59 +0000 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 13:26:12 +0000 | s__ | (~s@50.34.81.185) (Read error: Connection reset by peer) |
| 2021-07-12 13:26:14 +0000 | s_ | (~s@50.34.81.185) |
| 2021-07-12 13:30:58 +0000 | azeem | (~azeem@176.201.23.19) (Ping timeout: 272 seconds) |
| 2021-07-12 13:32:08 +0000 | cheater | (~Username@user/cheater) (Quit: BitchX: it's magically delicious!) |
| 2021-07-12 13:34:02 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 13:34:38 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 13:35:21 +0000 | azeem | (~azeem@176.201.23.19) |
| 2021-07-12 13:35:24 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-12 13:37:03 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 276 seconds) |
| 2021-07-12 13:38:20 +0000 | cheater | (~Username@user/cheater) |
| 2021-07-12 13:38:34 +0000 | oxide | (~lambda@user/oxide) |
| 2021-07-12 13:39:12 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 272 seconds) |
| 2021-07-12 13:45:58 +0000 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-12 13:46:33 +0000 | Core7383 | (~Core7908@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Quit: ...) |
| 2021-07-12 13:47:55 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 13:48:12 +0000 | brandonh | (~brandonh@151.57.24.153) (Ping timeout: 256 seconds) |
| 2021-07-12 13:48:15 +0000 | Core8687 | (~Core8687@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) |
| 2021-07-12 13:51:02 +0000 | azeem | (~azeem@176.201.23.19) (Ping timeout: 256 seconds) |
| 2021-07-12 13:51:54 +0000 | azeem | (~azeem@176.200.226.100) |
| 2021-07-12 13:52:30 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 272 seconds) |
| 2021-07-12 13:53:33 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-12 13:53:59 +0000 | cheater | (~Username@user/cheater) |
| 2021-07-12 13:54:57 +0000 | polykernel | (~polykerne@user/polykernel) |
| 2021-07-12 13:55:03 +0000 | polykernel | (~polykerne@user/polykernel) () |
| 2021-07-12 13:58:30 +0000 | shriekingnoise | (~shrieking@186.137.144.80) |
| 2021-07-12 14:04:31 +0000 | __monty__ | (~toonn@user/toonn) |
| 2021-07-12 14:04:55 +0000 | brandonh | (~brandonh@host-212-171-14-119.retail.telecomitalia.it) |
| 2021-07-12 14:05:09 +0000 | brandonh | (~brandonh@host-212-171-14-119.retail.telecomitalia.it) (Client Quit) |
| 2021-07-12 14:06:15 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-07-12 14:06:30 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-07-12 14:06:50 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 272 seconds) |
| 2021-07-12 14:07:04 +0000 | azeem | (~azeem@176.200.226.100) (Ping timeout: 272 seconds) |
| 2021-07-12 14:07:35 +0000 | jolly | (~jolly@208.180.97.158) |
| 2021-07-12 14:08:23 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 14:09:05 +0000 | chris-the-slurpa | (~chris@81.96.113.213) |
| 2021-07-12 14:13:14 +0000 | azeem | (~azeem@176.200.226.100) |
| 2021-07-12 14:13:48 +0000 | Lycurgus | (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-12 14:14:14 +0000 | Xnuk | (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-07-12 14:14:32 +0000 | Xnuk | (~xnuk@45.76.202.58) |
| 2021-07-12 14:15:20 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 14:20:06 +0000 | nate1 | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-12 14:22:18 +0000 | zaquest | (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-12 14:24:04 +0000 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 14:28:13 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 14:28:32 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 14:28:39 +0000 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Ping timeout: 255 seconds) |
| 2021-07-12 14:32:16 +0000 | systemfault_ | systemfault |
| 2021-07-12 14:34:01 +0000 | argento | (~argent0@168-227-97-23.ptr.westnet.com.ar) |
| 2021-07-12 14:36:29 +0000 | <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 14:36:48 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-07-12 14:37:46 +0000 | <dminuoso> | keutoi: Nope! :) |
| 2021-07-12 14:38:09 +0000 | <dminuoso> | keutoi: It's just like how declarations in general can refer to each other in arbitrary order |
| 2021-07-12 14:38:11 +0000 | <dminuoso> | e.g.: |
| 2021-07-12 14:38:25 +0000 | <dminuoso> | % let x = y + 1; y = 10; in x + y |
| 2021-07-12 14:38:26 +0000 | <yahb> | dminuoso: 21 |
| 2021-07-12 14:39:46 +0000 | oxide | (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2021-07-12 14:40:05 +0000 | oxide | (~lambda@user/oxide) |
| 2021-07-12 14:40:50 +0000 | <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 14:41:01 +0000 | <dminuoso> | keutoi: It will be stuck in a loop. |
| 2021-07-12 14:41:16 +0000 | <dminuoso> | You might get lucky and GHC will produce a <<loop>> error, but that's just a bonus |
| 2021-07-12 14:41:39 +0000 | <dminuoso> | (Or, I guess, that's rather the RTS not the compiler itself) |
| 2021-07-12 14:42:15 +0000 | <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 14:42:42 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-07-12 14:42:45 +0000 | <dminuoso> | Personally, I find the lack of an imposed order to be liberating. |
| 2021-07-12 14:43:02 +0000 | <dminuoso> | keutoi: It allows for things like (wanted) circular recursion, or restructing things more freely. |
| 2021-07-12 14:43:22 +0000 | <dminuoso> | What if the instances were defined in separate modules? Would suddenly import order be important too? |
| 2021-07-12 14:43:33 +0000 | <dminuoso> | Buf it that's the case, this could create serious problems in transitive import paths |
| 2021-07-12 14:43:40 +0000 | <dminuoso> | Or perhaps even through package boundaries |
| 2021-07-12 14:44:36 +0000 | <[exa]> | hm, isn't that a leftover from before F-A-M hierarchy got official? |
| 2021-07-12 14:47:22 +0000 | <[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 14:47:31 +0000 | keutoi_ | (~keutoi@157.48.184.234) |
| 2021-07-12 14:48:39 +0000 | keutoi | (~keutoi@157.48.184.234) (Quit: Reconnecting) |
| 2021-07-12 14:48:46 +0000 | keutoi_ | keutoi |
| 2021-07-12 14:48:55 +0000 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-12 14:49:04 +0000 | zaquest | (~notzaques@5.128.210.178) |
| 2021-07-12 14:49:09 +0000 | <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 14:50:17 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-07-12 14:50:53 +0000 | <boxscape> | er wiat |
| 2021-07-12 14:50:55 +0000 | <boxscape> | MINIMAL pragmas |
| 2021-07-12 14:52:13 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 14:52:31 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 14:53:07 +0000 | <keutoi> | dminuoso: thank you |
| 2021-07-12 14:53:58 +0000 | Taren | (~Taren@port-92-196-206-198.dynamic.as20676.net) |
| 2021-07-12 14:55:38 +0000 | acidjnk | (~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-12 14:58:30 +0000 | <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 14:59:06 +0000 | <tomsmeding> | I think any cross-class MINIMAL checking like I think you're proposing will inherently be built on heuristics |
| 2021-07-12 14:59:31 +0000 | tomsmeding | . o O ( or maybe we need MAXIMAL -- disallow <*> and ap both being defined ) |
| 2021-07-12 15:00:51 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) |
| 2021-07-12 15:01:55 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-07-12 15:02:17 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2021-07-12 15:03:06 +0000 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-07-12 15:03:39 +0000 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 15:05:07 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 15:05:34 +0000 | Taren | (~Taren@port-92-196-206-198.dynamic.as20676.net) (Ping timeout: 246 seconds) |
| 2021-07-12 15:06:43 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 15:07:17 +0000 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-07-12 15:08:42 +0000 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Ping timeout: 276 seconds) |
| 2021-07-12 15:09:26 +0000 | Taren | (~Taren@port-92-196-206-198.dynamic.as20676.net) |
| 2021-07-12 15:10:08 +0000 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-07-12 15:12:22 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 15:12:35 +0000 | anandprabhu | (~anandprab@94.202.243.198) (Quit: Leaving) |
| 2021-07-12 15:13:07 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-12 15:13:12 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2021-07-12 15:16:21 +0000 | argento | (~argent0@168-227-97-23.ptr.westnet.com.ar) (Ping timeout: 255 seconds) |
| 2021-07-12 15:16:52 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-07-12 15:19:37 +0000 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 15:22:46 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-07-12 15:24:09 +0000 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-07-12 15:24:27 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-12 15:24:54 +0000 | gzj | (~GZJ0X@199.193.127.73.16clouds.com) (Ping timeout: 255 seconds) |
| 2021-07-12 15:24:54 +0000 | cheater | (~Username@user/cheater) |
| 2021-07-12 15:25:48 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-12 15:27:32 +0000 | polykernel | (~polykerne@user/polykernel) |
| 2021-07-12 15:27:42 +0000 | peterhil | (~peterhil@mobile-access-bceeac-89.dhcp.inet.fi) |
| 2021-07-12 15:27:48 +0000 | MQ-17J | (~MQ-17J@8.21.10.15) |
| 2021-07-12 15:29:55 +0000 | silverwhitefish | (~hidden@47.202.102.10) (Quit: One for all, all for One (2 Corinthians 5)) |
| 2021-07-12 15:31:31 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 15:32:06 +0000 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds) |
| 2021-07-12 15:33:00 +0000 | lbseale | (~lbseale@user/ep1ctetus) |
| 2021-07-12 15:33:12 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-07-12 15:33:51 +0000 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-12 15:33:52 +0000 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-12 15:35:43 +0000 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 2021-07-12 15:35:43 +0000 | turlando | (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 2021-07-12 15:35:43 +0000 | turlando | (~turlando@user/turlando) |
| 2021-07-12 15:36:24 +0000 | robertm | (robertm@rojoma.com) (Quit: WeeChat 2.3) |
| 2021-07-12 15:36:34 +0000 | robertm | (robertm@rojoma.com) |
| 2021-07-12 15:37:39 +0000 | lbseale | (~lbseale@user/ep1ctetus) (Client Quit) |
| 2021-07-12 15:40:03 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 15:40:58 +0000 | azeem | (~azeem@176.200.226.100) (Read error: Connection reset by peer) |
| 2021-07-12 15:41:03 +0000 | hatz_ | (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) (Quit: hatz_) |
| 2021-07-12 15:41:11 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 15:43:17 +0000 | hatz_ | (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) |
| 2021-07-12 15:43:47 +0000 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-12 15:44:59 +0000 | P1RATEZ | (piratez@user/p1ratez) |
| 2021-07-12 15:45:40 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2021-07-12 15:49:31 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 15:52:28 +0000 | Taren | (~Taren@port-92-196-206-198.dynamic.as20676.net) (Ping timeout: 246 seconds) |
| 2021-07-12 15:52:54 +0000 | kuribas | (~user@ptr-25vy0i9hoprzpksooyh.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-07-12 15:53:04 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-12 15:56:27 +0000 | cohn | (~noone@user/cohn) () |
| 2021-07-12 15:58:20 +0000 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-07-12 15:58:52 +0000 | haykam2 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-12 15:59:04 +0000 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 16:00:42 +0000 | keutoi | (~keutoi@157.48.184.234) (Quit: leaving) |
| 2021-07-12 16:01:48 +0000 | s_ | (~s@50.34.81.185) (Ping timeout: 255 seconds) |
| 2021-07-12 16:02:46 +0000 | <monochrom> | ap is not a method, so it's OK. |
| 2021-07-12 16:04:10 +0000 | s_ | (~s@50.34.81.185) |
| 2021-07-12 16:04:41 +0000 | <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 16:05:51 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-12 16:06:11 +0000 | LKY | (~Burger@76.102.85.231) |
| 2021-07-12 16:07:58 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-12 16:09:54 +0000 | LKY | (~Burger@76.102.85.231) () |
| 2021-07-12 16:10:34 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-12 16:10:34 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-12 16:11:03 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 16:11:03 +0000 | ukari | (~ukari@user/ukari) |
| 2021-07-12 16:15:26 +0000 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-07-12 16:15:49 +0000 | cohn | (~noone@user/cohn) |
| 2021-07-12 16:17:28 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-12 16:18:34 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-12 16:19:28 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-07-12 16:20:34 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-07-12 16:20:34 +0000 | Vajb | (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-12 16:22:02 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 16:22:09 +0000 | mikail_ | (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Ping timeout: 276 seconds) |
| 2021-07-12 16:23:51 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 16:24:31 +0000 | Obo | (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-12 16:28:14 +0000 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Quit: brandonh) |
| 2021-07-12 16:28:57 +0000 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) |
| 2021-07-12 16:32:44 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-12 16:32:46 +0000 | michalz | (~michalz@185.246.204.33) (Remote host closed the connection) |
| 2021-07-12 16:35:08 +0000 | son0p | (~ff@181.136.122.143) |
| 2021-07-12 16:36:54 +0000 | brandonh | (~brandonh@host-79-17-63-207.retail.telecomitalia.it) (Quit: brandonh) |
| 2021-07-12 16:38:59 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 16:40:34 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 16:41:37 +0000 | Deide | (~Deide@217.155.19.23) |
| 2021-07-12 16:41:37 +0000 | Deide | (~Deide@217.155.19.23) (Changing host) |
| 2021-07-12 16:41:37 +0000 | Deide | (~Deide@user/deide) |
| 2021-07-12 16:41:38 +0000 | oso | (~oso@2601:58c:c080:a950:f275:2530:b398:680b) (Quit: Client closed) |
| 2021-07-12 16:42:28 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 16:47:18 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-07-12 16:48:04 +0000 | dunj3 | (~dunj3@2001:16b8:3074:1c00:57f:b83d:ce5e:2d79) (Quit: Leaving) |
| 2021-07-12 16:48:09 +0000 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds) |
| 2021-07-12 16:48:55 +0000 | qrpnxz | (~qrpnxz@user/qrpnxz) (Quit: Gateway shutdown) |
| 2021-07-12 16:49:11 +0000 | qrpnxz | (~qrpnxz@user/qrpnxz) |
| 2021-07-12 16:51:13 +0000 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-12 16:51:28 +0000 | Guest55 | (~Guest55@187.83.249.216.dyn.smithville.net) |
| 2021-07-12 16:54:38 +0000 | peterhil | (~peterhil@mobile-access-bceeac-89.dhcp.inet.fi) (Ping timeout: 256 seconds) |
| 2021-07-12 16:59:44 +0000 | <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 17:00:51 +0000 | <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 17:01:30 +0000 | Hanicef | (~hanicef@90-229-213-50-no68.tbcn.telia.com) |
| 2021-07-12 17:02:55 +0000 | <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 17:03:07 +0000 | <int-e> | for example |
| 2021-07-12 17:06:25 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 17:06:26 +0000 | <Guest55> | ooh i see, thanks |
| 2021-07-12 17:08:41 +0000 | <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 17:13:21 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 255 seconds) |
| 2021-07-12 17:15:36 +0000 | derelict | (~derelict@user/derelict) |
| 2021-07-12 17:17:35 +0000 | fef | (~thedawn@user/thedawn) |
| 2021-07-12 17:17:54 +0000 | xff0x | (~xff0x@2001:1a81:52d6:3f00:c2c2:4eb1:4c10:1645) (Ping timeout: 240 seconds) |
| 2021-07-12 17:19:12 +0000 | xff0x | (~xff0x@2001:1a81:52d6:3f00:1a58:61d8:8aa3:1417) |
| 2021-07-12 17:20:02 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 17:20:22 +0000 | Kugge | (~Kugge@2a01:cb15:81e5:f00:2dd0:6066:fe1b:9751) |
| 2021-07-12 17:23:05 +0000 | safinaskar | (~user@109.252.90.89) |
| 2021-07-12 17:23:17 +0000 | safinaskar | (~user@109.252.90.89) () |
| 2021-07-12 17:25:11 +0000 | smichel17 | (~smichel17@2601:193:8300:4b9::600) |
| 2021-07-12 17:27:43 +0000 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-12 17:27:56 +0000 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 17:28:12 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-12 17:28:32 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 17:28:59 +0000 | Hanicef | (~hanicef@90-229-213-50-no68.tbcn.telia.com) (Quit: leaving) |
| 2021-07-12 17:30:22 +0000 | azeem | (~azeem@176.200.192.14) |
| 2021-07-12 17:40:32 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-12 17:41:42 +0000 | azeem | (~azeem@176.200.192.14) (Ping timeout: 255 seconds) |
| 2021-07-12 17:43:27 +0000 | azeem | (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 17:46:12 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-12 17:54:11 +0000 | hexfive | (~eric@50.35.83.177) |
| 2021-07-12 17:56:52 +0000 | siers | (~ij@user/ij) |
| 2021-07-12 17:57:00 +0000 | vicfred | (~vicfred@user/vicfred) |
| 2021-07-12 17:59:01 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 18:02:46 +0000 | mikail_ | (~mikail@90.212.77.3) |
| 2021-07-12 18:03:04 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 18:03:18 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 18:05:19 +0000 | <EvanR> | the package HMap is really cool |
| 2021-07-12 18:06:00 +0000 | <EvanR> | the implementation contains all the unsafePerformIO and unsafeCoerce I never want to use |
| 2021-07-12 18:07:48 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-12 18:11:04 +0000 | Kugge | (~Kugge@2a01:cb15:81e5:f00:2dd0:6066:fe1b:9751) (Quit: Client closed) |
| 2021-07-12 18:13:19 +0000 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-12 18:15:41 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 18:18:09 +0000 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 255 seconds) |
| 2021-07-12 18:19:18 +0000 | chris-the-slurpa | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-12 18:20:17 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 18:20:29 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 18:20:37 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 18:22:40 +0000 | fendor | (~fendor@77.119.208.64.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-12 18:23:41 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 18:25:45 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 18:28:20 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 18:32:26 +0000 | drd | (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 272 seconds) |
| 2021-07-12 18:32:46 +0000 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-12 18:33:13 +0000 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-12 18:35:06 +0000 | ub | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-12 18:40:11 +0000 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-12 18:40:36 +0000 | mikail_ | (~mikail@90.212.77.3) (Ping timeout: 256 seconds) |
| 2021-07-12 18:40:55 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 18:41:10 +0000 | <mikoto-chan> | monochrom: can you send me your website? |
| 2021-07-12 18:43:49 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-12 18:45:30 +0000 | <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 18:45:33 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 18:45:59 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-07-12 18:46:16 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
| 2021-07-12 18:47:39 +0000 | Pickchea | (~private@user/pickchea) |
| 2021-07-12 18:52:47 +0000 | MQ-17J | (~MQ-17J@8.21.10.15) |
| 2021-07-12 18:53:35 +0000 | xdefrag | (~xdefrag@user/xdefrag) |
| 2021-07-12 18:53:35 +0000 | xdefrag | (~xdefrag@user/xdefrag) (Quit: WeeChat 3.1) |
| 2021-07-12 18:54:32 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 18:55:16 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-07-12 18:56:38 +0000 | fendor | (~fendor@77.119.208.64.wireless.dyn.drei.com) |
| 2021-07-12 19:01:29 +0000 | <EvanR> | mikoto-chan: http://www.vex.net/~trebla/haskell/ |
| 2021-07-12 19:01:55 +0000 | <EvanR> | to find that, I have to remember monochrom's true name: trebla |
| 2021-07-12 19:03:31 +0000 | <monochrom> | :) |
| 2021-07-12 19:03:54 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-12 19:04:32 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-12 19:05:02 +0000 | ukari | (~ukari@user/ukari) |
| 2021-07-12 19:06:50 +0000 | silverwhitefish | (~hidden@47.202.102.10) |
| 2021-07-12 19:06:56 +0000 | <mikoto-chan> | true name as in human name? thanks btw |
| 2021-07-12 19:07:01 +0000 | hatz_ | (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) (Quit: hatz_) |
| 2021-07-12 19:07:49 +0000 | hatz_ | (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) |
| 2021-07-12 19:14:50 +0000 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-12 19:17:20 +0000 | smichel17 | (~smichel17@2601:193:8300:4b9::600) (Quit: smichel17) |
| 2021-07-12 19:17:28 +0000 | smichel17 | (~smichel17@2601:193:8300:4b9::600) |
| 2021-07-12 19:17:36 +0000 | smichel17 | (~smichel17@2601:193:8300:4b9::600) () |
| 2021-07-12 19:17:52 +0000 | smichel17 | (~smichel17@2601:193:8300:4b9::600) |
| 2021-07-12 19:19:03 +0000 | Guest55 | (~Guest55@187.83.249.216.dyn.smithville.net) (Quit: Client closed) |
| 2021-07-12 19:19:48 +0000 | MQ-17J | (~MQ-17J@8.21.10.15) (Ping timeout: 255 seconds) |
| 2021-07-12 19:20:16 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-12 19:23:42 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-12 19:25:17 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 19:29:29 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 19:32:22 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 19:35:34 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:21dc:ed10:85d2:c2f8) (Ping timeout: 256 seconds) |
| 2021-07-12 19:36:44 +0000 | epolanski | (uid312403@id-312403.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-12 19:37:03 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 19:37:57 +0000 | ph88 | (~ph88@2a02:8109:9e00:7e5c:f009:5606:b7ea:3eb0) |
| 2021-07-12 19:43:13 +0000 | <int-e> | EvanR: good one (it's much closer than 'monochrom' is, indeed) |
| 2021-07-12 19:44:04 +0000 | <EvanR> | I only just now realized where trebla came from |
| 2021-07-12 19:44:07 +0000 | <int-e> | monochrom: have you ever gone by "morhconom"? |
| 2021-07-12 19:44:31 +0000 | <maerwald> | years of haskell made me unable to comprehend large if-else blocks |
| 2021-07-12 19:44:32 +0000 | <int-e> | (which is surprisingly pronouncible) |
| 2021-07-12 19:44:45 +0000 | argento | (~argent0@168-227-97-29.ptr.westnet.com.ar) |
| 2021-07-12 19:44:50 +0000 | <maerwald> | now I'm useless at javascript |
| 2021-07-12 19:44:51 +0000 | <EvanR> | /nick RaveN |
| 2021-07-12 19:45:15 +0000 | <int-e> | . o O ( nevar a raven ) |
| 2021-07-12 19:45:28 +0000 | dudek | (~dudek@185.150.236.155) |
| 2021-07-12 19:45:43 +0000 | <maerwald> | > reverse "raven" |
| 2021-07-12 19:45:45 +0000 | <lambdabot> | "nevar" |
| 2021-07-12 19:45:48 +0000 | <maerwald> | oh |
| 2021-07-12 19:47:10 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds) |
| 2021-07-12 19:47:55 +0000 | <EvanR> | dim brain, javascript. bright brain, haskell. galaxy brain, somehow using haskell stuff in the next programming language despite itself |
| 2021-07-12 19:48:14 +0000 | <monochrom> | No, but I have used "morphochrom" for various things. |
| 2021-07-12 19:48:57 +0000 | <monochrom> | And I call my phone "monophone". |
| 2021-07-12 19:49:08 +0000 | rostero | (uid236576@id-236576.tooting.irccloud.com) |
| 2021-07-12 19:50:58 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 19:52:58 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:74d4:dc25:5697:f3ed) |
| 2021-07-12 19:53:02 +0000 | DNH | (~DNH@2a02:8108:1100:16d8:74d4:dc25:5697:f3ed) (Client Quit) |
| 2021-07-12 19:54:05 +0000 | <Vq> | telemonophone? |
| 2021-07-12 19:54:26 +0000 | <monochrom> | Isn't that too long? |
| 2021-07-12 19:56:32 +0000 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 2021-07-12 19:56:45 +0000 | haykam1 | (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 19:59:25 +0000 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2021-07-12 20:01:12 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 276 seconds) |
| 2021-07-12 20:01:56 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 20:02:20 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-07-12 20:03:55 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-12 20:05:02 +0000 | juhp | (~juhp@128.106.188.66) (Ping timeout: 256 seconds) |
| 2021-07-12 20:05:30 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-07-12 20:05:56 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 20:06:16 +0000 | chris-the-slurpa | (~chris@81.96.113.213) |
| 2021-07-12 20:07:02 +0000 | pavonia | (~user@user/siracusa) |
| 2021-07-12 20:07:05 +0000 | juhp | (~juhp@128.106.188.66) |
| 2021-07-12 20:08:38 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:e467:8d74:86ae:d294) |
| 2021-07-12 20:09:54 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-12 20:11:16 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-12 20:12:15 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2021-07-12 20:13:41 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-07-12 20:13:59 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Quit: Must not waste too much time here...) |
| 2021-07-12 20:14:13 +0000 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 2021-07-12 20:14:21 +0000 | infinisil[irc] | (~infinisil@178.197.225.108) (WeeChat 3.2) |
| 2021-07-12 20:14:27 +0000 | bontaq` | bontaq |
| 2021-07-12 20:14:36 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 20:15:11 +0000 | peterhil | (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-12 20:16:25 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Remote host closed the connection) |
| 2021-07-12 20:21:24 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 20:24:36 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-12 20:26:00 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-12 20:27:20 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 20:27:32 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 20:31:40 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 256 seconds) |
| 2021-07-12 20:33:33 +0000 | o1lo01ol1o | (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-07-12 20:35:00 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-12 20:36:12 +0000 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 256 seconds) |
| 2021-07-12 20:37:35 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 20:37:54 +0000 | neceve | (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 256 seconds) |
| 2021-07-12 20:43:07 +0000 | acidjnk | (~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de) |
| 2021-07-12 20:43:21 +0000 | <dsal> | Are you multihomed? |
| 2021-07-12 20:47:32 +0000 | alx741 | (~alx741@186.178.109.100) (Ping timeout: 256 seconds) |
| 2021-07-12 20:47:38 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 20:50:41 +0000 | Guest25 | (~Guest25@187.83.249.216.dyn.smithville.net) |
| 2021-07-12 20:52:03 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 20:52:31 +0000 | johnw | (~johnw@2600:1700:cf00:db0:edf9:8c5b:5a8d:2f85) (Ping timeout: 246 seconds) |
| 2021-07-12 20:56:01 +0000 | gehmehgeh_ | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-12 20:56:06 +0000 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) |
| 2021-07-12 20:56:42 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 21:01:23 +0000 | nschoe | (~quassel@2a01:e0a:8e:a190:e467:8d74:86ae:d294) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-07-12 21:01:39 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 276 seconds) |
| 2021-07-12 21:04:33 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-12 21:06:48 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 256 seconds) |
| 2021-07-12 21:09:06 +0000 | MQ-17J | (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-12 21:09:38 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 21:11:14 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) (Quit: -) |
| 2021-07-12 21:12:16 +0000 | tremon_ | (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-07-12 21:13:21 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 21:13:57 +0000 | even4void | (even4void@came.here.for-some.fun) (Remote host closed the connection) |
| 2021-07-12 21:13:58 +0000 | xacktm | (xacktm@user/xacktm) (Remote host closed the connection) |
| 2021-07-12 21:13:58 +0000 | andreas3- | (andreas303@ip227.orange.bnc4free.com) (Remote host closed the connection) |
| 2021-07-12 21:15:50 +0000 | phaazon | (~phaazon@2001:41d0:a:fe76::1) (Ping timeout: 272 seconds) |
| 2021-07-12 21:17:15 +0000 | ub | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-12 21:19:57 +0000 | ubert | (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-12 21:20:04 +0000 | chisui | (~chisui@200116b8667bfd006d48966f94785d9f.dip.versatel-1u1.de) |
| 2021-07-12 21:21:34 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 21:22:11 +0000 | fendor | (~fendor@77.119.208.64.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-07-12 21:22:29 +0000 | <Atum_> | If `==` is a function, why can't I call it as `== 1 2`? |
| 2021-07-12 21:22:42 +0000 | <Guest25> | (==) 1 2 |
| 2021-07-12 21:22:53 +0000 | <geekosaur> | because that's not the syntax for infix // symbol functions |
| 2021-07-12 21:23:03 +0000 | <Atum_> | hm, symbol functions |
| 2021-07-12 21:23:08 +0000 | <Atum_> | Ok, I'll search about it, thanks! |
| 2021-07-12 21:23:24 +0000 | <geekosaur> | symbols are infix unless parenthesized; alphanumerics are prefix unless backticked |
| 2021-07-12 21:23:44 +0000 | <geekosaur> | so (==) a b but a `mod` b |
| 2021-07-12 21:24:46 +0000 | <Atum_> | I see, ty! |
| 2021-07-12 21:25:00 +0000 | chexum | (~chexum@gateway/tor-sasl/chexum) |
| 2021-07-12 21:25:53 +0000 | <chisui> | why does `(\case {}) :: forall v a. Proxy (v :: Void) -> a` result in a non-exhaustive Patter warning when using `-Wall`? |
| 2021-07-12 21:26:04 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 256 seconds) |
| 2021-07-12 21:26:32 +0000 | <chisui> | * needs Extensions: LambdaCase, ScopedTypeVariables, DataKinds, EmptyCase |
| 2021-07-12 21:27:54 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-07-12 21:28:53 +0000 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-12 21:29:15 +0000 | <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 21:30:07 +0000 | <Hecate> | > :t absurd |
| 2021-07-12 21:30:10 +0000 | <lambdabot> | <hint>:1:1: error: parse error on input ‘:’ |
| 2021-07-12 21:30:12 +0000 | <Hecate> | booo |
| 2021-07-12 21:30:16 +0000 | <monochrom> | Proxy (v :: Void) is not Void. |
| 2021-07-12 21:30:16 +0000 | <Hecate> | % :t absurd |
| 2021-07-12 21:30:16 +0000 | <yahb> | Hecate: forall {a}. Void -> a |
| 2021-07-12 21:30:43 +0000 | <boxscape> | % (\case {}) (Proxy :: Proxy Void) |
| 2021-07-12 21:30:43 +0000 | <yahb> | boxscape: *** Exception: <interactive>:149:2-9: Non-exhaustive patterns in case |
| 2021-07-12 21:31:13 +0000 | <chisui> | monochrom: but you can't create a value of that Type. |
| 2021-07-12 21:31:21 +0000 | <boxscape> | chisui: see my example |
| 2021-07-12 21:31:25 +0000 | <monochrom> | boxscape just did. |
| 2021-07-12 21:31:36 +0000 | <janus> | % (\case Proxy -> "Yo") (Proxy :: Proxy Void) |
| 2021-07-12 21:31:36 +0000 | <yahb> | janus: "Yo" |
| 2021-07-12 21:31:39 +0000 | <boxscape> | wait |
| 2021-07-12 21:31:46 +0000 | <boxscape> | it's Proxy (v :: Void) |
| 2021-07-12 21:32:20 +0000 | <chisui> | I want a Proxy where the argument is of the DataKind of Void. |
| 2021-07-12 21:33:13 +0000 | <boxscape> | % foo = ((\case {}) :: forall v a. Proxy (v :: Void) -> a) |
| 2021-07-12 21:33:13 +0000 | <yahb> | boxscape: |
| 2021-07-12 21:33:16 +0000 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
| 2021-07-12 21:33:46 +0000 | <boxscape> | % foo Proxy |
| 2021-07-12 21:33:46 +0000 | <yahb> | boxscape: *** Exception: <interactive>:153:9-16: Non-exhaustive patterns in case |
| 2021-07-12 21:34:13 +0000 | even4void | (even4void@came.here.for-some.fun) |
| 2021-07-12 21:34:13 +0000 | <boxscape> | chisui: that means it really is non-exhaustive |
| 2021-07-12 21:34:48 +0000 | <chisui> | huh, do you not have to provide a proof for v? |
| 2021-07-12 21:34:57 +0000 | <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 21:35:02 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-07-12 21:35:03 +0000 | xacktm | (xacktm@user/xacktm) |
| 2021-07-12 21:35:34 +0000 | <chisui> | % foo (Proxy :: Proxy Any) |
| 2021-07-12 21:35:34 +0000 | <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 21:35:49 +0000 | oldleather | (~oldleathe@172.58.168.19) |
| 2021-07-12 21:36:12 +0000 | <boxscape> | chisui: I'm not actually sure how GHC supplies v here but when in doubt it usually is Any |
| 2021-07-12 21:36:19 +0000 | <monochrom> | This is very similar to an error I made when I was learning set theory. |
| 2021-07-12 21:36:36 +0000 | <monochrom> | {} is the empty set, but {{}} is non-empty. |
| 2021-07-12 21:37:34 +0000 | <monochrom> | My teacher had trouble convincing me of that for like half and hour. |
| 2021-07-12 21:37:42 +0000 | <chisui> | Proxy is a functor. So shouldn't `Proxy (v :: Void)` be that functor be applied to the empty category? |
| 2021-07-12 21:37:47 +0000 | oldleather | (~oldleathe@172.58.168.19) (Leaving) |
| 2021-07-12 21:38:09 +0000 | <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 21:38:16 +0000 | <boxscape> | Any breaks the assumption |
| 2021-07-12 21:38:22 +0000 | <boxscape> | but Any isn't allowed in Agda |
| 2021-07-12 21:38:45 +0000 | <boxscape> | (...the assumption being that you must be able to supply a v) |
| 2021-07-12 21:39:12 +0000 | <monochrom> | As far as the Functor class is concerned, it is only concerned about Proxy (v :: *), no? |
| 2021-07-12 21:39:37 +0000 | <monochrom> | Because you need "(a -> b) -> Proxy a -> Proxy b" to make sense. |
| 2021-07-12 21:41:18 +0000 | <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 21:42:03 +0000 | <boxscape> | chisui: btw looking at the core output confirms that GHC chooses Any as instantiation for v |
| 2021-07-12 21:42:04 +0000 | <chisui> | monochrom: I didn't mean Functor in the haskell sense but the category theoretical sense. |
| 2021-07-12 21:42:27 +0000 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-12 21:42:36 +0000 | <chisui> | boxscape: thank you. Too bad |
| 2021-07-12 21:43:09 +0000 | <boxscape> | chisui: if it bothers you I suppose you could open a ticket on the issue tracker to spark a discussion... |
| 2021-07-12 21:43:41 +0000 | <boxscape> | though it might not be feasible to disallow it, idk |
| 2021-07-12 21:44:17 +0000 | <boxscape> | (s/disallow it/make GHC not choose Any here) |
| 2021-07-12 21:45:19 +0000 | <chisui> | boxscape: how did you discover that any was chosen? |
| 2021-07-12 21:47:12 +0000 | <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 21:48:10 +0000 | <monochrom> | The IOs are a bit distracting :) |
| 2021-07-12 21:48:24 +0000 | <chisui> | Thank you |
| 2021-07-12 21:48:52 +0000 | <boxscape> | monochrom: that is true, could be more enlightening to actually compile a file that contains the expression with -ddump-simpl |
| 2021-07-12 21:49:09 +0000 | <monochrom> | "Data.Proxy.Proxy @ Data.Void.Void @ GHC.Types.Any" helps, though. |
| 2021-07-12 21:51:54 +0000 | <monochrom> | "type family Any :: k" inhabits every kind. That's very kind of it. |
| 2021-07-12 21:52:47 +0000 | <chisui> | Well its definition is just `type family Any where {}` so ... |
| 2021-07-12 21:53:39 +0000 | argento | (~argent0@168-227-97-29.ptr.westnet.com.ar) (Ping timeout: 276 seconds) |
| 2021-07-12 21:53:40 +0000 | ukari | (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-12 21:53:57 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 21:54:27 +0000 | ukari | (~ukari@user/ukari) |
| 2021-07-12 21:54:43 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-12 21:54:55 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 21:55:14 +0000 | <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 21:56:07 +0000 | V | (~v@anomalous.eu) |
| 2021-07-12 21:57:24 +0000 | <boxscape> | (without the NOINLINE foo simply becomes an exception about non-exhaustive patterns) |
| 2021-07-12 21:57:30 +0000 | <boxscape> | s/foo/test |
| 2021-07-12 21:58:22 +0000 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-12 21:59:16 +0000 | <chisui> | Isn't using `Any` the same as arguing from False? |
| 2021-07-12 21:59:33 +0000 | thecoder | (~mrrobot@c-73-27-71-147.hsd1.fl.comcast.net) (Ping timeout: 255 seconds) |
| 2021-07-12 21:59:39 +0000 | Ariakenom | (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Read error: Connection reset by peer) |
| 2021-07-12 21:59:41 +0000 | <boxscape> | yes |
| 2021-07-12 22:00:07 +0000 | <chisui> | Seems bad |
| 2021-07-12 22:00:27 +0000 | <geekosaur> | think of it as type level undefined, maybe? |
| 2021-07-12 22:00:40 +0000 | <boxscape> | it is bad if you want to have a consistent type theory |
| 2021-07-12 22:01:05 +0000 | <boxscape> | (haskell's type system isn't consistent in more than one way) |
| 2021-07-12 22:01:20 +0000 | <monochrom> | Haskell is not for arguing. |
| 2021-07-12 22:01:21 +0000 | <boxscape> | s/isn't consistent/is inconsistent |
| 2021-07-12 22:01:50 +0000 | <monochrom> | Unpopular opinion: It is the stance "use Haskell for proofs" that is inconsistent. |
| 2021-07-12 22:02:20 +0000 | mikoto-chan | (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 256 seconds) |
| 2021-07-12 22:02:48 +0000 | <maralorn> | monochrom: +1 |
| 2021-07-12 22:03:35 +0000 | <chisui> | Well I tried to create a category implementation `data Phantom k (a :: k) (b :: k) = Phantom` and `type Empty = Phantom Void` |
| 2021-07-12 22:03:54 +0000 | <maralorn> | I have been confused and slightly insecure about the Haskell typesystem for years because people kept saying it is inconsistent. |
| 2021-07-12 22:04:04 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-12 22:04:37 +0000 | <monochrom> | The Haskell term system, type system, and kind system are very much consistent. |
| 2021-07-12 22:05:02 +0000 | <monochrom> | You do lose a few axioms you would expect from other logics, yes. |
| 2021-07-12 22:05:03 +0000 | <chisui> | monochrom: if you allow bottom? |
| 2021-07-12 22:05:21 +0000 | <Hecate> | 👀 |
| 2021-07-12 22:07:40 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 22:07:44 +0000 | <monochrom> | You should still feel insecure that you can still make a mistake of non-termination in Haskell, yes. |
| 2021-07-12 22:08:10 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-07-12 22:08:47 +0000 | <monochrom> | But looking at how C programmers don't really feel insecure with even less safety nets, I would say "take it easy". |
| 2021-07-12 22:08:57 +0000 | rostero | (uid236576@id-236576.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-12 22:10:08 +0000 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2021-07-12 22:10:36 +0000 | <chisui> | Well I like type systems where you can't write `unsafeCoerce` |
| 2021-07-12 22:10:40 +0000 | <monochrom> | My opinion on ensuring termination and doing so ergonomically is still with: don't do it with types, do it with an extra static analysis tool. |
| 2021-07-12 22:11:37 +0000 | <monochrom> | I can change my opinion when I see an ergonomic dependently typed language. I don't think Agda etc have achieved it. |
| 2021-07-12 22:13:43 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 22:13:46 +0000 | alx741 | (~alx741@186.178.108.22) |
| 2021-07-12 22:14:13 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 22:14:22 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 22:18:03 +0000 | sheepduck | (~sheepduck@user/sheepduck) |
| 2021-07-12 22:18:21 +0000 | <chisui> | monochrom: You are completely right. Nevertheless I was stumped by this. I mean GHC even warned my that this would be an issue. |
| 2021-07-12 22:18:33 +0000 | o1lo01ol1o | (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-07-12 22:18:47 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-07-12 22:22:44 +0000 | Atum_ | (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-12 22:23:36 +0000 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-07-12 22:24:04 +0000 | hololeap | (~hololeap@user/hololeap) |
| 2021-07-12 22:24:11 +0000 | dudek | (~dudek@185.150.236.155) (Quit: Leaving) |
| 2021-07-12 22:25:23 +0000 | <maralorn> | chisui: I am not convinced that unsafeCoerce is even a property of the typesystem. |
| 2021-07-12 22:27:13 +0000 | <geekosaur> | I see it as a property of the language to evade the typesystem |
| 2021-07-12 22:29:46 +0000 | <boxscape> | Well, if your typesystem is logically inconsistent (like haskell's), that means it allows you to construct a function of type `forall a b . a -> b`, at least. Though whether it allows you to construct a function that behaves like unsafeCoerce is a different matter |
| 2021-07-12 22:33:46 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-12 22:33:55 +0000 | dfg | (dfg@2600:3c00::f03c:92ff:feb4:be75) (Changing host) |
| 2021-07-12 22:33:55 +0000 | dfg | (dfg@user/dfg) |
| 2021-07-12 22:34:37 +0000 | chomwitt | (~Pitsikoko@2a02:587:dc04:e00:12c3:7bff:fe6d:d374) |
| 2021-07-12 22:38:15 +0000 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-07-12 22:40:05 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 22:41:58 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-12 22:43:24 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-12 22:43:47 +0000 | chisui | (~chisui@200116b8667bfd006d48966f94785d9f.dip.versatel-1u1.de) (Quit: Client closed) |
| 2021-07-12 22:44:06 +0000 | son0p | (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-07-12 22:44:30 +0000 | Core8687 | (~Core8687@2804:14c:8793:8e2f:c580:1df5:d4d4:84b3) (Ping timeout: 272 seconds) |
| 2021-07-12 22:44:33 +0000 | warnz | (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 22:46:05 +0000 | <monochrom> | @quote monochrom unsafeCoerce |
| 2021-07-12 22:46:05 +0000 | <lambdabot> | monochrom says: isTrue = (unsafeCoerce :: Either a b -> Bool) . (unsafeCoerce :: Maybe c -> Either a b) . (unsafeCoerce :: Bool -> Maybe c) |
| 2021-07-12 22:47:04 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 2021-07-12 22:47:16 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-12 22:52:39 +0000 | <Guest25> | how efficient is Foreign.Storable.peek? like say I have a Ptr Int and need the value multiple times, should I call (peek ptr) each time or store the value as a Haskell Int on the first call? |
| 2021-07-12 22:52:56 +0000 | <Guest25> | (doing some FFI stuff or I wouldn't be dealing with Ptrs manually) |
| 2021-07-12 22:54:18 +0000 | <geekosaur> | reasonably efficient but it'll still do the peek each time instead of optimizing it down via CSE. then again if this matters to performance you're arguably making a mistake somewhere else |
| 2021-07-12 22:55:47 +0000 | <Guest25> | cool thanks! |
| 2021-07-12 22:55:52 +0000 | <Guest25> | and yeah, it probably won't matter |
| 2021-07-12 22:56:58 +0000 | <hololeap> | with optparse-applicative, I want to use a specific configuration if no options are passed to the command line. how can I do this? |
| 2021-07-12 22:58:27 +0000 | <monochrom> | I think I specified default values for every option. |
| 2021-07-12 22:58:57 +0000 | drd | (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 255 seconds) |
| 2021-07-12 22:59:27 +0000 | <hpc> | it's also Alternative, so maybe you can have options <|> defaultOptions |
| 2021-07-12 23:01:23 +0000 | <hololeap> | hpc, that's what I was thinking but I haven't used the library enough to have an intuition for how it works |
| 2021-07-12 23:03:04 +0000 | <hpc> | it's pretty much like any other parser's Alternative, but you don't have to worry about using try to not consume input |
| 2021-07-12 23:04:39 +0000 | <monochrom> | https://github.com/treblacy/random-read/blob/eb89d291e687b72269c30d2a2903cd26cf8f6f73/random-read.hs is how I did it with every option having "<> value mydefaultforthis" |
| 2021-07-12 23:04:46 +0000 | phaazon | (~phaazon@2001:41d0:a:fe76::1) |
| 2021-07-12 23:04:57 +0000 | <hololeap> | so, when does it fail (in the Alternative sense)? when options are given out-of-order? when they are not given? |
| 2021-07-12 23:05:48 +0000 | <hpc> | whenever the parser would error out normally |
| 2021-07-12 23:05:57 +0000 | <hpc> | if the program would bail out with help text, instead try this other parser |
| 2021-07-12 23:06:18 +0000 | <hololeap> | hm, it sounds like I'll just have to play around with it until I build an intuition for it |
| 2021-07-12 23:07:23 +0000 | <geekosaur> | sounds to me like it would work best if there's otherwise at least one required option |
| 2021-07-12 23:08:34 +0000 | <hpc> | yeah, but if the program would do the right thing in that case problem solved :D |
| 2021-07-12 23:08:50 +0000 | <hpc> | who even needs the alternate parser at that point |
| 2021-07-12 23:09:43 +0000 | <hpc> | hololeap: if it helps, normally the Alternative instance is so you can do things like "foo --create --name=foo" vs "foo --delete --id=12345" |
| 2021-07-12 23:10:57 +0000 | <hpc> | data FooAction = Create String | Delete Int | Version | Help | etc etc |
| 2021-07-12 23:11:22 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-07-12 23:18:25 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Remote host closed the connection) |
| 2021-07-12 23:19:08 +0000 | caubert | (~caubert@136.244.111.235) (Quit: WeeChat 3.1) |
| 2021-07-12 23:19:20 +0000 | caubert | (~caubert@136.244.111.235) |
| 2021-07-12 23:19:58 +0000 | acidjnk | (~acidjnk@p200300d0c72b95096d4cdcac61b6b349.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-07-12 23:22:03 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2021-07-12 23:25:16 +0000 | o1lo01ol1o | (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-07-12 23:25:37 +0000 | cjb | (~cjb@user/cjb) |
| 2021-07-12 23:27:53 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2021-07-12 23:29:33 +0000 | amahl | (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 255 seconds) |
| 2021-07-12 23:29:36 +0000 | o1lo01ol1o | (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Ping timeout: 256 seconds) |
| 2021-07-12 23:32:49 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2021-07-12 23:35:16 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 2021-07-12 23:39:00 +0000 | Gurkenglas | (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 255 seconds) |
| 2021-07-12 23:40:01 +0000 | dre_ | (~dre@2001:8003:c932:c301:44a6:1427:4d7d:b99a) |
| 2021-07-12 23:42:04 +0000 | Raugh | (~mike@174.127.249.180) |
| 2021-07-12 23:42:52 +0000 | dre_ | dre |
| 2021-07-12 23:43:08 +0000 | <Raugh> | I'm trying to use Database.PostgreSQL.Simple with queries read from a file but I can't figure out how to go from [Char] to Query. The docs say to use overloaded strings and construct the Queries in place but I'm reading them from a file |
| 2021-07-12 23:48:23 +0000 | <geekosaur> | https://hackage.haskell.org/package/postgresql-simple-0.6.4/docs/src/Database.PostgreSQL.Simple.Ty… |
| 2021-07-12 23:48:30 +0000 | <geekosaur> | evil hack, but. |
| 2021-07-12 23:48:45 +0000 | <Axman6> | @hoodle IsString |
| 2021-07-12 23:48:45 +0000 | <lambdabot> | Data.String class IsString a |
| 2021-07-12 23:48:45 +0000 | <lambdabot> | GHC.Exts class IsString a |
| 2021-07-12 23:48:45 +0000 | <lambdabot> | Distribution.Compat.Prelude.Internal class IsString a |
| 2021-07-12 23:48:52 +0000 | <geekosaur> | (you're defeating its intended type safety) |
| 2021-07-12 23:49:01 +0000 | <Axman6> | @hoogle fromString |
| 2021-07-12 23:49:01 +0000 | <lambdabot> | Data.String fromString :: IsString a => String -> a |
| 2021-07-12 23:49:01 +0000 | <lambdabot> | GHC.Exts fromString :: IsString a => String -> a |
| 2021-07-12 23:49:01 +0000 | <lambdabot> | Data.Text.Internal.Builder fromString :: String -> Builder |
| 2021-07-12 23:49:42 +0000 | <AWizzArd> | Raugh: the `Query` constructor takes a ByteString. You could try let q = Query (BS.pack "SELECT from file") |
| 2021-07-12 23:50:15 +0000 | <AWizzArd> | Raugh: possibly you can read it directly as ByteString from the file. |
| 2021-07-12 23:50:46 +0000 | <AWizzArd> | I am doing something similar. I read strings as BS from Postgres actually. I have queries stored in there. I retrieve them and then run them. |
| 2021-07-12 23:52:39 +0000 | <Axman6> | Isn't that what stored procedures are for? |
| 2021-07-12 23:52:48 +0000 | <Raugh> | interesting, ok, trying each method. Its not escaping a substituted table name correct for me either and I'm realizing it might not be set up to run multiple statements at once out of the box so I think I have a bit of digging to do |
| 2021-07-12 23:53:05 +0000 | <hololeap> | how would I make a --help option with optparse-applicative? |
| 2021-07-12 23:53:13 +0000 | <Axman6> | no, it almost certainly isn't |
| 2021-07-12 23:53:14 +0000 | <AWizzArd> | Axman6: sure, but in my case the queries are editable by certain admin users. |
| 2021-07-12 23:53:21 +0000 | <Axman6> | quick hack would be to split on ; |
| 2021-07-12 23:53:45 +0000 | argento | (~argent0@168-227-97-29.ptr.westnet.com.ar) |
| 2021-07-12 23:54:38 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 23:54:50 +0000 | argento | (~argent0@168-227-97-29.ptr.westnet.com.ar) (Client Quit) |
| 2021-07-12 23:55:21 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 23:56:56 +0000 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-12 23:57:08 +0000 | lavaman | (~lavaman@98.38.249.169) |
| 2021-07-12 23:59:11 +0000 | <hololeap> | this seems really convoluted for such a common use case |
