Newest at the top
| 2025-03-18 10:41:15 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 10:41:12 +0100 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2025-03-18 10:40:23 +0100 | <c_wraith> | Not really. It's all built on top of Typeable, and Typeable checks for equality between two concrete types |
| 2025-03-18 10:39:31 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 2025-03-18 10:37:30 +0100 | <dminuoso> | Is there a way to accomplish this, without using catches and enumerating a handler for each ErrorAnnotation instance? |
| 2025-03-18 10:36:21 +0100 | fp1 | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) (Ping timeout: 252 seconds) |
| 2025-03-18 10:36:20 +0100 | dhil | (~dhil@2a0c:b381:52e:3600:dac:1d21:ce7f:30a0) dhil |
| 2025-03-18 10:35:39 +0100 | <dminuoso> | Now, I want to write a `catch` handler that will catch any of these, it seems like I would have to write `handleValueSpecMismatch :: exists p. ErrorAnnotation p *> ValueSpecMismatch p -> IO a` |
| 2025-03-18 10:34:45 +0100 | <dminuoso> | Mmm, I have an exception with an instance `ErrorAnnotation p => Exception (ValueSpecMismatch p)` for which a bunch of `instance ErrorAnnotation ...` exist. |
| 2025-03-18 10:33:42 +0100 | <c_wraith> | lazy level-order tree renumbering |
| 2025-03-18 10:32:48 +0100 | chele | (~chele@user/chele) chele |
| 2025-03-18 10:32:10 +0100 | fp1 | (~Thunderbi@wireless-86-50-140-47.open.aalto.fi) fp |
| 2025-03-18 10:32:06 +0100 | <mauke> | because I can actually understand it |
| 2025-03-18 10:31:59 +0100 | <mauke> | merijn: Implicit Configurations |
| 2025-03-18 10:28:08 +0100 | <Leary> | merijn: https://www.reddit.com/r/haskell/comments/1chgo7x/what_are_some_research_papers_that_every/ |
| 2025-03-18 10:27:23 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-03-18 10:23:05 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-18 10:18:52 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
| 2025-03-18 10:17:48 +0100 | <merijn> | Quick poll: What are people's favourite functional pearls? I'm trying to find some good stuff for our juniors to read |
| 2025-03-18 10:15:42 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-18 10:05:23 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Ping timeout: 245 seconds) |
| 2025-03-18 10:03:14 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-18 10:03:00 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Client Quit) |
| 2025-03-18 10:01:14 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-03-18 09:58:41 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) |
| 2025-03-18 09:58:24 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-0ae4-b88c-ff83-9891-e272.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-03-18 09:57:49 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-03-18 09:56:11 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 09:53:46 +0100 | ft | (~ft@p508db291.dip0.t-ipconnect.de) (Quit: leaving) |
| 2025-03-18 09:53:33 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 2025-03-18 09:53:00 +0100 | poscat0x04 | poscat |
| 2025-03-18 09:48:51 +0100 | sprotte24 | (~sprotte24@p200300d16f2b0f00f146771413e22502.dip0.t-ipconnect.de) |
| 2025-03-18 09:26:13 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f8808e167a733e40eac.dip0.t-ipconnect.de) acidjnk |
| 2025-03-18 09:21:45 +0100 | wildsalander | (~wildsalan@81-175-155-97.bb.dnainternet.fi) |
| 2025-03-18 09:19:26 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
| 2025-03-18 09:17:12 +0100 | notdabs | (~Owner@2600:1700:69cf:9000:24c8:4afb:c51c:4471) |
| 2025-03-18 09:16:55 +0100 | killy | (~killy@176.223.173.240) (Quit: leaving) |
| 2025-03-18 09:15:49 +0100 | ash3en | (~Thunderbi@149.222.132.64) (Ping timeout: 248 seconds) |
| 2025-03-18 09:14:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-03-18 09:12:55 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-18 09:12:36 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2025-03-18 09:10:47 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-03-18 08:59:00 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-03-18 08:57:57 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-03-18 08:56:41 +0100 | ash3en | (~Thunderbi@149.222.132.64) ash3en |
| 2025-03-18 08:54:29 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-03-18 08:53:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-18 08:52:55 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-03-18 08:52:03 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2025-03-18 08:43:31 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |