You have now entered the realm of Jawaninja.
Do not panic!
Only friendly geekiness around here. Mostly about Clojure, music and other interests of mine.
I love Clojure and I love Haskell. Those are two of my favourite languages (I also really love Idris). They both offer semantics with very interesting properties and trade-offs.
Sadly there is a disconnect between the communities in both of those languages, where people try to communicate what they like about their favourite language but tend to do that by contrasting it with other languages, and that ends up being quite antagonistic and put people on the defensive.
This is my current intuition on types. I heard the best way to get feedback on the internet is to publish something inaccurate, so there you have it.
This post marks the dawn of yet another attempt at blogging.