Newest at the top
| 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 |
| 2024-05-03 22:34:41 +0200 | <monochrom> | Although, I have been thinking of how to write a unification algorithm that works for everyone's algebraic data types, and currently I am thinking of generics. |
| 2024-05-03 22:34:28 +0200 | <tomsmeding> | monochrom: examining a TypeRep gives you a value-level witness for a type |
| 2024-05-03 22:34:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:33:45 +0200 | <monochrom> | But generics examines terms not types... |
| 2024-05-03 22:30:17 +0200 | <tomsmeding> | in that case, go right out :) |
| 2024-05-03 22:30:14 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-05-03 22:30:06 +0200 | <raehik> | I've love my generics :)) been spamming /r/haskell with them lately |
| 2024-05-03 22:29:30 +0200 | <tomsmeding> | good luck with generics though, it's possible to get through it but if you haven't touched GHC.Generics before, it can be a bit daunting |
| 2024-05-03 22:29:29 +0200 | <raehik> | hahaha I've always avoided it in my own code, had a similar feeling |
| 2024-05-03 22:28:56 +0200 | <tomsmeding> | typeable always feels like an "I give up" solution to me |
| 2024-05-03 22:28:24 +0200 | <raehik> | maybe I can do this with generics instead and avoid all this |
| 2024-05-03 22:26:38 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-05-03 22:26:10 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-05-03 22:26:01 +0200 | <tomsmeding> | still doesn't seem like the whole set yet |