On Thu, Jan 8, 2015 at 2:56 PM, Keean Schupke <[email protected]> wrote: > Thinking more about this, it would be better to have some kind of enclosing > namespace that hides 'count' from outside interference. Something like: > > namespace mine { > int count > > export: > int report() { > return count; > } > > instance Ord int is > x < y = do > count <- count + 1 > primative_int_less(x, y) > } > > Something that isn't a class (which you have to initialise new instances > of), but is just hiding the definition of count. This would remove concerns > about count being global, and is a bit like an abstract-data-type in Ada.
Can this system be extended to handle asynchronous access from multiple threads, each wanting their own copy of count? Geoffrey _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
