http://enfranchisedmind.com/blog/posts/what-is-a-functional-programming-language/ http://enfranchisedmind.com/blog/posts/what-is-a-functional-... Note: NOT wri

http://enfranchisedmind.com/blog/posts/what-is-a-functional-programming-language/ http://enfranchisedmind.com/blog/posts/what-is-a-functional-... Note: NOT written by same guy who did "Scala not Functional". Everybody has a different definition of FP in mind with these, uh, parameters: - "no hidden side effects"; clearly demarcated IO functions, database calls. - curry, partial function application; lexical closures - TCO - 1st class, higher-order functions - Immutable / persistent collections / data structures Altho most people agree that these are orthogonal to the definition of FP, (but nice to have: - type inference (ML's is variously referred to as Damas-Milner or Hindley-Milner) or static typing - lazy eval - pattern matching - green/lightweight threads with message passing OR STM/MVCC - monads,arrows, functors, CPS http://stackoverflow.com/questions/485418/distinctive-traits-of-the-functional-languages http://stackoverflow.com/questions/485418/distinctive-traits... http://stackoverflow.com/questions/1112773/what-are-the-core-concepts-in-functional-programming http://stackoverflow.com/questions/1112773/what-are-the-core...