Parameter names in procedural types

[nim-lang]

Parameter names in procedural types

[Araq]

That is too ambiguous to handle and some consider parameter names a nice form of documentation... However, in the works are type descriptions using the same syntax as expressions:
int * int # short for tuple[a, b: int]
int -> int # short for proc (a: int): int

Hm, now that makes int * int -> int a proc (a: tuple[a,b:int]): int
Damn. Any idea?
--> Discussion in forum (http://force7.de/heimdall/).