search

MatrixAI / Architect

Programming Language for Type Safe Composition of Distributed Infrastructure
Apache License 2.0
1 stars 0 forks source link

Protocol Spec Demo #2

Closed CMCDragonkai closed 6 years ago

CMCDragonkai commented 6 years ago

We need some example Haskell data types expression protocol specs.

Focus on REST API and Session Types.

Consider things like RAML.

CMCDragonkai commented 6 years ago

@kneedler

CMCDragonkai commented 6 years ago

Let's quantify our genericity. Gradual typing and the void type, or tagged types.