Li-Fan Chen
says to
YSITD
應該用 Rust 或 未來的Idris (