Idris 2 എന്ന് പേരിട്ടിരിക്കുന്ന Linux ആപ്പാണിത്, ഇതിന്റെ ഏറ്റവും പുതിയ പതിപ്പ് Version0.6.0.zip ആയി ഡൗൺലോഡ് ചെയ്യാം. വർക്ക്സ്റ്റേഷനുകൾക്കായുള്ള സൗജന്യ ഹോസ്റ്റിംഗ് ദാതാവായ OnWorks-ൽ ഇത് ഓൺലൈനായി പ്രവർത്തിപ്പിക്കാം.
Idris 2 എന്ന് പേരിട്ടിരിക്കുന്ന ഈ ആപ്പ് 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. ആപ്ലിക്കേഷൻ ഡൌൺലോഡ് ചെയ്യുക, അത് ഇൻസ്റ്റാൾ ചെയ്ത് പ്രവർത്തിപ്പിക്കുക.
സ്ക്രീൻഷോട്ടുകൾ
Ad
ഇദ്രിസ് 2
വിവരണം
തരം അടിസ്ഥാനമാക്കിയുള്ള വികസനത്തിൽ, പ്രോഗ്രാമുകൾ നിർമ്മിക്കുന്നതിനുള്ള ടൂളുകളാണ് തരങ്ങൾ. ഒരു പ്രോഗ്രാമിന്റെ പ്ലാനായി ഞങ്ങൾ തരത്തെ കണക്കാക്കുന്നു, കൂടാതെ കംപൈലറും ടൈപ്പ് ചെക്കറും ഞങ്ങളുടെ അസിസ്റ്റന്റായി ഉപയോഗിക്കുന്നു, ഇത് തരത്തെ തൃപ്തിപ്പെടുത്തുന്ന ഒരു സമ്പൂർണ്ണ പ്രോഗ്രാമിലേക്ക് ഞങ്ങളെ നയിക്കുന്നു. നമ്മൾ മുൻ‌തൂക്കം ഉപേക്ഷിക്കുന്ന തരത്തിൽ കൂടുതൽ പ്രകടമാണ്, തത്ഫലമായുണ്ടാകുന്ന പ്രോഗ്രാം ശരിയായിരിക്കുമെന്ന് നമുക്ക് കൂടുതൽ ആത്മവിശ്വാസം ലഭിക്കും. ഇദ്രിസിൽ, ഭാഷയിലെ ഫസ്റ്റ്-ക്ലാസ് നിർമ്മിതിയാണ് തരങ്ങൾ. ഫംഗ്‌ഷനുകൾക്ക് ആർഗ്യുമെന്റുകളായി തരങ്ങൾ കൈമാറാമെന്നും അക്കങ്ങൾ, സ്‌ട്രിംഗുകൾ അല്ലെങ്കിൽ ലിസ്റ്റുകൾ പോലുള്ള മറ്റേതെങ്കിലും മൂല്യം പോലെ ഫംഗ്‌ഷനുകളിൽ നിന്ന് തിരികെ നൽകാമെന്നും ഇതിനർത്ഥം. ഇത് ചെറുതും എന്നാൽ ശക്തവുമായ ഒരു ആശയമാണ്, മൂല്യങ്ങൾ തമ്മിലുള്ള ബന്ധങ്ങൾ പ്രകടിപ്പിക്കാൻ സഹായിക്കുന്നു; ഉദാഹരണത്തിന്, രണ്ട് ലിസ്റ്റുകൾക്ക് ഒരേ ദൈർഘ്യമാണുള്ളത്. അനുമാനങ്ങൾ കംപൈലർ വ്യക്തമാക്കേണ്ടതും പരിശോധിക്കേണ്ടതുമാണ്. ഉദാഹരണത്തിന്, ഒരു ലിസ്റ്റ് ശൂന്യമല്ലെന്ന് നിങ്ങൾ അനുമാനിക്കുകയാണെങ്കിൽ, പ്രോഗ്രാം റൺ ചെയ്യപ്പെടുന്നതിന് മുമ്പ് ഈ അനുമാനം എല്ലായ്‌പ്പോഴും നിലനിൽക്കുമെന്ന് ഇദ്രിസിന് ഉറപ്പാക്കാനാകും.
സവിശേഷതകൾ
- വേണമെങ്കിൽ, പ്രോഗ്രാം സ്വഭാവത്തിന്റെ സവിശേഷതകൾ ഔപചാരികമായി പ്രസ്താവിക്കുകയും തെളിയിക്കുകയും വേണം
- ഭാഷയിലെ ഫസ്റ്റ്-ക്ലാസ് നിർമ്മാണങ്ങളാണ് തരങ്ങൾ
- ടൈപ്പ്-ഡ്രൈവൻ ഡെവലപ്‌മെന്റ് പ്രോത്സാഹിപ്പിക്കുന്നതിനായി രൂപകൽപ്പന ചെയ്‌തിരിക്കുന്ന ഒരു പ്രോഗ്രാമിംഗ് ഭാഷയാണ് ഇദ്രിസ്
- ഒരു പ്രോഗ്രാമിന്റെ പ്ലാൻ ആയി ഞങ്ങൾ തരം പരിഗണിക്കുന്നു
- ഒരു സഹായിയായി കമ്പൈലറും ടൈപ്പ് ചെക്കറും ഉപയോഗിക്കുക
- ഫംഗ്‌ഷനുകളിലേക്കുള്ള ആർഗ്യുമെന്റുകളായി തരങ്ങൾ കൈമാറാൻ കഴിയും
പ്രോഗ്രാമിംഗ് ഭാഷ
C
Categories
https://sourceforge.net/projects/idris-2.mirror/ എന്നതിൽ നിന്നും ലഭിക്കാവുന്ന ഒരു ആപ്ലിക്കേഷനാണിത്. ഞങ്ങളുടെ സൗജന്യ ഓപ്പറേറ്റീവ് സിസ്റ്റങ്ങളിലൊന്നിൽ നിന്ന് ഏറ്റവും എളുപ്പമുള്ള രീതിയിൽ ഓൺലൈനിൽ പ്രവർത്തിപ്പിക്കുന്നതിനായി ഇത് OnWorks-ൽ ഹോസ്റ്റ് ചെയ്‌തിരിക്കുന്നു.
