Ask HN: Recommend me a statically typed functional language | Hacker News Reader