DownloadATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS.
ATS2 extends ATS with an advanced template system, allowing functional programming to be employed in a setting where only bare minimal run-time support is available. In addition, the template system makes ATS2 highly suitable for supporting numerical computation.
Categories
Programming LanguagesFollow ats2-lang
You Might Also Like
Twilio Segment’s Customer Data Platform (CDP) provides companies with the data foundation that they need to put their customers at the heart of every decision. Per IDC, it’s the #1 CDP in worldwide market share four years in a row (2019-2022). Using Twilio Segment, companies can collect, unify and route their customer data into any system where it’s needed to better understand their customers and create seamless, compelling experiences in real-time. Over 25,000 companies use Twilio Segment to make real-time decisions, accelerate growth and deliver world-class customer experiences.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of ats2-lang!