Changes between Version 40 and Version 41 of Records/NameSpacing


Ignore:
Timestamp:
Jan 23, 2012 11:43:41 AM (3 years ago)
Author:
GregWeber
Comment:

more programming languages

Legend:

Unmodified
Added
Removed
Modified
  • Records/NameSpacing

    v40 v41  
    99 
    1010The 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)]. 
     11 
     12Other 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. 
     13 
     14I 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. 
    1115 
    1216== Better name spacing ==