1. 12
    How do types affect productivity and correctness? A review practices programming danluu.com
    pushcx avatar via pushcx 3 years ago | cached | 2 comments

  1.  

  2. 2
    stig avatar stig 3 years ago | link

    Heh. @pushcx did you like this so much you thought you’d post it a second time? :-)

    https://lobste.rs/s/kxmzfu/the_empirical_evidence_that_types_affect_productivity_and_correctness

    1. 4
      pushcx avatar pushcx 3 years ago | link

      Whoops, apparently. I was at Lambda Jam this week and now I’m thinking a lot about types and correctness after a workshop on refinement types in LiquidHaskell.