This book contains below topics, Programming in Standard ML, Types, values, and effects, Declarations, Functions, Products and records, Case analysis, Recursive functions, Concrete data types, Higher order functions, Modules.
Author(s): Robert Harper, Carnegie Mellon University
297Pages
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.
Author(s): Tyng–Ruey Chuang
21Pages
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. ObjectOriented, PointFree Programming, Summary.
Author(s): Loyola Marymount University
NAPages
David Walkers 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 problemsolving. It covers Polymorphism and HigherOrder 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.
Author(s): David Walker
NAPages
John Harrisons Introduction to Functional Programming, This set of notes provides a very accessible introduction to the fundamental principles and methods of functional programming in general. The PDF begins with an investigation of lambda calculus as a theoretical framework for functional programming and proceeds further with the review of its application as a programming language. Types are considered in the notes just to give a glimpse into type systems and how they play their role in functional programming. This document serves as an introduction to ML, a metalanguage that practically introduces the concepts of programming. It also covers the importance of proving programs correct by describing methods for the reliability of programs. Finally, effective ML covers the best practices and techniques to write robust and efficient functional programs. This book is a good reference for learners who want to understand both the theoretical underpinnings and practical application of functional programming.
Author(s): John Harrison
168Pages
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.
Author(s): Tim Sheard
NAPages
This book explains the following topics, Propositional Logic, Predicate Logic, Functional Programming and and
Author(s): Simon Thompson
NAPages
This course note, from the University of Edinburgh and offered online, emphasizes from a very practical point of view how to apply basic functional programming concepts in a graphical environment. Major topics to be covered include recursion, abstraction, higherorder functions, and several different data typeshow all these concepts can be used to solve problems is demonstrated. The note introduces theoretical aspects but underlines their practical relevance by showing how these can be put into practice within graphical programming contexts. Learners develop a solid, theoretically based understanding of functional programming principles and get real practical experience applying these principles to graphical applications. This resource takes an integrated approach in the way that it interrelates theory and practice, hence acting as a bridge from concepts of functional programming to reallife practice.
Author(s): University of Edinburgh
NAPages
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, higherorder 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, its a good resource for beginners who wish to investigate functional programming through getting their hands dirty with Haskell.
Author(s): Graham Hutton
NAPages
