The type/object distinction and possible synthesis of OOP and imperative programming languages

[rusi]

On Apr 16, 7:32 am, Steven D'Aprano <steve
+comp.lang.pyt... at pearwood.info> wrote:
>
> If I had a say in this, I would vote for the first case, with the
> possible exception of documented singleton types like NoneType and bool.

How is bool a singleton type?