OCaml是一种通用的工业级编程语言，强调表达性和安全性，它支持函数式、命令式和面向对象的风格。
Gcc用于termux与fortran scipy等...使用apt获得最新的更新，说明见README.txt