About the Book
In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast to the imperative programming style, which emphasizes changes in state. Functional programming has its roots in lambda calculus, a formal system developed in the 1930s to investigate function definition, function application, and recursion. Many functional programming languages can be viewed as elaborations on the lambda calculus. This book is your ultimate resource for Functional Programming Languages. Here you will find the most up-to-date information, analysis, background and everything you need to know.
In easy to read chapters, with extensive references and links to get you to know all there is to know about Functional Programming Languages right away, covering: Functional programming, Actant, Administrative normal form, Algebraic data type, Anonymous function, Append, Apply, Arrow (computer science), Brouwer-Heyting-Kolmogorov interpretation, Coinduction, Cons, Constructed product result analysis, Continuation-passing style, Corecursion, Currying, F-algebra, First-class function, Frenetic (programming language), Functional logic programming, Functional reactive programming, Generalized algebraic data type, Graph reduction machine, Higher-order function, Immutable object, Initial algebra, International Conference on Functional Programming, Journal of Functional Programming, Lambda (programming), List of functional programming topics, Lout (software), Erik Meijer (computer scientist), Monad (functional programming), Monad transformer, Nix package manager, Option type, Parser combinator, Partial application, Simon Peyton Jones, Prince XML, Pure function, Purely functional, Quark Framework, Regular number, Skew binary number system, Supercombinator, System F-sub, Total functional programming, Type class, Polymorphism (computer science), Type variable, Philip Wadler, Zipper (data structure), Comparison of programming paradigms, Programming paradigm, Abstraction (computer science), Array programming, ARS-based programming, Aspect-oriented programming, Attribute grammar, Attribute-oriented programming, Automata-based programming, Automata-based programming (Shalyto's approach), Automatic programming, Class invariant, Concept programming, Concurrent constraint logic programming, Constraint programming, Core concern, Data-directed programming, Data-driven programming, Dataflow programming, Declarative programming, Defensive programming, Design by contract, End-to-end principle, Event-driven programming, Exploratory programming, Extensible programming, Fate-sharing, Feature-oriented programming, Flow-based programming, FOSD Feature Algebras, FOSD Feature Interactions, FOSD metamodels, FOSD origami, FOSD Program Cubes, Function-level programming, Higher-order programming, Hop (software), Imperative programming, Inferential programming, Intentional programming, Interactive programming, Interface-based programming, Invariant-based programming, Jackson Structured Programming, JetBrains MPS, Knowledge representation and reasoning, Language-oriented programming, List of multi-paradigm programming languages, Literate programming, Logic programming, Metalinguistic abstraction, Metaprogramming, Modular programming, Non-structured programming, Nondeterministic programming, Object-oriented programming, Organic computing, Ousterhout's dichotomy, Parallel programming model, Partitioned global address space, Pipeline (software), Pipeline programming, Policy-based design...and much more
This book explains in-depth the real drivers and workings of Functional Programming Languages. It reduces the risk of your technology, time and resources investment decisions by enabling you to compare your understanding of Functional Programming Languages with the objectivity of experienced professionals.
