This article describes type-first development (TFD). A software development methodology that is quite common among functional programmers and uses types as a simple way of communicating ideas about program design.
Sign in to post comments.
Comments (0)
Sign in to post comments.