Functional Weenie

One who advocates FunctionalProgrammingLanguages above their imperative cousins. Unlike the weenies of LispLanguage and SmalltalkLanguage, the FunctionalWeenie doesn't get the label "smug", as they are advocating a technology still being actively researched, rather than one which elegantly solved all the world's problems twenty years ago and is slowly being integrated into mainstream technologies (which are arguably still of lesser quality) ex post facto. In other words, the FunctionalWeenie is not in a position to say "I told you so!"

At least not yet.

Note that FunctionalWeenies are not a superset of SmugLispWeenies (though the two overlap), as many of the latter gloss over (or ignore) the purely-functional aspects of LispLanguage. Most Lispers happily indulge in unclean things such as side effects, for instance. Also, FunctionalWeenies often go agog over TypeInference and the like--an issue sidestepped completely in a dynamically-typed language like Lisp.

Attributes of the FunctionalWeenie:

I'd like to hear more about this one argument thing, anybody have some good links?

Fast search on google gave this: http://www.cs.hmc.edu/courses/2002/fall/cs80/sml/lecture03.html (scroll down to the "more than one parameter" part).

Usually, Haskell / Ocaml programmers tend to prefer curried style, SML programmers tuple style. Both are isomorphisms of true multiple argument functions; isomorphisms such that they only need one-argument functions for their semantics; OccamsRazor in practice. To confuse things more, let's note that under category theory the isomorphism between tuple and curried functions is equivalent to the logical claim,

 (a and b => c) <=> (a => (b => c))

And you're really a FunctionalWeenie if you have ever:


See GreatLispWar

CategoryWhimsy CategoryFunctionalProgramming CategoryWeenie

EditText of this page (last edited August 4, 2014) or FindPage with title or text search