Zusammenfassung: Nach dem Satz von Rice ist alles unmöglich. Und doch mache ich diese vermeintlich unmöglichen Sachen die ganze Zeit! Natürlich sagt der Satz von Rice nicht einfach "alles ist unmöglich". Es heißt etwas ganz Konkretes: "Jede Eigenschaft eines Computerprogramms ist nicht...
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . Eine...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Eine Aussage zum Satz von Rice finden Sie auf Seite 35 von "Computational Complexity: a Modern Approach" (Arora-Barak): Eine Teilfunktion von { 0 , 1 }∗{0,1}∗\{0,1\}^* bis { 0 , 1 }∗{0,1}∗\{0,1\}^* ist eine Funktion, die nicht unbedingt für alle ihre Eingaben definiert ist. Wir sagen, dass ein TM...