Warning
The language is still under development. Some features are missing.
Important
The language documentation is provided at QuickStart.
Important
The standard library documentation is coming soon...
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.
- 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
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).
- Builtins
- Booleans
- References
- Fixed-length integers
- Fixed-length pointers
- Type inference
- Heredocs
- Aliases
- Defers
- Imports
- Namespaces
- Hygienic macros
- Function overloading
- Uniform function call syntax (UFCS)
- Multi-line statements
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.
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.
Install the VSIX extension ./minilang-highlighter/minilang-highlighter-0.0.1.vsix.
Extensions -> Views and more actions... (top-left three dots) -> Install from VSIX...
Important
The ML project creator utility (ml-init) will be available soon...
Warning
For new ML projects, makefile parameters ML, MLLIB need to be adjusted if they are specified by a relative path. Check Makefile section below.
# I. Copy project skeleton
cp -r skel <PATH_TO_PROJ>
# II. Configure makefile parameters (ML, MLLIB)
$EDITOR <PATH_TO_PROJ>/Makefileskel/
├── include
│ ├── gc.c
│ ├── gc.h
│ ├── gc-LICENSE
│ ├── log.c
│ ├── log.h
│ ├── sds.c
│ ├── sds.h
│ ├── sdsalloc.h
│ └── sds-LICENSE
├── Makefile
└── src
├── gc.ml
└── main.mlThe sds (Simple Dynamic Strings) library is required by the ML string library. (stdlib/string.ml)
The gc library will be required by the ML alloc library. (Coming soon)
| Recipe | Alias | Backend |
|---|---|---|
| default | def, c | c |
| cdebug | cdbg | c |
| debug | dbg | ml |
| assemble | asm | asm |
| Parameter | Description |
|---|---|
| CC | Path to c compiler |
| ML | Path to ML compiler |
| MLLIB | Path to ML standard library |
| CFLAGS | Options passed to c compiler |
| MLFLAGS | Options passed to ML compiler |
----------------------------------------------------------------------------------------
File blank comment code
----------------------------------------------------------------------------------------
src\Parser.py 303 46 1249
src\Def.py 262 65 901
src\Gen.py 217 134 697
src\Lexer.py 43 0 322
src\backend\c\CWalker.py 18 8 173
src\backend\c\CDef.py 45 1 140
src\GenStr.py 16 1 129
src\Snippet.py 38 0 106
src\backend\ml\MLWalker.py 10 0 106
src\Main.py 9 2 64
src\backend\Walker.py 15 1 50
----------------------------------------------------------------------------------------
SUM: 976 258 3937
----------------------------------------------------------------------------------------Note
Statistics were generated with cloc.
Warning
The ML and asm compiler backends are currently far outdated. The latest features exclusively require the c compiler backend.
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.Note
All MiniLang samples (example projects) are located within the samples directory. All samples are written entirely in ML.
# From samples/helloworld/src/main.ml:
import stdlib.print
fun main: int32
print "Hello World!"
ret 0
end# From samples/str-ufcs/src/main.ml:
import stdlib.print
import stdlib.string
fun main: int32
# Is equivalent to:
# print(concat(str("Hello "), str("World!")))
(str("Hello ").
concat(str("World!")).
print)
end# From samples/fizzbuzz/src/main.ml:
import stdlib.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
endCopyright © 2023-2024 Nicolae Petri
Licensed under the MIT License.