The Curious Engineer

All blogs / Functional / PL theory

Blog of Christine @pithlessly

pithlessly.github.io/pithlessly.github.io

Functional / PL theoryZigCompilers

’21’22’23’24’25’26
Posts
14 from 15 Dec 2021 to 26 Dec 2025
Posting
now and then (2 in the last year)
Kind
personal blog
Feed
https://pithlessly.github.io/feed.xml

2025 6

  1. Dissecting Andreas Rossberg's 1ML: introduction
  2. Newtypes vs. abstract types, and the limitations of type inference
  3. Notes on combinatorial species (Méndez 2015)
  4. The comptime calculus
  5. Issues with instance Ord (STRef s a)
  6. Intensional Joy (a concatenative account of internal structure)

2024 1

  1. My solution to "Tree-edge Triage"

2023 1

  1. Against do notation

2022 4

  1. There is room for imperfect fault isolation
  2. Semantics and Psychology
  3. Artificial life: resources & links
  4. There are no odd-length no-ops in brainfuck

2021 2

  1. CallCC: a classic operator that defies intuition
  2. Allocgate is coming in Zig 0.9, and you will have to change your code