Anything written by John Hughes is worth a read. He also also wrote quickcheck. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		peterpost2 50 days ago \| parent \| context \| favorite \| on: Mysteries of Dropbox: Testing of a Distributed Syn... Anything written by John Hughes is worth a read. He also also wrote quickcheck.

nextos 50 days ago [–]

Seconded. All the Haskell people from Chalmers have produced very interesting work. Another example is Agda.

peterpost2 41 days ago | [–]

I had not heard of Agda before, I'll have to check that out. Thanks!

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact