Jump to content

Talk:Function-level programming

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 68.171.50.69 (talk) at 05:20, 1 December 2005. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

What would be an example of a function-level definition which is not the lifted image of a value-level one?

I am not sure there is a reasonable answer to that question. It is more of a notational and usage question. Composition can only be defined (other than as a primitive) as (f . g)(x) = f(g(x)). The notations are equivalent semantically, but computationally and for optimisation and implementation they may be different - function-level programming will clearly have composition as a primitive. Justinc 23:16, 4 August 2005 (UTC)[reply]

Did the author really mean bottom-up semantics or did they mean to say bottom-preserving semantics?

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Function-level_programming&oldid=29774529"