← Back to context

Comment by pkal

4 hours ago

Is that really the confusing part? If you had a general collection interface, say Mapper, a Box (i.e. a singleton set) could implement it just as well as a List or a Tree.

I realize that mathematically speaking a singleton set is still a set, but as a programmer who is used to map operations in other mainstream languages, I was expecting some kind of loop in the implementation. It took a few page faults in my brain to realize what's going on.

  • Your understanding is quite incomplete. Wait till you think about the mapping operation for functions. Then there’s no loop, just function composition.