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 | 7915 reads
|
Browse archives
Active forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 4 days ago
51 weeks 4 days ago