Yukitoshi Suzuki yukitos

## gist:8f86c63c69640228a5391433a2f33b27

      
        
          
            
              
              1 file
            
          
          
            
              
              0 forks
            
          
          
            
              
              0 comments
            
          
          
            
              
              0 stars
            
          
        
        
          
              
          
          
            
                yukitos
                / gist:8f86c63c69640228a5391433a2f33b27
            
            
              Last active
              November 7, 2016 07:45
                — forked from bleis-tift/gist:376b8a772adbf03d85bb6c77d03ad99a
            
          
        
      
        
  
      
    Computation Expression Problems

1. The translation rule of do! e;

In the language specification, the translation rule of do! e; is defined as follows:
T(do! e;, V, C, q) = T(let! () = src(e) in b.Return(), V, C, q)

And the signature of Return is 'a -> M<'a>, so the type of do! e; results M<unit>.