Pytania otagowane jako compiler-construction

Konstrukcja kompilatora tagów powinna być stosowana w pytaniach dotyczących programowania kompilatorów lub w przypadku pytań o szczegółowe wewnętrzne działanie kompilatorów. NIE UŻYWAJ w przypadku pytań dotyczących * używania * określonych kompilatorów lub błędów kompilacji.



2
Typy sum - dlaczego w Haskell `show (Int | Double)` różni się od `(show Int) | (pokaż Double) `
Dlaczego nie są równoważne? show $ if someCondition then someInt else some double i if someCondition then show someInt else show someDouble Rozumiem, że jeśli wyodrębnisz if ... elseczęść w pierwszym przykładzie do wyrażenia samodzielnie, nie będziesz mógł reprezentować jego typu za pomocą anonimowego typu sumy, takiego Int | Doublejak …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.