Skip to content

πŸ“‘πŸš€ Programming language with full type inference that compiles to LLVM

Notifications You must be signed in to change notification settings

MoritzGoeckel/MLang

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

82 Commits
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 

Repository files navigation

MLang

MLang is my strictly typed programming language with full type inference that compiles to LLVM. The language uses a custom recursive descent parser as the front-end and targets LLVM JIT as the backend. The project is tested with the google test framework. This is a multiplatform project targeting both Linux and Windows.

This language is build solely for fun and educational purposes, so maybe you should not use this in production 🐴

You can download the executables for Windows and Linux in the release section.

Features

  • Type inference
  • Strictly typed
  • Functions
  • Arithmetic operations
  • Boolean operations
  • Branching (if)
  • Loops (while)
  • Integer type
  • Boolean type
  • Float type
  • Operator precedence
  • Linux support
  • Windows support
  • Error reporting
  • Heap allocation
  • Arrays
  • Pointers
  • String type
  • Printing
  • Structs
  • Closures

Examples

For more examples refer to the mfiles folder

# Loops
let i = 0;
let j = 1;
while(i < 10){
    j = j * 2;
    i = i + 1;
}
ret j;
# Infix notation
let i = 1 + 2;
# Prefix notation
let j = +(1, 2);
# Functions
let f(x) = x + 2;
ret f(11);
# Multi-line functions
let f(x) = {
    let y = x + 2;
    ret y + 3;
};
ret f(10);
# Branching
let x = 1;
if(x < 3){
    ret true;
}
ret false;
# Operator precedence
let x = 3 + 10 + 6 / 3 - 2 * 5;
ret x; # is 5

Error reporting

Following you find an example on how parsing errors are reported to the user

Parsing failed:
Expecting ';' but found 'ret' @3:17

1:  let f(x) = {
2:      let y = x + 2
3:                  ^

Consider adding a semicolon to the end of the statement

Dependencies

  • LLVM
  • GTest

Getting started

You can find an installation guide in INSTALL.md

About

πŸ“‘πŸš€ Programming language with full type inference that compiles to LLVM

Topics

Resources

Stars

Watchers

Forks

Packages

No packages published