cd /news/developer-tools/moggi-a-kind-of-strict-version-of-ha… · home › topics › developer-tools › article
[ARTICLE · art-138775] src=discourse.haskell.org ↗ pub= topic=developer-tools verified=true sentiment=· neutral

Moggi - a kind of strict version of Haskell running on JVM, .NET & PHP

Moggi 0.1.0-alpha, a statically typed, purely functional programming language with strict evaluation, was released today, targeting the JVM, .NET, and PHP with typed FFI for existing Java, .NET, and PHP libraries. The alpha release includes algebraic data types, GADTs, pattern matching, type classes, type inference, Generic Deriving, and an IO monad, plus a REPL, LSP, VS Code extension, moogle code search, mogdoc documentation generation, and a growing standard library. The release is labeled alpha, with the language, APIs, and standard library still evolving, and its author is seeking feedback from people interested in functional languages, type systems, compilers, and language/runtime interoperability.

read1 min views1 publishedSep 24, 2026

Moggi 0.1.0-alpha is released today.

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.

source & further reading
discourse.haskell.org — original article Rel8 1.8 released! How to keep enjoying programming in a world of LLMs V0.1.0.0 of ghcup-gtk released
── more in #developer-tools 4 stories · sorted by recency
── more on @moggi 3 stories trending now
sponsored brought to you by zahid.host 4,200+ EU-deployed projects
reading about agents? ship yours in a single git push.

Run your AI side-project on zahid.host

EU-based hosting, git-push deploys, automatic HTTPS, no cold starts. Free tier with a custom domain — perfect for shipping the agent you just read about.

$git push zahid main
→ Live at https://your-agent.zahid.host ✓
Get free account → Pricing
from €0/mo · no card required
LIVE [news/moggi-a-kind-of-stri…] indexed:0 read:1min 2026-09-24 · —