8000 GitHub - anchpop/Zoda: A functional programming language for the modern era
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

anchpop/Zoda

Repository files navigation

Zoda

license: agpl

What's working now:

  • evaluation

  • type checking (for Pi and Sigma types)

What I'm working on right now:

  • Algebraic data types

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.

About

A functional programming language for the modern era

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  
0