Share-Ebooks.com

Contents

1 Introduction
11 StandardML                                       
12 Programming in practice                                 
13 Readingmaterial                                     
14 Other information                                    

2 Simple applicative programming
21 Types, values and functions                               
22 Dening a function by cases                               
23 Scope                                           
24 Recursion                                         
25 Scoping revisited                                     
26 The StandardML library                                
261 The Bool structure                                
262 The Byte structure                                
263 The Char structure                                
264 The Int structure                                 
265 The Real structure                                
266 The String structure                               
267 The StringCvt structure                             
268 TheWord andWord8 structures                        

3 Higher-order programming
31 Higher-order functions                                  
32 Self-application                                      
33 Curried functions                                     
34 Function composition                                  
35 Derived forms                                       

4 Types and type inference
41 Type inference                                      
42 Pairs and record types                                  
43 Function types and type abbreviations                         
44 Dening datatypes                                    
45 Polymorphism                                      
451 Function composition                              
452 Default overloading                               
46 Ill-typed functions                                    
47 Computing types                                     

5 Aggregates
51 Lists                                            
52 Induction for lists                                     
53 List processing                                      
531 Selecting froma list                               
532 Sorting lists                                    
533 List functions                                   
54 The tree datatype                                    
55 Converting trees to lists                                
56 Induction for trees                                    
57 The vector datatype                                   
58 The StandardML library                                
581 The List structure                                
582 The ListPair structure                              
583 The Vector structure                               

6 Evaluation
61 Call-by-value, call-by-name and call-by-need                      
62 Delaying evaluation                                  
63 Forcing evaluation                                    
64 Fromcall-by-value to call-by-name                           
65 Lazy datatypes                                    
66 An example: Computing the digits of e                        

7 Abstract data types
71 Programmingwith abstract data types                         
72 Sets in the StandardML library                            

8 Imperative programming
81 References                                         
82 Assignment                                        
83 Sequential composition                                  
84 Iteration                                          
85 Types and imperative programming                          
851 Type safety conditions                              
852 Implementing type safety                            
86 Arrays                                           
87 Memoisation                                       
88 Input/output                                       

9 Introducing Standard ML Modules
91 Signatures                                         
92 Structures                                         
93 Representation independence and equality                       
94 Signaturematching

To Download this E-Book Click Here.