Re: In precision typing we trust

[Paul Rubin <no.email@nospam.invalid>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>> It also has metaclasses.
>> Because classes, like functions, are first-class objects.
>
> A useless thing in an untyped language and in general one should first
> question what could be the purpose of a set of a set of types?

Python metaclasses let you specify what is supposed to happen when you
instantiate a class, and that sort of thing.  I.e. it's about runtime
behaviour.

> Provided one could implement that thing (let's ignore pitiful Python),
> What algorithmic problems one could solve with that?

Types in general aren't for solving algorithmic problems.  Thus the
Turing tarpit.  Types are for being able to enforce rules about program
behaviour.

This is still worth reading:

https://cdsmith.wordpress.com/2011/01/09/an-old-article-i-wrote/