(i) x:=78 ஒரு செயற்கூறு வரையறை ஆகும். வரையறைகள், மதிப்புகளைப் பெயருடன் பிணைக்கின்றன.
(ii) இங்கு 78 என்ற மதிப்பு 'X' என்ற பெயருடன் பிணைக்கப்படுகின்றது. வரையறைகள் கோவைகள் அல்ல. அதே நேரத்தில் கோவைகளை வரையறை எனக் கருதக் கூடாது. வரையறைகள் தனித்தன்மையான தொடரியல் தொகுதிகளைக் கொண்டதாகும்.
(iii) வரையறைகள் உள்ளமைவாக உள்ள கோவைகளைக் கொண்டதாகவோ அல்லது நேர்மாறாகவும் இருக்கலாம்.

செயற்கூறு என்பது ஒரு பெரிய நிரலில் வரையறுக்கப்படும் ஒரு குறிமுறை அலகு ஆகும். செயற்கூறுகள், நிலையான வெளியீட்டை வழங்குவதற்கான மாறிகள், கோவைகள் போன்ற பலவகையான உள்ளீடுகளின் மீது செயல்படும் குறிமுறை தொகுதிகளை கொண்டிருக்கும்.

துணை நிரல்கள் கணினி மொழிகளின் அடிப்படைக் கட்டுமான தொகுதியாக விளங்குகின்றன. துணை நிரல்கள் என்பன ஒரு குறிப்பிட்ட செயலை மீண்டும் மீண்டும் செய்யப் பயன்படும் சிறிய நிரல் தொகுதியாகும். நிரலாக்க மொழிகளில் இத்துணை நிரல்கள் செயற்கூறுகள் (Functions) என்று அழைக்கப்படுகின்றன.

ஒரு செயற்கூறுக்கு வெளியே ஒரு மாறியை மாற்றினால் சில பக்க விளைவுகளை அடையாளம் காண்பது எளிதானதாகும் மற்றும் சில யோசிக்க தகுந்ததாக இருக்கும்.
எடுத்துக்காட்டு :
y:= 0
let inc(x:int):int : = 
y:=y + x
return (y)
இங்கு y என்பது வெளிப்புற மாறியாகும். இது செயற்கூற்றில் பயன்படுத்தப்பட்டுள்ளது. இந்த வெளிப்புற மாறி ஒவ்வொரு முறை அழைக்கப்படும் போதும் தனது மதிப்பை மாற்றிக் கொள்வதில் inc() செயற்கூறின் திருப்பி அனுப்பும் விடையானது வெளிப்புற மாறியின் பக்கவிளைவினால் ஒரே மதிப்பை கொண்டு அழைத்தாலும் ஒவ்வொரு முறையும் மாறும்.

(i) strlen என்பது pure செயற்கூறாகும். ஏனென்றால், செயற்கூறு அளபுருவாக ஒரே ஒரு மாறியை எடுத்துக் கொண்டு அதனுடைய நீளத்தை கணக்கிடுகிறது. இந்த செயற்கூறு வெளி நினைவகத்தில் இருந்து உள்ளீட்டை எடுத்துக் கொள்கிறது.
(ii) ஆனால் மதிப்புகளை மாற்றுவதில்லை திருப்பி அனுப்பும் மதிப்புகள் வெளி நினைவகத்தில் இருந்து பெறப்பட்டதாகும்.

இடைமுகத்தின் பண்புகள்:
(i) ஒரு பொருளை முறையாக உருவாக்கி வழங்குவதற்கும் அதனை செயல்படுத்துவதற்கும் தேவையான இடைமுகத்தை இனக்குழு வார்ப்பு குறிப்பிடுகிறது.
(ii) செயற்கூறுகளைப் பொருளுக்கு அனுப்புவதன் மூலம் பொருளின் பண்புகளையும் பண்புக்கூறுகளையும் கட்டுப்படுத்த முடிகிறது.

Pure செயற்கூறுகள் :
(i) ஒரே மாதிரியான செயலுருபுகளை அனுப்பும் போது, ஒரே மாதிரியான விடையைத் தரும் செயற்கூறு pure செயற்கூறுகள் ஆகும். எடுத்துக்காட்டாக, கணித செயற்கூறு sin(0)-ன் விடை எப்பொழுதுமே 0 ஆகும். இதன் அர்த்தம் என்னவென்றால், அதே அளபுருக்களைக் கொண்டு செயற்கூறினை ஒவ்வொரு முறையும் அழைக்கும் போது, அதே சரியான விடையை எப்பொழுதும் பெறலாம். மாறியின் பண்பை மாற்றக் கூடிய எந்த விதமான வெளிப்புற மாறியும் இல்லாமல் இருந்தால் அந்த செயற்கூறு pure செயற்கூறாகும்.
(எ.கா)
let square x: =
return: x * x
(ii) மேலேயுள்ள square செயற்கூறு pure செயற்கூறு ஆகும். ஏனென்றால் ஒரே மாதிரியான உள்ளீட்டிற்கு வெவ்வேறு விதமான வெளியீட்டைத் தராது.
(iii) கோட்பாடு சார்ந்த நன்மைகளை pure செயற்கூறுகள் கொண்டுள்ளன. ஒரு நன்மை என்னவென்றால், இதன் pure செயற்கூறாக இருக்கும் பொழுது, அதே அளபுருக்களுடன் செயற்கூறுவை பல தடவைகள் அழைக்கும்போது, உண்மையில் நிரல் பெயர்ப்பி செயற்கூறுவை மீண்டும் ஒரு தடவை அழைக்கும் தேவை மட்டுமே ஏற்படுகிறது.
let length s: = 
   i: = 0
   if i <strlen (s) then
   -- Do something which doesn't affect s ++ i
(iv) இது இயக்கப்படும் போது, ஒவ்வொரு முறையும் strlen (s) அழைக்கப்படுகிறது strlen-க்கு ஒட்டு மொத்தமாக 's' சுழற்சி செய்ய தேவைப்படுகிறது.
(v) strlen என்பது pure செயற்கூறாகும்.
Impure செயற்கூறுகள்:
(i) செயற்கூறுக்கு அளபுருக்களை அனுப்பாதபோதும், செயற்கூறின் உள்ளே உள்ள மாறியானது பக்க விளைவுகளை ஏற்படுத்தும், இந்த வகையான செயற்கூறை impure செயற்கூறு என்பர்.
(ii) ஒரு செயற்கூறு வரையறை தொகுதியின் வெளியே உள்ள மாறிகள் அல்லது செயற்கூறுகளைச் சார்ந்து இருந்து ஒவ்வொரு முறை அழைக்கும் பொழுதும் செயற்கூறு ஒரே மாதிரியாக இயக்கப்படும் என கூற இயலாது. எடுத்துக்காட்டாக. random() என்கிற கணித செயற்கூறு ஒரே மாதிரியான அழைப்புக்கூற்றுக்கு வெவ்வேறு விதமான வெளியீடுகளைக் கொடுக்கும்.
let a : random ( )
if a > 10 then
return:a
else
return:10
(iii) இங்கு Random என்பது impure செயற்கூறு ஆகும். ஏனெனில் இதனை அழைக்கும் பொழுது என்ன விடை கிடைக்கும் என நிச்சயமாக கூற இயலாது.

அளபுருக்கள் என்பது செயற்கூறு வரையறையில் உள்ள மாறிகள் ஆகும்.
அ) தரவு வகை இல்லாத அளபுருக்கள்:
(i) செயற்கூறு வரையறைக்கு ஓர் எடுத்துக்காட்டைக் காணலாம்.
(requires: b> = 0)
        (returns: a to the power of b)
        let rec pow a b:=
                     if b = 0 then 1
                     else a * pow a(b - 1)
(ii) மேலேயுள்ள செயற்கூறு வரையறையில் 'b' என்ற மாறி அளபுரு ஆகும். மாறி 'b'க்கு அனுப்பப்படும் மதிப்பானது செயலுருபு ஆகும்.
(iii) செயற்கூறின் முன் நிபந்தனை (requires) மற்றும் பின் நிபந்தனை (return) கொடுக்கப்பட்டுள்ளது.
(iv) சில மொழிகளின் நிரல் பெயர்ப்பி இவ்வகை சிக்கல்களை நிரல் நெறிமுறைப்படி சரி செய்கிறது. ஆனால் சில நிரல் பெயர்ப்பிக்கு தரவு வகையைக் குறிப்பிடுவது கட்டாயமாகும்.
(v) மேலே உள்ள செயற்கூறு வரையறையில், if கோவை, then கிளைக்கு மதிப்பு 1 யைத் திருப்பி அனுப்பினால், தரவு வகை (data type) விதிப்படி if கோவை முழுவதுமே 'int' தரவு வகைக் கொண்டிருக்கும்.
if கோவையின் தரவு வகை int ஆக இருப்பதால், செயற்கூறின் திருப்பி அனுப்பும் மதிப்பும் int ஆக இருக்கும், 'b' யின் மதிப்பு சுழியத்தோடு ஒப்பீடு செய்யப்படுகிறது.
(vi) அதனால் 'b' யின் தரவுவகை 'int' ஆகும். * செயற்குறியுடன் 'a' யின் மதிப்பு மற்றொரு கோவையோடு பெருக்குத் தொகையைக் கணக்கிடுவதால், 'a' யின் வகையும் int ஆகும்.
ஆ) தரவு வகையுடன் கூடிய அளபுருக்கள் :
(i) சில காரணங்களுக்காக, இப்பொழுது நாம் அதே செயற்கூறு வரையறை தரவு வகையுடன் எழுதலாம்.
(requires: b > = 0)
(returns: a to the power of b)
let rec pow(a: int) (b: int) : int: =
       if b = 0 then 1
       else a * pow b(a - 1)
(ii) 'a' மற்றும் 'b' தரவு வகை குறிப்பு (type annotations) எழுதும் போது, அடைப்புக்குறிக்குள் ( ) அவசியமானது ஆகும்.
(iii) ஏனெனில், நிரல்பெயர்ப்பி இவற்றை அனுமானிப்பது மிகவும் எளிது.
(iv) வரையறை let என்ற சிறப்புச் சொல்லோடு அறிமுகப்படுத்தப்படுகிறது. அதனைத் தொடர்ந்து செயற்கூறின் பெயர் மற்றும் அதனுடைய செயலுருபுகள் பிறகு செயலுருபுவைக் கணக்கீடு செய்யும் வாய்ப்பாடு := குறிக்குப் பிறகு எழுத வேண்டும். தற்சுழற்சி செயற்கூற்றை வரையறுக்க விரும்பினால் let-க்கு பதிலாக let rec என்று பயன்படுத்த வேண்டும்.
செயற்கூறு வரையறையின் தொடரியல் :
let rec fn a 1 a2,,,an := k