A high level declarative language for ML

Summary
A programming model to express different use-cases in our high-level language, and an easy to use declarative language for using ML algorithms on massive dataset.