 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  вот понадобилось!
а для чего, если не секрет?
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  экзистенциальная квантификация
я не понимаю, что ты такое делаешь
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  знаком с хаскелем/окамлом?
пыталась изучать хаскель, но мне не понравилось
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  data Foo a = Foo a data Bar = forall a . Bar (Foo a)
Как ты здесь дальше работаешь с Bar?
 Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                      
                      
                        
                          Yan
                          Shkurinskiy
                        
                      
                    
                    
                    
                    
                      Автор вопроса
                    
                    
                  Вопрос не в этом, это синтетический пример
Обсуждают сегодня