alt Hacker NewsThe only thing is I wish there was a way to safely lift a row-polymorphic record to a named record type if the compiler can determine it has all the required fields. Haven't seen any languages that offer this yet though.
Replies
owlstuffing • yesterday at 6:14 PM
The manifold project[1] for Java provides that feature as "Structural Interfaces" which supports polymorphic variants.
The project also supports tuples that behave similarly.
var person = (name: "Joe", age: 35);
. . .
Person p = person; // tuple's name, age properties satisfy Person record
Firefly can construct any named record from any other record (named or anonymous):
We included this feature specifically to make it easy to use named and unnamed records together.More here: https://www.firefly-lang.org/