Dependent Types Primer in Scala

scaladependent-types

A short primer on Dependent Types in Scala. What kinds of problems they solve and how they work. The different types of dependent types - path-dependent, dependent method, and dependent function …

Read more →

Handling Spring Boot App Shutdown

javaspring-bootshutdown

While I’ve worked on a number of Spring Boot applications, I never had to personally write graceful shutdown code - it was either absent or was already in place. This post, a reference for my …

Read more →

YMMV

ymmvmileageios

I bought my car over 12 years ago and have tracked every fuel fill-up and mile since day one. For years I relied on spreadsheets to log fuel purchases and mileage. I always felt there should be a …

Read more →

Parsing from scratch - Part 4

scalaparserseries

Until now, we implemented a few relatively simple parsers; for parsing dates and hex colors. In this post, we are going to build a parser for parsing configuration key value pairs. This is a bit more …

Read more →