在这里可以下载课程讲义。
  
  - 
    
  
 
  
  - 
    
  
 
  
  - 
    
  
 
  
  - 
    
  
 
  
  - 
    
  
 
  
  - 
    
  
 
  
  - 
    
  
 
  
  - 
    
  
 
  
  - 
    
      
      
        2025/10/17
        张伟:
        
          
          
          
          
          第10章:An Example: The Countdown Problem
          [幻灯片]
          
          
          
          第11章:交互式程序设计
          [幻灯片]
          
         
        
        [作业]
        
        
        
        
        
        
          
        
        
       
     
   
  
  - 
    
  
 
  
  - 
    
      
      
        2025/10/24
        张伟:
        
          
          
          
          
          第12章:Monads and More
          [幻灯片]
          
         
        
        [作业]
        
        
        
        
        
        
          
        
        
       
     
   
  
  - 
    
      
      
        2025/10/29
        张伟:
        
          
          
          
          
          第13章:Monadic Parser
          [幻灯片]
          
         
        
        [作业]
        
        
        
        
        
        
          
        
        
       
     
   
  
  - 
    
      
      
        2025/10/31
        张伟:
        
          
          
          
          
          第14章:Foldables and Friends
          [幻灯片]
          
          
          
          第15章:计算模型—Lazy Evaluation
          [幻灯片]
          
         
        
        [作业]