On Thu, Jan 27, 2005 at 10:50:01AM +0100, Henrik Grubbström (Lysator) @ Pike (-) developers forum wrote:
RING: (f°g)(x) === f(g(x))
what would be the advantage of this? other than seeming harder to read? i tried to read up on rings in math refereces and didn't really understand anything. most confusing is the fact you are using ° on functions. it implies that f°g yields some kind of result, like f(g) which is completely different from f(g(x)).
SCOPE: Type variable allocator. Intended for avoiding type variable clashes.
please elaborate.
With the current typing of arrays, you can't specify different types for different indices in the array.
sounds usefull, and is kinda like what i have been asking for in mappings (named tuples? :-)
how might the syntax look like? tuple(string:int:int) foo = (x "foo", 1, 3 x) where x is to be replaced with a yet to be chosen character?
however this does not appear the same as tuples in python, which appear to be just defining the values immutable. (i have not actually used tuples in python yet, so i am unsure of their properties.
greetings, martin.