mosml:Moscow ML是Standard ML(SML)的轻量级实现,Standard ML(SML)是一种广泛用于教学和研究的严格功能语言