POPLmark challenge
நிரலாக்க மொழி கோட்பாட்டில், பிஓபிஎல்மார்க் சவால் ("நிரலாக்க மொழிகளின் அளவுகோல்களின் கோட்பாடுகளிலிருந்து", முன்பு வெகுஜனங்களுக்கான இயந்திரமயமாக்கப்பட்ட மெட்டாதியரி!) (அய்டெமிர், 2005) என்பது நிரலாக்க மொழிகளின் மெட்டாதியரியில் தானியங்கி பகுத்தறிவின் (அல்லது இயந்திரமயமாக்கல்) நிலையை மதிப்பீடு செய்வதற்கும், முறையான முறைகள் சமூகத்தின் பல்வேறு குறுக்கு பிரிவுகளிடையே கலந்துரையாடல் மற்றும் ஒத்துழைப்பைத் தூண்டுவதற்கும் வடிவமைக்கப்பட்ட அளவுகோல்களின் தொகுப்பாகும். மிகவும் தளர்வாக பேசுகையில், அவை எவ்வாறு நடந்து கொள்ள வேண்டும் என்பதற்கான ஒரு விவரக்குறிப்புடன் பொருந்தக்கூடிய வகையில் நிரல்கள் எவ்வளவு நன்றாக நிரூபிக்கப்படலாம் என்பதை அளவிடுவது சவால் ஆகும் (மேலும் இது உள்ளடக்கிய பல சிக்கலான சிக்கல்கள்). இந்த சவால் ஆரம்பத்தில் பென்சில்வேனியா பல்கலைக்கழகத்தில் உள்ள பி. எல் கிளப்பின் உறுப்பினர்களால் உலகெங்கிலும் உள்ள ஒத்துழைப்பாளர்களுடன் இணைந்து முன்மொழியப்பட்டது. இயந்திரமயமாக்கப்பட்ட மெட்டேதியரி பற்றிய பட்டறை இந்த சவாலில் பங்கேற்கும் ஆராய்ச்சியாளர்களின் முக்கிய கூட்டமாகும். பிஓபிஎல்மார்க் அளவுகோலின் வடிவமைப்பு நிரலாக்க மொழிகளைப் பற்றிய பகுத்தறிவுக்கு பொதுவான அம்சங்களால் வழிநடத்தப்படுகிறது. சவால் சிக்கல்களுக்கு பெரிய நிரலாக்க மொழிகளின் முறைப்படுத்தல் தேவையில்லை, ஆனால் அவற்றுக்கு பகுத்தறிவில் நுட்பமான தன்மை தேவைப்படுகிறதுஃ பெரும்பாலான நிரலாக்க மொழிகள் ஒருவித பிணைப்பைக் கொண்டுள்ளன, அவை வெறுமனே தட்டச்சு செய்யப்பட்ட லாம்ப்டா கால்குலஸின் எளிய பிணைப்புகளிலிருந்து சிக்கலானவை, பதிவு வடிவங்களின் சிகிச்சையில் தேவைப்படும் எல்லையற்ற பிணைப்புகள் வரை உள்ளன. பொருள் குறைப்பு மற்றும் வலுவான இயல்பாக்கம் போன்ற தூண்டல் பண்புகளுக்கு பெரும்பாலும் சிக்கலான தூண்டல் வாதங்கள் தேவைப்படுகின்றன. மறு பயன்பாடு மேலும் ஒத்துழைப்பு சவாலின் ஒரு முக்கிய நோக்கமாக இருப்பதால், தீர்வுகள் மறுபயன்பாட்டு கூறுகளைக் கொண்டிருக்கும் என்று எதிர்பார்க்கப்படுகிறது, அவை ஆராய்ச்சியாளர்களை ஒவ்வொரு முறையும் புதிதாகத் தொடங்க வேண்டிய அவசியமில்லாமல் மொழி அம்சங்கள் மற்றும் வடிவமைப்புகளைப் பகிர்ந்து கொள்ள அனுமதிக்கும். சிக்கல்கள், பிஓபிஎல்மார்க் சவால் மூன்று பகுதிகளைக் கொண்டுள்ளது. பகுதி 1 சிஸ்டம் எஃப் <: (சிஸ்டம் எஃப் சப்டைப்பிங்குடன்) வகைகளை மட்டுமே உள்ளடக்கியது, மேலும் பின்வருவன போன்ற சிக்கல்களைக் கொண்டுள்ளதுஃ வகை அமைப்பு சப்டைப்பிங்கின் மாற்றத்தை ஏற்றுக்கொள்கிறதா என்று சரிபார்க்கிறது. பதிவுகளின் முன்னிலையில் துணை வகைப்பாட்டின் மாற்றத்தை சரிபார்ப்பது பகுதி 2 சிஸ்டம் எஃப் இன் தொடரியல் மற்றும் சொற்பொருள்களைப் பற்றியது. இது தூய துண்டு வகை பாதுகாப்புக்கான வகை பாதுகாப்பின் சான்றுகளைப் பற்றியது, வடிவம் பொருந்தும் போது வகை பாதுகாப்பு பகுதி 3 சிஸ்டம் எஃப் இன் முறைப்படுத்தலின் பயன்பாட்டினைப் பற்றியது. குறிப்பாக, சவால் பின்வருவனவற்றைக் கேட்கிறதுஃ செயல்பாட்டு சொற்பொருள்களை உருவகப்படுத்துதல் மற்றும் அனிமேஷன் செய்தல் முறைப்படுத்தல்களிலிருந்து பயனுள்ள வழிமுறைகளை பிரித்தெடுப்பது பிஓபிஎல்மார்க் சவாலின் சில பகுதிகளுக்கு பின்வரும் கருவிகளைப் பயன்படுத்தி பல தீர்வுகள் முன்மொழியப்பட்டுள்ளனஃ இசபெல்லே/ஹோல், ட்வெல்ஃப், கோக், αப்ரோலோ, ஏடிஎஸ், அபெல்லா மற்றும் மாடிட்டா. பிரையன் ஈ. அய்டெமிர், ஆரோன் போஹன்னன், மத்தேயு ஃபேர்பேர்ன், ஜே. நாதன் ஃபாஸ்டர், பெஞ்சமின் சி. பியர்ஸ், பீட்டர் செவெல், டிமிட்ரியோஸ் வைட்டினியோடிஸ், ஜெஃப்ரி வாஷ்பர்ன், ஸ்டீபனி சி. வெய்ரிச் மற்றும் ஸ்டீபன் ஏ. ஸ்டான்ச்விக் ஆகியோரைக் குறிக்கவும். வெகுஜனங்களுக்கான இயந்திரமயமாக்கப்பட்ட மெட்டாதியரிஃ பிஓபிஎல்மார்க் சவால். உயர் வரிசை தர்க்கத்தில் நிரூபிக்கும் தேற்றம், 18 வது சர்வதேச மாநாடு, TPHOLs 2005, தொகுதி 3603 கணினி அறிவியலில் விரிவுரை குறிப்புகள், பக்கங்கள் 50-65. ஸ்பிரிங்கர், பெர்லின்/ஹைடெல்பெர்க்/நியூயார்க், 2005. பெஞ்சமின் சி. பியர்ஸ், பீட்டர் செவெல், ஸ்டீபனி வெய்ரிச், ஸ்டீவ் ஸ்டான்ச்விக், நிரலாக்க மொழி மெட்டாதியோரியை இயந்திரமயமாக்குவதற்கான நேரம் இது, பெர்ட்ராண்ட் மேயர், ஜிம் உட்காக் (பதிப்புகள்.) சரிபார்க்கப்பட்ட மென்பொருள்ஃ கோட்பாடுகள், கருவிகள், பரிசோதனைகள், எல்என்சிஎஸ் 4171, ஸ்பிரிங்கர் பெர்லின்/ஹைடெல்பெர்க், 2008, பக். 26-30, வெளிப்புற இணைப்புகள் பிஓபிஎல்மார்க் சவால் முறையான முறைகள் நிரலாக்க மொழி கோட்பாடு அளவுகோல்களை நிரூபிக்கும் தானியங்கி தேற்றம் (கம்ப்யூட்டிங்)