Welcome to the online demo of the Affe language!
This language aims to prevent linearity violations, notably bugs such as use-after-free. Affe is an ML-like language similar to OCaml. In particular, Affe is functional with arbitrary side effects and complete type inference (i.e., users never need to write type annotations).
You can find a list of examples below. Only typing is implemented is this online demo. The result of the typing (or the appropriate type error) is displayed in the bottom right. Beware, this is a prototype: error messages (and the UI in general) are research-quality.
Have fun!