News for hackers. Stuff that matters.

A comment on Summer of Programming Languages. Parent comment

Re:Summer of Programming Languages by seanmcdirmid on Monday July 07, 2014 @10:47AM (#7999121)
Type is pretty much used by most programmers to mean "type" as it is stated in the dictionary; so dynamic type checking is not a misnomer to them. Only type theorists are diligent about the colloquial definition, but they can only really use it like that when talking to other type theorists.
[ Parent | on HN ]
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 ]