3 ms·
Starting with bytecode seems harder because you no longer know what the expression terms are. So they are harder (impossible?) to typecheck.
by throwaway81523 4y ago
Starting with bytecode seems harder because you no longer know what the expression terms are. So they are harder (impossible?) to typecheck.
- throwawaymaths 4y agoYou type the registers as data flows through them. It's easier, trust me. Both Erlang and especially elixir puts a whole lot of sugar on top of the low level instructions which can make reasoning about data structures harder. And as a bonus it works with all beam languages.
- throwaway81523 4y agoHmm ok, I'll take your word for it. There is another issue too though, which is that the BEAM itself is being replaced with a native-code VM. I don't know if the compiler for that starts with bytecode.
- throwawaymaths 4y agoI think you're confused. Not architecture (x86, arm) bytecode, BEAM bytecode. Erlang compiles down to An intermediate bytecode like java does.