Als «type-checking» getaggte Fragen

Überprüfen, ob eine Variable, ein Ausdruck oder ein Wert den deklarierten Typ hat

2
Algorithmen zur Typprüfung
Ich beginne eine persönliche bibliografische Recherche über Algorithmen zur Typprüfung und möchte einige Tipps. Was sind die am häufigsten verwendeten Algorithmen, Strategien und allgemeinen Techniken zur Typprüfung? Ich interessiere mich besonders für komplexe Algorithmen zur Typprüfung, die in weithin bekannten stark statisch typisierten Sprachen wie beispielsweise C ++, Java 5+, …
1
Typinferenz mit Produkttypen
Ich arbeite an einem Compiler für eine verkettete Sprache und möchte Unterstützung für Typinferenz hinzufügen. Ich verstehe Hindley-Milner, aber ich habe die Typentheorie im Laufe der Zeit gelernt, daher bin ich mir nicht sicher, wie ich sie anpassen soll. Ist das folgende System solide und eindeutig ableitbar? Ein Begriff ist …
2
Was sind mögliche Fallstricke, wenn ein minimaler Kernel verwalteten Code ausführt?
Angenommen, ich möchte ein Betriebssystem erstellen, das auf einem sehr kleinen nativen unteren Kernel basiert, der als Interpreter / Laufzeit für verwalteten Code fungiert, und auf einem größeren oberen Kernel, der in einer nicht-nativen Maschinensprache (Java-Bytecode, CIL usw.) kompiliert wurde. Beispiele für ähnliche Betriebssysteme wären Singularity und Cosmos . Welche …
1
Warum recherchieren wir nicht mehr nach Kompilierzeitgarantien?
Ich mag alles, was Kompilierungszeit ist, und ich mag die Idee, dass, sobald Sie ein Programm kompilieren, eine Menge Garantien für dessen Ausführung gegeben werden. Im Allgemeinen scheint ein statisches Typsystem (Haskell, C ++, ...) stärkere Kompilierungszeitgarantien zu bieten als jedes dynamische Typsystem. Soweit ich weiß, geht Ada in Bezug …
1
Was ist ein nicht erfundenes Beispiel für eine zu konservative statische Typprüfung?
In Concepts in Programming Languages schreibt John Mitchell, dass die statische Typprüfung aufgrund des Halteproblems notwendigerweise konservativ (zu streng) ist. Er gibt als Beispiel: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Kann jemand eine nicht erfundene Antwort geben, die wirklich ein praktisches Anliegen wäre? Ich verstehe, dass Java dynamisch überprüfte Casts …
2
Zusammenhang zwischen Entscheidbarkeit der Typprüfung, Entscheidbarkeit der Typisierbarkeit und starker Normalisierung
Yo! Dies ist wahrscheinlich eine dumme Frage, aber ich habe nie gesehen, dass sie explizit niedergeschrieben wurde, wenn beispielsweise die Entscheidbarkeit der Typprüfung der starken Normalisierungseigenschaft entspricht. Daher stelle ich diese Frage, um alle möglichen Zusammenhänge zwischen Typprüfung, Typisierbarkeit und starker Normalisierung zu klären. Lassen Sie mich meine Motivation erklären. …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.