Algorithms should be free from rich types

[Timon Gehr]

On 6/30/23 17:57, monkyyy wrote:
> On Friday, 30 June 2023 at 14:41:00 UTC, bachmeier wrote:
>> On Friday, 30 June 2023 at 11:07:33 UTC, Atila Neves wrote:
>>> I didn't think about the consequences of leaving the door to my flat 
>>> open all the time
>>
>> Private is more like locking everyone else's doors for their own safety.
> 
> Why do people make arguments about data ownership at all? Functions 
> airnt people.
> 

That's why functions are not making the arguments. API design is a 
social activity between programmers. Programmers are people. Simple.

Anyway, it's not like private actually prevents you from deliberately 
accessing things, it just makes clear that that's outside the supported API.