4 ms·
Compiling with Abstract Interpretation
- trealira 2y agoTo be honest, I can't understand most of this, but it makes me want to learn more math, as someone who's still an undergraduate in the US. Previously, I had only heard of terms like functors and free algebras in the context of programming in Haskell or Isabelle.