This note covers
the following topics: introduction, pattern matching, The Sieve of Eratosthenes,
Fibonacci Series, Folding Lists, Data types, An expression evaluator, Lambda
Calculus, Modules, type inference, Uni cation algorithm, The type inference
algorithm, Type classes, Functions with varible number of arguments.
Tyng-Ruey Chuang's
"Functional Programming" gives a condensed summary of the leading concepts of
functional programming. The basic concepts of functional programming are covered
in this PDF and expose the core principles and paradigms. Among other things, it
considers fold and unfold functions that are indispensable in the treatment of
data structures in a functional manner. The paper also considers parameterized
modules, which allow flexible and reusable parts of code. Main topics are
function evaluation and binding, raw items of how functions work and interact in
functional programming languages. Addressing these notions, Chuang's notes give
a chance for brief but intensive introduction to the techniques and practices of
functional programming.
This
is a resource provided by Loyola Marymount University on functional programming.
It starts with a basic explanation and goes further into how one can make a
shift from imperative programming to functional. The key topics it covers are
higher-order functions, which are the backbone for doing functional programming
in order to write abstract code reuse. This paper describes closures and purity,
including side effects, in detail to apprise the reader about the value of
immutability and functional purity. It describes both the functional and
object-oriented programming paradigms, then it points to point-free programming,
and concludes with an overview of the functional programming landscape. This
should be a good reference for students and practitioners alike who want to know
about the basics in functional programming and its theoretical underpinnings.
David
Walker's 'Functional Programming Lecture Notes' give quite an extended
introduction to functional programming using OCaml. The notes introduce the
reader to the very basics of OCaml and simple manipulations of data, from
thinking in recursion to problem-solving. It covers Polymorphism and
Higher-Order programming, commonly referred to as PolyHO. It will discuss
functions operating on other functions and even data. Pipelines and datatypes
have been explained purely from functional programming paradigms. It first
introduces the functional evaluation model and functional space model, thereby
introducing the reader to the theoretical points of view of functional
programming. Equational reasoning, modules, functors, and modular reasoning are
other topics treated within this context, while more practical aspects concern
mutable data structures, threads, and parallel complexity models. This book will
no doubt be very useful to those readers who would wish to become acquainted
with both the theory and practice of functional programming.
Authored by Graham Hutton, this online course module introduces the basic
axioms of functional programming using Haskell, which is a modern functional
programming language. It introduces the learner to the basic ideas of functional
programming: immutability of data, purity of function, higher-order functions.
Students will work through practical examples and exercises to build a firm
grasp of methods in functional programming. This course is aimed at
understanding and applying core principles in Haskell to enable learners to
fathom the advantages and paradigms of functional programming. Therefore, it's a
good resource for beginners who wish to investigate functional programming
through getting their hands dirty with Haskell.