Funkciók Lisp - kérdések és válaszok - funkcionális és logikai programozás - DonNTU

Funkciók Lisp - ez kalkulus Church.

Funkciók Lisp - ez λ-kalkulus Egyház.

(Defun név λ-expresszióját a test)

λ-expresszió már szerepel a szervezetben, így ebben az esetben az érvelés a „test” felesleges.

Funkció - szabály kiszámításához értékeit érveket.

Ez nem jellemző a Lisp funkciók képest az összes többi funkció.

Ez a válasz a meghatározása a „funkció”, de nincs leírása eljárás feladatainak meghatározásáról magukat Lisp.

Lisp funkciót alkalmazza a setq parancsot. Funkció be van állítva, akkor lehet tekinteni, mint egy változó.

setq - ez nem egy csapat, és a funkciót.

setq nem használják az alkalmazást a funkciók. Ez a funkció használható más célokra.

Ha setq alapján kell alkalmazni jellemzői setq is - ez is egy függvény, hogyan kell használni a funkciót setq.

Funkció - a program. Jelentése - van jelen. Az értékeket tároljuk változókat. De nem a programot, és nem tud működni.

Meghatározása után a funkció tekinthető egy globális változót.

Funkció - a program. Változó - egy memóriát, amely tárolja az adatokat. Normális esetben a program nem tekinthető adott (a ritka kivételektől eltekintve, amikor a program létrehoz egy másik program vagy módosítására is).

Bár, ez lehet beszélni a terület a függvények és változók láthatósága. A Lisp igazán hatálya összes funkció - globális.

λ-expresszió a célja, hogy meghatározzák azokat a [főnév].

λ-kifejezés nem célja annak meghatározása, hogy mi mást.

λ-kifejezést - az opciók listája.

λ (X) E, ahol E - egy kifejezés, amely kiszámítja a függvény értékét.

λ-expresszió - függvényében név nélkül.

„Function name” - nincs ilyen kifejezés.

λ-expresszió - meghatározásakor használják a funkciókat.

„A használata valami” - nincs ilyen kifejezés.

λ-kifejezést leírására használják nem ugyanazt a kifejezést többször, és használja ezt a funkciót.

Erre a célra, a funkció, és nem λ-kifejezést.

λ-expresszió - számítási modell a Lisp (λ-kifejezése Church).

λ-expresszió - egy funkciót SFYA és Lisp.

A második lépés elvégzése λ-call

• Lambda hívás használt defun.

A második lépés elvégzése λ-call

• Ha a szervezet a megfelelő S-expressziót, az eredmény keresztül visszavezetett λ-expresszió.

A harmadik lépést, amelyben a λ-call

• Hívjuk minden λ-2 játékidő.

  Hívás a kiviteli alakban.

  Hívás teljesítmény képlet.

  Ez az, amikor szigorúan nagyobb, vagy kevésbé szigorúan.

  Szigorú funkció - ez az, amikor a külső változók nem változik.

  Ez egy szükséges, de nem elégséges feltétel.

  Szigorú funkció -, hogy a funkció határozza meg mindenütt A.

Mi szinte kizárólag a funkciót?

• Ellentétben a szigorú van az, hogy az eredmény nem tért vissza név szerint.

  Majdnem pontosan egy függvény visszatér eredményeként, és ezen keresztül a nevet.

  Lax funkció is visszatérhet az eredmény nem a neve.

  Szinte szigorú funkció - egy függvény, amely az elemeket a halmaz, amelyre a kép ez a funkció nincs definiálva.

  Lax funkció - ez a funkció, az elemeit, amelyek nincsenek definiálva a beállított A.

  Ez a funkció, amely figyelembe vesz minden kifejezést (vagy a teljes expressziós).

  Részleges funkció - ez is része. Ez is része a teljes funkció.

Írja Lisp rekurzív függvény, amely kiszámítja a számok összege 1-től n

• Hibás szintaxis a paraméterek listája.

  Ha ez az állapot a rekurzió befejezéséhez nem működik az első lépés, ez nem működik, és soha nem is lesz egy végtelen ciklus.

  Utolsó módosítás: 03.11.06 00:55