Talk:Stateful
From APIDesign
(Difference between revisions)
(Comment provided by paulo - via ArticleComments extension) |
|||
| Line 11: | Line 11: | ||
--paulo 23:07, 2 May 2010 (CEST) | --paulo 23:07, 2 May 2010 (CEST) | ||
| + | |||
| + | Interesting. Do you have any recommended reading? I've just googled out [http://www.ccs.neu.edu/home/tov/pubs/haskell-session-types/haskell-session/java/SessionTypes.java SessionTypes.java] only. | ||
| + | |||
| + | --[[User:JaroslavTulach|JaroslavTulach]] 07:32, 3 May 2010 (UTC) | ||
| + | |||
</div> | </div> | ||
Revision as of 07:32, 3 May 2010
Comments on Stateful <comments />
Follow
A guy i know in a university is doing some work with Session types for compilers.
These types specify a access protocol (sequence) and allow a compiler to statically verify if a api is being used correctly (wrt order of methods)
--paulo 23:07, 2 May 2010 (CEST)
Interesting. Do you have any recommended reading? I've just googled out SessionTypes.java only.
--JaroslavTulach 07:32, 3 May 2010 (UTC)