←back to thread

Type checking is a symptom, not a solution

(programmingsimplicity.substack.com)
67 points mpweiher | 1 comments | | HN request time: 0s | source
Show context
lambdaone ◴[] No.45142566[source]
What I find most amusing in this article is that its author states with great confidence that electronic systems designers don't use anything like rule checkers or typing, when the EDA industry is well-known for its extensive use of validation tools, and the design of large-scale complex modern electronic systems is almost impossible without it.
replies(2): >>45142867 #>>45145027 #
1. therealcamino ◴[] No.45145027[source]
Yeah, this made me laugh. The chip industry spends literally billions of dollars each year on simulation and formal verification tools.