Racket

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(图集)
(语言)
第37行: 第37行:
 
*[https://github.com/racket/algol60 Algol 60]
 
*[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://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://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/racklog/index.html Racklog] Prolog-Style Logic Programming

2022年10月15日 (六) 03:11的版本

Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 Racket Thanks, Wikipedia.
Racket-logo.png

Racket

目录

新闻

简介

Racket:程序设计和编程语言,核心由C语言实现。

Racket is a Programming-Language Programming Language.

Racket: The best of Scheme and Lisp.

Racke use Chez Scheme.

The Racket Manifesto

Racket (原名 PLT Scheme) 是个通用、多范型,属于 Lisp/Scheme 家族的函数式编程语言,它的设计目的其中之一是为了提供一种语言创造、设计与实作的平台,Racket被广泛应用在脚本程式设计、通用程式设计、计算机科学教育和学术研究等不同领域。

Racket 有一个实作平台,包含了执行环境、函式库、即时编译器(JIT compiler)等等,还有提供一个以Racket本身写成的开发环境 DrRacket (原名 DrScheme)。

Racket 采用 MIT, Apache v2, GNU LGPL 授权许可协议。

基金会

语言

Racket-logo-100x100.png

项目

Awesome Racket Awesome.png

数学

人工智能

数据科学

图书

图集

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱