ring, scope, tuple

he found that the typesystem has types that have not been implemented, like: ring, scope and tuple.

hubbe or someone else who might know, can you enlighten us as to what the properties of these types would be?

I guess I'm someone... :-)

As you've noticed, none of the three is fully implemented yet.

Intended use:

RING: Ring-operator. Intended for sequencing types. (f°g)(x) === f(g(x))

SCOPE: Type variable allocator. Intended for avoiding type variable clashes.

TUPLE: Ordered sequence of typed values.

also, which properties does a tuple have, that i can't get from an array with two elements?

With the current typing of arrays, you can't specify different types for different indices in the array.