Welcome to the Future!

Psi is a new programming language with the feeling of a dynamic programming language but providing all the benefits of a statically typed language.

Features

static typing
flexible, but strict type system
closure types
standard library
type inference
well defined implicit conversions

Example

/***************************************************
* Example using some features of the Psi language. *
***************************************************/
import std;
import std.io;

const main = fn()
{
    var i : int;

    // Using an 'out' parameter
    set(i, 42);
    
    while(i > limit())
    {
        i = i - 1;
    }

    // Create a closure
    var print = fn()
    {
        print("i = ");
        print(i);
        print("\n");
    };

    // Call the local print variable
    print();
};

const set = fn(out dst : int, src : int)
{
    dst = src;
};

const limit = fn() -> int
{
    return 38;
};

Install

Sadly, there is no public release of Psi right now. But you can grab the heavily in-dev compiler source at GitHub

Documentation

Docs, there isn't any useful documentation either.