Existential Types in TypeScript
Aus Haskell kennen wir die sogenannten ‚Existential Types‘. TypeScript bietet leider nicht von Haus aus, diese Funktionalität an. Demnach gibt es immer wieder Code wie diesen, der so nicht funktioniert: Der Code soll beim zweiten Array Element einen Fehler erzeugen, das passiert aber nicht, da any erlaubt ist und der TypeScript Compiler aktuell nicht weiß, …