Le système Caml Special Light: modules et compilation efficace en Caml
作者： Xavier Leroy
DOI:
关键词:
摘要: Ce rapport presente une vue d'ensemble du systeme Caml Special Light, implementation experimentale langage offrant deux extensions majeures: premierement, un calcul de modules (incluant les foncteurs et vues multiples d'un meme module) dans le style celui Standard ML, mais s'appuyant sur avancees recentes la theorie typage des preservant compatibilite avec compilation separee; deuxiemement, double compilateur, produisant a fois code natif efficace, pour applications gourmandes en temps calcul, abstrait interprete, rapidite confort mise au point.
参考文章(0)