Kopierpasteten

Artifact Content
Login

Artifact 4e6f70188d7d50ba3e5a2e13b0e4a82387732fb0:


Bernd, stell dir vor, du abstrahierst ein Objekt so lange, bis es zu einem Typ
wird. Du findest dann heraus, dass so ALLE Typen entstehen, und die wirst in
einen Mörderclub involviert, der Typen macht. Je stärker man abstrahiert, desto
besser wird der Typ. Es gibt also irgendwelche super starke Informatiker, die
Objekte in Dependent Types und so einen Scheiß schlagen.