|
|
|
|
|
|
by pron
4033 days ago
|
|
|
> i don't think computer science is remotely close to being able to say, oh a type system only needs X power, beyond that we use this other tool. That's because that's not a problem for computer scientists to solve but for language designers. Programming language design is 5% theory and 100% psychology. The question of what's useful cannot be answered by math, but by psychology (well, it's determined by psychology, but could be answered with "clinical research"). |
|
|