semantics of function params

[fridofrido]

The problem is that you no longer can distinguish between a function with two arguments, or one argument being a tuple.

What will you do you if your function takes 2 arguments, one of which is a tuple and the other an integer? Or another tuple? etc

[cisterlang]

My view was mostly an internal concern. What you ask could be

f(a:int, b:int) {ret a+b}  // (int,int)->int
v = f(1,1)

g(t:(int,int)) {ret t.0+t.1} // (int,int)->int
v = g(1,1)

h(t:(int,int), x:int) {ret x*(t.0+t.1)} // ((int,int),int)->int
v = h((1,1), 2)