User loginNavigation 
Denotational semantics with other notions of convergenceIn a typical domaintheoretic denotational semantics, a primitive value converges when it is non__, and functions converge in the limit, pointwise. Are there similar denotational semantics out there in which convergence is defined differently? I've found myself thinking "Why just non__ for values?" I can answer the question, partially: it makes semantic approximation order easy to define, and monotonicity with respect to the order is easy to ensure (anything finitely computable, I think). To do it otherwise would require every value to belong to a metric space with a metric that convergence happens with respect to, a way to specify what a function returns at any finite approximation level, and monotonicity would be hard to ensure. Monotonicity might be too restrictive to be useful anyway... But it might be cool. In languages defined with non__ convergence, you can't, say, define a value that depends on all the values of an infinite list, even when it's welldefined. Infinite sum, for example. You can make a list of prefix sums and carry out the limit yourself, but I'd like the language to do it for me. If it doesn't converge, that's like writing an infinite loop: my fault. By Neil Toronto at 20100701 21:36  LtU Forum  previous forum topic  next forum topic  other blogs  4485 reads

Browse archivesActive forum topics 
Recent comments
6 weeks 4 days ago
6 weeks 6 days ago
7 weeks 13 hours ago
14 weeks 11 hours ago
19 weeks 5 days ago
19 weeks 6 days ago
20 weeks 5 days ago
23 weeks 3 days ago
24 weeks 6 days ago
25 weeks 2 hours ago