Logs: liberachat/#haskell
| 2021-07-12 00:39:45 | × | Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa) |
| 2021-07-12 00:40:18 | <geekosaur> | when the types get distinguished because of the aarch64-darwin sbi not supporting C upcasting or something like that |
| 2021-07-12 00:41:04 | <geekosaur> | Word32 and Char# will actually be 32 bits instead of all the types being Word# / Int# underneath |
| 2021-07-12 00:41:44 | <davean> | Yah, I'm really excited about that |
| 2021-07-12 00:43:03 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-12 00:43:27 | <Axman6> | ah great, that'll help with UNPACK sizes |
| 2021-07-12 00:44:00 | <davean> | yes, massively, and memory bandwidth |
| 2021-07-12 00:44:36 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-12 00:47:04 | × | mthvedt quits (uid501949@id-501949.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-12 00:47:24 | × | yauhsien quits (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-12 00:48:07 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-12 00:51:38 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 00:52:35 | → | _xor joins (~xor@74.215.46.133) |
| 2021-07-12 00:54:19 | → | safinaskar joins (~user@109.252.90.89) |
| 2021-07-12 00:54:32 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-12 00:54:38 | ← | safinaskar parts (~user@109.252.90.89) () |
| 2021-07-12 00:58:02 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-12 00:58:50 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 255 seconds) |
| 2021-07-12 00:58:58 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-07-12 00:59:15 | <Axman6> | are we getting one byte Word8# too? |
| 2021-07-12 01:00:48 | → | Core7908 joins (~Core7908@2804:18:47:52d3:1:0:b31:60e7) |
| 2021-07-12 01:01:00 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-07-12 01:01:15 | <geekosaur> | yes |
| 2021-07-12 01:02:24 | → | andreabedini joins (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) |
| 2021-07-12 01:04:04 | × | andreabedini quits (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) (Client Quit) |
| 2021-07-12 01:04:19 | → | andreabedini joins (~andreabed@8s8kj6nms09jvtyb2xjc.ip6.superloop.com) |
| 2021-07-12 01:04:34 | <davean> | Its the biggest deal in ages! |
| 2021-07-12 01:06:40 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-12 01:14:18 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-12 01:19:41 | → | yauhsien joins (~yauhsien@118-167-64-241.dynamic-ip.hinet.net) |
| 2021-07-12 01:23:14 | <Axman6> | This is the ~worst~ best deal in the history of deals |
| 2021-07-12 01:23:25 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 01:23:39 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-07-12 01:24:27 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-12 01:26:29 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-07-12 01:28:44 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-12 01:31:14 | × | xff0x quits (~xff0x@2001:1a81:5298:1800:4b48:fc50:6a76:3d62) (Ping timeout: 255 seconds) |
| 2021-07-12 01:32:29 | <dmj`> | 8 bytes for the price of 1 ... |
| 2021-07-12 01:33:02 | → | xff0x joins (~xff0x@2001:1a81:52d6:3f00:c2c2:4eb1:4c10:1645) |
| 2021-07-12 01:39:17 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 01:40:41 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 258 seconds) |
| 2021-07-12 01:42:07 | <DigitalKiwi> | ate too many bytes now i'm fat ;( |
| 2021-07-12 01:42:18 | × | Guest93 quits (~Guest93@c-73-170-126-103.hsd1.ca.comcast.net) (Quit: Client closed) |
| 2021-07-12 01:42:22 | <Axman6> | should have taken smaller nibbles |
| 2021-07-12 01:42:38 | <monochrom> | haha |
| 2021-07-12 01:43:28 | <monochrom> | If you eat 2 bytes you're fat16. If you eat 4 bytes you're fat32. |
| 2021-07-12 01:43:56 | ← | infinisil parts (~infinisil@mail.infinisil.com) (WeeChat 3.2) |
| 2021-07-12 01:43:56 | <shachaf> | I ate 1.5 bytes. |
| 2021-07-12 01:44:11 | → | dajoer joins (~david@user/gvx) |
| 2021-07-12 01:44:33 | → | Guest81 joins (~Guest81@187.83.249.216.dyn.smithville.net) |
| 2021-07-12 01:44:34 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-07-12 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 |
| 2021-07-12 01:51:31 | infinisil[m] | is now known as infinisil |
| 2021-07-12 01:52:30 | × | infinisil quits (~infinisil@2001:470:69fc:105::ff8) (Quit: Reconnecting) |
| 2021-07-12 01:52:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-12 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? |
| 2021-07-12 01:56:36 | × | peterhil quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-07-12 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? |
| 2021-07-12 01:58:27 | → | infinisil[irc] joins (~infinisil@178.197.225.108) |
| 2021-07-12 02:01:37 | → | beka joins (~beka@104-244-27-23.static.monkeybrains.net) |
| 2021-07-12 02:01:44 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 02:06:47 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-12 02:06:47 | × | infinisil[irc] quits (~infinisil@178.197.225.108) (Ping timeout: 255 seconds) |
| 2021-07-12 02:08:50 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-12 02:11:55 | × | averell quits (~averell@irc.nf3.eu) (Quit: .) |
| 2021-07-12 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? |
| 2021-07-12 02:12:12 | → | averell joins (~averell@user/averell) |
| 2021-07-12 02:12:20 | <Guest81> | is that right or am I missing something? |
| 2021-07-12 02:12:31 | <monochrom> | Yes. Same with "instance Eq a => Eq [a]". |
| 2021-07-12 02:12:46 | <monochrom> | This is why the elementary example is so important. |
| 2021-07-12 02:13:59 | × | hgolden quits (uid507415@id-507415.highgate.irccloud.com) (Read error: Connection reset by peer) |
| 2021-07-12 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. |
| 2021-07-12 02:14:08 | → | hgolden joins (uid507415@id-507415.highgate.irccloud.com) |
| 2021-07-12 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. |
| 2021-07-12 02:16:44 | → | infinisil[irc] joins (~infinisil@178.197.225.108) |
| 2021-07-12 02:19:01 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 02:19:23 | × | td_ quits (~td@94.134.91.97) (Ping timeout: 255 seconds) |
| 2021-07-12 02:20:33 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-12 02:20:34 | FinnElija | is now known as Guest8527 |
| 2021-07-12 02:20:34 | × | Guest8527 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2021-07-12 02:20:34 | finn_elija | is now known as FinnElija |
| 2021-07-12 02:21:21 | → | td_ joins (~td@94.134.91.208) |
| 2021-07-12 02:22:00 | <Axman6> | I don't think that many people who study engineering end up as crane operators... |
| 2021-07-12 02:23:10 | <monochrom> | Indeed, civil engineering having very few job openings... Most go to grad school or find irrelevant jobs. |
| 2021-07-12 02:23:26 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 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 |
| 2021-07-12 02:25:46 | <Axman6> | yeah the former only checks that constraint at the use site IIRC |
| 2021-07-12 02:26:22 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-07-12 02:26:50 | <Guest81> | yup: https://journal.infinitenegativeutility.com/haskell-type-equality-constraints |
| 2021-07-12 02:27:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-12 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 |
| 2021-07-12 02:30:33 | <janus> | dmj`: thanks, that looks very thorough. i'll get started reading... |
| 2021-07-12 02:31:17 | <dmj`> | janus: tldr, put an (m :: * -> *) through all your existing monads |
| 2021-07-12 02:31:41 | → | infinisil joins (~infinisil@2001:470:69fc:105::ff8) |
| 2021-07-12 02:35:24 | × | tcard quits (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-07-12 02:38:50 | × | alx741 quits (~alx741@186.178.108.20) (Quit: alx741) |
| 2021-07-12 02:39:03 | → | tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-07-12 02:41:35 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-12 02:44:25 | <DigitalKiwi> | Axman6: what's the crane operator? i know the bird operator and the fish operator but not the crane operator |
| 2021-07-12 02:49:20 | <monochrom> | haha |
All times are in UTC.