Programming Languages
4 posts tagged “Programming Languages”. All topics
-
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.
-
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.
-
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.
-
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.