C++, Damas-Hindley-Milner stil tipi çıkarımda, tercihen modern C++ teknikleri kullanılarak uygulanan bir uygulama var mı?C++
Çok şansınız olmayacağından şüpheleniyorum; Bu şeyi yazan işlevsel adamlar genellikle C++ 'da bunu yapmazlar! Gidebileceğiniz derleyicilerin çoğu kendilerini derlemek için kullanılır (örneğin OCaml veya GHC için).
Yani, birisi bir oyuncak projesi olarak Hindley-Milner yaptıysa, muhtemelen ağda değil; Derleyicinin bir parçası olsaydı, C++'da olması pek olası değil. akla gelen
Olası şeyler: Haskell için
İşte Python code by Robert Smallshire dayalı my implementation of Hindley-Milner type inference in C++11, Scala code by Andrew Forrest, Nikita Borisov ve paper "Basic Polymorphic Typechecking" by Cardelli tarafından Perl kod.
boost::variant ve boost::apply_visitor'un ağır kullanımını sağlar.
Ayrıca, sendika bulma işlemleri için "boost :: disjoint_sets" işlevini de bulabilirsiniz. – max
Burada bir tür çıkarım motorumuz var (https://github.com/ltcmelo/psychec). Yaklaşımımız, kısıtlama üretimi ve tip çıkarımı için ayrı aşamalarla Pottier ve Remy'nin HM (X) algoritmasından sonra uygulanmaktadır. Kısıtlama üretimi C++ 'da uygulanmaktadır, ancak Haskell'de tip çözümü uygulanmaktadır (üzgünüm!). Algoritma, kısmen mevcut olan kodu yeniden oluşturmak için C programları için türler oluşturur. Araç on-line olarak mevcuttur: http://cuda.dcc.ufmg.br/psyche-c/. Bir C programının bir parçasını girersiniz ve derlemek için yeterli olan tip bildirimleri üretir.
Selamlar,
Fernando
Erm ... Ne Damas-Hindley'nin-Milner tarzı tipi çıkarım nedir? Herhangi bir bağlantı güzel olurdu. Ayrıca C++ 11, tür çıkarımı için 'auto' ve "template" in de işlev parametreleri olarak kullanıldığında, doğası gereği inferencing türleri olduğunu unutmayın. – Xeo
"Damas-Hindley-Milner stil tipi çıkarımı" nı ayrıntılandırabilir misiniz? Ben googling gibi hissetmiyorum. –
@BenjaminLindley: Bunun bir sorun olduğunu düşünürsünüz ki, muhtemelen bir cevap alamayacaksınız, ya da ... Cevap: –