Safer Typoskript - was die Unterschiede zu normalen Typoskript sind

Microsoft Research bietet eine neue Typoskript Compiler Variante namens Safer Typoskript:Safer Typoskript - was die Unterschiede zu normalen Typoskript sind

http://research.microsoft.com/en-us/downloads/b250c887-2b79-4413-9d7a-5a5a0c38cc57/

ich keine Dokumentation auf ihm finden konnte, und ich war nicht in der Lage zu Installieren Sie es in meinem TypeScript 1.0-System, da TypeScript 0.9.5 erforderlich ist.

Was sind die Unterschiede zwischen Typoskript und Safer Typoskript?

Quelle

2014-07-03 cheeesus

Ich habe die gleiche Frage gestellt. Die readme erklärt es auch nicht :) – basarat

Vielleicht lohnt es sich, [diese CodePlex-Diskussion] im Auge zu behalten (http://typescript.codeplex.com/discussions/550351). Ich habe versucht, ein Diff mit 0.9.5 zu laufen und die Mehrheit der Änderungen scheint unter 'src \ compiler \ typecheck \ sound \' und 'src \ compiler \ typecheck \ tsStar.ts' zu liegen. Es ist ein bisschen schwierig, ein korrektes Diff zu erhalten, da bei einigen Dateien gerade Zeilenendungen geändert wurden. – Stijn

Diese Seite sagt ein bisschen darüber mit einer Übersicht ppt http://rise4fun.com/FStar/tutorial/tsStar – joeriks

Der Hauptunterschied besteht darin, dass TS * sowohl die Laufzeittypüberprüfung als auch die statische Typprüfung bietet, während Standard-TypeScript nur eine Entwurfs- und Kompilierzeitfunktion ist.

Dies bedeutet, dass einfacher JavaScript-Code, der Ihren TS * -Code aufruft, beim Übergeben ungültiger Typen aus nicht vertrauenswürdigem Code Typfehler erhält. Die allgemeine Idee besteht darin, Sicherheitsprobleme zu vermeiden, die oft durch Angriffe auf nicht markierten Typen verursacht werden.

Weitere Informationen finden Sie hier:

http://research.microsoft.com/en-us/um/people/nswamy/papers/gradual-typing-embedded-securely-in-javascript-draft.pdf

ich auch eine slightly less detailed summery of TS* geschrieben haben.

Quelle

2014-07-03 14:09:50 Fenton

Safer Typoskript - was die Unterschiede zu normalen Typoskript sind

Antwort

Verwandte Themen