Most people start with the basic data types but IM...

# functional

[raulraja]

Most people start with the basic data types but IMO the killer feature in Arrow is Ad-Hoc Polymorphism, if you depend on type classes and perform only Effects in the monadic context of F you can create entire pure programs that entirely independent of the runtime data types that backs their declaration.

[gregd]

I suppose this is the closest we can get to a non-typed FP (e.g. Clojure) in Kotlin, right? But, on the other hand, from a pragmatic programmer’s POV, the syntax you showed (DefaultTagService) looks, well, complicated 😉

[raulraja]

I think it may be unfamiliar as with anything new that is different from the ways we are used to see things.

[raulraja]

Using data types only is fine too but you loose the flexibility of running to multiple return types which may be important to some libraries and user applications

[raulraja]

Not for all use cases for sure

[gregd]

I will definitely look into this 🙂 Thanks again, and keep up the good work! 😄