欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Gambit
来自开放百科 - 灰狐
（版本间的差异）
(以“{{SeeWikipedia|Gambit (scheme implementation)}} Gambit 是 Scheme 开源实现，可用于移动和嵌入式开发。 ==指南== ==链接== ==链接== *[http...”为内容创建页面) |
小 (→指南) |
||
| 第4行： | 第4行： | ||
==指南== | ==指南== | ||
| + | 下载二进制安装包，如：[http://www.iro.umontreal.ca/~gambit/download/gambit/v4.8/prebuilt/gambit-v4_8_5-macosx-intel64.dmg OS X版] | ||
| + | $ gsi | ||
| + | Gambit v4.8.5 | ||
| + | |||
| + | > (define (fact n) (if (< n 2) 1 (* n (fact (- n 1))))) | ||
| + | > (map fact '(1 2 3 4 5 6)) | ||
| + | (1 2 6 24 120 720) | ||
| + | > (values (fact 10) (fact 40)) | ||
| + | 3628800 | ||
| + | 815915283247897734345611269596115894272000000000 | ||
| + | > ,q | ||
==链接== | ==链接== | ||
2016年5月7日 (六) 08:05的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Gambit Thanks, Wikipedia. |
Gambit 是 Scheme 开源实现，可用于移动和嵌入式开发。
指南
下载二进制安装包，如：OS X版
$ gsi Gambit v4.8.5
> (define (fact n) (if (< n 2) 1 (* n (fact (- n 1))))) > (map fact '(1 2 3 4 5 6)) (1 2 6 24 120 720) > (values (fact 10) (fact 40)) 3628800 815915283247897734345611269596115894272000000000 > ,q
链接
链接
分享您的观点
