Sather reloaded

Once upon a time, there was Sather… I've briefly said it exists in a previous old article, Languages, OOP, Sather et al..

Eiffel

The first language which put emphasis on design by contract was Eiffel. It seems that the term is born with/for it.

Just another Schiaparelli

Performance-impacting postconditions

Declaring preconditions, postconditions, and invariants, and actually checking them at runtime are two different things.

Hamming numbers

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…

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…

Perfect: forwarding

So, in C++ there's this (perfect) forwarding thing, because there's a forwarding problem.

SIINSCAE

SIINSCAE: Software Installation Is Not Software (default) Configuration And Execution.

Join us and work from home

Torvalds, the creator of the Linux kernel.