Changes between Version 42 and Version 43 of Records/NameSpacing


Ignore:
Timestamp:
Feb 9, 2012 11:22:43 PM (2 years ago)
Author:
GregWeber
Comment:

correct SML

Legend:

Unmodified
Added
Removed
Modified
  • Records/NameSpacing

    v42 v43  
    1212Other 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. 
    1313 
    14 I couldn't find great specific information on record implementation ML variants. Best I can tell, SML allows 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 record field polymorphism] as per the overloaded records implementation. 
     14I 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 record field polymorphism] as per the overloaded records implementation. 
    1515 
    1616[Roy](http://roy.brianmckenna.org/), a functional language that targets javascript, does have record field polymorphism (which makes a lot of sense in that context).