Lambda calculus adalah bahasa pemrograman terkecil yang terdiri tiga term, abstraksi, aplikasi, dan atom. Repo ini merupakan hasil dari eksplorasi bahasa tersebut menggunakan bahasa haskell untuk membuat interpreter yang berguna untuk mereduksi lambda term menjadi bentuk paling sederhana yang dapat direduksi.

Selain dari belajar mengenai lambda calculus, pada pengembangan repo ini saya juga belajar banyak mengenai haskell, seperti penggunaan parser untuk mengubah string menjadi sebuah term lambda, serta mengenai beberapa operator yang ada pada Applicative seperti <*>, <|> dan <$> yang berguna untuk operasi yang dapat menambahkan konteks dari data yang sedang dioperasikan berguna untuk melakukan evaluasi yang dapat gagal, serta evaluasi pararel. <* dan *> berguna untuk mengevaluasi untuk mengembalikan hanya jika evaluasi disebelah kanan, atau kirinya berhasil.<|> berguna untuk mengevaluasi secara pararel, dan mengembalikan evaluasi yang berhasil, jika gagal maka akan mengembalikan Nothing yang kemudian dapat dievaluasi dari Monad parse untuk raise error yang sesuai.

Modifikasi yang saya lakukan pada source code, adalah dengan menambahkan parser untuk digit dan operator seperti (+) dan (*). Implementasi parser tersebut saya pelajari dengan memahami parser-parser yang sudah dikembangkan di source code sebelumnya, dengan membuat parser sendiri. Untuk church numeral saya buat dengan membaca sebuah digit, jika berhasil kemudian mengubahnya menjadi bentuk lambda dari church numeral, seperti berikut 0 := \\f x. x, 1 := \f x. f x, n:= \f x. f (f ... (f x)). Kemudian untuk operator tambah dengan memparse simbol (+) menjadi \m n f x.m f (n f x), untuk operator kali (*) menjadi \m n f x.m (n f) x.

Selain modifikasi untuk parser, saya juga melakukan modifikasi pada print hasil evaluasi. Jika dapat dievaluasi menjadi church numeral, maka hasil lambda akan diprint menjadi sebuah angka, jika tidak akan tetap diprint sebagai lambda expression.

repo ini di fork dari repo url berikut: sgillespie/lambda-calculus