my two favorite langs are idris and crystal. i haven't ever yet used either. i do everything mainly in python, javascript, or c but i like the idea of idris as this mathy pure world and the crystal language has this nice logo. i plan to get around to using both eventually as soon as i hit a dead end with doing everything in python, javascript, or c.