Functional Programming Lecture Notes by David Walker
Functional Programming Lecture Notes by David Walker
Functional Programming Lecture Notes by David Walker
This note covers the following topics: O'Caml, Simple Data, Thinking
Recursively, Poly-HO: Polymorphism and Higher-Order Programming, Pipelines,
Datatypes, The Functional Evaluation Model, Functional Space Model, Equational
Reasoning, Modules and Functors, Modular Reasoning, Mutable Data Structures and
Imperative Interfaces, Threads, Locks and Mutable Data, Parallel Complexity
Model, Parallel Scans and Filters.
This note the following
topics: syntax and semantics, Polymorphic
functions and iteration, Lists, Constructor types, Trees and linearization,
Parsing, Mini OCaml interpreter, Running time, Inductive correctness proofs,
Arrays and data structures.
This page covers the
following topics related to Functional Programming : The Basics, Language
Support, Moving From Imperative to Functional, Higher Order Functions, Closures,
Purity and Side Effects, Theoretical Foundations, Functional vs.
Object-Oriented, Point-Free Programming, Summary.
This note covers the
following topics: Introduction to Haskell and Lazy, Functional Programming,
Datatypes, Programs and Proofs, Simple Graphics, Polymorphism, Trees, Regions,
Proofs by Induction, The Haskell Class System, Simple Animations, Infinite Lists
and Streams, Reactive Animations, Higher Order Types, Functional Music and
Interpreting Music.