Mun is a programming language empowering creation through iteration.
-
Ahead of time compilation - Mun is compiled ahead of time (AOT), as opposed to being interpreted or compiled just in time (JIT). By detecting errors in the code during AOT compilation, an entire class of runtime errors is eliminated. This allows developers to stay within the comfort of their IDE instead of having to switch between the IDE and target application to debug runtime errors.
-
Statically typed - Mun resolves types at compilation time instead of at runtime, resulting in immediate feedback when writing code and opening the door for powerful refactoring tools.
-
First class hot-reloading - Every aspect of Mun is designed with hot reloading in mind. Hot reloading is the process of changing code and resources of a live application, removing the need to start, stop and recompile an application whenever a function or value is changed.
-
Performance - AOT compilation combined with static typing ensure that Mun is compiled to machine code that can be natively executed on any target platform. LLVM is used for compilation and optimization, guaranteeing the best possible performance. Hot reloading does introduce a slight runtime overhead, but it can be disabled for production builds to ensure the best possible runtime performance.
-
Cross compilation - The Mun compiler is able to compile to all supported target platforms from any supported compiler platform.
-
Powerful IDE integration not implemented yet - The Mun language and compiler framework are designed to support source code queries, allowing for powerful IDE integrations such as code completion and refactoring tools.
fn fibonacci(n: i32) -> i32 {
if n <= 1 {
n
} else {
fibonacci(n - 1) + fibonacci(n - 2)
}
}
// Comments: functions marked as `pub` can be called outside the module
pub fn main() {
// Native support for bool, f32, f64, i8, u8, u128, i128, usize, isize, etc
let is_true = true;
let var = 0.5;
// Type annotations are not required when a variable's type can be deduced
let n = 3;
let result = fibonacci(n);
// Adding a suffix to a literal restricts its type
let lit = 15u128;
let foo = record();
let bar = tuple();
let baz = on_heap();
}
// Both record structs and tuple structs are supported
struct Record {
n: i32,
}
// Struct definitions include whether they are allocated by a garbage collector
// (`gc`) and passed by reference, or passed by `value`. By default, a struct
// is garbage collected.
struct(value) Tuple(f32, f32);
struct(gc) GC(i32);
// The order of function definitions doesn't matter
fn record() -> Record {
// Mun allows implicit returns
Record { n: 7 }
}
fn tuple() -> Tuple {
// Mun allows explicit returns
return Tuple(3.14, -6.28);
}
fn on_heap() -> GC {
GC(0)
}
The Mun Programming Language Book is hosted on netlify.
[NOTE] We do not provide support for milestone releases
[NOTE] None of the binaries are currently signed
Download pre-built binaries of milestone releases for macOS, Linux, and Windows (64-bit only).
Make sure you have the following dependencies installed on you machine:
Install the latest stable version of Rust, e.g. using rustup.
Mun targets LLVM 8.0.1. Installing LLVM is platform dependant and as such can be a pain. The following steps are how we install LLVM on our CI runners:
- *nix: Package managers of recent *nix distros can install binary versions
of LLVM, e.g.:
# Ubuntu 18.04 sudo apt install llvm-8 llvm-8-* liblld-8*
- Arch Linux The binary version of LLVM can currently only be installed
using an AUR helper, such as
yay
:It is also possible to perform a manual package installation as follows:yay -Syu lld7-headers lld7-libs-static
When running# NOTE: this installs all of the lld7 packages cd /tmp git clone https://aur.archlinux.org/lld7.git cd lld7 makepkg -si
llvm-config
, an error can occur signalling that/usr/lib/libtinfo.so.5
is missing. If a newer version is present, create a symlink; e.g.ln -s /usr/lib/libtinfo.so.6 /usr/lib/libtinfo.so.5
), otherwise download the library. - macOS: Brew contains a binary distribution of LLVM
8.0.1. However, as it's not the latest version, it won't be added to the path.
We are using llvm-sys to manage version,
but another option is to export the
LLVM_SYS_80_PREFIX
variable, which will not clutter yourPATH
. To install:brew install llvm@8 # Export LLVM_SYS_PREFIX to not clubber PATH export LLVM_SYS_PREFIX=$(brew --prefix llvm@8)
- windows: Binary distrubutions are available for Windows on the LLVM
website, but they do not contain a number of libraries that are required by
Mun. To avoid having to go to the trouble of compiling LLVM yourself, we
created a repository that
automatically compiles the required binaries. It also contains a
release
that you can download and extract to your machine. Once downloaded and
extracted, add the
<extract_dir>/bin
folder to thePATH
environment variable.
git clone https://github.com/mun-lang/mun.git
git submodule update --init --recursive
cargo build --release
Mun contains initial support for the lsp protocol, start the executable using:
mun language-server
Currently, only diagnostics are supported.
To run in Visual Studio Code. Use the following extension: VS code extension.
Use a language server plugin (or built-in lsp support of neovim), for example using coc.nvim.
Paste the following config into your :CocConfig
, replace the command
, with the correct path to the mun executable.
"languageserver": {
"mun": {
"command": "<path_to_mun>",
"rootPatterns": ["mun.toml"],
"trace.server": "verbose",
"args": ["language-server"],
"filetypes": ["mun"]
}
}
Note that, "trace.server": "verbose"
is optional and helps with language server debugging.
Building the book requires mdBook, ideally version 0.3.x. To install it, run:
$ cargo install mdbook --vers [version-num]
The Mun book uses a custom version of
Highlight.js to enable highlighting
of Mun code. The build version of Highlight.js is required by mdbook in the
theme/
folder but it is not distributed with the source. Instead, it can be
build by invoking the build script:
cd book
./ci/build-highlight-js
Every time you change something in the custom version of highlight.js you have to call the above script to ensure you locally use the latest version.
After generating the custom minified Highlight.js, to build the book, type:
$ mdbook build
The output will be in the book subdirectory. To view the book, open it in your web browser.
For local development use mdbook serve
instead of mdbook build
. This will
start a local webserver on port 3000
that serves the book and rebuilds the
content when changes are detected.
All of the above is also combined in a single shell script that can be invoked by simply running:
./ci/build
To test the rust
source code in the book, run:
mdbook test -L path/to/target/debug/deps
For this to work, there can only be one libmun_runtime-{HASH}.rlib
file in the
provided library path.
The Mun Runtime is licensed under either of
- Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.