Email or username:

Password:

Forgot your password?
Top-level
WimⓂ️

@neauoire What does it mean to have "complete expressions"? Referential transparency refers to the names. If something is not named in an expression, it does not affect referential transparency.
Can you give an example of an expression that is incomplete, but is acceptable for in concatenative language?

2 comments
Devil Lu Linvega

@wim_v12e like the difference between a lambda and a clojure, or from the tacit point of view where you don't pass assignment and how returning multiple values at once is done.

`(+ x y)`, versus `+`

WimⓂ️

@neauoire By my understanding,
`+` is a complete expression (it's a function), as is `(+ x y)` (an applied function; there is not enough context to say that the bindings are defined but that is not the same as incomplete).
Closures are functions (named or not) that capture some bindings from their outer scope.
Returning multiple values is valid in a functional language too.
I don't understand where the notion of (in)completeness fits in.

Go Up