... | @@ -20,6 +20,9 @@ Other FP languages where I looked for a record implementation but it appeared th |
... | @@ -20,6 +20,9 @@ Other FP languages where I looked for a record implementation but it appeared th |
|
|
|
|
|
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 [ record field polymorphism](http://www.pllab.riec.tohoku.ac.jp/smlsharp/?FeatureRecordPolymorphism) as per the overloaded records implementation.
|
|
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 [ record field polymorphism](http://www.pllab.riec.tohoku.ac.jp/smlsharp/?FeatureRecordPolymorphism) as per the overloaded records implementation.
|
|
|
|
|
|
|
|
|
|
|
|
\[Roy\]([ http://roy.brianmckenna.org/](http://roy.brianmckenna.org/)), a functional language that targets javascript, does have record field polymorphism (which makes a lot of sense in that context).
|
|
|
|
|
|
## Better name spacing
|
|
## Better name spacing
|
|
|
|
|
|
|
|
|
... | | ... | |