{"slug": "moggi-a-kind-of-strict-version-of-haskell-running-on-jvm-net-php", "title": "Moggi - a kind of strict version of Haskell running on JVM, .NET & PHP", "summary": "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.", "body_md": "Moggi 0.1.0-alpha is released today.\n\nMoggi 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.\n\nThe first release also includes a REPL, LSP, VS Code extension, moogle (code search), mogdoc (documentation generation), and a growing standard library.\n\nThis is an alpha release: the language and APIs are still evolving, and the standard library is still a work in progress.\n\nI’d particularly like feedback from people interested in functional languages, type systems, compilers, and language/runtime interoperability.", "url": "https://wpnews.pro/news/moggi-a-kind-of-strict-version-of-haskell-running-on-jvm-net-php", "canonical_source": "https://discourse.haskell.org/t/moggi-a-kind-of-strict-version-of-haskell-running-on-jvm-net-php/14725#post_1", "published_at": "2026-09-24 03:56:30+00:00", "updated_at": "2026-09-24 04:01:02.847303+00:00", "lang": "en", "topics": ["developer-tools"], "entities": ["Moggi", "JVM", ".NET", "PHP", "Java", "VS Code"], "also_reported_by": [], "alternates": {"html": "https://wpnews.pro/news/moggi-a-kind-of-strict-version-of-haskell-running-on-jvm-net-php", "markdown": "https://wpnews.pro/news/moggi-a-kind-of-strict-version-of-haskell-running-on-jvm-net-php.md", "text": "https://wpnews.pro/news/moggi-a-kind-of-strict-version-of-haskell-running-on-jvm-net-php.txt", "jsonld": "https://wpnews.pro/news/moggi-a-kind-of-strict-version-of-haskell-running-on-jvm-net-php.jsonld"}}