PinnedGood Resource of PLProgramming Systems Related-Courses TOOLS OF LEARNING PL: Lambda calculus - Lambda Calculus (stanford.edu) Programming Language CS242, Programming Languages, covers the basics of the theory of programming languages, its applications to widely used la...Aug 10, 2023·2 min read
Is OCaml a tough programming language?Short answer: No if you take in the reasoning of the language by itself independently of the context. Long answer: Ocaml is a functional language. The majority of engineers have received education in functional programming, but a heavy training on im...Sep 14, 2023·2 min read
The Republic by Plato💡 Even though these were written by people over 2000 years ago in a different time than ours, there is still a fair amount of commonality in some ways between the things Plato was thinking about and what everyone else is thinking about. Plato's Re...Sep 9, 2023·7 min read
Lambda Calculus1 View of Function In most mathematics, the "Functions as Graph" is the most elegant and appropriate way of dealing with functions, which describes how to map input to outputs. However, in computer science, the "Function as Rules" is often appropriat...Aug 11, 2023·5 min read
