Potential is a systems programming language designed for high reliability. It is an example of a typed assembly language.
Automatically manages pointer aliases, invalidating aliases when changes are made to data that have an effect on the underlying type
Automatically tracks the evolution of machine state as instructions sequence together
Haskell's type inference eliminates the need for type annotations, while ghci provides the ability to inspect the types of functions to ensure that the code you write has the effect you want
Easy to extend and modify the language to suit your application's needs