Changes between Version 37 and Version 38 of Records/NameSpacing


Ignore:
Timestamp:
Jan 18, 2012 10:36:22 AM (2 years ago)
Author:
GregWeber
Comment:

Add referece to Agda and Opa

Legend:

Unmodified
Added
Removed
Modified
  • Records/NameSpacing

    v37 v38  
    66The DDC language (again, very much like Haskell, but focused on effect tracking and an overall different conceptual approach to purity) puts forth a similar solution. See the [http://www.cse.unsw.edu.au/~benl/papers/thesis/lippmeier-impure-world.pdf thesis] section 2.7 - 2.7.4 pages 115 - 119 
    77 
     8The Opa language (functional, focused on web development) states that its modules are a special case of records. 
     9 
     10The 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)]. 
    811 
    912== Better name spacing == 
     
    5053The main argument for this approach is its simplicity; it's simple to 
    5154understand for users and (hopefully) simple to implement. 
     55 
     56The 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)]. 
    5257 
    5358== Getting rid of the Verbosity with the dot operator ==