欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Racket
来自开放百科 - 灰狐
(版本间的差异)
小 (→链接) |
小 (→链接) |
||
第4行: | 第4行: | ||
Racket 有一个实作平台,包含了执行环境、函式库、即时编译器(JIT compiler)等等,还有提供一个以Racket本身写成的开发环境 DrRacket (原名 DrScheme)。 | Racket 有一个实作平台,包含了执行环境、函式库、即时编译器(JIT compiler)等等,还有提供一个以Racket本身写成的开发环境 DrRacket (原名 DrScheme)。 | ||
+ | |||
+ | ==图书== | ||
+ | *《How to Design Programs》 | ||
+ | *《Programming Languages: Application and Interpretation》 | ||
==链接== | ==链接== |
2015年2月20日 (五) 01:01的版本
您可以在Wikipedia上了解到此条目的英文信息 Racket Thanks, Wikipedia. |
Racket (原名 PLT Scheme) 是个通用、多范型,属于Lisp家族的函数式编程语言,它的设计目的其中之一是为了提供一种语言创造、设计与实作的平台,Racket被广泛应用在脚本程式设计、通用程式设计、计算机科学教育和学术研究等不同领域。
Racket 有一个实作平台,包含了执行环境、函式库、即时编译器(JIT compiler)等等,还有提供一个以Racket本身写成的开发环境 DrRacket (原名 DrScheme)。
图书
- 《How to Design Programs》
- 《Programming Languages: Application and Interpretation》
链接
分享您的观点