Mirth is a strongly typed concatenative programming language inspired by Forth, Joy, Haskell, Lisp, and monoidal category theory. It is developed by typeswitch. For more details: https://github.com/mirth-lang/mirth

Examples

Hello World

||| A simple hello world program to show off the mirth language.
module(examples.hello-world)
import(prelude)
import(platform.posix)

target-c99("hello-world.c",
    "Hello, world!" str-print-ln!)

Tak Benchmark Function

module(main)
import(prelude)
import(platform.posix)

def(tak, Int Int Int -- Int, 
  dup2 < if(
    dup3 1- tak 
    dip(dup3 rotr 1- tak)
    dip2(rotl 1- tak) 
    tak,
    drop2
  )
)

7 4 8 tak print-ln!