News for hackers. Stuff that matters.

A comment on Clojure at Netflix (2013) [slides]. Parent comment

Re:Clojure at Netflix (2013) [slides] by Jach on Wednesday October 31, 2018 @02:31PM (#18348150)
You would probably enjoy this talk by Guy Steele where he discusses the language of mathematics that computer science people use in their papers (Computer Science Metanotation) to talk about other languages. Funnily it's untyped and lacking a rigorous specification... https://www.youtube.com/watch?v=dCuZkaaou0Q
[ Parent | on HN ]
Re:Clojure at Netflix (2013) [slides] by jwhitlark on Wednesday October 31, 2018 @06:42PM (#18349822)
There's a reason why we teach math in kindergarten and proofs in college. There's lots of things that are useful to do without the rigors of rigorous proof.
[ Parent | on HN ]