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