Types are the basic tool of software design

Types are the basic tool of software design.
Static or dynamic, a program’s design is written in its types.

Read in full here:

This thread was posted by one of our members via one of our news source trackers.