Блог*: “#prog #haskell #article Type-level programming is still programming TL…”

Блог* @dereference_pointer_there · 1.98K subscribers

Post #11503 695 Sep 19, 2026, 17:28 UTC

#prog #haskell #article

Type-level programming is still programming

TL;DR: вычисление типов, в отличие от вычисления термов, не является ленивым, и изменения в логике вычисления типов, не меняющее поведение, могут поменять асимптотику времени компиляции с экспоненциальной на линейную.

mchav.github.io Type-level programming is still programming I was showing a friend the typed dataframe API. The whole pitch was: look, you derive a schema from your data, and then the compiler catches column name typos, type mismatches, all the stuff that would otherwise blow up at runtime. I had a nice demo ready…

❤ 7
👍 2
🔥 1
💩 1

Open in Telegram All posts from @dereference_pointer_there