GitHub - lexi-lambda/hackett: WIP implementation of a Haskell-like Lisp in Racket
Hackett is an attempt to implement a Haskell-like language with support for Racket’s macro system, built using the techniques described in the paper Type Systems as Macros. It is currently extremely work-in-progress. Here are some of the features that Hackett supports right now: Bidirectional type inference Algebraic datatypes (ADTs) Pattern matching Exhaustiveness checking Typeclasses (including
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - RaminHAL9001/Dao: The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence, specifically for understanding natural language.
http://blog.ezyang.com/2016/07/what-template-haskell-gets-wrong-and-racket-gets-right/
GitHub - carp-lang/Carp: A statically typed lisp, without a GC, for real-time applications.
chrisdone's lisk at master - GitHub
