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 →Posts
Blog posts on tech, engineering, and 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 →Unequal Bs
Who can tell me what is the result of this expression? "В" == "B" You can use a repl of your choice, say Scala or Python, to evaluate the expression. Be prepared with an explanation …
Read more →