https://github.com/moggi-lang/moggi/
Moggi is a statically typed, purely functional programming language with strict evaluation. It has algebraic data types, GADTs, pattern matching, type classes, type inference, Generic Deriving, and an IO monad. It targets the JVM, .NET, and PHP, with typed FFI for existing Java, .NET, and PHP libraries.
The first release also includes a REPL, LSP, VS Code extension, moogle (code search), mogdoc (documentation generation), and a growing standard library.
This is an alpha release: the language and APIs are still evolving, and the standard library is still a work in progress.
I’d particularly like feedback from people interested in functional languages, type systems, compilers, and language/runtime interoperability.
Dude you commited 167,147 lines of code in 1529 files in a single initial commit, then have not made any coding changes…
Is this slop?
Not saying it isn’t, but it’d hardly be the first project I see where the git history was truncated before its release to the public.
Says so at the bottom of the page. Definitely put your trust in the future of this project though when things go wrong or security holes get exploited.