E fa'afefea ona filifili i le va o Hindley-Milner ma le ta'itusi fa'alua

\u003ch2\u003eE fa'afefea ona filifili i le va o Hindley-Milner ma le taina fa'a-lua\u003c/h2\u003e \u003cp\u003e O lenei tusiga o loʻo tuʻuina atu ai faʻamatalaga taua ma faʻamatalaga i lona autu, e saofagā i le faʻasoaina o le malamalama ma le malamalama.\u003c/p\u003e \u003ch3\u003eA'i Avea\u003c/h3\u003e \u003cp\u003e E mafai e le au faitau ona fa'amoemoe e maua:\u003c/p\u003e \u003cul\u003e \u003cli\u003eMalamalama loloto i le mataupu\u003c/li\u003e \u003cli\u003eTalosaga fa'atino ma le fa'atatauga moni i le lalolagi\u003c/li\u003e \u003cli\u003e Va'aiga fa'apitoa ma au'ili'ili\u003c/li\u003e \u003cli\u003eFa'amatalaga fa'afou e uiga i atina'e i le taimi nei\u003c/li\u003e \u003c/ul\u003e \u003ch3\u003e Tulaga Taua\u003c/h3\u003e \u003cp\u003eO mea lelei fa'apenei e fesoasoani e fausia ai le poto ma fa'aolaina ai faiga fa'ai'uga i vaega eseese.\u003c/p\u003e

Fesili e Fai soo

O le a le ese'esega tele i le va o Hindley-Milner ma le fa'ai'uga ituaiga lua?

Hindley-Milner e fa'ailo ituaiga i le lalolagi atoa e aunoa ma le mana'omia o so'o se fa'amatalaga, fa'aaoga le tu'ufa'atasiga e fa'ailo ai le ituaiga sili ona lautele mo fa'amatalaga uma. O le lolomi fa'ata'ita'i e vaelua ai le faiga i ni auala se lua—sia'i ma fa'aputuga-e mana'omia ai ni fa'amatalaga ae lagolagoina uiga sili atu ona lelei e pei ole polymorphism maualuga ma ituaiga fa'alagolago. O le filifiliga e fa'alagolago pe e te fa'amuamua le fa'ailoa atoatoa po'o le mana fa'aalia i ni fa'amatalaga laiti.

O afea e tatau ai ona ou fa'aogaina le fa'ailoga fa'atusa o Hindley-Milner mo la'u gagana?

E lelei le Hindley-Milner pe a e mana'o e fa'ato'a fa'ai'uga e leai ni fa'amatalaga e mana'omia, e pei ona va'aia i gagana pei ole Haskell 98 ma le OCaml. E sili ona aoga mo le tulaga-1 polymorphism ma fa'asologa sa'o fa'amaumauga algebraic. Afai e fa'amuamua lau gagana fa'atulagaina se poto fa'atupu fa'ama'i pupu'u, e leai ni fa'amatalaga nai lo foliga fa'apitoa, Hindley-Milner o le filifiliga sili lea. Mewayz e aofia uma auala i ana modules 207 mo na'o le $19/mo.

O a ni tapula'a ole su'esu'ega ituaiga lua?

O le siakiina o ituaiga e lua e mana'omia ai le au fai polokalame e tu'uina atu fa'amatalaga o ituaiga i tulaga fa'apitoa—e masani lava ona fa'aogaina fa'asologa ma fa'amatalaga pito i luga. E ui o lenei mea e foliga mai o se toe faʻafoʻi, o nei faʻamatalaga e avea ma faʻamaumauga ma faʻaleleia atili feʻau sese. O le tapula'a moni o le fa'ateleina o le lavelave o le fa'atinoga, talu ai e tatau ona e fa'amalamalama lelei po'o fea e fesuia'i ai le faiga i le va o le siakiina ma le fa'aputuga o auala e fa'atumauina ai le lelei.

E mafai ona ou tu'ufa'atasia le Hindley-Milner ma le ta'itusi e lua i le faiga e tasi?

Ioe, tele fa'aonaponei tu'ufa'atasiga o lo'o fa'aogaina se faiga fa'atosina. GHC Haskell, mo se faʻataʻitaʻiga, faʻaaogaina Hindley-Milner e fai ma faʻavae ae sui ile siaki faʻataʻitaʻi mo ituaiga maualuga ma isi faʻaopoopoga. O lenei ta'iala fa'avasega e tu'uina atu ia te oe fa'amatalaga fa'apitoa mo fa'ailoga faigofie a'o lagolagoina fa'amatalaga fa'apitoa e tu'uina atu ai fa'amatalaga. Mewayz's 207 a'oa'oga modules, avanoa i le $19/mo, savali i le fausiaina o ia faiga tu'ufa'atasia i lea laasaga ma lea laasaga.