Comments on: On programming language design http://math.andrej.com/2009/04/11/on-programming-language-design/ Mathematics for computers Mon, 30 Jan 2012 07:14:48 +0000 hourly 1 http://wordpress.org/?v=3.2-beta2-18055 By: Link Library - Saturday November 5 | Codebloat http://math.andrej.com/2009/04/11/on-programming-language-design/comment-page-2/#comment-17603 Link Library - Saturday November 5 | Codebloat Sat, 05 Nov 2011 17:06:28 +0000 http://math.andrej.com/?p=194#comment-17603 [...] Programmers are just humans: forgetful, lazy, and they make every mistake imaginable Read more from Web Click here to cancel reply. [...] [...] Programmers are just humans: forgetful, lazy, and they make every mistake imaginable Read more from Web Click here to cancel reply. [...]

]]> By: masklinn http://math.andrej.com/2009/04/11/on-programming-language-design/comment-page-2/#comment-13590 masklinn Sun, 25 Jul 2010 09:06:21 +0000 http://math.andrej.com/?p=194#comment-13590 <blockquote>Seth, but a Maybe Tree is not a tree, it’s a Maybe. How do you expect to call tree methods on it?</blockquote> Give them to the maybe, which will forward it or not and wrap the return itself in a <code>Maybe</code>? (essentially implementing method-level lifting natively in the language) Might want a different operator for lifted method calls in order to discriminate between calls on <code>Maybe</code> and lifted calls on whatever is within <code>Maybe</code>.

Seth, but a Maybe Tree is not a tree, it’s a Maybe. How do you expect to call tree methods on it?

Give them to the maybe, which will forward it or not and wrap the return itself in a Maybe? (essentially implementing method-level lifting natively in the language) Might want a different operator for lifted method calls in order to discriminate between calls on Maybe and lifted calls on whatever is within Maybe.

]]> By: John Bull http://math.andrej.com/2009/04/11/on-programming-language-design/comment-page-2/#comment-13497 John Bull Sat, 05 Jun 2010 06:43:58 +0000 http://math.andrej.com/?p=194#comment-13497 So funny...“Programmers are just humans: forgetful, lazy, and they make every mistake imaginable.” So funny…“Programmers are just humans: forgetful, lazy, and they make every mistake imaginable.”

]]> By: Radu Grigore http://math.andrej.com/2009/04/11/on-programming-language-design/comment-page-2/#comment-13274 Radu Grigore Mon, 22 Feb 2010 15:48:02 +0000 http://math.andrej.com/?p=194#comment-13274 Looking back at this, I guess I should say that my initial comment was about the only two points on which I disagree. (Not as strongly as my language suggests, though. Perhaps I was trying to be intentionally provocative to stimulate discussion?) That may give the impression that I disliked the post but, actually, I agree with pretty much all else, and I like it. Looking back at this, I guess I should say that my initial comment was about the only two points on which I disagree. (Not as strongly as my language suggests, though. Perhaps I was trying to be intentionally provocative to stimulate discussion?) That may give the impression that I disliked the post but, actually, I agree with pretty much all else, and I like it.

]]> By: Andrej Bauer http://math.andrej.com/2009/04/11/on-programming-language-design/comment-page-2/#comment-13256 Andrej Bauer Tue, 09 Feb 2010 14:30:15 +0000 http://math.andrej.com/?p=194#comment-13256 Seth, but a <code>Maybe Tree</code> is not a tree, it's a Maybe. How do you expect to call tree methods on it? And I disagree strongly. I believe object oriented languages can benefit greatly from sum types. Seth, but a Maybe Tree is not a tree, it’s a Maybe. How do you expect to call tree methods on it? And I disagree strongly. I believe object oriented languages can benefit greatly from sum types.

]]>