The Mirisa Programming Language

Mirisa will be a general-purpose systems programming language and toolchain for maintaining safe, robust, and optimal firmware and software. It will have a formal specification and little to no language changes after release.

Why when there is rust/zig/etc? because i want algebraic effects, refinement types and powerful generics with typeclasses and HKTs out of the box in a low-level language like zig. also c-like syntax isn't cute at all!

These will be the main features:

• algebraic effects: it provides a better way to work with effects, so exceptions, generators, async, dependency injection, control over io, etc using just a single simple yet powerful language feature;
• refinement types: to reduce the need in runtime checks and enforce way more invariants with types;
• powerful generics with typeclasses and HKTs;
• compiletime code execution with type introspection and maybe macros based on first-class typed ast manipulations;
• implicit parameters;
• GADTs: more expressive data type definitions.

examples of what mirisa will look like:

hello world

import base::io::console

function main() & Console_io
	print_ln("hello world")
end
		

factorial

import base::io::console

function factorial{T: Number + Partial_order + Copy}(mutable n: T) -> T
	let mutable result = T::ONE
	while n > T::ONE with n := n - T::ONE
		result := result * n
	end
	result
end

function main() & Console_io
	enum_from_to_inclusive{u64}(0, 10):foreach do i
		print_ln_fmt("{}! = {}", (i, factorial(i)))
	end
end