On Mon, Aug 1, 2011 at 3:24 PM, Simon Forman forman.si...@gmail.com wrote:
Another reason I would argue against something like types based on
Physics is that Physics tries to work out the inconceivable ways that
the Universe actually behaves by systematically throwing away all of our
I think that creating computer systems that support naive or unfounded
intuitions (whether about how computers work or about the world
outside the computer system) actually does a disservice.
I agree, but with a twist: computer systems should help us in founding
useful intuitions, with a