http://dubroy.com/blog/why-i-miss-static-typing/ programming, usability, and interaction design Wed, 11 Aug 2010 20:40:29 -0700 http://wordpress.org/?v=2.8.4 hourly 1 http://dubroy.com/blog/why-i-miss-static-typing/comment-page-1/#comment-30824 Type inference, static checkers and IDEs « Aran at Grad School Wed, 29 Apr 2009 20:40:27 +0000 http://dubroy.com/blog/2006/12/01/why-i-miss-static-typing/#comment-30824 <p>[...] I’ve discussed this with Patrick Dubroy and Zak Kincaid, and we agree: A better way would be to have your IDE perform the analysis and make the information available live. I’m not sure how the information would be ideally presented (maybe as a tooltip, or as a specially marked insertion in the editing window) but it would be great to explore. [...]</p> [...] I’ve discussed this with Patrick Dubroy and Zak Kincaid, and we agree: A better way would be to have your IDE perform the analysis and make the information available live. I’m not sure how the information would be ideally presented (maybe as a tooltip, or as a specially marked insertion in the editing window) but it would be great to explore. [...]

]]> http://dubroy.com/blog/why-i-miss-static-typing/comment-page-1/#comment-8 Dubroy.com/blog » On static and dynamic typing, and corn tortillas Mon, 08 Jan 2007 05:02:06 +0000 http://dubroy.com/blog/2006/12/01/why-i-miss-static-typing/#comment-8 <p>[...] I looked at several different aspects of type systems, and analyzed them in terms of the Cognitive Dimensions of Notations framework. One of the issues I addressed was mentioned in the post Why I Miss Static Typing. [...]</p> [...] I looked at several different aspects of type systems, and analyzed them in terms of the Cognitive Dimensions of Notations framework. One of the issues I addressed was mentioned in the post Why I Miss Static Typing. [...]

]]>