1. 3

Mezzo [http://protz.github.io/mezzo/] is an ML-family language with fine-grained control of side-effects, ownership and aliasing.

  1.