Smalltalk

**Smalltalk** on oliopohjainen ohjelmointikieli ja -ympäristö, jonka ensimmäiset versiot julkaistiin 1970-luvulla. Ohjelmat on koottu itsenäisistä, ei-läpinäkyvistä olioista, jotka edustavat jotakin luokkaa. Oliot ovat yhteydessä toisiinsa Smalltalkin virtuaalikone-ympäristön välittämillä viesteillä. Vapaasti muokattavien ja muutettavien olioiden lisäksi on olemassa primitiivi-olioita, joita ei voi muokata enää ohjelman ajon aikana. Toisinaan primitiivit on määritelty Smalltalk ympäristöstä riippumattomina, erillisinä olioina. Alkuperäinen Smalltalk-80 ohjelmointiympäristö oli graafinen ja se käytti näppäimistön lisäksi 3-näppäimistä hiirtä. 

Smalltalk on ajan myötä kehittynyt vastaamaan tarpeisiin monissa käyttötarkoituksissa, kuten talouselämässä ja tietokannoissa. Näillä aloilla se on käytössä edelleen. Ensijulkaisussaan Smalltalk-80 toi orastavalle olio-ohjelmoinnin alalle uusia sekä uraauurtavia ajatuksia ja käytänteitä.

Smalltalkia lähellä olevilla kielillä tehdään edelleen aktiivista kehitystyötä ja sillä on monia aktiivisia puolestapuhujia. ANSI-standardi Smalltalkille julkasitiin vuonna 1998 ja se edustaa kielen perusversiota.

## Historia
Smalltalk on 1970-luvulla kehitetty ohjelmointikieli, joka on kehitetty Xerox-yhtiön tutkimuskeskus PARC:issa Yhdysvalloissa.

Kielen konseptin kehitti Alan Kay, joka kehitti Dynabook-prototyyppiä ja graafista käyttöliittymää joka sopisi myös lapsille.
Dan Ingalls vaikutti Smalltalkin toteuttamiseen.

Kehittäjiin kuuluivat lisäksi Dave Robson, Adele Goldberg, Peter Deutsch, Ted Kaehler ja Scott Wallace. Smalltalk sai runsaasti vaikutteita Norjassa kehitetystä Simula-kielestä, jota pidetään kaikkien olio-ohjelmointikielten kantamuotona.

Xerox julkaisi Smalltalk-kielen nimellä Smalltalk-80. Sen jälkeen Hewlett-Packard tuotti ensimmäisen kaupallisen version. Vuonna 1986 Digitalk-yhtiö julkaisi Smalltalk/V:n, joka oli ensimmäinen laajasti saatavilla ollut versio henkilökohtaisille tietokoneille. Digitalk päätyi myöhemmin ParcPlacen omistukseen.

Kielen kehittäminen siirtyi Xerox PARCin tutkimuskeskuksesta ohjelmoijien perustamalle ParcPlace-yhtiölle, joka kehitti siitä VisualWorks-nimisen tuotteen. VisualWorks on samalla sekä kieli että kehitysympäristö, samaan tapaan kuin Eclipse ja Java ovat yhdessä Javan kehitysympäristö. Tuotetta myydään edelleen ja sen omistaa nykyään Cincom.  1990-luvulla VisualWorks-kehitysympäristöllä kehitettiin lukuisia pitkään yritysten käytössä olleita sovelluksia.

Vuonna 1996 muun muassa Apple-yhtiöllä Alan Kay kehitti Smalltalkin pohjalta Squeakin.

Smalltalkin ANSI-standardi valmistui vuonna 1998.

## Olioperustaisuus
Smalltalkilla kirjoitetut ohjelmat ovat olioperustaisia ja Smalltalkia pidetään puhtaana olio-ohjelmointikielenä.  Muiden ohjelmointikielten tapaan Smalltalk on syntaktiselta ytimeltään hyvin pieni ja koko kielen voima perustuu varsin laajaan luokkakirjastoon. 

Useimmat olio-ohjelmointikielet, esimerkiksi Java ja COBOLin olioversio, ovat ottaneet mallia Smalltalkista. Java onkin rakenteeltaan hyvin lähellä Smalltalkia. Kummassakin kieltä ajetaan tulkkaavasti virtuaalikoneessa, mikä tekee niistä suhteellisen hitaita.

## Dynaaminen tyypitys
Smalltalkissa muuttujat on tyypitetty dynaamisesti, eli käännösajan sijaan ajoaikana. Smalltalk ei vaadi muuttujien ja argumenttien tietotyyppien määrittelyä. Joidenkin mukaan tyypitys tekisi ohjelmista luotettavampia, mutta Smalltalkin käyttäjien mukaan tyypin määrittely vain sotkee ohjelmia ja hidastaa työtä.

Smalltalkissa on graafinen ohjelmointiympäristö.

## Nykyinen käyttö

Smalltalkia käyttävät verkkotietokantaohjelma DabbleDB sekä CMS-järjestelmät Cmsbox ja Pier.

Nykyisin Smalltalkia voi opetella esimerkiksi Pharo MOOC -verkkokurssin avulla.

## Syntaksi
Syntaksi on hyvin minimaalinen ja käytössä on vain kuusi keyword merkkijonoa: `true`, `false`, `nil`, `self`, `super` ja `thisContext`.

`true`, `false` ja `nil` ovat singleton oliota, `self` ja `super` taas viittaavat niiden yhteydessä annettuun viestiin (message) eli tiettyyn olioon ja suorittavat tästä viestistä riippuvaisen aliohjelman. `Super` sanan yhteydessä suoritettavaa aliohjelmaa etsitään ylemmän tason oliosta (huomaa yhetys Javaan). `thisContext` viittaa käytössä olevaan suoritteeseen.

### Esimerkkiohjelma

```smalltalk
" Kommentti "
" Aluksi ohjelma lähettää oliolle Transcript viestin show, joka saa yhden argumentin."
" Sitten samalle Transcript-oliolle lähetetään toinen viesti (cr). "
" Puolipiste erottaa samalle oliolle lähetetyt viestit. "
" Tämän jälkeen ohjelma avaa Transcript-ikkunan lähettämällä Transcript oliolle kolmannen viestin (open) "
Transcript show: 'Hei maailma!'; cr.
Transcript open.
```


## Toteutukset
Smalltalkin eri toteutuksia ovat: Smalltalk MT; Cincom Smalltalk; Instantiations VA Smalltalk (uudelleenbrändätty IBM VisualAgeSmalltalk);
Dolphin Smalltalk, GNU Smalltalk ja Squeak ovat Smalltalk-80-versioon perustuvia avoimen lähdekoodin toteutuksia eri käyttöjärjestelmille. Vuonna 2008 Squeakista haarautui Pharo. SmallScript toimii osana Microsoftin NET-alustaa.
Slang on alijoukko Smalltalkin kielestä ja olioista, joka voidaan kääntää suoraan C-kielelle.

## Lähteet

## Aiheesta muualla
* ilmainen Pharo MOOC -verkkokurssi 
* Smalltalk Zoo - The Computer History Museum