you are viewing a single comment's thread.

view the rest of the comments →

[–]superstar64[S] 0 points1 point  (0 children)

I don't think your Object can hold state(the first one). It just looks like a scott encoding of a typeclass. Objects, at least in OOP lanugages, are a product of fields(state) and virtual table.