Ich habe einige Artikel über abhängige Typen und Programmierverträge gelesen. Aus der Mehrzahl der von mir gelesenen Artikel geht hervor, dass Verträge dynamisch überprüft werden und abhängige Typen statisch überprüft werden. Es gab einige Papiere, die mich glauben ließen, dass es möglich ist,...