jbzz·12 ปีที่แล้ว·discussLanguage of the future will be call by value quantum lambda calculus with a linear type checker... QCaml