|
|
|
|
|
|
by PaulHoule
2076 days ago
|
|
|
Depends on your math background. If you want to program in Rust (for example) I think the mathematically oriented intro material won't help you so much. If you want to make something like Rust there is a lot of interesting literature at the graduate level and a fairly clear path that you write a PhD thesis and really do write a language but it is more like Cyclone or Alef, DIBOL or LISP 2 or something like that. If you are solid on algorithm theory, combinatorics and similar subjects than type theory could be a good addition. |
|
|