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.

Roinn-seòrsa:Matamataig