Dependent Types Primer in Scala
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 →Blog posts on tech, engineering, and more.
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 →
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 →
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 →
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 →
Let us implement another simple parser, this time for semantic version. Read on.
Read more →