It is easy to make mistakes when conducting mathematical proofs.
Nevertheless, you can find some recurring error patterns in those proofs.
And some of the most common reasons are related to the…
"Real World OCaml Functional programming for the masses 2nd edition" by Yaron Minsky, Anil Madhavapeddy, and Jason Hickey -
I highly recommend this book for people who want to learn Ocaml in-depth…
What are the statics of a programming language?
Most programming languages exhibit a phase distinction between static and dynamic phase of processing.
People sometime loosey say static of a…
Would spamming the noexcept keyword make your code faster? Sometimes. But not always. Consider the following snippet of code: I intentionally do not define g in this translation unit since…
From a layman's perspective, the field of programming language research is full of jargon, greek letters, and weird symbols.
On the one hand, Those common parlances make the programming language…