🚀 go-pugleaf

DecatonE:
> Czy ktoś używa?

Ja niestety nie.

> Właśnie uczę się języka OZ w celach rozrywkowo-badawczych
> i chętnie wymieniłbym się poglądami czy też doświadczeniami.

Niestety nie mam czasu się za to wziąć, ale jakbyś opisał na grupę swoje
doświadczenia, plus jakieś ciekawsze elementy kodu -- to ja bardzo
chętnie.

andrzej
-- 
wasowski.org

Andrzej Wasowski...

> Niestety nie mam czasu się za to wziąć, ale jakbyś opisał na grupę
> swoje doświadczenia, plus jakieś ciekawsze elementy kodu -- to ja
> bardzo chętnie.

Ok...

Na początek powstrzymuję się od szerszych opinii.

Język wydaje się być rozbudowany, pomysłowy i wydajny, zwłaszcza
jeżeli chodzi o programowanie wielowątkowe.

W praktyce wygląda to na połączenie "lispa" (paradygmat funkcjonalny)
z elementami obiektowymi + jakieś inne pomysły, których jeszcze
nie rozgryzłem (cells, junks (tu są mapy, słowniki etc.), port
(komunikacja) i inne)...

Ciekawsze fragmenty kodu z tutoriala:

declare Insert in
proc {Insert Key Value TreeIn ?TreeOut}
   case TreeIn
   of nil then TreeOut = tree(Key Value nil nil)
   [] tree(K1 V1 T1 T2) then 
      if Key == K1 then TreeOut = tree(Key Value T1 T2)
      elseif Key < K1 then T in 
        TreeOut = tree(K1 V1 T T2)
        {Insert Key Value T1 T}
      else T in 
        TreeOut = tree(K1 V1 T1 T)
        {Insert Key Value T2 T}
      end 
   end 
end
declare Tr1 Tr2 Tr3 in
{Insert 10 a nil Tr1}
{Insert 16 c {Insert 15 b Tr1} Tr2}
{Browse Tr2}

Figure 5.3: Tree insertion using case statement

Mała legenda (i dużo się wyjaśni):

"declare Insert in [...]" - wprowadzenie zasięgu dla zmiennej Insert
(do końca pliku chyba) - inna wersja "local Insert in [...] end".

Insert - nazwa procedury
Key, Value, TreeIn - parametry wejściowe
TreeOut - parametr wyjściowy

Wywołanie funkcji {Nazwafunkcji par1 par2 parWyj},
czasami opuszcza się parWyj, tu jest dowolność, ale
nie jestem pewien do końca czemu (podejrzewam, że żeby
umożliwić kilka par. wyjściowych).

case E of Pattern_1 then S1 
[] Pattern_2 then S2 
[] ... 
else S end

To wyżej to wiadomo.

TreeOut = tree(K1 V1 T T2)
Utworzenie krotki.

Funkcja {Browse param} wypisuje w oknie wartość parametrów.
Dla w/w przykładu wypisze:

tree(10 a nil tree(15 b nil tree(16 c nil nil)))

Czyli drzewko...


Inny przykład:

declare Map in
fun {Map Xs F}
   case Xs
   of nil then nil
   [] X|Xr then {F X}|{Map Xr F}
   end 
end 
{Browse {Map [1 2 3 4] fun {$ X} X*X end}}


Funkcja Map przyjmuje na wejściu dwa parametry:
Xs i F, pierwszy to lista (tu: [1 2 3 4])
po której sobie rekurencyjnie chodzi wywołując
dla każdego elementu funkcję F poprzez: {F X}.
Miłe, szybkie i przyjemne :)

Tu wynik [1 3 9 16]

Wątki tworzy się tak:
thread [...] end 
:)


Tyle z podstaw.

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

Ciąg dalszy ciekawostek:

First, remember that each thread is a data-flow thread that blocks on 
data dependency. Consider the following program: 

declare X0 X1 X2 X3 in 
thread 
   local Y0 Y1 Y2 Y3 in 
      {Browse [Y0 Y1 Y2 Y3]}  
      Y0 = X0+1
      Y1 = X1+Y0
      Y2 = X2+Y1
      Y3 = X3+Y2
      {Browse completed}
   end 
end 
{Browse [X0 X1 X2 X3]}

Wynik browsowania:
[X0 X1 X2 X3]    (z ostatniego wiersza)
[_ _ _ _]        (z wątku - brak completed)


Po dodaniu (może być na końcu):
X1 = 0
X2 = 1
X3 = 2
X4 = 3

wynik browsowania:
[0 1 2 3]  (z ostatniego browsa)
[1 2 4 7]
completed  (z wątku - wątek zakończony (zmienne określone))

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

DecatonE...

> Język wydaje się być rozbudowany, pomysłowy i wydajny, zwłaszcza
> jeżeli chodzi o programowanie wielowątkowe.

"Threads are so cheap that can afford to create say 100000 of them. As 
a comparison thread creation in Mozart 1.0 is about 60 time faster than 
in Java JDK 1.2. "

http://www.mozart-
oz.org/documentation/tutorial/node8.html#chapter.concurrency

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

DecatonE <news01@skasuj.mesa.eu.org> wrote:
> declare Map in
> fun {Map Xs F}
>   case Xs
>   of nil then nil
>   [] X|Xr then {F X}|{Map Xr F}
>   end 
> end 
> {Browse {Map [1 2 3 4] fun {$ X} X*X end}}
	... o to jak w Pythonie:
map(fun,list)
lub
[fun(x) for x in lista]
Z powazaniem
								Adam Przybyla

DecatonE...

> Właśnie uczę się języka OZ

Rewelacyjny dokument (prawie 1000 stron!)
nt. programowania w OZ i koncepcji, które
ten język wykorzystuje:

http://www.info.ucl.ac.be/people/PVR/booksingle.pdf

BTW: Jest też serwer newsowy news.mozart-oz.org
i kilka grup w tym mozart-oz.users (można też
zapisać się do listy mailowej).

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

DecatonE...

> http://www.info.ucl.ac.be/people/PVR/booksingle.pdf

Książka nazywa się "Concepts, Techniques, and Models
of Computer Programming".

Jest tam i o programowaniu rozproszonym i o współbieżnym
i o Javie i o Prologu i o tworzeniu GUI etc... oczywiście
głównie o OZ-ie :)
Niemniej - wygląda imponująco.

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

Dalsze ciekawostki:

Istnieje też Alice, język oparty na składni ML. W zasadzie wydaje się
mieć dokładnie te same cechy co OZ.

"Alice builds on our experience with developing the Mozart system. The 
current version of Alice is based on the Mozart virtual machine. Alice 
programs can therefore interoperate with Oz. "

Tutaj więcej:
http://www.ps.uni-sb.de/alice/

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: 

Laziness: combining strict and transparent lazy functional programming
 
Futures: "logic variables" and concurrency 

Higher-order modules: a more powerful module language 

Components: platform-independence and type-safe dynamic loading of 
modules 

Packages: integrating static with dynamic typing and first class 
modules 

Pickling: higher-order and platform-independent, type-safe persistence 

Constraints: solving combinatorical problems using constraints and 
programmable search 

The Alice system is a powerful, open-source programming system 
featuring the following tools: 

Interactive system: an interpreter-like interactive toplevel 
Batch compiler: separate compilation 
Static linker: type-safe bundling of components 
Inspector: a tool for interactively inspecting data structures 
Explorer: a tool for interactively investigating search problems 
Gtk+: a binding for the Gnome toolkit GUI library 

adam
-- 
rectifier[X]mesa.eu.org | e-mail (change [X] to @)
        www.mesa.eu.org | my b&w photographs
      www.mozart-oz.org | Mozart Programming System

> 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.

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).

andrzej

-- 
wasowski.org

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 ]

DecatonE <news01@skasuj.mesa.eu.org> writes:

[...]

> 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.

Wiesz co mnie najbardziej wkurza w interpreterach języków wysokiego
poziomu?  Że każda uczelnia/projekt/bógwieco musi mieć własny,
niezależny standard/język/środowisko kopiujący 90 procent
funkcjonalności istniejących narzędzi, posiadający 1000-stronicową,
nie wnoszącą nic tak naprawdę nowego instrukcję obsługi.

Piotr Dembiński...

> Wiesz co mnie najbardziej wkurza w interpreterach języków wysokiego
> poziomu?  Że każda uczelnia/projekt/bógwieco musi mieć własny,
> niezależny standard/język/środowisko kopiujący 90 procent
> funkcjonalności istniejących narzędzi, posiadający 1000-stronicową,
> nie wnoszącą nic tak naprawdę nowego instrukcję obsługi.

Mnie to też wkurza.
Ale w tym przypadku brałem tylko języki w miarę popularne, tj. obecne
na liście z FAQ grupy comp.lang.functional:
http://www.cs.nott.ac.uk/~gmh//faq.html 
Sprawdziłem też inne mniej znane z tej listy i wyglądały skromniej
i mniej atrakcyjnie niż ten. Dlatego uznaje, że może być wart 
wykorzytania.

A co do 1000 stronicowej instrukcji obsługi - to nie jest instrukcja 
obsługi języka, ale bardzo obszerny wykład na temat pewnych 
paradygmatów programowania, w znacznej mierze poparty przykładami
w języku OZ. Ale są też przykłady w Javie, Prologu i innych.
IMO - naprawdę warto do niego zajrzeć.

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

DecatonE <news01@skasuj.mesa.eu.org> writes:

[...]

> Sprawdziłem też inne mniej znane z tej listy i wyglądały skromniej 
> i mniej atrakcyjnie niż ten. Dlatego uznaje, że może być wart
> wykorzytania.

niom, mosz być

Dasz jakiś przykład działającej aplikacji napisanej w OZ?

Piotr Dembiński...

> Dasz jakiś przykład działającej aplikacji napisanej w OZ?

Jest taka baza z programami:

http://www.mozart-oz.org/mogul/ 

Nie jest tego na razie zbyt dużo.

Kategorie:

ap : Application Programming 
cp : Constraint Programming 
dp : Distributed Programming 
exe : Scripts and Executable Functors 
gui : GUI Modules 
gui/gtk : GTk GUI Modules 
gui/tk : Tk GUI Modules 
io : IO 
lib : General data structures and algorithms 
math : Mathematical & Numerical Modules 
net : Web, Network Protocols, etc... 
nlp : Natural Language Processing 
op : Open Programming 
os : Operating System 
program : Interfaces or wrappers for other programs 
sp : System Programming 
tool : Tools 
wp : Window Programming 
xml : XML 

Przykłady:

nlp:  An N-gram-based text categorizer/language recognizer
tool: A pure Mozart XML parser 
dp:   A fault-tolerant global store

Są też applety - demo:

http://www.mozart-oz.org/documentation/demo/index.html

Part I: Constraint Applications
1 Animated Queens
2 Job-Shop Scheduling
3 College Timetabling
4 Cutting Glass Plates

Part II: Multi Agent and Concurrent Applications
5 Flowers
6 Truck Race
7 Bounce
8 Lift
9 Transportation

Part III: Distributed Applications
10 Drawing Board
11 Chat Server and Client
12 Mozart Instant Messenger
13 A Client for the DICT Protocol

adam
-- 
rectifier[X]mesa.eu.org | e-mail (change [X] to @)
        www.mesa.eu.org | my b&w photographs
      www.mozart-oz.org | Mozart Programming System

DecatonE <news01@skasuj.mesa.eu.org> writes:

> Piotr Dembiński...
> 
> > Dasz jakiś przykład działającej aplikacji napisanej w OZ?
> 
> Jest taka baza z programami:
> 
> http://www.mozart-oz.org/mogul/ 

[...]

> nlp : Natural Language Processing 

wow!  mój konik ze sztucznej inteligencji (czyt. jedyne czego się
nauczyłem na egzam :>)

tenks, zassałem właśnie deba z mozartem, może kiedyś w to wniknę

Piotr Dembiński...

> tenks, zassałem właśnie deba z mozartem, może kiedyś w to wniknę

Jeżeli znasz choć trochę ML'a to bardziej polecam Alice,
niestety trochę mniej narzędzi i mniej dopracowane to wszystko
(dużo świeższy projekt).

Natomiast można wykorzystać moduły OZ'a w Alice i odwrotnie.
Maszyna wirtualna jest albo wspólna albo bardzo zbliżona (nie
jestem pewien). 

adam
-- 
rectifier[X]mesa.eu.org | e-mail (change [X] to @)
        www.mesa.eu.org | my b&w photographs
      www.mozart-oz.org | Mozart Programming System

Andrzej Wasowski...

> 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).

Bo bliższym przyjrzeniu składnia Alice, opartej na Standard ML'u
jest rzeczywiście ładniejsza.

"Data-flow dependency" polega w skrócie na tym, że wątek blokuje się,
gdy zmienna, której używa jest nieokreślona (unbound). W momencie, gdy
uzyskuje wartość, natychmiast rusza dalej.

adam
-- 
rectifier[X]mesa.eu.org | e-mail (change [X] to @)
        www.mesa.eu.org | my b&w photographs
      www.mozart-oz.org | Mozart Programming System

Piotr Dembiński...

>> nlp : Natural Language Processing 
> 
> wow!  mój konik ze sztucznej inteligencji (czyt. jedyne czego się
> nauczyłem na egzam :>)

Tu masz szereg zastosowań właśnie w NLP przy użyciu Mozarta,
właśnie znalazłem:

http://www.ling.gu.se/~lager/Oz/nlp.html 

adam
-- 
rectifier[X]mesa.eu.org | e-mail (change [X] into @)
        www.mesa.eu.org | my b&w photographs
      www.mozart-oz.org | Mozart Programming System

> interesuje mnie przede wszystkim
> dostosowanie Emacsa do przenoszenia wyrazów zgodnie z polskimi
> zaleceniami zecerskimi.  

A po co to emacsowi? (tak z czystej ciekawosci)

andrzej

-- 
wasowski.org

DecatonE <news01@skasuj.mesa.eu.org> writes:

[...]

> Tu masz szereg zastosowań właśnie w NLP przy użyciu Mozarta,
> właśnie znalazłem:

Może być ciekawe.  Wiesz, na razie to interesuje mnie przede wszystkim
dostosowanie Emacsa do przenoszenia wyrazów zgodnie z polskimi
zaleceniami zecerskimi.  Takie coś to może sobie na później zostawię.

Andrzej Wasowski <wasowski@see.my.sig> writes:

> > interesuje mnie przede wszystkim dostosowanie Emacsa do
> > przenoszenia wyrazów zgodnie z polskimi zaleceniami zecerskimi.
> 
> A po co to emacsowi? (tak z czystej ciekawosci)

w text mode, albo do poczty elektronicznej/newsów

Chodzi mi o to, żeby emacs na przykład nie zostawiał pojedynczych
literek na końcu linii jak naciskam Meta-q.  Word tego nie ma AFAIK :>

Poza tym przydałoby się automatyczne zamienianie spacji na tyldę 
w wyrażeniach przyimkowych w AucTeX.

pdembinski@yahoo.com (Piotr Dembiński) writes:
> Może być ciekawe.  Wiesz, na razie to interesuje mnie przede wszystkim
> dostosowanie Emacsa do przenoszenia wyrazów zgodnie z polskimi
> zaleceniami zecerskimi.

O!  Mam nadzieję, że pochwalisz się jak tylko uda Ci się coś takiego
napisać :)

-mk, pojawiający się offtopicznie tylko na chwilę z powodu
     uzależnienia od M-q

-- 
Marcin Kaszyński, marcink at marcink dot org

Marcin Kaszynski <marcink-news@marcink.org> writes:

> pdembinski@yahoo.com (Piotr Dembiński) writes:

> > Może być ciekawe.  Wiesz, na razie to interesuje mnie przede
> > wszystkim dostosowanie Emacsa do przenoszenia wyrazów zgodnie
> > z polskimi zaleceniami zecerskimi.
> 
> O!  Mam nadzieję, że pochwalisz się jak tylko uda Ci się coś takiego
> napisać :)

Jasne, muszę jeszcze tylko obczaić mule :)