«typing» etiketlenmiş sorular

Şu anda bilgisayar bilimleri yüksek lisansımı bitirdim. Programlama dilleriyle, özellikle tip sistemlerle ilgileniyorum. Bu alanda araştırma yapmak ilgimi çekti ve önümüzdeki dönem konu ile ilgili doktora yapacağım. Şimdi gerçek soru şudur: Bilgisayar bilimi veya ilgili alanlarda önceden bilgisi olmayan insanlara ne yapmak istediğimi nasıl açıklayabilirim? Bu başlık, aileme, arkadaşlarıma ve …

64 programming-languages  education  typing  research 

Satır polimorfizminin alt tiplemeden daha iyi bir yaklaşım olduğunu sık sık duyuyorum, ancak bunları ayrıntılı olarak karşılaştıran bir şey bulmakta zorlanıyorum. Özellikle sistemin bir kullanıcısıyla ilgileniyorum. Bu blog yazısına rastladım , ama bana eskisinden daha fazla soru bırakıyor. Örneğin, alt türüne sahip bir sistemin bir tür atayacağını iddia ederken, satır …

20 typing 

Evrensel olarak nicelendirilmiş bir tip : T a = ∀ X : { a ∈ X , f : X → { T , F } } , varoluşsal olarak nicelenmiş bir alt tip mi, yoksa özel bir durum mu olduğunu bilmek istiyorum tip , T e aynı imza ile: …

20 logic  type-theory  typing 

Profesörümüz bizden OCaml'de böyle bir işlevi düşünmemizi istedi 'a -> 'b yani bir argümanın herhangi bir şey olabilen ve farklı bir şey döndürebilen bir işlevi. raiseArgümanını göz ardı eden bir işlevde kullanmayı düşündüm : let f x = raise Exit Ancak profesör, standart kütüphanede herhangi bir işlev gerektirmeyen bir çözüm …

19 programming-languages  typing  functional-programming 

Ben okuyorum Hindley'nin-Milner yazarak algoritması bir uygulama yazma ve görüyoruz ederken, her zaman gibi argümanlar son tipini belirleyecek ya atom tiplerini veya türlerini, elde edersiniz boyunca her değişken bağlı olarak, t1 -> t1ya (t1 -> t2) -> (t1 -> t2)Burada t1ve t2tip değişkenleridir. Ben böyle bir şey almak için bir …

14 lambda-calculus  type-theory  typing  type-inference 

Ben ML şecere ifade tabanlı bir dil üzerinde çalışıyorum, bu yüzden doğal olarak tür çıkarım gerekiyor :) Şimdi, EOPL'de (Friedman ve Wand) basit bir uygulamaya dayanan, çıkarım türleri sorununa kısıtlamaya dayalı bir çözüm geliştirmeye çalışıyorum, ancak zarif bir şekilde yan basamak cebirsel veri tipleri. Şimdiye kadar olanlarım sorunsuz çalışıyor; bir …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing