欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Racket
来自开放百科 - 灰狐
				
								
				(版本间的差异)
				
																
				
				
								
小 (→语言)  | 
			小 (→数学)  | 
			||
| 第78行: | 第78行: | ||
*[https://pkgs.racket-lang.org/ Racket Packages]  | *[https://pkgs.racket-lang.org/ Racket Packages]  | ||
*[https://pkg-build.racket-lang.org/ Racket Package Builds]  | *[https://pkg-build.racket-lang.org/ Racket Package Builds]  | ||
| + | |||
| + | ==桌面GUI==  | ||
| + | *[https://github.com/Bogdanp/racket-gui-easy gui-easy-lib] Declarative GUIs in Racket.  | ||
==数学==  | ==数学==  | ||
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.
 
[编辑] 数学
[编辑] 人工智能
[编辑] 数据科学
[编辑] 图书
[编辑] 图集
[编辑] 链接
	分享您的观点
			
			
			
			
			
				
								
				
								
			
