arrow-kt/arrow-meta
View on GitHub ↗ ★ 405 Kotlin
Functional companion to Kotlin's Compiler
5 mentions on Hacker News by 2 people: 0 stories, 5 comments · first 2019-12-07 · latest 2021-03-24
20082026
-
…for the example, that's interesting. Note that Kotlin has union types through this compiler plugin: https://github.com/arrow-kt/arrow-meta/issues/570 However it is experimental and shouldn't yet be used in production. Btw sealed classes…
comment by The_rationalist · 2021-03-24 · in Crystal 1.0 – What to expect -
…psi, ir) through an API. There even are frameworks that make writing such plugins easier such as https://github.com/arrow-kt/arrow-meta (which enable to bring union type, higher kinded types, pattern matching, etc) Or…
comment by The_rationalist · 2021-03-16 · in Kotlin Compiler Crash Course -
Arrow meta is a compiler extension that will bridge the gap even more e.g by bringing union types https://github.com/arrow-kt/arrow-meta
comment by The_rationalist · 2020-08-18 · in Kotlin 1.4 -
…use than powerful macro but it does not prevent experimented guys from scalaifying Kotlin through https://github.com/arrow-kt/arrow-meta/issues They are bringing for example union types as an unofficial extension to the language. They…
comment by The_rationalist · 2020-05-28 · in Pros and Cons of Nim -
…compiler (think template Haskell but with IDE support) that should get you HKTs and union types. https://github.com/arrow-kt/arrow-meta Regardless, something quite close to HKTs is available today via type level defunctionalisation. Just…
comment by adimitrov · 2019-12-07 · in The Road to Valhalla