Progress on quasiquote’s prototype. This is what t...
# arrow-metar
raulraja
07/17/2019, 12:26 AMProgress on quasiquote’s prototype. This is what the entire Higher Kind plugin looks like for types with a single type arg (simplest case). It already comes builtin with a Kind Aware Type Checker that knows when a kind and it’s concrete value are of the same type. https://github.com/47deg/arrow-meta-prototype/blob/9b191564cfec14dbe8d10ba20351529b7b70cbb4/compiler-plugin/src/main/kotlin/arrow/meta/higherkind/HigherKindPlugin.kt
arrow 5
2 Views