User loginNavigation |
The Cat Language Kind SystemMy latest attempt to describe the Cat kind system with some kind of rigour is at http://www.cat-language.com/paper.html. Here is an excerpt from the kind system description: kind ::== | type the kind of all types | stack the kind of all stacks type ::== | a type variable | var variant | int integer | bool bool | string string | list list | ∀ ρ . (stack, ρ) -> (stack, ρ) function stack ::== | A stack variable | nil empty stack | type, stack stack with a single type on top | stack, stack stack with a stack on top | stack \ stack stack difference operation I'd be exceedingly greatful for any comments on the paper. By cdiggins at 2006-12-06 06:36 | LtU Forum | previous forum topic | next forum topic | other blogs | 7967 reads
|
Browse archives
Active forum topics |
Recent comments
27 weeks 1 day ago
27 weeks 2 days ago
27 weeks 2 days ago
49 weeks 3 days ago
1 year 1 week ago
1 year 3 weeks ago
1 year 3 weeks ago
1 year 5 weeks ago
1 year 10 weeks ago
1 year 10 weeks ago