|
|
|
|
|
|
by codethief
1177 days ago
|
|
|
> But the concept is just a little bit over 30 years old. So don't expect it shows up in most mainstream languages before the end of the next 20 years, and don't expect it to come to the C languages ever. Any specific results/papers from (refinement) type theory you hope/expect to see implemented in the next 20 years? |
|
|