欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Racket
来自开放百科 - 灰狐
（版本间的差异）
小 (→功能) |
小 (→数学) |
||
| （未显示1个用户的32个中间版本） | |||
| 第2行： | 第2行： | ||
[[文件:racket-logo.png|right]] | [[文件:racket-logo.png|right]] | ||
| − | + | Racket | |
==新闻== | ==新闻== | ||
==简介== | ==简介== | ||
| + | Racket：程序设计和编程语言，核心由[https://github.com/racket/racket/tree/master/racket/src/racket/src C语言]实现。 | ||
| + | |||
Racket is a Programming-Language Programming Language. | Racket is a Programming-Language Programming Language. | ||
Racket: The best of Scheme and Lisp. | Racket: The best of Scheme and Lisp. | ||
| + | |||
| + | Racke use [[Chez Scheme]]. | ||
[http://www.ccis.northeastern.edu/home/matthias/manifesto/ The Racket Manifesto] | [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)。 | ||
| 第19行： | 第23行： | ||
Racket 采用 MIT, Apache v2, GNU LGPL 授权许可协议。 | Racket 采用 MIT, Apache v2, GNU LGPL 授权许可协议。 | ||
| − | == | + | ==基金会== |
| − | *[https:// | + | *[https://racket-lang.org/sfc.html Software Freedom Conservancy] 软件自由保护协会 |
| − | == | + | ==语言== |
| − | *[https://docs.racket-lang.org/ | + | [[文件:racket-logo-100x100.png|right]] |
| − | *[https://docs.racket-lang.org/ | + | *[https://serverracket.com/courses/anthropology Language-oriented Programming in Racket] |
| + | *Racket [https://github.com/racket/racket/tree/master/racket/src/ChezScheme Chez Scheme] 被扩展为支持 Racket 的实现。 | ||
| + | *[https://github.com/jeapostrophe/racket-langserver racket-langserver] is a [[Language Server Protocol]] implementation for Racket. | ||
| + | *[https://github.com/lexi-lambda/racket-r7rs r7rs] [https://small.r7rs.org/ small.r7rs.org] | ||
| + | *[https://github.com/racket/r6rs r6rs] | ||
| + | *[https://github.com/racket/r5rs r5rs] | ||
| + | *[https://docs.racket-lang.org/heresy/index.html Heresy] A BASIC-flavored Lisp dialect | ||
| + | *[https://github.com/racket/algol60 Algol 60] | ||
| + | *[https://docs.racket-lang.org/drracket/index.html DrRacket] The Racket Programming Environment [https://docs.racket-lang.org/tools/index.html DrRacket Plugins] | ||
| + | *[https://emina.github.io/rosette/ The Rosette Language] extends Racket with language constructs for program synthesis, [[Formal verification|verification]], and more. | ||
| + | *[https://github.com/lexi-lambda/hackett Hackett] WIP implementation of a [[Haskell]]-like [[Lisp]] in Racket | ||
| + | *[https://docs.racket-lang.org/racklog/index.html Racklog] Prolog-Style Logic Programming | ||
| + | *[https://docs.racket-lang.org/datalog/index.html Datalog] Deductive Database Programming | ||
| + | *[https://docs.racket-lang.org/plait/index.html Plait Language] | ||
| + | *[https://docs.racket-lang.org/plaitypus/index.html Plaitypus Language] | ||
| + | *[https://docs.racket-lang.org/eopl/index.html eopl] | ||
| + | *[https://docs.racket-lang.org/Elle/index.html Elle language] | ||
| + | *[https://docs.racket-lang.org/deinprogramm/index.html Schreibe Dein Programm] | ||
| + | *[https://docs.racket-lang.org/plai/index.html Programming Languages: Application and Interpretation (PLAI)] | ||
| + | *[https://github.com/soegaard/minipascal MiniPascal] | ||
| + | *[https://docs.racket-lang.org/lazy/index.html Lazy] | ||
| + | *[https://docs.racket-lang.org/frtime/index.html FrTime] | ||
| + | *[https://lang.video/ Video] A Language for Making Movies | ||
| + | *[https://github.com/racketscript/racketscript RacketScript] | ||
| + | *[https://github.com/apg/cfdg cfdg] | ||
| + | *[https://github.com/tov/dssl2 DSSL2: Data Structures Student Language] | ||
| + | *[https://bhdl.org/ Board HDL] | ||
| + | *[https://github.com/arclanguage Arc Language] [http://paulgraham.com/ Paul Graham] 开发 | ||
==项目== | ==项目== | ||
[https://github.com/avelino/awesome-racket Awesome Racket] [[文件:awesome.png]] | [https://github.com/avelino/awesome-racket Awesome Racket] [[文件:awesome.png]] | ||
| − | *[https:// | + | *[https://github.com/racket Racket @ GitHub] |
| + | *[https://github.com/racket/drracket/ DrRacket] IDE for Racket | ||
*[https://github.com/topics/racket Racket Topics] | *[https://github.com/topics/racket Racket Topics] | ||
| + | *[https://github.com/greghendershott/racket-mode Racket mode] for [[GNU Emacs]] | ||
*[https://github.com/mbutterick/pollen Pollen: the book is a program] | *[https://github.com/mbutterick/pollen Pollen: the book is a program] | ||
| − | *[https://github.com/greghendershott/frog Frog] | + | *[https://github.com/racket/scribble Scribble] The Racket Documentation Tool |
| + | *[https://github.com/greghendershott/frog Frog] is a static blog generator | ||
*[https://github.com/willghatch/racket-rash Rash: The Reckless Racket Shell] | *[https://github.com/willghatch/racket-rash Rash: The Reckless Racket Shell] | ||
| − | |||
*[https://github.com/greghendershott/rackjure rackjure] 一些来自 [[Clojure]] 的启发 | *[https://github.com/greghendershott/rackjure rackjure] 一些来自 [[Clojure]] 的启发 | ||
*[https://github.com/OnRoadZy/RacketGuideInChinese Racket指南（中文翻译）] | *[https://github.com/OnRoadZy/RacketGuideInChinese Racket指南（中文翻译）] | ||
| − | |||
| − | |||
*[http://arclanguage.org/ Arc] is written in Racket. | *[http://arclanguage.org/ Arc] is written in Racket. | ||
| + | *[https://github.com/Metaxal/MrEd-Designer MrEd Designer] | ||
| + | *[https://github.com/racket/games Racket games package] | ||
| + | *[https://github.com/racket/gui Racket GUI] | ||
| + | *[https://github.com/soegaard/racket-stories Racket Stories] | ||
| + | |||
| + | ==包== | ||
| + | *[https://pkgs.racket-lang.org/ Racket Packages] | ||
| + | *[https://pkg-build.racket-lang.org/ Racket Package Builds] | ||
| + | |||
| + | ==桌面GUI== | ||
| + | *[https://github.com/Bogdanp/racket-gui-easy gui-easy-lib] Declarative GUIs in Racket. | ||
| + | |||
| + | ==数学== | ||
| + | *[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://docs.racket-lang.org/rml-core/index.html Racket Machine Learning] | ||
| + | |||
| + | ==数据科学== | ||
| + | *[https://github.com/n3mo/data-science Data Science Tooling For Racket] | ||
==图书== | ==图书== | ||
*[http://book.huihoo.com/how-to-design-programs/ 《How to Design Programs》] | *[http://book.huihoo.com/how-to-design-programs/ 《How to Design Programs》] | ||
*[http://book.huihoo.com/programming-languages-application-and-interpretation/ 《Programming Languages: Application and Interpretation》] | *[http://book.huihoo.com/programming-languages-application-and-interpretation/ 《Programming Languages: Application and Interpretation》] | ||
| + | |||
| + | ==图集== | ||
| + | <gallery> | ||
| + | image:racket.png|Racket | ||
| + | image:racket-video.png|Video | ||
| + | image:DrRacket-R6RS.png|R6RS | ||
| + | </gallery> | ||
==链接== | ==链接== | ||
*[http://racket-lang.org/ Racket官网] | *[http://racket-lang.org/ Racket官网] | ||
| − | |||
*[http://docs.huihoo.com/racket/ Racket文档] | *[http://docs.huihoo.com/racket/ Racket文档] | ||
| − | |||
[[category:programming language]] | [[category:programming language]] | ||
| 第57行： | 第114行： | ||
[[category:wxWidgets]] | [[category:wxWidgets]] | ||
[[category:lambda]] | [[category:lambda]] | ||
| − | [[category: | + | [[category:Huihoo Foundation]] |
2024年1月15日 (一) 11:57的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Racket Thanks, Wikipedia. |
Racket
目录 |
[编辑] 新闻
[编辑] 简介
Racket：程序设计和编程语言，核心由C语言实现。
Racket is a Programming-Language Programming Language.
Racket: The best of Scheme and Lisp.
Racke use Chez Scheme.
Racket (原名 PLT Scheme) 是个通用、多范型，属于 Lisp/Scheme 家族的函数式编程语言，它的设计目的其中之一是为了提供一种语言创造、设计与实作的平台，Racket被广泛应用在脚本程式设计、通用程式设计、计算机科学教育和学术研究等不同领域。
Racket 有一个实作平台，包含了执行环境、函式库、即时编译器(JIT compiler)等等，还有提供一个以Racket本身写成的开发环境 DrRacket (原名 DrScheme)。
Racket 采用 MIT, Apache v2, GNU LGPL 授权许可协议。
[编辑] 基金会
- Software Freedom Conservancy 软件自由保护协会
[编辑] 语言
- Language-oriented Programming in Racket
- Racket Chez Scheme 被扩展为支持 Racket 的实现。
- racket-langserver is a Language Server Protocol implementation for Racket.
- r7rs small.r7rs.org
- r6rs
- r5rs
- Heresy A BASIC-flavored Lisp dialect
- Algol 60
- DrRacket The Racket Programming Environment DrRacket Plugins
- The Rosette Language extends Racket with language constructs for program synthesis, verification, and more.
- Hackett WIP implementation of a Haskell-like Lisp in Racket
- Racklog Prolog-Style Logic Programming
- Datalog Deductive Database Programming
- Plait Language
- Plaitypus Language
- eopl
- Elle language
- Schreibe Dein Programm
- Programming Languages: Application and Interpretation (PLAI)
- MiniPascal
- Lazy
- FrTime
- Video A Language for Making Movies
- RacketScript
- cfdg
- DSSL2: Data Structures Student Language
- Board HDL
- Arc Language Paul Graham 开发
[编辑] 项目
- Racket @ GitHub
- DrRacket IDE for Racket
- Racket Topics
- Racket mode for GNU Emacs
- Pollen: the book is a program
- Scribble The Racket Documentation Tool
- Frog is a static blog generator
- Rash: The Reckless Racket Shell
- rackjure 一些来自 Clojure 的启发
- Racket指南（中文翻译）
- Arc is written in Racket.
- MrEd Designer
- Racket games package
- Racket GUI
- Racket Stories
[编辑] 包
[编辑] 桌面GUI
- gui-easy-lib Declarative GUIs in Racket.
[编辑] 数学
[编辑] 人工智能
[编辑] 数据科学
[编辑] 图书
[编辑] 图集
Racket
Video
R6RS
[编辑] 链接
分享您的观点
