Stabel

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

# Stabel is statically typed. 
# In most cases, Stabel is smart enough to infer the types.
# 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