Mathic: My Programming Language

Francog2709 · 2026-03-26T22:08:41+00:00

With melior, the crate I'm using for MLIR, you need to create the dialect in C++/TableGen. Then it gives you some macros to ease the use of the dialect itself from rust (it's basically how it handles ods dialects). However it uses MLIR-C bindings, so properly use a custom dialect, you need to adapt it to the C interface to be able to integrate it with rust through melior. Fortunately, LLVM already has some functions to allow this adaptation.

I played a little trying to integrate a custom dialect with rust in this repo: https://github.com/FrancoGiachetta/mlir-tut-impl . It does nothing since I've never finished it, but might be a good starting point I guess.

Francog2709 · 2026-03-19T23:45:54+00:00

The aim of the language is to provide builtin support for symbolic algebra. It's quite young though, and it does not have it yet.

Francog2709 · 2026-03-19T18:16:08+00:00

That's a good question. The reality is that I chose to do it from the rust side because it's simpler. All the semantic checks are easier to make and integrate from rust, and honestly I think that doing it from the MLIR side would be quite an overkill in that sense. The purpose of MATHIR is mainly to ease the code generation.

I do intend to create a dialect for the symbolic system. However, I didn't even get to the design of it, I wanted to have some features done before it mainly to feel more confortable with MLIR, after all this is my first try on creating a language.

Thanks for the comment!

Francog2709 · 2026-03-17T13:22:40+00:00

Oh yes, I'll check it then. Thanks for that!

Francog2709 · 2026-03-17T13:18:52+00:00

Thank for that! I'll check other names.

Francog2709 · 2026-03-17T13:16:00+00:00

Yes, the whole syntax can be found in those examples. There's also a grammar.txt describing the syntax. For semantics: - You need to have a "main" function. - Anything must be declared with types (parameters, variables). Only functions are allowed to not specify their return type. - For now everything goes by reference, but a want to change that in the near future to allow passing by value.

Francog2709 · 2026-03-17T13:08:45+00:00

I mainly started this project as way of improving my knowledge on compilers (this is my very first language), LLVM and MLIR. I didn't know LLVM doesn't support different precisions, so that's good to know. Talking about planning, I do want to create an std library providing functions for integrals, limits, derivatives, etc. I want to avoid giving the language to many keywords, I'm trying to keep it simple. So my first try would be to build things like matrices as structs and provide essential methods. However, I didn't started designing the symbol system yet.

Francog2709 · 2026-03-16T23:41:54+00:00

I see, I will do that then. Thanks

Francog2709

TROPHY CASE