欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Rcpp架起R与C++桥梁。
Rcpp的终极目标,是通过C++面向对象与模板编程的机制,把几乎所有R API与数据对象都封装成类以及类的方法。