News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.