ats2-postiats

Statically typed language with dependent types and formal verification

brewmacoslinux

Try with needOr install directly

About

Programming language with formal specification features

patsccpatsopt

Compile an ATS2 program to C code$ patscc -o hello hello.ats

Check and optimize ATS2 code without generating C$ patsopt --typecheck hello.ats

Compile with additional runtime checks enabled$ patscc -D_ATS_GCATS -o program program.ats