Arvojen käyttötapojen luokittelua

1. sijoittaa muuttujaan
2. välittää parametrina
3. palauttaa funktion arvona
4. [ilmaista literaalina]

Arvoja joille a, b, ja c ovat mahdollisia, kutsutaan "ensimmäisen luokan" ("first-class") arvoiksi. "Toisen luokan" ("second-class") arvoja voidaan välittää parametreina ja sijoittaa muuttujaan. "Kolmannen luokan" ("third-class") arvoille vain sijoitus on luvallinen.

Oppikirjan ulkopuolelta: On myös kiinnostavaa havaita, miten esim. Scala sallii funktioille "ensimmäisen luokan" statuksen lisäksi myös "funktioliteraalit":

def muotoile(muotoilija: String => String, sanat: List[String]) =
  for(val sana <- sanat)
     print(muotoilija(sana))

def huuda(x: String) = x.toUpperCase

val lista = List("hip ", "hurraa!")

// ensin annetaan parametrina nimetty funktio ja lista:
muotoile(huuda, lista)
println

// tulostus: HIP HURRAA!

// sitten annetaan parametrina funktioliteraali ja lista:
muotoile({x => x.replace('h', 'j')}, lista)
println

// tulostus: jip jurraa!

Esimerkkejä:

• Algolissa osoitteita voi antaa parametreina. Jos aliohjelma hyppää (goto) muodolliseen osoiteparametriin, palataan kutsussa olleen todellisen osoitteen viittausympäristöön. Aiheuttaa melkoista aktovaatiotietuepinon päivittämistä, ..., "bad goto".

• Aliohjelmia voidaan antaa parametrina monissa algoritmisissakin ("proseduraalisissa") kielissä, mutta ei esimerkiksi Javassa (aidosti). Aliohjelmat parametreina ovat tietenkin "jokapäiväistä leipää" funktionaalisissa kielissä.

• Aliohjelma paluuarvona kuuluu funktionaalisten kielten peruskalustoon sekin, mutta on mahdollista myös esim. kielissä C#, Perl, Python, ..., ja jossakin mielessä (?) Fortran, Modula-2, Modula-3, C ja C++ (funktiopointterit?) Itse asiassa Javassakin saa temppuiltua tällaisen käyttämällä "yksiaksessorisia luokkia", jotka toteuttavat saman rajapintaluokan...

• Funktio muuttujan arvona, parametrina ja paluuarvona Scalassa:

  
  def kissa = {println("miau")}
  def koira = {println("hau")}
  
  // muuttujaan:
  var eläin = kissa
  eläin                    // tulostus miau
  eläin = koira
  eläin                    // tulostus hau
  
  // parametrina:
  
  def meto(x:Unit) = {x}
  meto(kissa)             // tulostus miau
  meto(koira)             // tulostus hau
  eläin = kissa
  meto(eläin)             // tulostus miau
  
  // paluuarvona:
  def kumpi(i:Int):Unit = {if (i%2!=0) kissa else koira}
  kumpi(7)                // tulostus miau
  kumpi(8)                // tulostus hau
  
  

• ...