I think the type system along Haskell's lines can give you something like that? (Or go all the way to Agda, Idris, Coq etc.)