Changes between Version 7 and Version 8 of Language/Overview/EffectSystem

Show
Ignore:
Timestamp:
06/17/10 02:58:02 (4 years ago)
Author:
benl (IP: 129.94.242.38)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Overview/EffectSystem

    v7 v8  
    6363However, none of this would be useful if you actually had to write these extended types in regular programs. It's a good thing then that, for the most part, you can ignore the extended information when writing programs. Because all the extra information is ''orthogonal'' to the main shape of the type, ie its argument and return data types, the compiler can fill this in for you behind the scenes. We call this ''type elaboration''. The extra information is present in the interface files and core language, but you'll only have to worry about it if you import foreign functions from C land or start to mix laziness with destructive update in the same program. 
    6464 
    65 The definition of `map` that you would write in a Disciple program is just the same as in Haskell, including the type signature: 
     65The definition of `map` that you would write in a real Disciple program is just the same as in Haskell, including the type signature: 
    6666 
    6767{{{