«hindley-milner» etiketlenmiş sorular

Ben yemin bir orada kullanılan tişört ölümsüz sözleri içeren satılık: Hangi bölümü Eğer do not anladın mı? Benim durumumda, cevap ... hepsi olurdu! Özellikle, Haskell gazetelerinde genellikle böyle bir gösterim görüyorum, ancak bunların ne anlama geldiğine dair hiçbir fikrim yok. Matematiğin hangi dalında olması gerektiği hakkında hiçbir fikrim yok. Tabii …

851 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

Bu Hindley-Milner terimiyle karşılaştım ve ne anlama geldiğini anlayıp anlamadığımdan emin değilim. Aşağıdaki gönderileri okudum: Steve Yegge - Dinamik Diller Saldırıyor Steve Yegge - Pinokyo Sorunu Daniel Spiewak - Hindley-Milner nedir? (ve neden havalı?) Ancak wikipedia'da bu terim için genellikle bana kısa bir açıklama sunan tek bir giriş yoktur. Not …

124 functional-programming  types  inference  hindley-milner