[ prog / sol / mona ]

prog


Inalienable Core of "Practical" Programming Languages

7 2021-11-03 07:20

What do you mean by "inalienable core"?

For me, the programming language is always replaceable. I'm more concerned about other matters of software development:
• how precisely can I define the user requirements
• is my core algorithm correct, is it possible to formally prove the core algorithm
• how readable is my code: can I comprehend my own code after six months of not seeing it

23


VIP:

do not edit these