ACL2程序语言可看作是一个函数式(无任何副作用)的Common Lisp 变体。 LASER-wikipedia2. Similar mechanisms are standard in many programming languages today. 类似 ...
確定! 回上一頁