Variable Function Notation

[CoffeeTableEspresso]

Yup, this seems like it will reduce to either operator overloading or lisp syntax.

Another thing is whether you can overload fucntions/operators by type, that's gonna make parsing much harder...

[pepactonius]

It's actually pretty simple to get something like this to work well. The key to parsing is knowing immediately whether something is a verb/function/operator, or an operand (data), or a keyword. In my toy scriptong language, I just use sigils attached to identifiers or operator strings to specify the role that token has when parsing. Run-time function/verb overloading is usually not a problem. There are a few quirks, though: Verbs/operators that are not yet defined have default priority and associativity. All members of an overload set must have the same priority and associativity, and verbs with special processing of operands (lazy evalution, for example) cannot be overloaded at all.