On 3 November 2012 16:24, June Kim (김창준) <[email protected]> wrote: > I think it as a difference in focus. > To see the difference, please refer to: > http://en.wikipedia.org/wiki/Function-level_programming > http://archive.org/details/JohnBack1987
I do know these very well, and I do not see any contrast with what Haskell supports or promotes. Quite the opposite. Haskell is both a result of, and a vehicle for, huge amount of theoretical and practical work in the field of functional, including (and in fact stressing) function-level programming. Google for any of 'point-free programming', 'algebra of programming', 'Bird-Meertens formalism' (cata-, ana-, para- etc. morphisms) -- you'll see everywhere a lot of variable-free functions and Haskell (and not much mentioning of APL and J). A particular strength of Haskell that enables the expression of abstract, general functions is its rich type system. It is worth reminding that the language is named after Haskell Curry, one of the inventors of the combinatory logic -- a theoretical model of the function-level programming. ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
