ML-flavoured type-safe language using the BEAM runtime
