On 18.10.2005, at 03:51, Russ Abbott wrote:
In my mind, the most troublesome is the fact that a construct of the
language (choice) doesn't work (isn't defined) except within a call to
a library function.
choice is not part of the kernel language, but is part of the extension
which introduces computation spaces and search.
Nevetheless, as a developer I agree: debugging a program which does
search can be hard in Oz. When it doesn't work out, I have no debugger
etc, so I am often forced to rewrite my program until I better
understand what I am doing and that way find the problem :-P
Best,
Torsten
On 18.10.2005, at 03:51, Russ Abbott wrote:
And there are other ways to get around the problem. But that isn't
the point. Also, doing that would make Ozcar completely useless since
it doesn't work inside searches.
The point is that there are things about Mozart-Oz that make it more
difficult to use than need be. In my mind, the most troublesome is
the fact that a construct of the language (choice) doesn't work (isn't
defined) except within a call to a library function. Are there any
other languages with that property? And even if that were the case,
the system should at least tell you when it comes upon that situation
instead of doing nothing. As it is, it's quite developer-unfriendly.
-- Russ
On 10/17/05, Torsten Anders <[EMAIL PROTECTED]> wrote:
On 16.10.2005, at 02:37, Russ Abbott wrote:
> One way to make it work is to launch an implicit SearchAll and raise
> an exception if you get more than one answer.
If you feel so inclined, you could always surround your code by a call
to a search -- you could probaby even extend emacs with some shortcut
that it does that implicitly ;-)
Best,
Torsten
--
Torsten Anders
Sonic Arts Research Centre
Queen's University Belfast (UK)
www.torsten-anders.de
--
Torsten Anders
Sonic Arts Research Centre
Queen's University Belfast (UK)
www.torsten-anders.de
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
