F7. un tipografo migliorato per il linguaggio di programmazione F #
Scarica ora

F7. Classifica e riepilogo

F7. Tag

annotazione F # Typechecker. fsi checker generare FSI typechecker.

F7. Descrizione

F7 è stato sviluppato per essere un typechecker avanzato per il linguaggio di programmazione F #. F7 supporta il controllo statico delle proprietà espresse con tipi di raffinatezza. La nostra motivazione è controllare varie proprietà di sicurezza del codice di implementazione F # digitando. F7 TypeChecker consente ai programmatori di esprimere e controllare staticamente i tipi di rifinitura per i programmi scritti in F #. L'attuale implementazione del TypeChecker supporta solo un sottoinsieme di F # e funziona meglio quando vengono fornite annotazioni del tipo in base a determinati idiomi. Per utilizzare TypeChecker, il programmatore deve definare le interfacce F7 per ciascun modulo F # nel programma TheX. Le interfacce F7 hanno il su ffi x .fs7 per distinguerle dalle normali interfacce F # (che hanno su ffi x .fsi); Possono contenere tipi che sono al di fuori del sistema di tipo F #. I moduli F # hanno su ffi x .fs e contengono codice non modi fi f #. Nel nostro approccio attuale, tutte le annotazioni di tipo RIFINE devono essere fornite nell'interfaccia F7. Dato un modulo F # M.FS con un'interfaccia F7 M.FS7, il tithecker può essere invocato in due modi. Innanzitutto, può essere invocato con il -Genfsi fl AG per generare un'interfaccia F # M.FSI cancellando tutti i refinitori: f7.exe -genfsi m.fs7. In secondo luogo, può essere invocato a TypeCheck M.FS contro i tipi dichiarati in m.fs7. f7.exe m.fs7 m.fs. In generale, queste linee di comando contengono una serie di moduli F # e interfacce F7, comprese le interfacce per tutti i moduli della libreria. Un'interfaccia di libreria speciale, chiamata pervasives.fs7, dichiara i tipi comuni F #, come numeri interi, stringhe, booleani ed elenchi e loro operatori comuni, come operazioni aritmetiche e connettivi logici. Questa libreria può essere estesa per includere qualsiasi operatore F # che il programma deve essere utilizzato.

F7. Software correlato