Branded Types in TypeScript: From Structural to Nominal Typing
How to achieve nominal typing in TypeScript with branded types, preventing subtle runtime bugs by making types explicitly incompatible even when their structures match.
Read more →#Programming Languages
4 posts tagged “Programming Languages”. All tags
Operational Semantics: Adding Variables, Functions and Conditionals
Extend a simple arithmetic language with variables, functions, and conditionals. Learn about environments, closures, and lexical scoping in operational semantics.
Read more →Operational Semantics: A Formal Approach to Arithmetic Expressions
An introduction to operational semantics for programming languages. Learn small-step and big-step semantics through a simple arithmetic expression language.
Read more →A Beginner's Guide to Functional Programming with OCaml
Learn functional programming through OCaml, from lambda calculus foundations to practical programs. Covers immutability, pattern matching, recursion, and higher-order functions.
Read more →