Mladen Srdić

146 days ago

Compile-time memory safety using Liquid Haskell

haskellforall.com

Both of these options are still unsatisfactory, though. Even if your program fails fast with an exception, your program still failed. A new tool named Liquid Haskell makes this sort of verification possible.