Newest at the top
| 2024-10-24 17:07:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2 |
| 2024-10-24 17:02:37 +0200 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
| 2024-10-24 17:01:07 +0200 | vektor | (~vektor@IP-149249145213.pools.medianet-world.de) (Quit: Client closed) |
| 2024-10-24 16:59:28 +0200 | nitrix-or-treats | nitrix |
| 2024-10-24 16:46:05 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 16:41:52 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 16:38:01 +0200 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) ubert |
| 2024-10-24 16:38:00 +0200 | pipsquak-bird | (~g@c-71-232-204-190.hsd1.ma.comcast.net) (Quit: leaving) |
| 2024-10-24 16:36:50 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 16:36:35 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |
| 2024-10-24 16:36:25 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 16:36:09 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Client Quit) |
| 2024-10-24 16:35:56 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 16:35:39 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 16:34:45 +0200 | <Leary> | SrPx: I don't fancy the approach taken by the recursion-schemes library, but it's suitable for making such a change to an existing code base with minimal refactoring. You can keep your old `data Term` and let it generate `data TermF` equivalent to your `PreTerm` and functions for converting between, etc. |
| 2024-10-24 16:29:39 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-24 16:24:15 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) polux |
| 2024-10-24 16:21:46 +0200 | polux | (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: Ping timeout (120 seconds)) |
| 2024-10-24 16:21:27 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-10-24 16:19:36 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 16:18:39 +0200 | Digitteknohippie | Digit |
| 2024-10-24 16:15:06 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) |
| 2024-10-24 16:14:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-24 16:09:14 +0200 | <lambdabot> | Maybe you meant: unpf rc bf |
| 2024-10-24 16:09:14 +0200 | <SrPx> | @ncf reading rn ty |
| 2024-10-24 16:09:09 +0200 | <SrPx> | int-e: haskell complains `type Term = PreTerm Term` is recursive 💀 |
| 2024-10-24 16:09:04 +0200 | int-e | missed the recursion in the newtype |
| 2024-10-24 16:08:50 +0200 | <int-e> | oh wait, never mind |
| 2024-10-24 16:08:04 +0200 | <int-e> | can you get away with a type alias? |
| 2024-10-24 16:06:55 +0200 | <ncf> | pattern synonym? |
| 2024-10-24 16:03:56 +0200 | <SrPx> | I've just refactored a "Term" type in Haskell to receive a type argument 'a' (i.e., (PreTerm a)), and created the equivalent of the old Term as 'newtype Term = T (PreTerm Term)'. but now I need to write (T (App _ _)) instead of (App _ _) etc. everywhere. is it possible to make this change work without refactoring the whole codebase? |
| 2024-10-24 16:03:07 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 252 seconds) |
| 2024-10-24 16:01:32 +0200 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
| 2024-10-24 15:57:00 +0200 | ash3en | (~Thunderbi@149.222.152.198) ash3en |
| 2024-10-24 15:53:58 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 2024-10-24 15:49:41 +0200 | Digit | (~user@user/digit) (Ping timeout: 248 seconds) |
| 2024-10-24 15:49:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:49:21 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2024-10-24 15:49:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-24 15:48:54 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:48:39 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-10-24 15:45:56 +0200 | ash3en | (~Thunderbi@149.222.152.198) (Quit: ash3en) |
| 2024-10-24 15:40:17 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 15:39:55 +0200 | leah2 | (~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.) |
| 2024-10-24 15:39:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) alexherbo2 |
| 2024-10-24 15:38:06 +0200 | cheater | (~Username@user/cheater) cheater |
| 2024-10-24 15:34:25 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3217-270c-61bf-78b5-c91b-cacd.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-24 15:33:55 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2024-10-24 15:31:09 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-24 15:30:52 +0200 | euleritian | (~euleritia@dynamic-176-006-137-198.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |