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  4076 reads

Browse archives
Active forum topics 
Recent comments
18 hours 39 min ago
21 hours 14 min ago
22 hours 46 min ago
23 hours 28 min ago
1 day 12 hours ago
1 day 14 hours ago
1 day 18 hours ago
1 day 20 hours ago
2 days 1 hour ago
2 days 10 hours ago