Hacker News new | ask | show | jobs
by fmbb 697 days ago
> Have any languages achieved this?

”The MLs” solved it decades ago. Standard ML has very nice record types.