17 ms·

These are still hotly debated and one paradigm is hardly 'waning' compared to the other. I think when you say "non-compiled, non-statically-typed" you actually

These are still hotly debated and one paradigm is hardly 'waning' compared to the other. I think when you say "non-compiled, non-statically-typed" you actually mean "dynamically-dispatched." This page: http://madhadron.com/?p=191 http://madhadron.com/?p=191 popped up on HN a while ago and talks about this, the author talks about how dynamic dispatch lets you create and mold the language as you see fit -- "language as medium." It's not a better/worse comparison as much as it is a design decision: non dynamically-dispatched languages (C, Go) don't have their semantics modified at runtime and behave in a more "predictable" manner (and are easier to analyze and prove, which compilers take advantage of for speed). On the other hand, dynamically-dispatched languages (Smalltalk, Ruby and Lisp) let you modify the semantics of the program as it's running (see Ruby's method_missing and define_method for an example). This gives you tremendous power to craft really amazing things (Rails magic), but it also creates tremendous complexity and makes things less predictable. A side-effect of this is that a JIT is needed for programmatic analysis/optimization. I tend to consider dynamic dispatch the transfinite numbers of computing -- staying within the realm of regular integers "frees your mind" from mind-blowing concepts; you're limited in what you can make but you have more brainpower focused on making that "perfect." On the other hand, full dynamic dispatch opens up so many possibilities that sometimes you worry too much about making "the perfect abstraction" than actually writing code. You may be inexperienced in working in such complexity and (like Cantor) slowly go insane :). One may look down upon the other but I tend to think they're just two different ways to solve the problem.

Dn_Ab 15y ago
I'm not sure I understand your use of the term dynamic dispatch. Single dispatch is pretty run of the mill, basically everyone does it if they do OOP. Multiple dispatch used to be a lot less common but these days most interesting languages can attain equivalent functionality e.g. even C# can now achieve some semblance of multiple dispatch using 'dynamic'. The really interesting mode of dispatch is predicate dispatch since it generalizes pattern matching and all forms of dynamic dispatch. I haven't seen it done fully or with wide use yet. Clojure, Lisp, Haskell (views) and F# (active patterns) all have close approximtions of it. But I don't think that is what you meant. Best I can figure from what you mean based on naming smalltalk, ruby , lisp is that you mean powerful reflection and metaprogramming abilities in the language. ----------------------------- You know, the fact that you mention dynamic dispatch and Transfinite numbers in the same post makes you a really cool person in my book but its not fair on Cantor to perpetuate the myth that he went crazy trying to grapple with infinity. He struggled with depression through out his life. Note also that you don't even have to invoke the transfinite numbers to get some craziness. I am sure you know that the reals are pretty weird themselves - really more an indictment on nonconstructive mathematics. ...Pick a real at random, and the probability is zero that it's accessible - the probability is zero that it will ever be accessible to us as an individual mathematical object... http://www-history.mcs.st-and.ac.uk/HistTopics/Real_numbers_3.html http://www-history.mcs.st-and.ac.uk/HistTopics/Real_numbers_... ----------------------------- p.s. if you like transfinite numbers then you may be interested in reading about jaina mathematics who had a notion of sets and mathematics on infinite numbers nearly 1000 years before Cantor.

Dn_Ab 15y ago

I'm not sure I understand your use of the term dynamic dispatch. Single dispatch is pretty run of the mill, basically everyone does it if they do OOP. Multiple dispatch used to be a lot less common but these days most interesting languages can attain equivalent functionality e.g. even C# can now achieve some semblance of multiple dispatch using 'dynamic'. The really interesting mode of dispatch is predicate dispatch since it generalizes pattern matching and all forms of dynamic dispatch. I haven't seen it done fully or with wide use yet. Clojure, Lisp, Haskell (views) and F# (active patterns) all have close approximtions of it. But I don't think that is what you meant. Best I can figure from what you mean based on naming smalltalk, ruby , lisp is that you mean powerful reflection and metaprogramming abilities in the language. ----------------------------- You know, the fact that you mention dynamic dispatch and Transfinite numbers in the same post makes you a really cool person in my book but its not fair on Cantor to perpetuate the myth that he went crazy trying to grapple with infinity. He struggled with depression through out his life. Note also that you don't even have to invoke the transfinite numbers to get some craziness. I am sure you know that the reals are pretty weird themselves - really more an indictment on nonconstructive mathematics. ...Pick a real at random, and the probability is zero that it's accessible - the probability is zero that it will ever be accessible to us as an individual mathematical object... http://www-history.mcs.st-and.ac.uk/HistTopics/Real_numbers_3.html http://www-history.mcs.st-and.ac.uk/HistTopics/Real_numbers_... ----------------------------- p.s. if you like transfinite numbers then you may be interested in reading about jaina mathematics who had a notion of sets and mathematics on infinite numbers nearly 1000 years before Cantor.