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

தொடக்கநிலை வளர்ச்சிகள்
வரலாறு
வரையறைகள்
நிரல்மொழிகளில் ஒருங்குறி ஆதரவு