2 ms·
People did not like that example choice. The type checking beam does can coincide with the checking the source language does but that's not fundamental. Say yo
by JonChesterfield 3y ago
People did not like that example choice.
The type checking beam does can coincide with the checking the source language does but that's not fundamental. Say you compile SML to beam. Would you conclude that the compiler isn't able or allowed to do anything with the types in the source language?
- lolinder 3y agoI'm not sure where you're going with that. I'm not saying that a compilation has to be 1-to-1, I'm saying that Erlang's VM will always spend cycles type checking at runtime regardless of how thorough your compiler is. And I believe that's all José is saying in the article you're quoting from.
- JonChesterfield 3y agoThe code the VM spends time checking is different if the source language compiler emits different code, such as if it uses type information instead of discarding it, and different code has different runtime performance.