When I started building my own programming language, I had to build in some compiler hacks in order to make it work at the beginning. For example I had a list of monomorphic operators build into the compiler, so it can could do some basic math, concatenate strings, etc. But now that the type classes are implemented, those hacks needed to go in order to not obfuscate possible compiler bugs or std-lib issues. This work is now finally completed! I'm back to working on the new package manager and generated, typed FFI bindings. Once done, expect next Moggi release.

Moggi — a statically typed, purely functional language

Moggi is a statically typed, purely functional, strictly evaluated language that compiles to PHP, the JVM and .NET.

#moggi #haskell #programming #compiler

Wow, this is super nice! View quoted note →

moggi-lang.org website now live. I will try to push apidocs, registry and moogle tomorrow. Let's see how final registry testing goes first.

Building package managers is actually hard. Took me longer then hindley millner type inference, who would have thought. I am still polishing some edges here and there, but should be good to release within 1-2 days more. #moggi

Currently working on moggi's package manager - maybe this weekend I'll release it. #moggi #programming

Thank you Rober Tarjan, for your Strong Connected Component (SCC) algorithm.

Huge refactor of moggi's type inference, reducing passes and hardening its core. Too many bugs recently found here, so definitely worth it. #moggi

Moggi — a statically typed, purely functional language

Moggi is a statically typed, purely functional, strictly evaluated language that compiles to PHP, the JVM and .NET.

Wanna really learn Haskell? Write a compiler and rewrite parts of Haskell. You'll be amazed how little you knew.

Moggi - a statically typed, purely functional language that compiles to JVM, .NET & PHP

Moggi 0.1.0-alpha is released today.

GitHub

GitHub - moggi-lang/moggi: Moggi Compiler

Moggi Compiler. Contribute to moggi-lang/moggi development by creating an account on GitHub.

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.

Just read the title "property allocation rules" and got stuck. Is this about object oriented programming or economics?