Logs: liberachat/#haskell
| 2025-10-14 18:05:27 | → | Axma32074 joins (~Axman6@user/axman6) |
| 2025-10-14 18:05:38 | × | Axman6 quits (~Axman6@user/axman6) (Read error: Connection reset by peer) |
| 2025-10-14 18:05:45 | <ski> | there is the occasional query in -beginners |
| 2025-10-14 18:11:44 | → | tromp joins (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) |
| 2025-10-14 18:13:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 18:16:58 | × | fp quits (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 248 seconds) |
| 2025-10-14 18:18:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-14 18:20:36 | → | fp joins (~Thunderbi@2001-14ba-6e24-3000--190.rev.dnainternet.fi) |
| 2025-10-14 18:29:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 18:29:39 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2025-10-14 18:34:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 18:35:05 | → | ft joins (~ft@p4fc2a207.dip0.t-ipconnect.de) |
| 2025-10-14 18:43:52 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-14 18:44:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 18:49:39 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 256 seconds) |
| 2025-10-14 18:49:50 | <geekosaur> | right, that's why I want to forward-ban it: the topic already suggests asking here instead, and people in there often but not always end up coming here to ask anyway |
| 2025-10-14 18:50:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-14 19:00:02 | × | caconym7478798 quits (~caconym@user/caconym) (Quit: bye) |
| 2025-10-14 19:00:44 | → | caconym7478798 joins (~caconym@user/caconym) |
| 2025-10-14 19:00:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 19:05:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-14 19:06:00 | <ski> | aye |
| 2025-10-14 19:06:51 | <ski> | (invite-only, rather than blanket ban, would probably be more comfortable, i think) |
| 2025-10-14 19:07:25 | <geekosaur> | "forward-ban". which means instead of preventing joining it joins them to a different channel, in this case #haskell |
| 2025-10-14 19:08:17 | <ski> | yep |
| 2025-10-14 19:09:53 | <ski> | `+f' (forward) applies to all of `+i' (invite-only), `+j' (join throttle), `+l' (limit), `+r' (registered only), as well as `+b' (ban) |
| 2025-10-14 19:11:40 | <ski> | (with `+i', you can easily temporarily side-step, with sending `invite' to ChanServ (.. or adding an invite exempt `+I'). with `+b', you'd have to add a ban exempt `+e') |
| 2025-10-14 19:15:42 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-14 19:16:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 19:21:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 19:21:24 | → | Guest77 joins (~Guest77@static-186-121-246-148.acelerate.net) |
| 2025-10-14 19:21:56 | <Guest77> | i don't understand currying principle, can someone explain me? |
| 2025-10-14 19:22:32 | <monochrom> | It would be more productive with a more specific question or comment. |
| 2025-10-14 19:24:08 | <haskellbridge> | <Kyle Butt> Guest77: A function of 2 arguments can be re-written as a function of 1 argument (the first) that returns a function of one argument (the second). |
| 2025-10-14 19:25:27 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-10-14 19:25:44 | × | nogloff quits (uid464985@id-464985.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-14 19:26:25 | <EvanR> | :t curry |
| 2025-10-14 19:26:26 | <lambdabot> | ((a, b) -> c) -> a -> b -> c |
| 2025-10-14 19:26:37 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-10-14 19:26:40 | <EvanR> | to understand curry you must first understanding currying |
| 2025-10-14 19:27:02 | <EvanR> | actually, just parentheses |
| 2025-10-14 19:27:17 | <EvanR> | ((a,b) -> c) -> (a -> (b -> c)) |
| 2025-10-14 19:29:45 | → | Everything joins (~Everythin@46.96.48.125) |
| 2025-10-14 19:32:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 19:32:38 | ski | looks at Guest77 |
| 2025-10-14 19:33:18 | × | raym quits (~ray@user/raym) (Ping timeout: 256 seconds) |
| 2025-10-14 19:35:14 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 2025-10-14 19:38:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 19:39:31 | → | Enrico63 joins (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) |
| 2025-10-14 19:40:17 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-14 19:41:16 | × | Guest77 quits (~Guest77@static-186-121-246-148.acelerate.net) (Quit: Client closed) |
| 2025-10-14 19:50:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 19:54:57 | <monochrom> | Not sure I should be happy or sad. GHC.Exts (in fact GHC.Magic.Dict) has WithDict. This allows dynamic instances of classes. I was actually looking for it. |
| 2025-10-14 19:55:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 19:55:35 | × | myme quits (~myme@2a01:799:d5e:5f00:400a:36cb:71d2:d99e) (Ping timeout: 250 seconds) |
| 2025-10-14 19:55:58 | × | haltsolver quits (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-14 19:56:04 | <jackdk> | monochrom: package reflection has been able to do this for a while. lens uses it to implement things like `foldMapBy` where you provide a fake monoid |
| 2025-10-14 19:56:04 | <geekosaur> | yeh, that's been around for a while. as has IfCxt and friends. |
| 2025-10-14 19:56:24 | → | myme joins (~myme@2a01:799:d5e:5f00:3f1f:ed6a:2329:6f95) |
| 2025-10-14 19:57:17 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:5a5d:b819:b564:200f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-14 19:57:34 | → | nschoe joins (~nschoe@2a01:e0a:8e:a190:9978:942:5e21:4051) |
| 2025-10-14 19:59:01 | <monochrom> | Yeah I saw reflection. Sadly or funnily, now it enters GHC canon! |
| 2025-10-14 19:59:18 | trickard_ | is now known as trickard |
| 2025-10-14 20:03:04 | × | Everything quits (~Everythin@46.96.48.125) (Quit: leaving) |
| 2025-10-14 20:03:06 | <EvanR> | we can still ignore it and do type classes vs the world |
| 2025-10-14 20:03:21 | <EvanR> | our implicits are different! |
| 2025-10-14 20:03:38 | <monochrom> | But my class has associated type synonym. :( |
| 2025-10-14 20:04:52 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-14 20:05:49 | × | craunts79533538 quits (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-14 20:06:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 20:07:56 | → | haltsolver joins (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-14 20:11:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 20:15:37 | × | Googulator60 quits (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 20:15:41 | → | Googulator22 joins (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 20:22:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 20:23:44 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2025-10-14 20:27:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-14 20:28:50 | × | Square quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-10-14 20:35:09 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-14 20:44:07 | × | mochie quits (~mochie@user/mochie) (Ping timeout: 256 seconds) |
| 2025-10-14 20:49:14 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
| 2025-10-14 20:49:45 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 2025-10-14 20:55:37 | <monochrom> | Interesting, I have to with withDict like this: withDict @(MyClass MyType) |
| 2025-10-14 21:01:50 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-10-14 21:02:40 | → | pavonia joins (~user@user/siracusa) |
| 2025-10-14 21:04:30 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 2025-10-14 21:06:47 | <tomsmeding> | monochrom: as opposed to how? |
| 2025-10-14 21:09:10 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-10-14 21:09:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-14 21:10:15 | <monochrom> | As opposed to auto-infer. :) |
| 2025-10-14 21:10:55 | <monochrom> | I guess it is not inferrable. Sorry I was studying math for a week, I thought everything were inferrable! |
| 2025-10-14 21:11:53 | <monochrom> | Whereas now I'm detouring into Haskell singletons and dependent types. I see now that nothing is inferrable. |
| 2025-10-14 21:12:43 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 2025-10-14 21:13:36 | <monochrom> | (If not for a few partial functions that I really opinioniate that they should stay partial, I would be using Lean. Reason: I am coding up finite fields with mod prime, I am not going to prove that 3 is a prime! Or that x^2+1 is irreducible!) |
| 2025-10-14 21:14:14 | × | tromp quits (~textual@2001:1c00:3487:1b00:cdf:654a:2a7f:261) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-10-14 21:14:58 | <monochrom> | (So in Haskell I am really coding up finite rings, then let recip x be a runtime error if x has no recip.) |
| 2025-10-14 21:15:45 | <EvanR> | if you don't have the proof that 3 is prime |
| 2025-10-14 21:16:00 | <EvanR> | this is haskell so it's liable to end up being not prime after all |
| 2025-10-14 21:16:16 | <EvanR> | at the worst possible moment |
| 2025-10-14 21:16:25 | <monochrom> | IKR! What if Int has only one bit! |
All times are in UTC.