Şimdi, ama ben bulamıyorumyemin ederimölümsüz sözler içeren: T-shirt için bir satış vardı

Ne bir parçası

yaparsındeğilanladın mı?

Benim durumumda, cevap... hepsi olur!

Özellikle, sık sık Haskell gazetelerde böyle bir bilgiye dikkat et, ama ne anlama geldiği konusunda hiçbir fikrim yok. Olması gerekiyordu ne hiçbir fikrim yok.

Yunan alfabesi kursu ve semboller harfleri "" genellikle bir şey bir dizi unsuru olmadığı anlamına gelir. ∉ tanıdım gibi

Diğer taraftan, daha önce hiç görmediğim ""(Wikipedia olabilir iddia ediyor"") bölümü. önce ⊢ Ayrıca bağ kullanımı burada pek aşina değilim. (Genellikle bir kısmını gösterir, ama yokgörünürdurum burada.)

Sanırım bu YÜZDEN tüm Milner Hindley algoritmasını açıklamak için iyi bir yer değil. Ama eğer biri en az sembolleri bu deniz ne anlama geldiğini anlamak için nereye bakmamız gerektiğini bana söyler misiniz, bu yararlı olacaktır. (Merak eden tek kişi...) olamam eminim

• yatay çubuk"[yukarıda] . anlamına gelir ^strong>anlamına gelir[aşağıda]".
• Eğer varsa oradabirden çok ifadeler[yukarıda], sonra da onları düşününandedgaranti etmek için, gerçek olmalı hep birlikte; [aşağıda].
• : anlamına gelirtürü vardır
• ∈ anlamına gelir. (Aynı şekilde ∉ demek "değildir".)
• Γ genellikle başvurmak için kullanılırçevrebağlam; bu durumda tür açıklamalar bir dizi olarak, kendi türü ile bir tanımlayıcı eşleştirme düşünülebilir. Bu nedenle x : σ ∈ Γ çevre Γ x 7 ** türü olduğu gerçeğini içerir anlamına gelir.
• ⊢ olarak okunabilirkanıtlıyorya da belirler. Γ ⊢ x : σ çevre Γ x 12 ** türü belirler anlamına gelir.
• , bir yoludurdahilbir ortama belirli ek varsayımlar Γ.
  Bu nedenle, Γ, x : τ ⊢ e : τ' ortam Γ anlamına gelirx ek, ağır basan varsayımı ile tür τ vardıre 20**. tip olduğunu kanıtlıyor