будет: 
                  
                  
                  overwrite x = let x = 2
                  
                  
                                in
                  
                  
                                 let x = 3
                  
                  
                                 in
                  
                  
                                  let x = 4
                  
                  
                                  in
                  
                  
                                   x
                  
                  
                  
                  
                  
                  а вот это нет:
                  
                  
                  counter x = let x = x + 1
                  
                  
                              in
                  
                  
                               let x = x + 1
                  
                  
                               in
                  
                  
                                x
                  
                  
                  почему так?
                  
                  
                
потому что переменные сначала переопределятся и выражение зациклится
потому что x внутри своего тела ссылается на себя
Обсуждают сегодня