Skip to content

A type-safe C successor that compiles directly to various platforms.

License

Notifications You must be signed in to change notification settings

NICUP14/MiniLang

Repository files navigation

MiniLang

Warning

The language is still under development. Some features are missing.

A type-safe C successor that compiles directly to various platforms.

Check out acwj-git, DoctorWkt's tutorial is the main (best) source of inspiration of this project's structure.

QuickStart

Design choices

  • Modern
  • Compiled
  • Procedural
  • Strongly typed
  • Type and memory safe
  • Closely match C features
  • Bidirectionally compatible with C
  • ML must be easy to learn and use
  • ML abstractions introduce zero-overhead compared to C

Motivation

The language is designed to closely match c features along with some zero-overhead quality of life improvements that you would find in a modern language, while maintaining the ease of learning the language (in about 10 minutes or less via QUICKSTART). Moreover, the type system is stricter than c, which prevents common bugs (flaws) of the c language. Memory safety is also a primary concern. As for c compatibility, the language is bidirectionally compatible with c (c can be used in ML, ML can be used in c).

Goodies

Branches

Warning

The unstable branch is updated more often than the main (stable) branch and offers access to experimental features, but is more prone to breakage/bugs.

Links

To suggest features/fixes, modify IDEAS.md/BUG.md and submit a pull request or contact me via the email address in my github profile.

Syntax highlighter (VSCode)

Install the VSIX extension ./minilang-highlighter/minilang-highlighter-0.0.1.vsix.

Extensions -> Views and more actions... (top-left three dots) -> Install from VSIX...

Manage ML projects

Running samples and tests

To run a sample or test, specify its directory using the -C option in mlpx with arguments build and run.

python mlpx -C tests/test build and run

Creating projects

Important

The ML project creator utility (mlpx init) will be available soon...

# I. Copy project skeleton
cp -r skel <PATH_TO_PROJ>

# If using the GNU make build tool instead of mlpx
# II. Configure makefile parameters (ML, MLLIB)
$EDITOR <PATH_TO_PROJ>/Makefile

Build tools

Code statistics

----------------------------------------------------------------------------------------        
File                                      blank        comment           code
----------------------------------------------------------------------------------------        
src\Parser.py                               482             92           1846
src\Def.py                                  320             74           1108
src\Gen.py                                  217            134            697
src\Lexer.py                                 43              1            351
src\backend\c\CWalker.py                     25             17            203
src\backend\ml\MLWalker.py                   18              6            179
src\backend\c\CDef.py                        50              1            155
src\GenStr.py                                16              1            129
src\Snippet.py                               38              0            106
src\Main.py                                  14              2             79
src\backend\ml\MLDef.py                      14              2             56
src\backend\Walker.py                        16              3             53
----------------------------------------------------------------------------------------        
SUM:                                       1253            333           4962
----------------------------------------------------------------------------------------

Note

Statistics were generated with cloc.

Usage

Warning

The asm compiler backend is currently far outdated. The latest features exclusively require the c and ml compiler backends.

Usage: Main.py [options]

The mini language compiler, Version: 1.0.0, Source:
https://github.com/NICUP14/MiniLang.git

Options:
  -h, --help            show this help message and exit
  -o OUTPUT, --output=OUTPUT
                        Write contents to OUTPUT; When set, no-color is        
                        enabled by default.
  -d, --debug           Dry run; Print the human-friendly AST representation.  
                        Overrides any specified backend option.
  -c, --no-color        Do not use ANSI color sequences in the output.
  -C, --no-comment      Do not include human-readable comments in the
                        generated assembly.
  -I INCLUDE, --include=INCLUDE
                        Add the directory to the include path.
  -b BACKEND, --backend=BACKEND
                        Specify which compiler backend to use. Choose between  
                        c, asm and ml.

Samples

Note

All MiniLang samples (example projects) are located within the samples directory. All samples are written entirely in ML.

Hello World

# From samples/helloworld/src/main.ml:
import stdlib.io.print

fun main: int32
    print "Hello World!"
    ret 0
end

String (UFCS)

# From samples/str-ufcs/src/main.ml:
import stdlib.io.print
import stdlib.string

fun main: int32
    # Is equivalent to:
    # print(concat(str("Hello "), str("World!")))
    (str("Hello ").
        concat(str("World!")).
        print)
end

FizzBuzz

# From samples/fizzbuzz/src/main.ml:
import stdlib.io.print

fun fizz_buzz(num: int64): void
    let idx = 1

    while idx <= num
        if idx % 15 == 0
            println(idx, ": FizzBuzz")
        elif idx % 3 == 0
            println(idx, ": Fizzz")
        elif idx % 5 == 0
            println(idx, ": Buzz")
        end

        idx = idx + 1
    end
end

fun main(): int64
    fizz_buzz(15)
    ret 0
end

License

Copyright © 2023-2024 Nicolae Petri

Licensed under the MIT License.