4 ms·

Language of the future will be call by value quantum lambda calculus with a linear type checker... QCaml