leastfixedpoint

Archived tweet #11463 from the @leastfixedpoint Twitter Archive
@jonathoda ... it's OO only if you consider Actors to be OO, and furthermore only if you consider Syndicate to be Actors :-) (it also needs a little boilerplate, plus two "type" declarations: assertion type Ctr(value); message type Inc(); )