Racket
https://gyazo.com/55a38f57d2608fe9e8b0822f789c16bf
Scheme言語
から派生した言語
website
#プログラミング言語
#WIP
DrRacket
https://docs.racket-lang.org/drracket/
開発環境
https://zehnpaard.hatenablog.com/entry/2022/02/25/133522
Rhombus
Racket 2
https://zehnpaard.hatenablog.com/entry/2022/02/25/133522
Shrubbery
S式を辞めて、独自の記法を採用する？
https://github.com/mflatt/rhombus-prototype/blob/shrubbery/shrubbery/0000-shrubbery.md
https://www.infoq.com/jp/news/2018/01/racket-6-11-dependent-types/
篩型
をもつ
依存関数型
PLT Scheme
https://lambdaland.org/posts/2023-08-14_types_with_macros/
Implementing Type Systems as Macros
Typed Racket
https://github.com/racket/typed-racket
漸進的型付けRacket
Hackett
https://github.com/lexi-lambda/hackett
https://lexi-lambda.github.io/blog/2017/01/02/rascal-a-haskell-with-more-parentheses/
Racket - Wikipedia
https://en.wikipedia.org/wiki/Racket_(programming_language)
@kmizu
: 私の「好み」はおいといて「美しさ」でいうとRacketでしょうか。RacketはPLT Schemeと呼ばれるScheme処理系が元になった言語ですが、言語のコアをシンプルに保つというSchem…
https://t.co/qOoTPXNHyz
Racketに関する書籍
『Racket Programming the Fun Way』
How to Design Programs, second edition: An Introduction to Programming and Computing
Realm of Racket: Learn to Program, One Game at a Time!