C programming 教了数据结构和算法,memory management, system calls 等等
Rust programming 教了 如何做 system programming
Lean programming 教了 做 math prover
Julia programming 教了 data science, imaging processing, transformations, numeric methods
ml programming 教了 function programming, lamda calculus 等等