3 ms·> Have any languages achieved this? ”The MLs” solved it decades ago. Standard ML has very nice record types.by fmbb 2y ago> Have any languages achieved this? ”The MLs” solved it decades ago. Standard ML has very nice record types.