F7 F # programlama dili için geliştirilmiş bir TypeChecker
Şimdi İndirin

F7 Sıralama ve Özet

F7 Etiketler

Dipnot F # TypeChecker FSI Checker fsi oluştur typecker

F7 Açıklama

F7, F # programlama dili için geliştirilmiş bir TypeChecker olmak üzere geliştirilmiştir. F7, rafinasyon tipleriyle ifade edilen özelliklerin statik kontrolünü destekler. Motivasyonumuz, F # Uygulama Kodunun çeşitli güvenlik özelliklerini yazarak kontrol etmektir. F7 TypeCheChecker, programcıların F #'da yazılı programlar için yeniden sonuç türlerini ifade etmelerini ve statik olarak kontrol etmesini sağlar. TypeChecker'ın şu anki uygulaması, yalnızca bir F # alt kümesini desteklemektedir ve bazı deyimler uyarınca Tip Ek açıklamaları sağlandığında en iyi şekilde çalışır. TypeChecker'ı kullanmak için, programcı, Thex programındaki her F # modülü için F7 arayüzlerini tanımlamalıdır. F7 arayüzleri, onları normal f # arabirimlerinden ayırt etmek için SU FFI X .FS7'ye sahiptir (SU FFI X .FSI); F # tipi sistemin dışında olan türler içerebilirler. F # modülleri Su FFI X .FS'ye sahiptir ve değiştirilmemiş F # kodu içerir. Mevcut yaklaşımımızda, F7 arayüzünde tüm yeniden nement tipi açıklamalar verilmelidir. Bir F7 arayüzü M.FS7 ile bir F # modülü M.FS göz önüne alındığında, TypeChecker iki yolla çağrılabilir. İlk olarak, tüm yeniden fi sıkmamı silerek bir F # arayüzü m.fsi oluşturmak için -genfsi fl ag ile çağrılabilir: f7.exe -genfsi m.fs7 İkincisi, M.FS7'de ilan edilen türlere karşı m.fs yazmak için çağrılabilir. f7.exe m.fs7 m.fs Genel olarak, bu komut satırları, tüm kütüphane modülleri için arayüzler de dahil olmak üzere bir dizi F # modül ve F7 arayüzü içerecektir. Pervasives.fs7 olarak adlandırılan özel bir kütüphane arayüzü, tamsayılar, dizeler, boolean ve listeler ve aritmetik işlemler ve mantıksal bağlantı gibi ortak operatörleri gibi ortak F # türleri ilan eder. Bu kütüphane, programın kullanması gereken herhangi bir F # operatörünü içerecek şekilde genişletilebilir.

F7 İlgili Yazılım