Newest at the top
2024-04-27 17:22:05 +0200 | <jumper149> | [Leary]: Something like this is what you mean? |
2024-04-27 17:21:54 +0200 | <jumper149> | toVal :: Proxy (t :: T) -> T |
2024-04-27 17:21:27 +0200 | <jumper149> | class TKindToType where |
2024-04-27 17:21:14 +0200 | <jumper149> | data T = A | B |
2024-04-27 17:19:48 +0200 | <[Leary]> | jumper149: Make a typeclass? |
2024-04-27 17:19:45 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-04-27 17:16:24 +0200 | <jumper149> | So basically I want something like `natVal` or `symbolVal` for my custom enum type. |
2024-04-27 17:15:20 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
2024-04-27 17:14:48 +0200 | <jumper149> | I want to create a value-level literal from a type-level datakind. Do I need singletons or is this possible with `Typeable` or something else? |
2024-04-27 17:14:22 +0200 | <ncf> | i also can't reproduce the issue in the paper at all... with their code snippet and NoMonoLocalBinds i get the expected "Couldn't match expected type 'Bool' with actual type 'a'" |
2024-04-27 17:12:42 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2024-04-27 17:11:19 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
2024-04-27 17:05:26 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
2024-04-27 17:04:58 +0200 | <ncf> | (i'm not sure why this makes pattern matching "fragile", but that's the reason given in the documentation) |
2024-04-27 17:04:55 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-04-27 17:03:06 +0200 | <ncf> | yin: see section 4.2 of https://simon.peytonjones.org/assets/pdfs/outsideinx.pdf |
2024-04-27 17:00:27 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) (Ping timeout: 268 seconds) |
2024-04-27 16:49:33 +0200 | <yin> | hi. can someone give me a simple explanation of why 'Pattern matching on GADTs without MonoLocalBinds is fragile'? |
2024-04-27 16:38:12 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) |
2024-04-27 16:38:12 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-04-27 16:11:53 +0200 | yin | (~yin@user/zero) |
2024-04-27 15:56:06 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Ping timeout: 255 seconds) |
2024-04-27 15:53:46 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-04-27 15:51:04 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
2024-04-27 15:47:41 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) (Ping timeout: 268 seconds) |
2024-04-27 15:42:48 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
2024-04-27 15:42:10 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:f2da:fe29:fe06:1289) (Ping timeout: 255 seconds) |
2024-04-27 15:35:44 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
2024-04-27 15:27:59 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2024-04-27 15:19:45 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
2024-04-27 15:16:40 +0200 | yin | (~yin@user/zero) (Quit: leaving) |
2024-04-27 15:10:09 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-04-27 15:09:46 +0200 | yin | (~yin@user/zero) |
2024-04-27 15:04:27 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-27 15:02:11 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
2024-04-27 15:01:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-04-27 14:59:45 +0200 | yin | (~yin@user/zero) |
2024-04-27 14:59:31 +0200 | yin | (~yin@user/zero) (Quit: Reconnecting) |
2024-04-27 14:48:10 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:f2da:fe29:fe06:1289) |
2024-04-27 14:47:48 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-27 14:36:47 +0200 | kilolympus | (~kilolympu@31.205.200.246) |
2024-04-27 14:36:35 +0200 | kilolympus | (~kilolympu@31.205.200.246) (Ping timeout: 245 seconds) |
2024-04-27 14:35:59 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-04-27 14:32:36 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
2024-04-27 14:27:25 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
2024-04-27 14:21:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-27 14:19:44 +0200 | euleritian | (~euleritia@dynamic-176-000-161-190.176.0.pool.telefonica.de) |
2024-04-27 14:19:00 +0200 | greenflower | (~greenflow@2409:4071:211c:5b29:fa93:6314:6e17:5d44) (Client Quit) |
2024-04-27 14:18:35 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:7f37:121d:4370:f1c5) (Ping timeout: 268 seconds) |
2024-04-27 14:17:49 +0200 | greenflower | (~greenflow@2409:4071:211c:5b29:fa93:6314:6e17:5d44) |