Comments by "Michael Stover" (@michaelrstover) on "Prag Dave Talks Agile, Waterfall, TDD u0026 MORE (Dave Thomas) | The Engineering Room Ep. 18" video.

Regarding the dynamic scope and function decorator stuff: if I write a function that expects to be able to call left, right, up, down on the turtle hander, but it's not an interface passed to the function - it's instead invisibly part of the scope my function expects, haven't we made something a bit difficult to use? Or are we talking about compiler/language changes to verify that any caller of the function must provide the handler or be called by something that guarantees it has provided that handler? Does such a language/compiler exist? Also, why is that better than having all these functions that require the handler having the handler in their list of parameters? Other than the fact that we find long parameter lists un-aesthetic? it seems to me, if our function requires something, then it has to declare it so the compiler can enforce it. Whether it's a parameter or an annotation or some other syntactic add on, who cares?
2