Stabel

Stabel is a pure, concatenative, and statically typed programming language.

{[# Stabel is statically typed.

1. In most cases, Stabel is smart enough to infer the types.
2. The function definitions in the previous example are repeated here with type annotations.

def: square

type: Int -- Int

: dup

def: drop-first

type: Int Int -- Int

: swap drop

def: main

type: -- Int

: 4 5

drop-first

square]}

Try out the playground: https://stabel-lang.github.io/playground.html

Look at the source code: https://github.com/stabel-lang/compiler