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