4 ms·
Totally agree about the Blub Paradox, but there's definitely value in Self Types. See, for example, [Kind](https://github.com/Kindelia/Kind https://github.com/K
by smaddox 5y ago
Totally agree about the Blub Paradox, but there's definitely value in Self Types. See, for example, [Kind](https://github.com/Kindelia/Kind https://github.com/Kindelia/Kind), which is able to type recursive data types by using Self Types.
- bmc7505 5y agoIt should be noted that self types are non-trivial to implement and if one is not careful when using them, impredicativity can lead to inconsistent or undecidable definitions.
- josephcsible 5y agoBut does PyFL actually use Self Types rigorously, or is this only working because there's a hole in the type system?
- smaddox 5y agoTo clarify: Kind is able to type lambda-encoded recursive data types with Self Types. This is something that is not possible in Haskell.