The Kotlin type system is amazingly designed. Many features that look like special cases are just a natural consequence of how the type system is designed.
I loved programming in Kotlin. Even writing a scatter graph module from (almost) scratch was a pleasant experience. That coming from a mostly Pythonic background where I much prefer others doing my work.
I’m kinda the opposite origin, as most of my career was done using statically-typed and compiled languages. Recently I’ve been looking more into the situations in which dynamic languages can be useful and trying to do little projects using them. I think learning well many languages open your mind to the different possibilities and trade-offs each language does.
I’ve never developed for Android and meant to just lurk & learn, but I can’t imagine why you’d ever want to get rid of types. Do they not make everything easier, more clear, safer, etc?
