Sign in

Ein Fall für DOT: Theoretische Grundlagen für Objekte mit Mustervergleich und GADT-artigem Denken

By Aleksander Boruch-Gruszecki and others
Viele Programmiersprachen in der OO-Tradition unterstützen jetzt den Mustervergleich in irgendeiner Form. Historische Beispiele sind Scala und Ceylon mit den neueren Ergänzungen Java, Kotlin, TypeScript und Flow. Aber der Mustervergleich auf generischen Klassenhierarchien führt derzeit in den meisten dieser Sprachen zu rätselhaften Typfehlern. Diese Kombination von Merkmalen tritt jedoch in... Show more
February 23, 2023
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Click on play to start listening