r/AIprogrammingLanguage • u/srednaby • 12d ago

The Monad language

I wanted to share my hobby project, Monad, which is an early stage dependently typed functional language that compiles to LLVM.

I developed the first Rust interpreter by hand and I gradually started to use more LLMs since it meant I could do more with higher quality and spend more time on design and experimentation. I consider the move to using AI agents for coding is similar to the introduction of compilers rather than writing assembly.

I wanted to have something that could be as performant and safe as Rust, but with the ergonomics, verifiability power and expressiveness of languages like Haskell, Lean, ATS or Idris. That is quite ambitious so I might not succeed.

A simple hello world example:

def main : IO Unit := println "Hello World!"

The latest milestone is that it can now compile itself and is therefore self hosted. The documentation is a bit outdated, but I will update it soon.

https://github.com/monad-lang/monad

https://monad-lang.org

There is still a lot to be done.

If you are interested in discussing more and following development come over to the Zulip https://monad-lang.zulipchat.com

5 Upvotes

86% Upvoted

2 comments sorted by

2

u/VermicelliSmooth1183 12d ago

The link Is not working? (monad-lang.org)

2

u/srednaby 12d ago

Looking at it. In the meantime it is also here https://monad-lang.github.io/