Changes between Version 53 and Version 54 of Records


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

rearrange other languages

Legend:

Unmodified
Added
Removed
Modified
  • Records

    v53 v54  
    102102The Agda language [http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Records generates a module (name space) for each record and also allows a record, like any module to be placed into the global scope by the programmer (opened in Agada terms)]. 
    103103 
    104 Other 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. 
    105  
    106 I couldn't find great specific information on record implementation ML variants. Best I can tell, SML does not allow records in the same module with the same field. Records from other modules require name-spacing or must be opened up similar to Agda. SML# supports [http://www.pllab.riec.tohoku.ac.jp/smlsharp/?FeatureRecordPolymorphism abstraction over fields] as per the overloaded records implementation. 
    107104 
    108105[http://roy.brianmckenna.org/ Roy], a functional language that targets only javascript, also has structural typing which prevents clashes and allows abstraction over fields. 
    109106 
    110107Ur/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! 
     108 
     109 
     110Other 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. 
     111 
     112I couldn't find great specific information on record implementation ML variants. Best I can tell, SML does not allow records in the same module with the same field. Records from other modules require name-spacing or must be opened up similar to Agda. SML# supports [http://www.pllab.riec.tohoku.ac.jp/smlsharp/?FeatureRecordPolymorphism abstraction over fields] as per the overloaded records implementation.