How often do you see the creation of an object through configuration? What does that mean? Right, we have a mutable state of the object. Of course, this does not happen without the involvement of setters. What’s wrong with setters, you may ask. Well, absolutely everything! The fact that, for...

So, today I want to tell you how you should develop a programming language that will never surrender to a static analyzer. After all, we all know that static analysis is bad, quality control is for those who cannot write clean code, and all unit tests should be written by...

First of all, this is a guide for macOS users. I’m sorry: I am physically unable to create a manual for other operating systems. Disclaimer – I hope you know what homebrew is. First step We have to install coq on our machine. Best way to do it – opam....

Well, if you are reading this, you probably know what Rultor is. But for some reason, you don’t understand how to set it up. I also have a template repository in case I start a new project, it’s already a bit set up. You can fork it and use. Well,...