欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Racket
来自开放百科 - 灰狐
(版本间的差异)
小 |
小 (→Math) |
||
(未显示1个用户的9个中间版本) | |||
第3行: | 第3行: | ||
Racket:程序设计和编程语言,核心由[https://github.com/racket/racket/tree/master/racket/src/racket/src C语言]实现。 | Racket:程序设计和编程语言,核心由[https://github.com/racket/racket/tree/master/racket/src/racket/src C语言]实现。 | ||
+ | |||
+ | ==新闻== | ||
==简介== | ==简介== | ||
+ | Racket is a Programming-Language Programming Language. | ||
+ | |||
+ | Racket: The best of Scheme and Lisp. | ||
+ | |||
+ | [http://www.ccis.northeastern.edu/home/matthias/manifesto/ The Racket Manifesto] | ||
+ | |||
Racket (原名 PLT Scheme) 是个通用、多范型,属于[[Lisp]]/[[Scheme]]家族的函数式编程语言,它的设计目的其中之一是为了提供一种语言创造、设计与实作的平台,Racket被广泛应用在脚本程式设计、通用程式设计、计算机科学教育和学术研究等不同领域。 | Racket (原名 PLT Scheme) 是个通用、多范型,属于[[Lisp]]/[[Scheme]]家族的函数式编程语言,它的设计目的其中之一是为了提供一种语言创造、设计与实作的平台,Racket被广泛应用在脚本程式设计、通用程式设计、计算机科学教育和学术研究等不同领域。 | ||
Racket 有一个实作平台,包含了执行环境、函式库、即时编译器(JIT compiler)等等,还有提供一个以Racket本身写成的开发环境 DrRacket (原名 DrScheme)。 | Racket 有一个实作平台,包含了执行环境、函式库、即时编译器(JIT compiler)等等,还有提供一个以Racket本身写成的开发环境 DrRacket (原名 DrScheme)。 | ||
− | Racket 采用 GNU LGPL 授权许可协议。 | + | Racket 采用 MIT, Apache v2, GNU LGPL 授权许可协议。 |
+ | |||
+ | ==功能== | ||
+ | |||
+ | ==Math== | ||
+ | *[https://docs.racket-lang.org/math/index.html Racket Math Library] [https://github.com/racket/math @ GitHub] | ||
+ | *[https://docs.racket-lang.org/scribble-math/index.html scribble-math] | ||
+ | |||
+ | ==项目== | ||
+ | [https://github.com/avelino/awesome-racket Awesome Racket] [[文件:awesome.png]] | ||
+ | *[https://github.com/topics/racket Racket Topics] | ||
+ | *[https://github.com/mbutterick/pollen Pollen: the book is a program] | ||
+ | *[https://github.com/greghendershott/frog Frog] | ||
+ | *[https://github.com/willghatch/racket-rash Rash: The Reckless Racket Shell] | ||
==图书== | ==图书== |
2021年9月29日 (三) 15:10的版本
您可以在Wikipedia上了解到此条目的英文信息 Racket Thanks, Wikipedia. |
Racket:程序设计和编程语言,核心由C语言实现。
目录 |
新闻
简介
Racket is a Programming-Language Programming Language.
Racket: The best of Scheme and Lisp.
Racket (原名 PLT Scheme) 是个通用、多范型,属于Lisp/Scheme家族的函数式编程语言,它的设计目的其中之一是为了提供一种语言创造、设计与实作的平台,Racket被广泛应用在脚本程式设计、通用程式设计、计算机科学教育和学术研究等不同领域。
Racket 有一个实作平台,包含了执行环境、函式库、即时编译器(JIT compiler)等等,还有提供一个以Racket本身写成的开发环境 DrRacket (原名 DrScheme)。
Racket 采用 MIT, Apache v2, GNU LGPL 授权许可协议。
功能
Math
项目
图书
链接
分享您的观点