Notes on Functional Programming with Haskell (PDF 184P)
Notes on Functional Programming with Haskell (PDF 184P)
Notes on Functional Programming with Haskell (PDF 184P)
This note covers the following topics: functions and their
definitions, using the hugs interpreter, haskell basics, higher order
functions, more list notations, more on data types, input-output, haskell
laws, program synthesis, models of reduction, divide and conquer algorithms,
infinite data structures.
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 PDF covers the
following topics related to Functional Programming : Basics of functional
programming, Fold or unfold functions, Parametric modules, Function, evaluation,
and binding, Fold or unfold functions for data types.
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: Lambda calculus, Lambda calculus as a programming language,
Types, A taste of ML, Proving programs correct, Effective ML.