Declaring preconditions, postconditions, and invariants, and actually checking them at runtime are two different things.
2018-03-11
2018-03-10
Tasks and exceptions in Ada
Ada's concurrency facility (tasks) reminds me of Erlang's concurrency facility. I am not fluent in any of these two languages but I like them — Ada is a fresh new entry in the list: seen a bit of it ages ago and I thought to dislike it. Now I'm looking into it again and a litte bit deeper, and I started to like it…
2017-11-03
Check at compile time if a going-to-be-stringified symbol is a member of a struct
I wanted a string which must “contain” the name of a member of a struct. The compiler should check the right spelling (at compile time).
At last I have found a possible reason to use the comma operator…
2017-10-14
Perfect: forwarding
So, in C++ there's this (perfect) forwarding thing, because there's a forwarding problem.
2017-10-06
2017-09-14
2017-09-13
Overloading reloaded (C)
In Overloading so much I've forgotten C11 and its _Generic I've talked about in Type-generic functions (overloading) in C11.
2017-09-12
Database crackdown
It was a bright sunny day, or maybe not. Then, suddenly, a system started to misbehave.
2017-09-11
Overloading so much
I suppose that my average readers know what overloading is, but let me give a quick definition: overloading is a feature which allows to reuse (overload) a function name provided that each signature makes each function distinguishable. According to the signature the compiler can pick the right actual code to execute.
Subscribe to:
Posts (Atom)