> The goal is to define a datatype by cases, where one can add new cases to the datatype and new functions over the datatype, without recompiling existing code, and while retaining static type safety (e.g., no casts).
Isn't this made moot by the prevalence of static linking or fat binaries in go-land?
No comments yet.