User loginNavigation 
Constant Values as TypesThis is probably one of those naive I should first finish the Pierce book kind of questions, but here goes anyway: Are there languages where a constant value, such as 42, can act is its own type? So putting this in realworld terms, in the Cat language I can write the following function with a type annotation: define the_answer : ()>(int) { 42 } However, it seems that I am being too general by saying it returns an int in the type annotation because it always returns 42 (edit: which we could say is a subtype of int). So ... shouldn't the type annotation be: define the_answer : ()>(42) { 42 } So the more general question is: what is good / bad about this? By cdiggins at 20060902 23:59  LtU Forum  previous forum topic  next forum topic  other blogs  4653 reads

Browse archivesActive forum topics 
Recent comments
21 min 40 sec ago
1 hour 20 min ago
2 hours 47 min ago
2 hours 59 min ago
3 hours 52 min ago
5 hours 27 min ago
7 hours 2 min ago
7 hours 19 min ago
13 hours 39 min ago
15 hours 36 min ago