Loidig Cho-Cheanglachail

'S e comharradh loidigeach a tha ann an loidig cho-cheanglachail.

Leasaich Moses Schönfinkel agus Haskell Curry e san 1920an agus 1930an. Tha e cudromach ann am prògramadh agus co-cheangailte ri calcalas lambda. Le loidig cho-cheanglachail 's urrainn dhuinn foincseanan a sgrìobhadh gun caochladairean sgaoilte a-muigh.

Tha e a' toirt riaghailtean, eas-preiseain ath-sgrìobhadh le co-cheanglaichean:

  • (I x) = x. (ionnannachd)
  • ((K x) y) = x
  • (S x y z) = (x z (y z))

Chleachd Curry siostam eile de cho-cheanglaichean:

  • B x y z = x (y z). (co-dhèanamh)
  • C x y z = x z y
  • K x y = x
  • W x y = y

Ann an cànanachas

Tha gràmar catagaraidheal co-cheanglachail a' cleachdadh nan co-cheanglaichean do gleusan cainnte nach urrainn do gràmar catagaraidheal clasaigeach.

Ann am prògramadh

  • Dh'ainmicheadh an cànan prògramachaidh Haskell air Haskell Curry.
  • Dh'ainmicheadh dèanamh Curry air Haskell Curry.
  • Dh'ainmicheadh an companaidh calpa iomairte Y Combinator air a' cho-cheanglaiche Y.

Tags:

Loidig mhatamataigeach

🔥 Trending searches on Wiki Gàidhlig:

CuaigearanCoirèa a TuathThe Beatles1976NeapàlLeabhar-eòlaisBancaKońskowolaBàn-dheargPrionnsachd AsturiasEadar-theangachadhAn UcràinMean-fhàs3 an Cèitean1827A' ChuimrighSamuel BeckettCeusair1742DumbrăvioaraNa h-Eileanan MhoiriseasParisCaineal22 an GearranBaile GuatemalaAimearaga-LaideannachVäversundaAn Roinn-EòrpaPòsadhBreac (tinneas)1953BùdachasAmeireagiumLosgannDannsaHouston, Texas12na linnAn Èipheit124Arieh WarshelDà-chànanasMeatailt DhubhChesapeake, Virginia1928Còraichean daonnaSìonaisEabhraigSasainnTUCTajikistanAn RuisUicipeidRosgMonacoArabaisWerner HeisenbergGàidhlig MhanainnKobiele WielkieRiaghaltas na h-AlbaGrytvikenÀiteachasMikhail GorbachevNirribhisDùn PeilleirBulgàirisCogadh FuarTrianaid agus TobagoSri LancaCoimpiutaireachdNepalAshgabat1653A' Ghearmailt an Ear🡆 More