set [vars] [values], this form stands
func [x y z][loop 5 [print x: x + 1]]
func [y z /local x][set [x] loop 5 [print [x: x + 1]]
func [z /local x y][set [x y][1 2] loop 5 [print [x: x + 1]]
func [/local x y z][set [x y z][1 2 3] loop 5 [print [x: x + 1]]
xvalue should be preserved somehow, so that those nested functions are able to access it. Same with other arguments.
spec(x0,f(x,y,z))when called returns
spec(y0,f(y,z,x=x0)), and the new one =>
do reduce [..]) to call it
inrequires a stack slot copy while
bindjust modifies the first argument slot on stack, and re-use it as returned value. The incurred overhead exists because such copy boils down to an expensive
memcpy(), which could be replaced in a future (once we start working on optimizations) by a simple read/write using an SSE 128-bit wide register. Once such optimization is done, the difference should become insignificant.
bindmodifies context pointer in slot and returns it, while
inallocates an extra copy, so as to avoid modification of the original word (I guess?).
type: word!; probe type? type ; datatype! probe type? word! ; datatype! probe (type = word!); true switch type [ unset! [ print "unset!" ] word! string! file! url! block! [ print "word! string! file! url! block!" ] ]
any-type!has to do with that?