Parametricity, or Comptime is Bonkers (via soareschen) — discussion

#haskell #plt #rust #zig