🚀 go-pugleaf

Dnia Thu, 13 Dec 2007 22:31:04 +0100, Maciej Piechotka skrobie:
> On Wed, 12 Dec 2007 22:17:27 +0000, Sektor van Skijlen wrote:

> >> >>a jak nie masz kluczy to zbiór (set).
> >> > 
> >> > Zbiór akurat składa się z samych kluczy i jest uogólnieniem słownika
> >> > (mapy).
> > 
> >> Raczej odwrotnie. Mapa uogólnia set.
> > 
> > Szczerze mówiąc, trudno mi jest jednoznacznie stwierdzić, co jest
> > uogólnieniem czego. Po prostu set to taka mapa, która nie posiada
> > obiektu wartości przypisanego do tego klucza.

> 1. Zbiór to mapa, ktora nie ma warości przypisanej do klucza => zbiór jest 
> szczególnym przypadkiem mapy => mapa jest uogólnieniem zbioru

Z drugiej strony, mapa jest rozszerzeniem zbioru... :)

Ale ok - tu się zgodzę. Zakładając, że wartość jest typem pustym, zbiór jest
szczególnym przypadkiem mapy.

> 2. Mapa to zbiór uporządkowanych par, gdzie nie powtarzają się pierwsze 
> elementy tych par

Mówisz o szczególnym przypadku mapy, czyli mapie o unikalnych kluczach.

Zapomniałeś o najważniejszym: mapa to zbiór par klucz-wartość uporządkowanych
wedle określonego kryterium porównawczego dla kluczy.

> => mapa jest szczególnym przypadkiem zbioru => zbiór 
> jest uogólnieniem mapy

Tak.

> Da się jednym słowem znaleźć takie definicje, gdzie każda mapa to zbiór i 
> takie gdzie każdy zbiór to mapa. Osobiście wolę rozumowanie nr. 1.

Teoretycznie, jeśli byś zrobił odpowiedni typ, który będzie robił za klucz, a
po cichu ukrywał gdzieś wartość, to możesz na jego bazie zrobić mapę za pomocą
zbioru.

Z drugiej strony zbiór za pomocą mapy możesz zrobić również.

Nie po raz pierwszy wychodzi na to, że hierarchia pojęć w programowaniu
obiektowym ma dość ograniczone zastosowanie.


-- 
//  _    ___         Michal "Sektor" Malecki <sektor(whirl)kis.p.lodz.pl>
\\ L_ |/ `|  /^\ ,()                         <ethouris(O)gmail.com>
// \_ |\  \/ \_/ /\ C++ bez cholesterolu: http://www.intercon.pl/~sektor/cbx
"Java is answer for a question that has never been stated"