84 karma · joined March 4, 2015
[1] https://web.archive.org/web/20050130011942/https://www.openb...
This problem is avoided at no cost in Go, where an external tool can be used to get the same concise view of all of the function types that you like, without needing to manually create and update header files.
Though I would certainly agree that paying for more vm cores just so you can do a linear search on each of them is a bit silly
It is possible to encode the semantics of exceptions such that a reasonable definition of soundness is still provable. See, for instance, Chapter 14 of Types and Programming Languages by Pierce.
Additionally I don't think anybody's cracked the code on how to make reliably well-received music yet. You can't distract the audience with good visuals and special effects if the plot is no good like in a movie.