|
|
|
|
|
|
by ecopoesis
1273 days ago
|
|
|
At what point are “rigorous specs” just another, higher-level programming language? We’ve already moved the needle on language “high-level”-ness without AI. The Kotlin and Java I write today is orders of magnitude more expressive than the C of the 70s. What about AI is going to change how programming languages climb the abstraction ladder? |
|
|