Off the cuff comment, just before I go to watch the video: Here's something that Smalltalkers didn't like to talk about during the height of the Java vs. Smalltalk flamewars of the late 90's/early 2000's -- To be a good production Smalltalk programmer, you had to be very mindful of "types." (Reason for quotes!)<p>Exactly what do I mean by this? The good Smalltalkers would code in a such a way, that people could rapidly and completely figure out what "type" was in every variable, and reliably keep track of all implicit "Interfaces."<p>So of what value was Smalltalk, if you had to do all that manual work? The fact that what would be "types" in other languages were handled as conventions. This made exploratory coding very rapid.<p>This is also why I appreciate Go's pragmatic language design around this issue: The compiler keeps track of these things for you, but doesn't require nearly as much bookkeeping from the programmer to have that happen.<p>Now to see what Mr. Bracha has to say.<p>(Note: Conventional Smalltalk is actually strongly typed. It's just that everything is typed "Object" and exceptions are more or less just normal program execution with one VM built-in to get it started. This is why what other languages would consider "types" are really just conventions.)
This is a boring, uninteresting debate on an interesting topic.<p>I'm sure HN has much more to say in much less time about it.<p>Types help document code such that I'd prefer an optional typed languages wherein libraries and large code bases are expected to be typed but the glue on top doesn't need to be.<p>Javascript in particular is not very self documenting but I find typescript much easier to read. It's a real shame it's not often adopted if only to provide IDE hints.