Li-Fan Chen says to YSITD AutoIt C C# Coq F# Haskell Idris (還在學) Java JS Lua Python Prolog R Rust (都是不太會 之前在學) VB.NET