The differences between GHC and the report can be found in the GHC User’s Guide. Types become not only a form of guarantee, but a language for expressing the construction of programs. If they dont, the program will be rejected by the compiler. All the types composed together by function application have to match up. The Haskell 2010 language report is available online as HTML and as PDF. Every expression in Haskell has a type which is determined at compile time.
0 Comments
Leave a Reply. |