Hacker News new | ask | show | jobs
by pyrale 693 days ago
> I think what you describe is called "extensible records".

From what I read, gp only asks for a way to express the type, not a way to change/extend the type of something during runtime.

Elm's current implementation does this just fine.