Explore >> Select a destination
|
You are here 
|
herbsutter.com | ||
| | | | |
www.foonathan.net
|
|
| | | | | Strong or opaque typedefs are typedefs that truly create new types instead of aliases. They are very useful to prevent accidental conversions and give more semantic meanings. This post shows you how they can be emulated in C++ today. | |
| | | | |
brevzin.github.io
|
|
| | | | | C++17 gave us std::optional which is, in the words of a friend of mine, one of those really simple, ultra complex types - in the sense that it's very easy to understand and use properly, even for relatively inexperienced programmers... but extremely difficult to implement correctly, even for experts (another such is std::pair). Today, it's well over a thousand lines of code, most of which is critical to support even its most basic functionality. optional is the simplest sum type, and it appears in lots of different languages (and even has special syntax in Swift) under various related names - Maybe, Option, etc. - but in the languages I'm even nominally familiar with, it's about as simple to implement as it is to use. | |
| | | | |
www.greyblake.com
|
|
| | | | | A blog about software development. | |
| | | | |
arne-mertz.de
|
|
| | | In this guest post, Alfredo Correa shows how the concept of covariant functions over variants can be generalized to covariant functions of multiple arguments, effectively achieving runtime multiple dispatch. | ||
