capicue

10 ms·

1. 1.▲
   by capicue 11y ago

   From a theoretical perspective, preventing infinite loops is in a very deep sense the most basic possible thing you can do with static types! The simply-typed lambda calculus, on which all other type systems are based, proves that programs
2. 2.▲
   by capicue 12y ago

   But it requires eval-ing a string literal instead of actually having g()("al") as an expression itself