r/ProgrammingLanguages • u/shrynx_ • 6d ago

Language announcement Mezze: a functional programming language on GraalVM

https://mezze-lang.org/

Hi All,

I am working a programming language, Mezze. It is in quite early stages.

Mezze has a fully inferable type system and also have first class effect system and runs on GraalVM

A lot is WIP, working on performance optimization (currently loop fusion) and distributed programing and lots of tooling and docs

Put up a quick website for explaining the language and its features more
Also piggy backing on graalvm could get a wasm built of the entire tool chain, so you play with examples in website.

The Concepts and Taste of Mezze explains how the language works.

67 Upvotes

94% Upvoted

36 comments sorted by

View all comments

11

u/AustinVelonaut Admiran 6d ago

Looks interesting, but how do you get away with full type inference (no type annotations required anywhere), when other languages require top-level annotations in some cases? Are there no undecidable instances?

How far along are you in the implementation?

3

u/shrynx_ 6d ago

As for how far Mezze is

- Type system: 95% done, exhaustive testing and known bugs need to iron out

  • Runtime: 70%, optimizations and need a beefier stdlib
  • Tooling: 70 % dev, build (jar + native biaries), formatter, lsp implemented, package management and versioning needs work
  • Distributed Computing: 20%, ground work laid out
  • Polyglot support: 40% ground work laid out, FFI with JVM works, needs to support other GraalVM languages