One post tagged with "language-design"

Metel is a research language exploring new paths to compile-time safety. It brings together ideas from across modern language design — ownership, capabilities, effects, explicit allocation, and structural types — to ask how they can work together in a system that is both explicit and practical to use.

Here is a small taste of the language:

fun main() {
    let name = "Metel";
    let answer: Perhaps<i64> = Some { value = 42 };
    println("${name} says the answer is ${answer.yolo()}");
}

.yolo() is not a typo — more on that name below.