Newest at the top
| 2024-04-27 17:33:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-27 17:30:55 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.2) |
| 2024-04-27 17:29:15 +0200 | <someone235> | Hi, I'm getting `/usr/bin/ld.gold: error: cannot find -lgmp` when trying to run `ghc hello.hs`. Anyone has any idea what could be the cause? |
| 2024-04-27 17:27:36 +0200 | someone235 | (uid419897@id-419897.ilkley.irccloud.com) |
| 2024-04-27 17:26:39 +0200 | <jumper149> | But I guess dependent haskell has to wait a little more |
| 2024-04-27 17:26:25 +0200 | <jumper149> | The annoying part is you have to write all instances by hand or generate them with singletons. |
| 2024-04-27 17:25:31 +0200 | <jumper149> | Well but that is the same thing singletons would do I think |
| 2024-04-27 17:25:10 +0200 | <jumper149> | Yeah, I just wrote this directly into weechat, so I forgot... |
| 2024-04-27 17:24:48 +0200 | <[Leary]> | `t` Should be the parameter to the class, but yes. |
| 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) |