Newest at the top
| 2025-10-27 09:53:57 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) (Ping timeout: 250 seconds) |
| 2025-10-27 09:50:25 +0100 | LainIwakura88 | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 09:47:41 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2025-10-27 09:45:58 +0100 | LainIwakura | (~LainIwaku@user/LainIwakura) LainIwakura |
| 2025-10-27 09:43:30 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-10-27 09:41:09 +0100 | ft | (~ft@mue-88-130-104-115.dsl.tropolys.de) (Quit: leaving) |
| 2025-10-27 09:40:44 +0100 | Googulator82 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:40:39 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Client Quit) |
| 2025-10-27 09:36:23 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 09:36:03 +0100 | Googulator30 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:32:58 +0100 | notzmv | (~umar@user/notzmv) (Ping timeout: 256 seconds) |
| 2025-10-27 09:24:46 +0100 | <haskellbridge> | <loonycyborg> and exists still remains implicit :P |
| 2025-10-27 09:24:32 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-10-27 09:24:12 +0100 | <haskellbridge> | <loonycyborg> and explicit forall is required to convince compiler that we actually mean to introduce that variable |
| 2025-10-27 09:23:53 +0100 | <haskellbridge> | <loonycyborg> Ironically existential types end up requiring explicit forall because the variable exists only at RHS |
| 2025-10-27 09:22:48 +0100 | <haskellbridge> | <loonycyborg> In fact all haskell declarations with a type variable with them have implicit forall for variables mentioned on both sides of equation. |
| 2025-10-27 09:20:39 +0100 | Googulator68 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 09:20:36 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 09:09:07 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:1017:fdff:feb2:6f00) (Ping timeout: 260 seconds) |
| 2025-10-27 09:05:19 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-27 09:04:45 +0100 | Zemy_ | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 09:04:45 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:1017:fdff:feb2:6f00) |
| 2025-10-27 09:02:00 +0100 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-10-27 09:00:40 +0100 | craunts795335385 | (~craunts@136.158.7.194) (Quit: The Lounge - https://thelounge.chat) |
| 2025-10-27 08:58:58 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:b0a4:62ff:febe:5454) (Ping timeout: 256 seconds) |
| 2025-10-27 08:55:38 +0100 | Zemy_ | (~Zemy@72.178.108.235) |
| 2025-10-27 08:53:52 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-27 08:52:15 +0100 | Core9010 | (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2025-10-27 08:52:15 +0100 | Zemy | (~Zemy@2600:100c:b044:cd19:b0a4:62ff:febe:5454) |
| 2025-10-27 08:50:43 +0100 | Googulator93 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) |
| 2025-10-27 08:50:39 +0100 | Googulator88 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-27 08:49:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:46:11 +0100 | <haskellbridge> | <loonycyborg> And existentials is when you have that type variable at RHS and don't have it at LHS in the data declaration. So the type of data doesn't depent on type of thing contained within. It's a different extension. |
| 2025-10-27 08:44:27 +0100 | <haskellbridge> | <loonycyborg> Adding constraint via datatype is strictly part of GADT extension |
| 2025-10-27 08:40:24 +0100 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2025-10-27 08:38:22 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-27 08:37:58 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) m1dnight |
| 2025-10-27 08:37:33 +0100 | m1dnight | (~m1dnight@d8D861A17.access.telenet.be) (Remote host closed the connection) |
| 2025-10-27 08:35:55 +0100 | <haskellbridge> | <loonycyborg> You can't force constraints to be automatically applied to data's variable using haskell 98. It expects you to always spell out constraints in all functions using that datatype. |
| 2025-10-27 08:35:11 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) wbrawner |
| 2025-10-27 08:35:02 +0100 | wbrawner | (~wbrawner@static.56.224.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2025-10-27 08:33:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:33:31 +0100 | img | (~img@user/img) img |
| 2025-10-27 08:32:07 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-10-27 08:31:41 +0100 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2025-10-27 08:31:25 +0100 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2025-10-27 08:29:30 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-10-27 08:22:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-27 08:18:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-10-27 08:15:47 +0100 | Googulator96 | (~Googulato@2a01-036d-0106-03fa-d161-d36f-e0e5-1b0a.pool6.digikabel.hu) (Quit: Client closed) |