Conversation

of my personal comp sci growth roadmap, there's few thnigs i like to horn. In no particular order:

① get experience in writing a compiler.
② understand what features make language slow.
③ understand the relation of various kind of strict type to its computability
④ understand what language features allow what degree of static analyis
⑤ a grip on proof systems, computability theory, math foundation