Comment Comment by pufuwozu Did you read the conclusion of TFA?> Analysis is the method for writing code that satisfies our constraints. Neither TDD nor types are the single answer to writing code that does what we want. parent pufuwozu 13 years ago
> Analysis is the method for writing code that satisfies our constraints. Neither TDD nor types are the single answer to writing code that does what we want.