ningcongchen

3 ms·

1. 1.▲
   Impossibility of Correctness Checking for Generic Numeric Programs(medium.com)

   1 points by ningcongchen 2y ago|0 comments
2. 2.▲
   by ningcongchen 2y ago

   Using Union as an example is more understandable than using abstract types. I can also explain why abstract types are broken, but that would involve a complex interaction of subtyping and abstract interpretation. In addition, I believe that
3. 3.▲
   A Tragedy of Julia's Type System(medium.com)

   8 points by ningcongchen 2y ago|3 comments