Logs: liberachat/#haskell
| 2021-06-15 18:28:33 | → | Guest36 joins (~Guest36@149.11.92.90) |
| 2021-06-15 18:28:46 | × | adam1 quits (~adam@2a02:8388:1903:9500:96e6:f7ff:fe92:4825) (Client Quit) |
| 2021-06-15 18:28:51 | <monochrom> | I was not on the committee, but I think yes. |
| 2021-06-15 18:29:06 | <lyxia> | I think I found an unambiguous grammar for it and honestly it doesn't look that terrible, so now I'm wondering why the less formal approach. |
| 2021-06-15 18:29:07 | × | Topsi1 quits (~Tobias@dyndsl-037-138-064-101.ewe-ip-backbone.de) (Ping timeout: 244 seconds) |
| 2021-06-15 18:29:45 | × | pbrisbin_ quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Quit: WeeChat 3.1) |
| 2021-06-15 18:30:00 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-06-15 18:30:57 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-15 18:31:21 | <cdsmith> | <lyxia "I think I found an unambiguous g"> Sounds interesting. I hope you share the result. If it is better, it might be good to incorporate into a future Haskell Report! |
| 2021-06-15 18:31:23 | × | Topsi quits (~Tobias@dyndsl-037-138-064-101.ewe-ip-backbone.de) (Ping timeout: 244 seconds) |
| 2021-06-15 18:32:01 | <cdsmith> | (should one ever exist... but that's a different point) |
| 2021-06-15 18:32:09 | <tomsmeding> | dminuoso: "the implementation for MockT" being "the implementation of this MonadFoo class for MockT" I think |
| 2021-06-15 18:32:22 | → | altern joins (~altern@altern.corbina.com.ua) |
| 2021-06-15 18:32:27 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-15 18:32:52 | <tomsmeding> | more concisely "the instance for MockT" |
| 2021-06-15 18:34:25 | × | dunkeln quits (~dunkeln@94.129.65.28) (Quit: leaving) |
| 2021-06-15 18:36:10 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-15 18:37:33 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b9b1:9fc2:289f:a533) (Remote host closed the connection) |
| 2021-06-15 18:38:14 | → | Deewiant_ joins (~deewiant@2001:470:69fc:105::2fd3) |
| 2021-06-15 18:38:19 | × | Guest36 quits (~Guest36@149.11.92.90) (Quit: Connection closed) |
| 2021-06-15 18:39:07 | <cdsmith> | <tomsmeding "more concisely "the instance for"> Yes. To summarize, MonadIO is needed by the MonadFoo instance for MockT. I can't add MonadIO as a superclass of MonadFoo, because I don't own it. I *could* add MonadFoo to the context of the (one and only) GADT constructor, but that breaks newtype deriving and is more complex than needed. Adding MonadFoo to the instance context for that one MonadFoo instance was the right answer. |
| 2021-06-15 18:39:18 | × | killsushi quits (~killsushi@user/killsushi) (Quit: Leaving) |
| 2021-06-15 18:41:01 | → | qbt joins (~edun@user/edun) |
| 2021-06-15 18:41:54 | → | groucho joins (~user@dynamic-adsl-78-14-24-41.clienti.tiscali.it) |
| 2021-06-15 18:42:00 | ← | groucho parts (~user@dynamic-adsl-78-14-24-41.clienti.tiscali.it) () |
| 2021-06-15 18:43:11 | → | Topsi joins (~Tobias@dyndsl-037-138-064-101.ewe-ip-backbone.de) |
| 2021-06-15 18:43:49 | → | davetapley joins (sid666@id-666.highgate.irccloud.com) |
| 2021-06-15 18:43:56 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-06-15 18:45:47 | × | rk04 quits (~rk04@user/rajk) (Quit: rk04) |
| 2021-06-15 18:46:42 | × | the-coot[m] quits (~the-cootm@2001:470:69fc:105::95f) (Quit: Client limit exceeded: 10000) |
| 2021-06-15 18:46:53 | × | Topsi2 quits (~Tobias@dyndsl-037-138-064-101.ewe-ip-backbone.de) (Ping timeout: 244 seconds) |
| 2021-06-15 18:47:11 | → | Codaraxis joins (~Codaraxis@s13490149139.blix.com) |
| 2021-06-15 18:50:22 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-15 18:55:03 | × | listofoptions_ quits (~haha@nat.syssrc.com) (Quit: Leaving) |
| 2021-06-15 18:55:16 | → | listofoptions_ joins (~haha@nat.syssrc.com) |
| 2021-06-15 18:55:25 | × | arjun quits (~user@user/arjun) (Remote host closed the connection) |
| 2021-06-15 18:55:40 | × | listofoptions_ quits (~haha@nat.syssrc.com) (Client Quit) |
| 2021-06-15 18:56:02 | → | Guest9 joins (~Guest9@103.250.137.187) |
| 2021-06-15 18:56:18 | → | listofoptions joins (~haha@nat.syssrc.com) |
| 2021-06-15 18:58:05 | × | jophish quits (~jophish@2001:470:69fc:105::670) (Quit: Client limit exceeded: 10000) |
| 2021-06-15 18:58:23 | → | ordinate joins (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) |
| 2021-06-15 18:58:29 | <ordinate> | good afternoon |
| 2021-06-15 18:59:04 | → | dudek_ joins (~dudek@185.150.236.112) |
| 2021-06-15 18:59:31 | → | iDead joins (~iDead@254.142.71.148.rev.vodafone.pt) |
| 2021-06-15 18:59:33 | <janus> | GREETINGS ORDINATE |
| 2021-06-15 18:59:34 | <iDead> | where is the error? |
| 2021-06-15 18:59:35 | <iDead> | q :: (Integer, (Integer -> Integer, Integer -> Integer)) -> (Integer, Integer) |
| 2021-06-15 18:59:36 | <iDead> | q (h, (t1, t2)) = (split (add . (id >< ((uncurry (.)) . swap))) (succ.p2.p2)) (h , (t1,t2)) |
| 2021-06-15 19:00:03 | → | the-coot[m] joins (~the-cootm@2001:470:69fc:105::95f) |
| 2021-06-15 19:00:04 | <ordinate> | greetings! |
| 2021-06-15 19:00:15 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.1) |
| 2021-06-15 19:00:17 | × | ServerStatsDisco quits (~serversta@2001:470:69fc:105::1a) (Quit: Client limit exceeded: 10000) |
| 2021-06-15 19:00:22 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-15 19:00:29 | <glguy> | iDead: it doesn't look like you pasted the error message |
| 2021-06-15 19:00:30 | <iDead> | can anyone find the error there? |
| 2021-06-15 19:00:50 | <ordinate> | the error is that you have a function with that typesig |
| 2021-06-15 19:01:11 | <janus> | what is >< ? |
| 2021-06-15 19:01:12 | <iDead> | glguy Couldn't match type ‘a -> c’ with ‘Integer’ |
| 2021-06-15 19:01:13 | <iDead> | Expected type: (Integer, (a -> b, b -> c)) -> (Integer, Integer) |
| 2021-06-15 19:01:13 | <iDead> | Actual type: (Integer, (a -> b, b -> c)) -> (Integer, a -> c) |
| 2021-06-15 19:01:24 | <iDead> | it's a split |
| 2021-06-15 19:01:36 | <janus> | what is p2? |
| 2021-06-15 19:01:39 | → | jophish joins (~jophish@2001:470:69fc:105::670) |
| 2021-06-15 19:01:49 | <iDead> | p2 = second |
| 2021-06-15 19:02:00 | <janus> | % :t second |
| 2021-06-15 19:02:01 | <yahb> | janus: Arrow a => a b c -> a (d, b) (d, c) |
| 2021-06-15 19:02:05 | <iDead> | snd* |
| 2021-06-15 19:02:22 | × | dudek quits (~dudek@185.150.236.112) (Ping timeout: 268 seconds) |
| 2021-06-15 19:02:23 | → | ServerStatsDisco joins (~serversta@2001:470:69fc:105::1a) |
| 2021-06-15 19:02:41 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-15 19:03:37 | × | Sgeo_ quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Quit: Leaving) |
| 2021-06-15 19:03:46 | <janus> | i think i'll side with ordinate, what is the point of writing a point-freeish function and then wondering when it turns out to be hard to decipher? |
| 2021-06-15 19:03:47 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-06-15 19:03:52 | <glguy> | succ.p2.p2 should probably be p2.p2.succ, then? |
| 2021-06-15 19:04:34 | <glguy> | err |
| 2021-06-15 19:04:42 | <glguy> | p2 (p2 succ)? |
| 2021-06-15 19:05:02 | × | leah2 quits (~leah@vuxu.org) (Quit: trotz alledem!) |
| 2021-06-15 19:05:13 | → | leah2 joins (~leah@vuxu.org) |
| 2021-06-15 19:05:48 | → | Aleci[m] joins (~alecilibr@2001:470:69fc:105::32e7) |
| 2021-06-15 19:05:58 | <ordinate> | actually this reminds me of something i wanted to know |
| 2021-06-15 19:06:12 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-15 19:06:15 | <ordinate> | whats the way to check if two values are the same type |
| 2021-06-15 19:06:34 | <ordinate> | say f x y = True if both x and y share the same type |
| 2021-06-15 19:07:08 | <iDead> | glguy it's was error in the "fetch", thanks for the help =) |
| 2021-06-15 19:07:08 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-15 19:07:11 | → | jneira_ joins (~jneira_@5.red-81-39-172.dynamicip.rima-tde.net) |
| 2021-06-15 19:07:45 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-06-15 19:07:53 | × | abbie quits (~abbie@user/abbie) (Quit: Bye!) |
| 2021-06-15 19:07:54 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (Quit: Bye!) |
| 2021-06-15 19:07:59 | <glguy> | ordinate: That's not something you'd generally do |
| 2021-06-15 19:08:11 | → | abbie joins (~abbie@user/abbie) |
| 2021-06-15 19:08:12 | → | SquidDev joins (~SquidDev@autoclave.squiddev.cc) |
| 2021-06-15 19:08:19 | <ordinate> | well, i still want to do it |
| 2021-06-15 19:08:25 | <monochrom> | Unless you require Typeable, you can't tell. |
| 2021-06-15 19:09:03 | <janus> | how is Typeable different from Generic? |
| 2021-06-15 19:09:09 | <ordinate> | ^ |
| 2021-06-15 19:09:49 | <monochrom> | This "inability" is a Feature(TM), it enables parametricity, e.g., if you have "f :: a -> [a]" and a test case shows "f () = [(), ()]", then I also know "f 4 = [4, 4]", you cannot have "f 4 = [4, 5]". |
| 2021-06-15 19:10:33 | <janus> | so it is what some call "referential transparency" ? |
| 2021-06-15 19:10:42 | <monochrom> | Typeable and Generic are so unrelated I don't know how to answer "what's the difference". |
| 2021-06-15 19:10:48 | <monochrom> | No. |
All times are in UTC.