Moggi's compiler refactor is almost done. Working on some new documentation in parallel. 0.2.0 release has been postponed for 2 weeks already, because of this extra work, but totally worth it. Can't wait to finally push it. #moggi #haskell #functionalprogramming
Sascha-Oliver Prolić
_@futrnostr.com
npub18wxf...4xra
Christian, Author of Moggi (a statically typed, purely function language) and futr (a nostr client)
If you vibe code or otherwise use AI in your development process, don't be so stupid and pay so much for Claude code. On Freebuff you have access to the newest DeepSeek which is on par with Opus for a fraction of the costs. Highly recommend.
#ai #vibecoding #programming

Freebuff
Freebuff: The free coding agent
Code, build and deploy apps, and chat with AI for free. Work in your browser, desktop or terminal with Freebuff.
The 80's were wild. #functionalprogramming
https://dl.acm.org/doi/10.1145/800087.802798
Wanna see how bad AI is? Try vibe coding a compiler. Even with very fine grained slices and strict boundaries, it just burns tokens with very little progress. I have to constantly intervene and do stuff myself.
base, filepath, directory and time packages from #haskell ported to #moggi.
Final testing now, when all good, next release is coming with new registry and package manager.
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.
Currently porting from #haskell: filepath and directory packages.
Moggi 0.2.0 release will be a huge upgrade, so many new things.
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.
Why is everyone only posting about AI these days? As if there are no real developers anymore. Recently I published my own programming language and guess what most people cared about? What's the percentage of hand written VS AI generated, the language itself is of no importance to them. Sad.
Boxed arrays coming to #moggi soon. Based on that, containers package will follow. #functionalprogramming #haskell
I found 2 serious compiler bugs in Moggi. I am about to have them fixed and will ship two new packages alongside: time & containers.
#moggi #haskell #programming
This was a little to aggressive on memorization of prepared projects. Slightly up to 105secs again, still twice the compile speed! #moggi #functionalprogramming
View quoted note →
The Moggi compiler just got 3 times faster! Full test suite run from 240sec down to 76sec.
#moggi #programming
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 #haskell #programming #compiler
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.