使用您已熟悉的语法编写资源安全、具有类型约束的程序。它拥有熟悉的“面”结构——即 JavaScript 形式、Python 形式、函数式形式以及伪代码形式的表面——并通过编译生成带类型的 WebAssembly。
MPL-2.0OCamlformal-verificationprogramming-languagemulti-syntax-languageaffinescriptcapability-securitycs-education-researchlanguage-designresource-safety
hyperpolymath.github.io/affinescript