I have programmed in two FPs (HOPE and Lisp) .
I did FP in my final yr as an undergrad.
Even with all the above, I still consider my knowledge of FP to be
quite basic. Which begs the question :
If someone who has been exposed to the concepts of referential
transparency, Beta reduction, the Y combinator, standard and normal
order evaluation, the Church-Rosser theorem, the S/K/I combinators,
program transformation, lambda-lifting etc
has 'basic' knowledge, then what should the FP bods make of
someone whose summary of FP is :
: Functional programming is based upon lambda calculus,
: it is structured around procedural message passing,