സ്റ്റാൻഡേർഡ് എംഎൽ
പ്രോഗ്രാമിങ് ഭാഷ / From Wikipedia, the free encyclopedia
സ്റ്റാൻഡേർഡ് എംഎൽ (SML; "സ്റ്റാൻഡേർഡ് മെറ്റാ ലാംഗ്വേജ്") ഒരു പൊതുവായ ഉദ്ദേശ്യവും, മോഡുലാർ, ഫംഗ്ഷണൽ പ്രോഗ്രാമിങ് ഭാഷയും, കംപൈൽ ടൈം ടൈപ്പ് പരിശോധന, ടൈപ്പ് ഇൻഫ്രൻസ് എന്നിവയാണ്. കംപൈലർ രചയിതാക്കളും പ്രോഗ്രാമിങ് ഭാഷയിലെ ഗവേഷകർക്ക് വേണ്ടിയും, അതുപോലെതന്നെ തീയറം പ്രൂവേഴ്സിന്റെ വികസനവും ഇതിൽ ഉൾപ്പെടുന്നു.
വസ്തുതകൾ ശൈലി:, പുറത്തുവന്ന വർഷം: ...
ശൈലി: | Multi-paradigm: functional, imperative |
---|---|
പുറത്തുവന്ന വർഷം: | 1983; 40 years ago (1983)[1] |
ഡാറ്റാടൈപ്പ് ചിട്ട: | Strong, static, inferred |
പ്രധാന രൂപങ്ങൾ: | MLKit, MLton, MLWorks, Moscow ML, Poly/ML, SML/NJ, MLj, SML.NET |
വകഭേദങ്ങൾ: | Alice, Concurrent ML, Dependent ML |
സ്വാധീനിക്കപ്പെട്ടത്: | ML, Hope, Pascal |
സ്വാധീനിച്ചത്: | Elm, F#, OCaml, Python[2] Rust, Scala |
അടയ്ക്കുക
ലോജിക്കൽ ഫോർ കംമ്പ്യൂട്ടബിൾ ഫംഗ്ഷൻ (എൽസിഎഫ്) സിദ്ധാന്തം തെളിയിക്കുന്ന പ്രോജക്ടിൽ ഉപയോഗിച്ചിരുന്ന പ്രോഗ്രാമിങ് ഭാഷ എം.എൽ. യുടെ ഒരു ആധുനിക ഭാഷാഭേദിയാണ് എസ്എംഎൽ. വ്യാപകമായി ഉപയോഗിക്കപ്പെടുന്ന ഭാഷകളിൽ ഇത് ഒരു പ്രത്യേക നിർവചനമാണ്, സ്റ്റാൻഡേർഡ് എംഎല്ലിന്റെ നിർവ്വചനത്തിൽ ടൈപ്പിങ് നിയമങ്ങളും പ്രവർത്തനപരമായ സെമാന്റിക്സും നൽകിയിരിക്കുന്നു, (1990, ദി സ്റ്റാൻഡേർഡ് എംഎൽ (പരിഷ്ക്കരിച്ച പതിപ്പ്)പരിഷ്കരിച്ചതും ലളിതവൽക്കരിച്ചതും 1997 ലാണ്.)[3]