F7 Een verbeterde typchecker voor de F # -programmeringstaal
Download nu

F7 Rangschikking & Samenvatting

F7 Tags

annotatie F # typchecker FSI-checker fsi genereren typefecker

F7 Beschrijving

F7 is ontwikkeld om een verbeterde typchecker te zijn voor de F # -programmeringstaal. F7 ondersteunt statische controle van eigenschappen die zijn uitgedrukt met verfijningstypen. Onze motivatie is om verschillende beveiligingseigenschappen van F #-implementatiecode te controleren door te typen. De F7-typchecker maakt programmeurs in staat om terugvordertypen uit te drukken en statisch te controleren op programma's die in F # zijn geschreven. De huidige implementatie van de Typechecker ondersteunt alleen een subset van F # en werkt het beste wanneer typeannotaties worden verstrekt volgens bepaalde idioom. Om de TypeChecker te gebruiken, moet de programmeur de F3-interfaces voor elke F # -module in het THEX-programma. F7-interfaces hebben de SU FFI X .FS7 om ze te onderscheiden van normale F # -interfaces (die Su FFI X .FSI) hebben); Ze kunnen typen bevatten die buiten het F # -type-systeem staan. F #-modules hebben Su FFI X .FS en bevatten niet-niet-gemodificeerde F # -code. In onze huidige aanpak moeten aantekeningen in de Aannotaties van RE Fi Nementtype in de F7-interface worden gegeven. Gezien een F # -module M.FS met een F7-interface M.FS7, kan de Typechecker op twee manieren worden aangeroepen. Ten eerste kan het worden aangeroepen met de -Genfsi FL AG om een F # -interface M.FSI te genereren door alle hervelden te wissen: f7.exe -genfsi m.fs7 Ten tweede kan het worden aangeroepen tot Typeillek M.FS tegen de typen die in M.FS7 zijn gedeclareerd. f7.exe m.fs7 m.fs In het algemeen zouden deze opdrachtregels een reeks F #-modules en F7-interfaces bevatten, waaronder interfaces voor alle bibliotheekmodules. Een speciale bibliotheekinterface, pervasives.fs7, verklaart gemeenschappelijke F # -typen, zoals gehele getallen, snaren, booleinden en lijsten en hun gemeenschappelijke operators, zoals rekenkundige bewerkingen en logische connectieven. Deze bibliotheek kan worden uitgebreid met elke F # -operator die het programma moet gebruiken.

F7 Gerelateerde software