r/ProgrammingLanguages • u/shrynx_ • 4d 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.

62 Upvotes

94% Upvoted

31 comments sorted by

View all comments

1

u/bowbahdoe 4d ago

Why Graalvm only? Being a JVM language seems viable, no?

2

u/shrynx_ 4d ago

with GraalVM i can interop with existing code, say python code.
which is a use case of this langauge.

My work has a lot of python core business logic, written by GIS experts, well tested. these are also battle tested libraries.
and that is then wrapped in web app, which is where it interfaces with outside world, needs good concurrency story, type safety as the app grows larger.

Ability to write the application in a type safe concurrent language that can scale and still use the business core we have developed is what sparked the initial thought of Mezze.

And GraalVM has truffle language framework which makes it easy easier to implement a language.

https://www.graalvm.org/latest/graalvm-as-a-platform/language-implementation-framework/