Comment by user3939382

Does anyone who prefers these types of languages have any thoughts on Idris? The ecosystem is small but the language seems to satisfy the Haskell use case without the language extension issue.