Changes between Version 61 and Version 62 of Records


Ignore:
Timestamp:
Feb 26, 2012 9:19:44 PM (2 years ago)
Author:
GregWeber
Comment:

update UR link

Legend:

Unmodified
Added
Removed
Modified
  • Records

    v61 v62  
    114114[http://roy.brianmckenna.org/ Roy], a functional language that targets only javascript, also has structural typing which prevents clashes and allows abstraction over fields. 
    115115 
    116 Ur/Web has a [http://www.impredicative.com/ur/tutorial/tlc.html very advanced records system]. If someone could explain how it works that would be very helpful! 
     116[Ur/Web has a http://www.impredicative.com/ur/tutorial/tlc.html very advanced records system]. If someone could look at [http://adam.chlipala.net/papers/UrPLDI10/UrPLDI10.pdf the UR implementation paper] and attempt to distill a records explanation to a Haskell point of view that would be very helpful! 
    117117 
    118118Other FP languages where I looked for a record implementation but it appeared they have no solution for records with the same fields (my information could be wrong/out-dated) ocaml, oz. However, the O in OCaml is for objects, and objects have structural typing that supports abstraction over fields.