Types

This is a post-credits bonus post that shows the complete and finished builder code.

While the builder pattern is a powerful tool for creating complex objects in a type-safe manner, it is easy to discard it given its complexity and boilerplate. This post details the situations where …

This post takes the ideas from previous posts to get rid of some boilerplate, and concluding the “how” portion of the series.

This post adds type-level ordering to the builder, enforcing when fields can be set. It introduces explicit constraints on configuration order: host/port first, maxConnections/connectionTimeout before …

This post makes the builder API more flexible by allowing incremental health check additions without losing type safety. We will see how withHealthChecks is changed from replace to append, so calls …

This post talks about making the error messages cleaner and clearer. You might want to read this one since it involves typeclasses. 😉

This post extends a prior typesafe Builder Pattern and demonstrates where it breaks down with a more complex AppConfig[F[_]] that wires Auth, Users, Books, and multiple HealthChecks. It presents a …

The Builder pattern provides a way to construct complex objects step by step with a fluent API, where each method call returns the builder itself, allowing for method chaining. Let us play some type …

Guest post by Bahul Jain. In this post, he talks about algebraic data types (ADTs) and its benefits. He discusses how ADTs can be used to model complex data and boost developer productivity.

Guest post by Bahul Jain. In this post, he talks about addressing the performance implications of creating types everywhere. He explores AnyVal and a light-weight library called Supertagged to …

Guest post by Bahul Jain. In this post, he explains why types are essential for modeling data and operations in a meaningful way. He goes into detail about how types help clarify the purpose of data, …