Elżbieta Bajkowska


"Strongtalk"


1. Czym jest Strongtalk

- składnia i semantyka Smalltalk’a-80
- większa wydajność – najszybsza implementacja Smalltalk
- system typów – opcjonalny i przyrostowy; silny, statyczny system typów
- typowana biblioteka klas według Smalltalk Blue Book


2. Historia Strongtalk

 Zachodnie wybrzeże
Prace grupy związanej z językiem Self nad innowacyjną maszyną wirtualną

 Wschodnie wybrzeże 
Prace nad systemem typów dla języka Smalltalk

 Połączenie technologii
Animorphic Systems - Dave Griswold zaczyna współpracę z Urs’em Hoelzle (reszta grupy: Lars Bak, Gilad Bracha, Steffen Grarup, Robert Griesemer Srdjan Mitrovic)

 1994 – 96 wstępna wersja systemu Strongtalk, prezentacja na OOPSLA’96

 1997 – Animorphic przejęty przez Sun Microsystems (elementy Animorphic VM w Javie). 
Zawieszenie prac

 4.12.2001 – wersja 1.1. udostępniona za zgodą Sun, dla celów niekomercyjnych


3. System typów Strongtalk

Statyczne typowanie
- przyczyny wprowadzenia
- potencjalne problemy
- opcjonalność

Elementy systemu typów
- podstawowa semantyka anotacji
- protokoły – oddzielenie typów od klas
- typowane bloki
- generyczne typy
- parametryzowany polimorfizm
- typy – unie
- fundamentalne zasady dla typowania


4. Podsumowanie

- Strongtalk - silnie, statycznie typowany Smalltalk plus zwykły Smalltalk
- typowanie opcjonalne i pozostawiające wiele walorów elastycznego Smalltalk’a
- system typów niezależny od maszyny wirtualnej, można zintegrować z dowolną wersją Smalltalk’a
- małe szanse na komercyjne powodzenie – wbrew intencjom twórców


5. Źródła

Strongtalk - http://www.cs.ucsb.edu/projects/strongtalk/
Gilad Bracha - http://www.bracha.org
G.Bracha D.Griswold – „Strongtalk: Typechecking Smalltalk in a Production Environment”
Self - http://research.sun.com/self/