Lambda račun

[hugo]

Danas je održano predavanje iz lambda računa. Evo par linkova koji mogu biti korisni:

• Lambda Calculus I i Lambda Calculus II dve prezentacije u kojima se više govori o kombinatorima i o JS-u. Takođe je pokazana logika i aritmetika (teme koje ja nisam stigao).
• Programiranje u Haskelu knjiga o Haskelu namenjena početnicima. Još je u beta fazi
• Slajdovi od danas

[venmo]

Moram priznati da mi je ovo predavanje malo pomerilo mozak na kraju.

[hugo]

Kasnim 10 minuta!

[venmo]

Jedva cekam epizodu 3

[hugo]

nece biti

[venmo]

Neee

[hugo]

Ove nedelje je održano predavanje o parser kombinatorima (iliti kombinatorima parsera) i uvod u jezik Haskel. Ovo se može shvatiti kao nastavak predavanja o lambda računu, te pišem na ovoj temi. Kao po običaju, preterao sam sa dužinom predavanja, izvinjavam se. Ostavljam neke linkove koji vam mogu biti zanimljivi:

• JSON Parser 100% From Scratch in Haskell (only 111 lines) - ovaj legendarni video, šerovan skoro na chatu, me je inspirisao na predavanje
• Parse, don’t validate - spomenuo sam jednom u toku predavanja
• Parser Combinators in Go with Generics - osobine Haskela dozvoljavaju veoma elegantnu implementaciju parsera, ali tehnika parser kombinatora je dublja od tog sintaksnog šećera kog koristimo u Haskelu. Nije teško implemenirati parser kombinatore i u drugim jezicima (dovoljno je da podržavaju funkcije višeg reda) i predstavlja odličnu vežbu za rad sa tipovima.