3 ms·
Not the person you are replying to but: * Typeclasses (over higher kinded types) * Extensible typeclass instance derivation * Comprehensions on par with SQL
by clhodapp 8y ago
Not the person you are replying to but:
* Typeclasses (over higher kinded types)
* Extensible typeclass instance derivation
* Comprehensions on par with SQL in expressiveness
- nine_k 8y agoTypeclasses can be introduced; there's a PR doing that in a reasonable manner: https://github.com/Kotlin/KEEP/pull/87 https://github.com/Kotlin/KEEP/pull/87 It's not shot down. Instance derivation is likely not impossible when typeclasses support is there. I wonder how expensive it could be, though. Making them also usable from Java (e.g. Comparable) would likely be problematic sometimes due to Java's inconsistencies. Can receiver lambdas (the "DSL" feature) be used to produce something comparable? For something comparable to LINQ, though (same expression targeting e.g. an object graph and an SQL database), compiler support would likely be needed.