destack.sh

destack

a system for understanding systems.

  • a universal software engine for correct, optimal, integrated software
  • a TypeScript++ language, compiler, VM, runtime, and libraries
  • web and native targets from one integrated toolchain
  • simulation and introspection built into the system
  • incrementally granular building blocks for your own software stack

[compile]

illustrative output, compiler generated soon
[main.ds]
newtype Celsius = float64;

function fahrenheit(value: Celsius): float64 {
    return value as float64 * 1.8 + 32.0;
}
[main.mir]
function @fahrenheit(v0: float64) -> float64 {
block0(v0: float64):
    v1: float64 = fconst 1.8
    v2: float64 = binary.mul v0, v1
    v3: float64 = fconst 32.0
    v4: float64 = binary.add v2, v3
    return v4
}
[main.js]
function fahrenheit(value) {
    return value * 1.8 + 32.0;
}

[install]

$ curl -fsSL https://destack.sh/install | sh