🚀 go-pugleaf

Andrzej Wasowski...

>> Alice is a functional programming language based on Standard ML, 
>> extended with support for concurrent, distributed, and constraint
>> programming. Alice extends Standard ML with several new features:
> 
> No to wszystko bardzo ciekawe taki super-standard ML. Jak to jest
> bliskie MLa? Czy kompatybilne wstecz? Wiele z rzeczy, ktore
> wymieniles sa obecne w roznych mutacjach, ale chyba nie ma takiej,
> ktora ma to wszystko. Dziwne, ze o tym jeszcze nie slyszalem.

Tu jest FAQ (nie ma linka z głównej strony!)
http://www.ps.uni-sb.de/alice/wiki/AliceFaq

(z góry przepraszam, że nie tłumaczę, ale myślę, że język angielski
w czytaniu dokumentacji jest równie naturalny, jeżeli nie bardziej)

Punkt 3.
How compatible is Alice with SML? 

Quite. See http://www.ps.uni-sb.de/alice/manual/incompatibilities.html 
for the list of deviations from the standard. Most SML code not using 
signature include or non-trivial sharing constraints should work out-
of-the-box. 

The main obstacle, though, is the way separate compilation works, which 
tends to be different on every SML system (because it is not defined by 
the standard). In Alice you need to put import announcements into your 
code. We are currently looking for nice ways to make this approach less 
incompatible with other systems. 
 
> A jezyk OZ? No coz... na razie mnie nie zachwycil. Nie zrozumialem
> tego z data-dependencies, ale moze czytalem zbyt pospiesznie.
> Reszta wyglada na niezle "zbrzydzony" jezyk funkcjonalny (czyt. ML
> i Haskell maja ladniejsza skladnie).

Składnia to trochę kwestia przyzwyczajenia. Parę rzeczy mi się także
nie podoba, a parę innych podoba bardziej niż w SML'u (może dlatego,
że nie znałem, czyli nie przyzwyczaiłem się do SML'a).

Zapytałem na grupie alice.users o porównanie OZ'a i Alice w sensie
przyszłości oraz zastosowań. Nie byłem pewien czy Alice jest po prostu 
lepszą wersją OZ'a ze składnią opratą na SML'u. Otrzymałem taką 
odpowiedź:

"> Will OZ be abandoned some day?

No. (Well, all languages will be abandoned some day...)

Oz has an active user community and is used in a lot of (academic as 
well as commercial) projects. Alice has some way to go to reach a 
comparable level of maturity, and there will always be applications 
where it cannot replace Oz. Consequently, there are certainly no plans 
in the Mozart Consortium to drop Oz at any forseeable point in time."

> I don't know well neither Alice nor Oz. I want learn and use
> one of them. Which will be better (and better supported in future):
> Alice or OZ?

Both will be well-supported for a long time to come.

As for which one is "better", that certainly depends on the application 
domain as well as on personal preference. For example, if you do 
hard-core logic programming, require deep guards for your CP problems, 
or rely on powerful distribution facilities, then Oz is for you. If you 
are doing "mostly functional" concurrent programming with constraints, 
or regard the merits of strong typing, or are interested in a language 
that is "leaner and cleaner", then Alice seems preferable.

But you know that you can always mix the two and decide on a 
per-component basis, although I wouldn't recommend that in general.
;-)"
           Andreas Rossberg

Grupy dotyczące Alice i Mozart-OZ są dostępne na serwerze
news.mozart-oz.org (ogólnie anonimowo dostępny).
Są chyba moderowane (nie jestem pewien), ale bardzo szybko moje
posty przeszły (kilka-kilkanaście minut) - dlatego zapewne, że
to projekt europejski (Niemcy-Szwecja-Belgia). Na grupach tych
udzielają odpowiedzi także twórcy Alice oraz OZ.

adam
-- 
[ rectifier[X]mesa.eu.org : mail ]
[  http://www.mesa.eu.org : home ]