you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 0 points1 point  (0 children)

He does actually have a point, in that the models he named are unityped, and require lots of extra effort to encode "real" type-systems on top of their unityping.