Skip to content

Instantly share code, notes, and snippets.

@btbytes

btbytes/ats-hitchhiker.md

Last active August 29, 2015 14:01
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save btbytes/7df9bf813e5d8757c3bf to your computer and use it in GitHub Desktop.
Save btbytes/7df9bf813e5d8757c3bf to your computer and use it in GitHub Desktop.
Download ZIP
The Hitchhiker's guide to ATS
Raw
ats-hitchhiker.md

The Hitchhiker's guide to ATS

moved to https://github.com/btbytes/ats-guide/blob/master/ats-guide.md

Inspired by:

Why ATS?

  • Specification -> Implementation
  • Correctness
  • Fast (as fast as C)
  • Functional Programming
  • Dependent Types
  • Interoperability with C

What is ATS?

  • Compiler
  • Libraries
  • Editor support
  • code examples
  • papers
  • applications

How to: ATS

  • installing
  • configuring (environment etc.,)
  • Hello world
  • Shipping a program written in ATS
  • Using ATS libraries
  • Using third party libraries
  • Finding third party libraries
  • Shipping an application written in ATS
  • Shipping a library written in ATS
  • Package management?
  • Calling C from ATS
  • Calling ATS from C
  • Testing
  • Benchmarking
  • Boilerplate - program/lib/application

Where to (use) ATS

  • Opportunities (library, applications)
  • "Killer app" (eg: PrinceXML and Mercury)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment