ഇതാണ് Idris-dev എന്ന് പേരിട്ടിരിക്കുന്ന Linux ആപ്പ്, ഇതിന്റെ ഏറ്റവും പുതിയ പതിപ്പ് Release1.3.3sourcecode.tar.gz ആയി ഡൗൺലോഡ് ചെയ്യാം. വർക്ക്സ്റ്റേഷനുകൾക്കായുള്ള സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവായ OnWorks-ൽ ഇത് ഓൺലൈനായി പ്രവർത്തിപ്പിക്കാം.
Idris-dev എന്ന് പേരിട്ടിരിക്കുന്ന ഈ ആപ്പ് OnWorks-നൊപ്പം സൗജന്യമായി ഓൺലൈനായി ഡൗൺലോഡ് ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
ഈ ആപ്പ് പ്രവർത്തിപ്പിക്കുന്നതിന് ഈ നിർദ്ദേശങ്ങൾ പാലിക്കുക:
- 1. നിങ്ങളുടെ പിസിയിൽ ഈ ആപ്ലിക്കേഷൻ ഡൗൺലോഡ് ചെയ്തു.
- 2. ഞങ്ങളുടെ ഫയൽ മാനേജറിൽ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിൽ നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമം നൽകുക.
- 3. അത്തരം ഫയൽമാനേജറിൽ ഈ ആപ്ലിക്കേഷൻ അപ്‌ലോഡ് ചെയ്യുക.
- 4. ഈ വെബ്സൈറ്റിൽ നിന്ന് OnWorks Linux ഓൺലൈനോ Windows ഓൺലൈൻ എമുലേറ്ററോ MACOS ഓൺലൈൻ എമുലേറ്ററോ ആരംഭിക്കുക.
- 5. നിങ്ങൾ ഇപ്പോൾ ആരംഭിച്ച OnWorks Linux OS-ൽ നിന്ന്, നിങ്ങൾക്ക് ആവശ്യമുള്ള ഉപയോക്തൃനാമത്തോടുകൂടിയ ഞങ്ങളുടെ ഫയൽ മാനേജർ https://www.onworks.net/myfiles.php?username=XXXXX എന്നതിലേക്ക് പോകുക.
- 6. ആപ്ലിക്കേഷൻ ഡൌൺലോഡ് ചെയ്യുക, അത് ഇൻസ്റ്റാൾ ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
സ്ക്രീൻഷോട്ടുകൾ:
ഇദ്രിസ്-ദേവ്
വിവരണം:
ഇഡ്രിസ്-ദേവ് എന്നത് ഇഡ്രിസ് 1 ന്റെ വികസന പതിപ്പാണ്, ഇത് പൂർണ്ണ ആശ്രിത തരങ്ങൾ ഉൾക്കൊള്ളുന്ന ഒരു പൊതു-ഉദ്ദേശ്യ ഫങ്ഷണൽ പ്രോഗ്രാമിംഗ് ഭാഷയാണ്, ഇത് ഭാഷയ്ക്കുള്ളിൽ തന്നെ ടൈപ്പ്-സേഫ് പ്രോഗ്രാമുകളും പ്രൂഫുകളും എഴുതുന്നതിനായി രൂപകൽപ്പന ചെയ്‌തിരിക്കുന്നു. ഇത് സി, ജാവാസ്ക്രിപ്റ്റ് എന്നിവയിലേക്ക് കംപൈൽ ചെയ്യുന്നു (നോഡ്.ജെഎസിനും ബ്രൗസറുകൾക്കും), കൂടാതെ പകരമുള്ള ബാക്കെൻഡുകൾ വഴി കോഡ് ജനറേഷനെ പിന്തുണയ്ക്കുന്നു.
സവിശേഷതകൾ
- മൂല്യങ്ങൾ തരങ്ങളിൽ ദൃശ്യമാകാൻ അനുവദിക്കുന്ന പൂർണ്ണ ആശ്രിത തരങ്ങൾ
- ഫംഗ്‌ഷനുകൾ പൂർണ്ണമാണെന്നും അവസാനിപ്പിക്കുന്നുണ്ടെന്നും ഉറപ്പാക്കുന്നതിനുള്ള ടോട്ടാലിറ്റി പരിശോധന.
- സി, ജാവാസ്ക്രിപ്റ്റ് എന്നിവയ്ക്കുള്ള കോഡ് ജനറേറ്ററുകൾ (ബ്രൗസറും നോഡ്.ജെഎസും)
- കമ്മ്യൂണിറ്റി സംഭാവനകൾ വഴി ബാഹ്യ ബാക്കെൻഡുകളെ (ഉദാ. JVM, CIL, LLVM) പിന്തുണയ്ക്കുന്നു.
- അഗ്ഡ, കോക് പോലുള്ള പ്രൂഫ് അസിസ്റ്റന്റുമാരിൽ നിന്ന് പ്രചോദനം ഉൾക്കൊണ്ട് ശക്തമായ ടൈപ്പ്-ഡ്രൈവൺ വികസനം.
- ഇഡ്രിസ് 2 വികസനത്തിന് സമാന്തരമായി സജീവമായി പരിപാലിക്കപ്പെടുന്നു.
പ്രോഗ്രാമിംഗ് ഭാഷ
ഹാസ്കെൽ
Categories
ഇത് https://sourceforge.net/projects/idris-dev.mirror/ എന്നതിൽ നിന്നും ലഭിക്കാവുന്ന ഒരു ആപ്ലിക്കേഷനാണ്. ഞങ്ങളുടെ സൗജന്യ ഓപ്പറേറ്റീവ് സിസ്റ്റങ്ങളിൽ ഒന്നിൽ നിന്ന് ഏറ്റവും എളുപ്പമുള്ള രീതിയിൽ ഓൺലൈനിൽ പ്രവർത്തിപ്പിക്കുന്നതിനായി ഇത് OnWorks-ൽ ഹോസ്റ്റ് ചെയ്‌തിരിക്കുന്നു.