Like Liquid Haskell?<p><a href="http:&#x2F;&#x2F;www.haskellforall.com&#x2F;2015&#x2F;12&#x2F;compile-time-memory-safety-using-liquid.html" rel="nofollow">http:&#x2F;&#x2F;www.haskellforall.com&#x2F;2015&#x2F;12&#x2F;compile-time-memory-saf...</a>