A InfoWiki wikiből

Alap szintaktika

Magas szintű programozási nyelv

TITAN projekt

Hernyák Zoltán

Típusrendszer

A TITAN-M típusrendszere tartalmaz valahány alaptípust, mely nyelvi szinten támogatott. Ezekből képezhetünk típus-konstruktorok segítségével rekord, touple, tömb, lista típusokat (saját típusok), illetve lehetőség van rá hogy currying segítségével függvény-típusokat is megadhassunk.

Alap típusrendszer

• egész típusok (alapvetően a .NET nyelvi egész típusa)
  • byte, sbyte, short, ushort, int, uint, long, ulong
  • longInt mint speciális, tetszőlegesen sok számjegyet kezelő egész szám típus
• valós típusok (alapvetően a .NET nyelvi valós típusa)
  • float, double
  • longDouble, mint speciális, tetszőleges pontosságú, tetszőlegesen sok számjegyet kezelő valós szám típus
• karakter (char)
• szöveg (string)
• logikai (bool)
• dátum (date)
• idő (time)
• dátum és idő egyben (datetime)

Saját típusok

• rekord típus létrehozása a record kulcsszóval (az indentálás a nyelvi szintaktikai része!):

record ember
  fizetes int
  eletkor int
  testhomerseklet float

• touple típus létrehozása zárójelezéssel (ebben a példában mint függvény visszatérési típus):

func fileba_iras:File Int -> (Int,Bool)

• lista létrehozása szögletes zárójelezéssel (listát vár paraméterként, és listát ad vissza):

func primek:[int] -> [int]

Függvények típusai

Típuslevezetés

Operátorok

Beépített operátorok

Operátorok bővíthetősége

Függvények

Függvény-törzsek írása

Mintaillesztés

Feltételes blokkok