Algorithms should be free from rich types

[Meta]

On Friday, 30 June 2023 at 14:41:00 UTC, bachmeier wrote:
> Private is more like locking everyone else's doors for their 
> own safety. In the cases that it keeps an intruder out, it was 
> helpful to them. When grandma had to sleep on the sidewalk, not 
> so much. Many times library authors have prevented me from 
> doing my work because of arbitrarily preventing access to 
> implementation details. I should have the option to override 
> those decisions. If something blows up, or if my code gets 
> broken in the future, it's my fault, because I was the one that 
> made that decision.

IMO private is extremely important for maintaining the internal 
invariants of a unit of encapsulation.