Changes between Version 21 and Version 22 of Alpha/Language


Ignore:
Timestamp:
Dec 28, 2011, 11:01:01 AM (8 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Alpha/Language

    v21 v22  
    66 * The [wiki:Language/Source Disciple Source Language] is what the user normally sees. It has type inference, type classes, field projections, and lots of pattern matching sugar to make the programs fun to write. The semantics of the source language is defined by giving a translation to the core language.
    77
    8  * The [wiki:Language/Core Disciple Core Language] is what all of the optimisations are performed on. It is explicitly typed, and has a clean, well defined semantics. The user can write core programs explicitly, but there's more typing involved. '''2011/12 -- this is the new core language, that is replacing the old one'''.
     8 * The [wiki:Language/Core Disciple Core Language] is what all of the optimisations are performed on. It is explicitly typed, and has a clean, well defined semantics. The user can write core programs explicitly, but there's more typing involved. ''2011/12 -- this is the new core language, that is replacing the old one''.
    99
    1010Both these languages are called "Disciple" because they are so strongly related. In future we may merge the two, so that one can write explicit type abstractions in the source program.