Hacker News new | ask | show | jobs
by masklinn 3317 days ago
> Idris has compile time bounds checking.

Indeed it does, but I'm guessing it doesn't come close to qualifying for "widely adopted language", my list is already stretching it.