[Solved]: Type-system combining type-states and typed effects?

Problem Detail: 

Has anyone succeeded in implementing or designing a type-system that combines both type-state (linear types) and effect types (e.g. Koka)?

Asked By : Olle Härstedt

Answered By : Matija Pretnar

Edwin Brady has done some work in that area using dependent types in IDRIS. Take a look at his work, in particular Programming and Reasoning with Algebraic Effects and Dependent Types and Resource-dependent Algebraic Effects.

Best Answer from StackOverflow

Question Source : http://cs.stackexchange.com/questions/59711

 Ask a Question

 Download Related Notes/Documents