User loginNavigation 
Small Value Set TypesI want to use a kind of dependent type, which I am calling a small value set (SVS) for the time being. An SVS type is a finite set of values of a given type, and is a subtype of that type. One usage of the SVS type is for performing optimization passes (full and partial computations of constant expressions). Using the concatenative language Cat as an example, given the following function f: define f { 30 12 + } The inferred type is () > (42) Which means it consumes no values from the stack, and produces a single value of the simple dependent type 42. Given the function g: define g { [42] [13] if } The inferred type would be: (bool) > (4213) Which means that the function consumes a single boolean value from the stack and produces a value of the SVS type containing the values 42 and 13. In other words the union of the simple dependent types 42 and 13. Am I just renaming something else here? By cdiggins at 20060903 19:28  LtU Forum  previous forum topic  next forum topic  other blogs  5240 reads

Browse archives
Active forum topicsNew forum topics 
Recent comments
2 weeks 13 hours ago
2 weeks 1 day ago
2 weeks 1 day ago
2 weeks 3 days ago
2 weeks 3 days ago
2 weeks 3 days ago
2 weeks 3 days ago
2 weeks 4 days ago
2 weeks 4 days ago
3 weeks 5 days ago