Lambda kalkul

  • Ak chcem pochopiť lambda kalkul, musím ho skonštruovať.

http://stackoverflow.com/questions/114581/how-helpful-is-knowing-lambda-calculus

Nemusíš, ak chceš byť iba technikom a písať programy, ktoré niečo robia, potom ti netreba vedieť nič o matematických štruktúrach ako PDA, FSA, FSM, atď.

Ak chces vidieť dovnútra, tak sa skús na C (imperatívny jazyk) pozrieť funkcionálne, or na LISP (funkcionálny jazyk) imperatívne.

Ak si zistil/a, že ak píšeš program v C, si na poschodí jazykových paradigiem, čo je blízko ku Turingovým strojom – máš inštrukčný pointer a inštrukciu a stroj uskutoční nejakú akciu a potom prejde k nasledujúcej inštrukcii a naproti tomu vo funkcionálnom jazyku nemáš jazykovú paradigmu, čiže uvažuješ z pozície spĺňania (valuácie) výrazov, vidíš sám, že to potrebuje zovšeobecnenie…

Dobrý začiatok?
  • Tak pokračuj ku AHA efektu

http://www.quora.com/What-is-so-great-about-functional-programming

http://stackoverflow.com/questions/tagged/functional-programming

ÚLOHA

nájdi najmenší počet takých linkov, ktoré skrátia počet krokov ku AHA efektu na minimum.

 

 

 

Reklamy

Ak ťa oslovuje konzistencia, spoluutváraj túto stránku

Zadajte svoje údaje, alebo kliknite na ikonu pre prihlásenie:

WordPress.com Logo

Na komentovanie používate váš WordPress.com účet. Odhlásiť sa / Zmeniť )

Twitter picture

Na komentovanie používate váš Twitter účet. Odhlásiť sa / Zmeniť )

Facebook photo

Na komentovanie používate váš Facebook účet. Odhlásiť sa / Zmeniť )

Google+ photo

Na komentovanie používate váš Google+ účet. Odhlásiť sa / Zmeniť )

Connecting to %s