Changes between Version 52 and Version 53 of Records

Show
Ignore:
Timestamp:
02/22/12 16:22:23 (15 months 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!