
27 Nov
2017
27 Nov
'17
10:04 p.m.
On Nov 27, 2017, at 9:58 AM, Simon Peyton Jones
wrote: * If a proposal requires a change to Core, that change should be described rather precisely.
In Greek or in Haskell? Less tersely: does a formalization in a paper suffice? Or should the proposal write out the new Haskell definition? These are closely related, but not the same. (For example, formalizations don't include the AppTy/TyConApp/FunTy distinction that is important for performance.) My own view is that Greek is enough. Richard