Newest at the top
| 2024-05-03 23:24:50 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:22:52 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:19:42 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:19:25 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:18:53 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-03 23:16:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-05-03 23:15:02 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:12:08 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:12:03 +0200 | cheater | (~Username@user/cheater) |
| 2024-05-03 23:10:22 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:06:23 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:04:46 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 23:01:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 23:00:06 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:57:15 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:54:30 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:51:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:49:21 +0200 | causal | (~eric@50.35.88.207) |
| 2024-05-03 22:47:34 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-03 22:47:32 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-03 22:46:56 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:46:52 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-03 22:45:47 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 22:45:10 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:44:22 +0200 | agent314 | (~quassel@185.102.218.105.adsl.inet-telecom.org) (Ping timeout: 268 seconds) |
| 2024-05-03 22:44:19 +0200 | agent314_ | (~quassel@169.150.252.111) |
| 2024-05-03 22:43:13 +0200 | <tomsmeding> | (good luck wading through the types there) |
| 2024-05-03 22:42:08 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-05-03 22:41:17 +0200 | <lambdabot> | https://hackage.haskell.org/package/hdiff |
| 2024-05-03 22:41:17 +0200 | <tomsmeding> | @hackage hdiff |
| 2024-05-03 22:41:07 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-03 22:41:03 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-05-03 22:40:58 +0200 | <monochrom> | Yeah. |
| 2024-05-03 22:40:51 +0200 | <raehik> | tomsmeding: haha rats. perhaps I'm stuck with Typeable if I want to print the TypeRep of a data type |
| 2024-05-03 22:40:42 +0200 | <tomsmeding> | monochrom: is this for diffing |
| 2024-05-03 22:40:16 +0200 | <monochrom> | The user will provide "E -> E -> Maybe [(E,E)]". Nothing means that the roots mismatch. Just xs means that the roots match, and the list is the list of childrens to check further. |
| 2024-05-03 22:40:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:38:04 +0200 | <tomsmeding> | raehik: oh that's right, Generic talks about monomorphic types |
| 2024-05-03 22:37:25 +0200 | <monochrom> | Oh haha here is another idea for my unification plan and it is why "Maybe [T]" can make sense. |
| 2024-05-03 22:37:07 +0200 | <EvanR> | basically make your own TypeRep-like thing which can be rendered as Text directly |
| 2024-05-03 22:36:40 +0200 | <tomsmeding> | EvanR: I mean, they were running against TypeRep not being inspectable so they were looking into alternatives |
| 2024-05-03 22:36:38 +0200 | <raehik> | hmm not too sure I can go via Generic any more. don't know how to inspect type args e.g. l and r in `data And l r` |
| 2024-05-03 22:36:35 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:36:01 +0200 | <EvanR> | you mean, don't go through Typeable at all |
| 2024-05-03 22:35:42 +0200 | <tomsmeding> | raehik: ^ |
| 2024-05-03 22:35:37 +0200 | <tomsmeding> | a simple type class with instances for the shapes you want to support should be enough |
| 2024-05-03 22:35:27 +0200 | <tomsmeding> | though I feel that you don't need generics for this |
| 2024-05-03 22:35:22 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:34:57 +0200 | <monochrom> | Oh, that. :( |
| 2024-05-03 22:34:43 +0200 | <tomsmeding> | you can do the same with generics if you specify the subset of types that you want to support |