News for hackers. Stuff that matters.
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.
Re:Summer of Programming Languages by frowaway001 on Friday July 11, 2014 @10:43AM (#8020343)
Agree.