A modern programming language that makes developers happier.

kotlinlang

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.

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 :wink:

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

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

I will definitely look into this :slightly_smiling_face: Thanks again, and keep up the good work! :smile: