A Very Early History of Algebraic Data Types
Algebraic data types consist of product types (structs with multiple fields) and sum types (tagged unions representing choices between options).
Formal verification consultant. Author of 'Practical TLA+'. Writes about software correctness and testing.
https://www.hillelwayne.comAlgebraic data types consist of product types (structs with multiple fields) and sum types (tagged unions representing choices between options).
Video games are the world's largest entertainment industry but remain inaccessible to non-gamers due to assumed gaming knowledge.
JavaScript treats `-->` at line start as a comment due to a legacy hack for hiding scripts from old browsers that didn't support the `<script>` tag.
The Hierarchy of Controls from workplace safety can be applied to software engineering to prevent outages, prioritizing elimination of risks over lesser protections.
Taking a break from blogging to focus on writing "Logic for Programmers." Returning early 2025, but newsletter continues.