Changes between Version 52 and Version 53 of Records


Ignore:
Timestamp:
Feb 23, 2012 12:22:23 AM (4 years ago)
Author:
GregWeber
Comment:

add ur/web

Legend:

Unmodified
Added
Removed
Modified
  • Records

    v52 v53  
    9595If you know of other relevant language implementations, please add them!
    9696
     97The DDC language (very similar to Haskell) puts forth a similar solution to Frege. See the
    9798[http://www.cse.unsw.edu.au/~benl/papers/thesis/lippmeier-impure-world.pdf thesis] section 2.7 - 2.7.4 pages 115 - 119
    9899
     
    106107
    107108[http://roy.brianmckenna.org/ Roy], a functional language that targets only javascript, also has structural typing which prevents clashes and allows abstraction over fields.
     109
     110Ur/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!