The Curious Engineer

All blogs / Functional / PL theory

hirrolot

hirrolot.github.io

My blog about programming and computer science.

Functional / PL theoryCompilersCOCaml / F#

’18’19’20’21’22’23’24’25’26
Posts
26 from 28 Nov 2018 to 26 Oct 2026
Posting
now and then (5 in the last year)
Kind
personal blog
Feed
https://hirrolot.github.io/rss.xml

2026 4

  1. "Confessiones" на Русском Языке, Книга Пятая
  2. "Confessiones" на Русском Языке, Книга Четвёртая
  3. "Confessiones" на Русском Языке, Книга Третья
  4. "Confessiones" на Русском Языке, Книга Вторая

2025 1

  1. "Confessiones" на Русском Языке, Книга Первая

2024 2

  1. Solving SAT via Positive Supercompilation
  2. Fueled Evaluation for Decidable Type Checking

2023 4

  1. Compiler Development: Rust or OCaml?
  2. How to Keep Lambda Calculus Simple
  3. Higher-Order Polymorphic Lambda Calculus (Fω)
  4. How to Implement Dependent Types in 80 Lines of Code

2022 4

  1. Barebones Lambda Cube in OCaml
  2. Rust Is Hard, Or: The Misery of Mainstream Programming
  3. Pretty-Printable Enumerations in Pure C
  4. Why Static Languages Suffer From Complexity

2021 7

  1. What's the Point of the C Preprocessor, Actually?
  2. Macros on Steroids, Or: How Can Pure C Benefit From Metaprogramming
  3. Extend Your Language, Don't Alter It
  4. Compiling Algebraic Data Types in Pure C99
  5. Expression-Oriented Programming in C: The FMT Macro
  6. Compile-Time Introspection of Sum Types in Pure C99
  7. Unleashing Sum Types in Pure C99

2020 1

  1. Асинхронщина в Rust: Стандартная библиотека и async/.await

2018 3

  1. Полное руководство по CMake. Часть третья: Тестирование и пакетирование
  2. Полное руководство по CMake. Часть вторая: Система сборки
  3. Полное руководство по CMake. Часть первая: Синтаксис