Table of ContentsChapter 9: Functional Programming in a Typed Language Essence Essence Standard ML Functional Programming 9.1 Exploring a List Operations on Lists Functions for Lists Linear Functions on Lists Definition of Append & Reverse Append Function Reverse Function Reverse/Append Phases Reverse/Append Phases Reverse/Append Functions 9.2 Function Declaration by Cases Function Applications Patterns Patterns and Case Analysis Patterns and Case Analysis 9.3 Functions as First-Class Values Mapping Functions The Utility of Map The Utility of Map Anonymous Functions Selective Copying Accumulate a Result 9.4 ML: Implicit Types Type Inference Parametric Polymorphism Parametric Polymorphism 9.5 Data Types Value Constructors Value Constructors with Parameters Binary Trees Operations on Constructed Values Differentiation: A Traditional Example Differentiation: A Traditional Example Polymorphic Datatypes Functional Programming |
Author: Zage
Email: dmz@cs.bsu.edu Home Page: http://www.cs.bsu.edu/homepages/dmz/cs335/ |