3 ms·
Idris has compile time bounds checking. It is a pretty special case though, you have to jump through a number of hoops using dependent types to get it.
by weavie 9y ago
Idris has compile time bounds checking.
It is a pretty special case though, you have to jump through a number of hoops using dependent types to get it.
- masklinn 9y 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.