News for hackers. Stuff that matters.

A comment on Summer of Programming Languages. Parent comment

Re:Summer of Programming Languages by frowaway001 on Tuesday July 08, 2014 @05:12AM (#8003629)
Well, if the other person doesn't at least understand that much, speaking to them is probably a waste of time anyway.
[ Parent | on HN ]
Re:Summer of Programming Languages by seanmcdirmid on Tuesday July 08, 2014 @06:21AM (#8003782)
Yes, perhaps type theorists are best talking to other type theorists and not people who actually program.
[ Parent | on HN ]
Re:Summer of Programming Languages by frowaway001 on Friday July 11, 2014 @10:43AM (#8020343)
Agree.
[ Parent | on HN ]