欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Gambit
来自开放百科 - 灰狐
（版本间的差异）
小 (→指南) |
小 (→指南) |
||
| 第7行： | 第7行： | ||
$ gsi | $ gsi | ||
Gambit v4.8.5 | Gambit v4.8.5 | ||
| − | |||
> (define (fact n) (if (< n 2) 1 (* n (fact (- n 1))))) | > (define (fact n) (if (< n 2) 1 (* n (fact (- n 1))))) | ||
> (map fact '(1 2 3 4 5 6)) | > (map fact '(1 2 3 4 5 6)) | ||
| 第15行： | 第14行： | ||
815915283247897734345611269596115894272000000000 | 815915283247897734345611269596115894272000000000 | ||
> ,q | > ,q | ||
| + | 卸载 gambit | ||
| + | sudo uninstall-gambit v4.8.5 | ||
==链接== | ==链接== | ||
2016年5月7日 (六) 08:06的版本
|
您可以在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
卸载 gambit
sudo uninstall-gambit v4.8.5
链接
链接
分享您的观点
