Microsoft Research offre una nuova variante dattiloscritto compilatore chiamato Safer dattiloscritto:Safer dattiloscritto - quali sono le differenze con tipografico normale
http://research.microsoft.com/en-us/downloads/b250c887-2b79-4413-9d7a-5a5a0c38cc57/
non ho potuto trovare alcuna documentazione su di esso, e sono stato in grado di installarlo nel mio sistema TypeScript 1.0, poiché richiede TypeScript 0.9.5.
Quali sono le differenze tra dattiloscritto e Safer dattiloscritto?
Mi stavo chiedendo la stessa cosa. Il readme non lo spiega neanche :) – basarat
Potrebbe valere la pena tenere d'occhio [questa discussione su CodePlex] (http://typescript.codeplex.com/discussions/550351). Ho provato a eseguire un diff con 0.9.5 e la maggior parte dei cambiamenti sembra essere in 'src \ compiler \ typecheck \ sound \' e 'src \ compiler \ typecheck \ tsStar.ts'. È un po 'difficile ottenere un diff corretto perché un gruppo di file ha appena cambiato i loro finali di linea. – Stijn
questo sito dice un po 'di esso incl una panoramica ppt http://rise4fun.com/FStar/tutorial/tsStar – joeriks