欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Racket
来自开放百科 - 灰狐
（版本间的差异）
小 (→简介) |
小 (→语言) |
||
| （未显示1个用户的4个中间版本） | |||
| 第25行： | 第25行： | ||
==语言== | ==语言== | ||
| + | [[文件:racket-logo-100x100.png|right]] | ||
*[https://serverracket.com/courses/anthropology Language-oriented Programming in Racket] | *[https://serverracket.com/courses/anthropology Language-oriented Programming in Racket] | ||
*Racket [https://github.com/racket/racket/tree/master/racket/src/ChezScheme Chez Scheme] 被扩展为支持 Racket 的实现。 | *Racket [https://github.com/racket/racket/tree/master/racket/src/ChezScheme Chez Scheme] 被扩展为支持 Racket 的实现。 | ||
| 第50行： | 第51行： | ||
*[https://github.com/apg/cfdg cfdg] | *[https://github.com/apg/cfdg cfdg] | ||
*[https://github.com/tov/dssl2 DSSL2: Data Structures Student Language] | *[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] 开发 | ||
==数学== | ==数学== | ||
| 第64行： | 第67行： | ||
[https://github.com/avelino/awesome-racket Awesome Racket] [[文件:awesome.png]] | [https://github.com/avelino/awesome-racket Awesome Racket] [[文件:awesome.png]] | ||
*[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/racket/scribble Scribble] The Racket Documentation Tool | *[https://github.com/racket/scribble Scribble] The Racket Documentation Tool | ||
| 第86行： | 第90行： | ||
==图集== | ==图集== | ||
<gallery> | <gallery> | ||
| + | image:racket.png|Racket | ||
image:racket-video.png|Video | image:racket-video.png|Video | ||
</gallery> | </gallery> | ||
2022年8月12日 (五) 05:18的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Racket Thanks, Wikipedia. |
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
- 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 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
包
图书
图集
Racket
Video
链接
分享您的观点
