Re:Code is Engineering; Types are Science
by platz on Monday April 06, 2020 @11:45AM
(#22794707)
The point of the article, for those who read it, is to characterize different activities of development in a static language as deductive, abductive, or inductive and to discuss examples and relationships between these activities.
it's not to contrast static languages with dynamic languages.
it's not to contrast static languages with dynamic languages.