The Future of Programming is Dependent Types — Programming Word of the Day

Sometimes it feels like programming languages didn’t really change from the 60s up to now. When I feel that, I often remind myself of the cool tools and features we have now that make our lives easier…

What is Lazy Evaluation? — Programming Word of the Day

When a compiler encounters an expression, usually it tries to evaluate it. Evaluation is the process of getting the root meaning of a piece of code. The meaning of 5 + 3 is 8. Our brains also do this: when somebody tells you, "She's a…

Why JavaScript is an OOP Language (Even Though It Doesn’t Have Classes)

You probably know how OOP works. The class Dog inherits from class Animal, which means that if you have a Dog you access methods from Animal. This is actually just a subset of OOP. You can be object oriented…

What’s the smallest possible number? — Programming Word of the Day

What’s the smallest number greater than 0? This is one of those simple questions with complicated answers somewhere between “there is none” and “it depends”.

Why Recursion Is Less Efficient Than a Loop — Programming Word of the Day

Asynchronous programming with Kotlin and Coroutines— Lesson 1: Routines

Note: Make sure to check out my other…

Asynchronous programming with Kotlin and Coroutines — Lesson 2: Suspension Points

Asynchronous programming with Kotlin and Coroutines — Lesson 3: Continuation

This is the third part of my…

Referential Transparency — Programming Word of the Day

I usually don’t wear a watch, but recently I found a watch I got as a gift at the bottom of my closet. I dusted it off, went to a watch repair shop to change the battery, and it’s ticking again. Wearing it for a few days, I noticed a…