Welcome to gavlock

Lambda on Lisp - The identity function 13 April 2020 Constant and Identity: “These are not the symbol-values you're looking for.”
Possibly the simplest type of function in Lisp is one taking no arguments and returning a constant value. The returned value could be “nothing” as in (lambda () nil), or any other constant value, (lambda () 42) …
read more
Exploring the lambda calculus using Common Lisp 07 April 2020 A Lisper's commentary on the “Fundamentals of Lambda Calculus & Functional Programming in Javascript”.
In this series we’ll explore the lambda calculus and implement a lambda calculus syntax on Common Lisp. Our emphasis will be on the lambda calculus, with just enough Lisp to give us an environment to play in. …
read more
“Naming is hard” considered harmful 12 March 2020 Is good naming inherently hard - or is it a design smell?
Does good design beget good naming?
Let’s start by taking as given that good naming is important. Many people smarter than I have already covered this, and this article is not about persuading the unconvinced. Next—I was inspired to actually sit down and commit my thoughts …
read more