This is more of a reflection on tsc, but also, Hello World is not a good example because it's not a real world prototype. For conclusions about rapid prototypi

This is more of a reflection on tsc, but also, Hello World is not a good example because it's not a real world prototype. For conclusions about rapid prototyping you'd need to do this experiment: - Prototype something real, not a tiny toy example like "Hello, world". - Go end to end with your experiment, so instead of focusing on how long it takes to run the typechecker (which makes no sense, since dynamic languages don't have this step), measure how long it takes you to iterate your prototype from start to a finish (including everything: failed attempts, code does not do what you want, writing tests, troubleshooting stuff, and the final working demo). Again, I must ask: where is the evidence that dynamic languages are faster for prototyping? This paper by Paul Hudak, "An Experiment in Software Prototyping Productivity" [1] has multiple flaws you could argue, but what's amazing is that Haskell beat all other languages in the list (none under discussion here, sadly -- that's one of the flaws) for fast prototyping! -- [1] https://www.cs.yale.edu/publications/techreports/tr1049.pdf https://www.cs.yale.edu/publications/techreports/tr1049.pdf