New notation for records?

[atravers]

By “classic notation”, I meant no other abstractions:

• no HasThis, HasThat, HasTheOther or HasSomeMore classes or instances;

• no row, column, diagonal, corner, vertex, height, width, length, size, volume or other obtuse forms of polymorphism;

• et al!

…the ol’ warhorse didn’t need any of that, and neither did Lazy ML.

---

@AntC2

Join Country to Company to Employee.

So treat records like small DB relations - I think I’ve seen that before:

• Out of the Tar Pit (2006)

Alternatively:

…are there any extant proposals to add laziness to the SQL standard? If so, then we could use SQL as a target language (at least it would be portable :-).