A world without types - Part 1
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, …
Read more →Posts
Blog posts on tech, engineering, and more.
Phantom types - Part 2
A friend raised a great question after reading the last post: If I am reading a list of books (List[Book]) from the database, wouldn’t I lose the type information augmented by phantom type? If …
Read more →About Skiff
One of the email providers I highlighted in the Degoogling post was Skiff, whihc is no longer alive. It was abruptly shut down in a day without notice, even to the patrons of their Discord community, …
Read more →Phantom types - Make illegal states unrepresentable
Making illegal states irrepresentable is a powerful technique in (functional) programming. The technique constrains certain operations to specific states, preventing your code from compiling if you …
Read more →Re-publishing artifacts in SBT
SBT does not allow re-publishing artifacts with the same version unless it is a snapshot version. A snapshot version ends with the -SNAPSHOT suffix, such as 0.1.0-SNAPSHOT. Re-publishing, which …
Read more →