diff --git a/language-creators.txt b/language-creators.txt index 74d04a8..9236fa7 100644 --- a/language-creators.txt +++ b/language-creators.txt @@ -278,7 +278,7 @@ JAMES: ...chasing down memory corruption bugs. [LAUGHTER] -LARRY: The three virtues of a program are laziness, impatience, and hubris. +LARRY: The three virtues of a programmer are laziness, impatience, and hubris. [CHEERS/LAUGHTER] @@ -292,7 +292,7 @@ ANDERS: But the thing about programming languages that I think a lot of people [1:15:00] -ANDERS: You know, like, how the types work, and what are all the supported promotions, and what are the different kinds of type constructors that the language has, etc., etc. These are the hard things to design, but not the things that people... People love to (byte shift) on the syntax. You know, "Should it be a colon or a comma?" you know? And it's, like, oh my God, let's have a long thread about that. [LAUGHTER] +ANDERS: You know, like, how the types work, and what are all the supported promotions, and what are the different kinds of type constructors that the language has, etc., etc. These are the hard things to design, but not the things that people... People love to bike shed on the syntax. You know, "Should it be a colon or a comma?" you know? And it's, like, oh my God, let's have a long thread about that. [LAUGHTER] CAROL: So talking about people having opinions, and syntax, and typing, these languages don't all take the same approach to typing. Maybe we'll start with Guido and talk about typing in Python, and then kind of work our way around. @@ -320,7 +320,7 @@ JAMES: ...things like performance and building robust software, and often that [1:20:00] -JAMES: ...useful for things like building and optimzing compilers, and doing ahead of time correctness-jumping, trying to be able to theorem-prove away as many things as possible. You know, so, like, you know, one of the not-well-known things about Java is that, you know, in the Java spec, you know, it's array subscript checking is always on. But, you know, it's only conceptually always on, right? The truth is that there are - there's more than (enough hooks) for the compiler to theorem-prove away almost all index checks. And same thing with, like, NULL pointer checks and all kinds of things that look like they're heavyweight, but they're really... +JAMES: ...useful for things like building and optimizing compilers, and doing ahead of time correctness-jumping, trying to be able to theorem-prove away as many things as possible. You know, so, like, you know, one of the not-well-known things about Java is that, you know, in the Java spec, you know, its array subscript checking is always on. But, you know, it's only conceptually always on, right? The truth is that there are - there's more than (enough hooks) for the compiler to theorem-prove away almost all index checks. And same thing with, like, NULL pointer checks and all kinds of things that look like they're heavyweight, but they're really... [1:21:00]