Newest at the top
| 2025-10-14 22:44:07 +0200 | mochie | (~mochie@user/mochie) (Ping timeout: 256 seconds) |
| 2025-10-14 22:35:09 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-10-14 22:28:50 +0200 | Square | (~Square4@user/square) (Ping timeout: 256 seconds) |
| 2025-10-14 22:27:06 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-14 22:23:44 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-10-14 22:22:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 22:15:41 +0200 | Googulator22 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) |
| 2025-10-14 22:15:37 +0200 | Googulator60 | (~Googulato@2a01-036d-0106-03fa-dc7a-fb6e-71bb-aaf0.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-14 22:11:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 22:07:56 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-14 22:06:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 22:05:49 +0200 | craunts79533538 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-14 22:04:52 +0200 | gustrb | (~gustrb@191.243.134.87) |
| 2025-10-14 22:03:38 +0200 | <monochrom> | But my class has associated type synonym. :( |
| 2025-10-14 22:03:21 +0200 | <EvanR> | our implicits are different! |
| 2025-10-14 22:03:06 +0200 | <EvanR> | we can still ignore it and do type classes vs the world |
| 2025-10-14 22:03:04 +0200 | Everything | (~Everythin@46.96.48.125) (Quit: leaving) |
| 2025-10-14 21:59:18 +0200 | trickard_ | trickard |
| 2025-10-14 21:59:01 +0200 | <monochrom> | Yeah I saw reflection. Sadly or funnily, now it enters GHC canon! |
| 2025-10-14 21:57:34 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:9978:942:5e21:4051) nschoe |
| 2025-10-14 21:57:17 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:5a5d:b819:b564:200f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-14 21:56:24 +0200 | myme | (~myme@2a01:799:d5e:5f00:3f1f:ed6a:2329:6f95) myme |
| 2025-10-14 21:56:04 +0200 | <geekosaur> | yeh, that's been around for a while. as has IfCxt and friends. |
| 2025-10-14 21:56:04 +0200 | <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 21:55:58 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 256 seconds) |
| 2025-10-14 21:55:35 +0200 | myme | (~myme@2a01:799:d5e:5f00:400a:36cb:71d2:d99e) (Ping timeout: 250 seconds) |
| 2025-10-14 21:55:27 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 21:54:57 +0200 | <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 21:50:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 21:41:16 +0200 | Guest77 | (~Guest77@static-186-121-246-148.acelerate.net) (Quit: Client closed) |
| 2025-10-14 21:40:17 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) |
| 2025-10-14 21:39:31 +0200 | Enrico63 | (~Enrico63@host-82-59-110-109.retail.telecomitalia.it) Enrico63 |
| 2025-10-14 21:38:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-14 21:35:14 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-10-14 21:33:18 +0200 | raym | (~ray@user/raym) (Ping timeout: 256 seconds) |
| 2025-10-14 21:32:38 +0200 | ski | looks at Guest77 |
| 2025-10-14 21:32:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-14 21:29:45 +0200 | Everything | (~Everythin@46.96.48.125) Everything |
| 2025-10-14 21:27:17 +0200 | <EvanR> | ((a,b) -> c) -> (a -> (b -> c)) |
| 2025-10-14 21:27:02 +0200 | <EvanR> | actually, just parentheses |
| 2025-10-14 21:26:40 +0200 | <EvanR> | to understand curry you must first understanding currying |
| 2025-10-14 21:26:37 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2025-10-14 21:26:26 +0200 | <lambdabot> | ((a, b) -> c) -> a -> b -> c |
| 2025-10-14 21:26:25 +0200 | <EvanR> | :t curry |
| 2025-10-14 21:25:44 +0200 | nogloff | (uid464985@id-464985.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-10-14 21:25:27 +0200 | haltsolver | (~cmo@2604:3d09:207f:8000::d1dc) (Ping timeout: 260 seconds) |
| 2025-10-14 21:24:08 +0200 | <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 21:22:32 +0200 | <monochrom> | It would be more productive with a more specific question or comment. |
| 2025-10-14 21:21:56 +0200 | <Guest77> | i don't understand currying principle, can someone explain me? |
| 2025-10-14 21:21:24 +0200 | Guest77 | (~Guest77@static-186-121-246-148.acelerate.net) |