Fara í innihald

Tagskiptur lambda-reikningur

Úr Wikipediu, frjálsa alfræðiritinu

(Endurbeint frá Tagskiptur lambdareikningur)

Tagskiptur lambda-reikningur^[1] er tagskipt formhyggja sem notar lambda-táknið ( $\lambda$ ) til að tákna nafnlaus föll svipað og ótagskipti lambda-reikningurinn. Tagskiptir lambdareikningar eru undirstaða margra falla forritunarmála eins og ML og Haskell.

Tegundir tagskiptra lambda-reikninga

[breyta | breyta frumkóða]

Simply typed lambda calculus (þýðingu vantar)
System F

Tilvísanir

[breyta | breyta frumkóða]

↑ Orð búið til af höfundi: tagskiptur (typed)^{[óvirkur tengill]} á Tölvuorðasafninu

Sótt frá „https://is.wikipedia.org/w/index.php?title=Tagskiptur_lambda-reikningur&oldid=1721701“