Wow, this is super nice!
View quoted note →
Sascha-Oliver Prolić
_@futrnostr.com
npub18wxf...4xra
Christian, Author of Moggi (a statically typed, purely function language) and futr (a nostr client)
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.
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.
GitHub
GitHub - moggi-lang/moggi: Moggi Compiler
Moggi Compiler. Contribute to moggi-lang/moggi development by creating an account on GitHub.
Just read the title "property allocation rules" and got stuck. Is this about object oriented programming or economics?
Repost and try it out View quoted note →
Futr v0.5 - the desktop nostr client released!
Linux Users (available via flatpak):
flatpak remote-add --if-not-exists futr-stable https://flatpak.futrnostr.com/futr-stable.flatpakrepo
flatpak install com.futrnostr.futr
Windows Users:
https://github.com/futrnostr/futr/releases/download/v0.5.0/futr-0.5.0.0-setup.exe


FUTR 0.5 - Linux release is available
Windows Users - sorry you have to wait for some build problem to be resolved, working on it.