Comment by fedvasu

sounds like ML+contracts, but wait is it statically typed? Maybe not Racket folks hate types (with great dredd)