News for hackers. Stuff that matters.

A comment on Evolutionary couplings between files reveal poor software design choices. Parent comment

Re:Evolutionary couplings between files reveal poor software... by DenisM on Monday December 15, 2014 @05:23PM (#8754839)
What type system do you have in mind? Haskell?
[ Parent | on HN ]
Re:Evolutionary couplings between files reveal poor software... by chongli on Monday December 15, 2014 @07:29PM (#8755319)
Haskell is a start but I was thinking of a system with dependent types such as Coq, Agda or Idris.
[ Parent | on HN ]