jbzz·vor 12 Jahren·discussLanguage of the future will be call by value quantum lambda calculus with a linear type checker... QCaml