Azərbaycanca AzərbaycancaDeutsch Deutsch日本語 日本語Lietuvos Lietuvosසිංහල සිංහලTürkçe TürkçeУкраїнська УкраїнськаUnited State United State
Destek
www.wikipedia.tr-tr.nina.az
  • Vikipedi

Standart ML SML çok amaçlı çoğunlukla derleyici yorumlayıcı yazımı ve teorem ispatlama konularında tercih edilir ML aile

Standard ML

Standard ML
www.wikipedia.tr-tr.nina.azhttps://www.wikipedia.tr-tr.nina.az
TikTok Jeton Satışı

Standart ML (SML), çok amaçlı . Çoğunlukla derleyici/yorumlayıcı yazımı ve teorem ispatlama konularında tercih edilir. ML ailesinin diğer fertleri gibi yeteneği ile ünlüdür. Ayrıca çok gelişmiş bir modül sistemine sahiptir.

Örnekler

Merhaba Dünya

print "Merhaba Dünya\n" 

Tür çıkarımı ve doku tanımı

fun fak 0 = 1 | fak n = n * fak (n - 1) 

Yukarıdaki örnekte derleyici 0 ve 1'in tam sayı olmasından yola çıkarak, fak işlevinin tam sayılardan tam sayılara tanımlı olduğunu algılar. , fak işlevinin parametresi 0 ise farklı bir kod, değilse farklı bir kod çalıştırmasıdır.

Birinci sınıf işlevler

fun esle ([], _) = [] | esle (bas::kuyruk, islev) = (islev bas)::(esle (kuyruk, islev)) 

Doku tanımının daha gelişmiş örneği olan bu kodda tanımlanan esle işlevi, parametre olarak bir liste ve bir işlev alıp, listenin her elemanı için islevi çağırır ve sonuçları gene bir liste olarak döndürür.

Özyinelemeli veri türleri

datatype dogal = SIFIR | SONRAKI of dogal fun topla (m, SIFIR) = m | topla (m, SONRAKI(n)) = SONRAKI (topla(m,n)) 

Bu örnekte dilin kendi tam sayı veri türünden ve toplama (+) işlecinden bağımsız olarak doğal sayılar veri türü (dogal) ve iki dogal'ı toplayan topla işlevi tanımlanmıştır. Matematiksel sistemleri tanımlama konusundaki rahatlığı teorem ispatlamada kullanılmasının temel sebeplerindendir.

Özyinelemeli yorumlar

(* burası yorum (* burası (da) iç yorum *) burası hala yorum *) 

Yaygın olarak kullanılan SML derleyicileri

    İlgili bağlantılar

    • Ocaml

    wikipedia, wiki, viki, vikipedia, oku, kitap, kütüphane, kütübhane, ara, ara bul, bul, herşey, ne arasanız burada,hikayeler, makale, kitaplar, öğren, wiki, bilgi, tarih, yukle, izle, telefon için, turk, türk, türkçe, turkce, nasıl yapılır, ne demek, nasıl, yapmak, yapılır, indir, ücretsiz, ücretsiz indir, bedava, bedava indir, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, resim, müzik, şarkı, film, film, oyun, oyunlar, mobil, cep telefonu, telefon, android, ios, apple, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, pc, web, computer, bilgisayar

    Standart ML SML cok amacli Cogunlukla derleyici yorumlayici yazimi ve teorem ispatlama konularinda tercih edilir ML ailesinin diger fertleri gibi yetenegi ile unludur Ayrica cok gelismis bir modul sistemine sahiptir OrneklerMerhaba Dunya print Merhaba Dunya n Tur cikarimi ve doku tanimi fun fak 0 1 fak n n fak n 1 Yukaridaki ornekte derleyici 0 ve 1 in tam sayi olmasindan yola cikarak fak islevinin tam sayilardan tam sayilara tanimli oldugunu algilar fak islevinin parametresi 0 ise farkli bir kod degilse farkli bir kod calistirmasidir Birinci sinif islevler fun esle esle bas kuyruk islev islev bas esle kuyruk islev Doku taniminin daha gelismis ornegi olan bu kodda tanimlanan esle islevi parametre olarak bir liste ve bir islev alip listenin her elemani icin islevi cagirir ve sonuclari gene bir liste olarak dondurur Ozyinelemeli veri turleri datatype dogal SIFIR SONRAKI of dogal fun topla m SIFIR m topla m SONRAKI n SONRAKI topla m n Bu ornekte dilin kendi tam sayi veri turunden ve toplama islecinden bagimsiz olarak dogal sayilar veri turu dogal ve iki dogal i toplayan topla islevi tanimlanmistir Matematiksel sistemleri tanimlama konusundaki rahatligi teorem ispatlamada kullanilmasinin temel sebeplerindendir Ozyinelemeli yorumlar burasi yorum burasi da ic yorum burasi hala yorum Yaygin olarak kullanilan SML derleyicileriIlgili baglantilarOcaml

    Yayın tarihi: Temmuz 11, 2024, 06:44 am
    En çok okunan
    • Aralık 15, 2025

      Ukrayna'nın Ankara Büyükelçiliği

    • Aralık 18, 2025

      Ujitawara

    • Aralık 09, 2025

      University of Waterloo

    • Aralık 08, 2025

      Undervud

    • Aralık 21, 2025

      Un violador en tu camino

    Günlük
    • Tiger II

    • Elektromanyetik spektrum

    • Işık

    • Sonlu fark

    • Sovyetler Birliği

    • Vasco da Gama

    • Latin Grammy Ödülleri

    • Ur Zigguratı

    • Sargon (Akad kralı)

    • Saint Lawrence Nehr

    NiNa.Az - Stüdyo

    • Vikipedi

    Bültene üye ol

    Mail listemize abone olarak bizden her zaman en son haberleri alacaksınız.
    Temasta ol
    Bize Ulaşın
    DMCA Sitemap Feeds
    © 2019 nina.az - Her hakkı saklıdır.
    Telif hakkı: Dadaş Mammedov
    Üst