this post was submitted on 24 Sep 2026
11 points (67.7% liked)

Programming

28830 readers
98 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev

founded 3 years ago
MODERATORS
snowe@programming.dev
Ategon@programming.dev
UlrikHD@programming.dev
bugsmith@programming.dev
Spyro@programming.dev
11
Moggi - a statically typed, purely functional language on JVM, .NET & PHP (github.com)
submitted 3 weeks ago by prolic@programming.dev to c/programming@programming.dev
9 comments fedilink hide all child comments
 

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.

you are viewing a single comment's thread
view the rest of the comments
[โ€“] Wiz@midwest.social 2 points 2 weeks ago (1 children)

Why would I use this rather than, say, Clojure?

[โ€“] innocentzero@kbin.earth 1 points 2 weeks ago

Not OP, and I have no context on this, but it does say statically typed.