Table of ContentsA completely different look at abstraction The purpose of this lecture What is ML? Properties of ML The point of this program Meta-points Design strategy Defining the abstractions The TOKEN signature The LINE signature Implementing a signature Defining Token.Toktype Checking for white space Using | in definitions Counting newlines Reading ahead The countnl function The readword function The construct function The Line structure The type Line.T construct, reset, and append canfit and print Now for the reformat function The top-level definition of reformat The definition of f How do we execute it? So what's the point? The biggest little difference Why was this difference important? Another systematic difference What about I/O? The moral of the story |
Author: Andrew Koenig
Email: ark@research.att.com Home Page: http://www.research.att.com/info/ark |