一覧へ戻る
anchpop/Zoda（新しいタブで開きます）
主要言語: Haskell
A functional programming language for the modern era
- star 数
- 5
- watcher 数
- 1
- fork 数
- 0
- issue 数
- 31
- 最終更新
- 2023/01/04
gem-hunter主要言語: Haskell
A functional programming language for the modern era
license: agpl
What's working now:
evaluation
type checking (for Pi and Sigma types)
What I'm working on right now:
Right now this "language" is just a toy, and I'll be happy if the only thing that happens from it is I get a good understanding of dependent types and other advanced functional programming concepts. However I do have an ambition for it one day to be a language uniquely suited for game development, which I find very fun but I don't like that I usually have to do it in boring languages like c#. I also would like to write a rust->zoda transpiler one day.