Catching integer overflows with template metaprogramming (2015)

Re:Catching integer overflows with template metaprogramming ... by jackmott on Sunday March 26, 2017 @11:54PM (#13965068)

Idris or F*? I think they are not practical because compile times end up extremely slow. I think want you want will necessarily have this effect of very slow compile times.

[ Parent | on HN ]

Re:Catching integer overflows with template metaprogramming ... by indolering on Monday March 27, 2017 @01:39AM (#13965410)

Came here to suggest Idris, as it compiles to C. F* is still experimental and Idris is just coming up on a RC. They could also drop down into C and manually verify it.

[ Parent | on HN ]