raulraja
11/17/2019, 10:27 AMTry
is the only one being deprecated in favor of IO
or suspended Either.catch
. The rest will become unnecessary if you use Arrow’s support for Union Types
, Intersection Types
, Refined Types
, Kinds without inheritance
, etc.
These are much powerful and simple features than those data types since they require no nesting or wrapping.
Yes I’m serious about making FP more ergonomic in Kotlin at any cost 😉. In fact those are not the most revolutionary changes that are coming. The types proof plugin I’m developing allows you to implement your own type system features from user code to eliminate layers of complexity in FP and Kotlin. Please bear with us as we make this something big and different to what Scala, Haskell and anyone has done before. The Kotlin type system is simple enough to host our wildest FP dreams and make them come true. We are determined to make it happen.