Formal System

Overview In this post, I will talk about the Formal System. Haha; I said I would talk about lambda calculus in detail, but as I studied, I realized I couldn’t just gloss over this concept. After going through lambda calculus, I thought, “What did I just learn?” You define symbols, define rules, derive theorems… How is this related to lambda calculus? I was curious. Haha; to conclude, lambda calculus is a Formal System, so learning about lambda calculus is learning about its Formal System. ...

December 20, 2020

Functional Programming Prelude

Sources https://en.wikipedia.org/wiki/Functional_programming https://www.geeksforgeeks.org/introduction-of-programming-paradigms/ Prelude to Functional Programming Why I Want to Learn About Functional Programming In March of this year, when I first learned JavaScript, the language felt strange. Sometimes it felt like C, sometimes like Java, and sometimes it had syntax I had never seen before. There were three things in JavaScript’s syntax that surprised me: Map, Closure, and Functions. I used Map a lot in Python, so seeing it in JavaScript made me think, “Ah, this must be a commonly used function that people like, so it’s included here too.” ...

November 22, 2020