Standard Meta Language (SML) is a type-safe programming language that encapsulates numerous innovative ideas in programming language plan or design. It is a statically composed language, with an extensible type framework. It supports polymorphic type inference, which eliminates the burden of specifying types of variables and significantly encourages code re-use. It provides a productive programmed capacity for data structures and functions. It is a general-purpose, particular, functional programming language with compile-type checking and type inference. It is mainstream among compiler scholars and programming language analysts, as well as in the improvement of proving theorems. It is an advanced version of ML, the programming language utilized in the Logic for Computable Functions (LCF) hypothesis-demonstrating project. It is particular among generally utilized languages that have a proper specification, given as typing rules and operational semantics which was fully developed in 1997.
Basic Elements of SML
1. Expression: An expression is represented using the operands and operators. In this, Infix expression is required for the evaluation of expressions.
- 10 + 20 val it = 30 : int
2. Variables: Here, the variables can be defined using the val keyword.
- val a = 2; - val b = 3; - val c = a + b; val c = 5 : int
3. Print: The print command is used to display the output in SML.
- print ("Hello this is my first program in SML "); Hello this is my first program in SML val it = () : unit
4. Conditional Statements: The condition can be specified using if-else keywords.
- if 10 > 20 then print ("Yes") else print ("No"); No val it = () : unit
5. Functions or Procedure: The operator fun is used to define the functions.
- fun fact 0 = 1
6. Recursion: A recursion is an approach in which function calls itself within an argument and upon reaching the termination condition the control returns to the calling function. There are two properties that a recursive function must have:
- Base Criteria: There must be at least one base criteria or condition such that when this condition is met the function stops calling itself recursively.
- Progressive Approach: The recursive calls should progress in such a way that each time a recursive call is made it comes closer to the base criteria. Many programming languages implement recursion using the stack data structure.
Example of recursion in a factorial program developed in SML
7. List manipulation and List processing in SML: List is represented as:
- [10, 20, 30, 40]; val it = [10, 20, 30, 40] : int list
Example#1: To find the sum of all the elements of a list.
Example#2: To find the product of all the elements of a list.
Example#3: To find the length of a list without using length keyword.
Advantages of SML
- It has a high-level design pattern. Its layout allows programming more efficient and reliable with the automation and suppression of many low levels Information such as data formation and resource control.
- It provides coherency and articulation i.e., the ability to treat functions as top-notch attributes, the use of higher-order functions to demonstrate a wide range of system components, the use of matching patterns for precise statistical analysis and the accessibility of indispensable constructions provide great declarative programming within a predictable and clear theoretical framework.
- It provides security and being resilient it helps in variable type checking which identifies many compile-time errors. Error detection is boosted by the use of pattern recognition, which aims to maintain protection of all cases since the compiler can identify and remove unfinished matches statically, and by the anomaly method, which offers a type-safe, diligent way of dealing with prospective runtime exceptions.
- It offers modularity. The ML module is an endogenous subset of the fundamental framework. It offers the requirement and execution of interface detachment and promotes abstraction and parameterization. These services are very efficient in constructing large programs and identifying the elements of generic, reusable software.
Disadvantages of SML
- The main disadvantage of SML is that it suffers from ‘fragmentation’ i.e., several specific activities, such as producing random numbers, sorting (either lists or arrays), or some form of associative sequence, it lacks functions and data structures.
- It has a weak implementation. If there was a really powerful design, the drawbacks of the digital library could have been solved.
- It was developed or standardized quite early, before really maturing the script. The initial ML standard missed many of usable databases, and the model had a few nightmares such as low form variables. Therefore, using Ocaml or Haskell became a lot better for humans.
- Difference Between C Language and LISP Language
- JSTL | JSP Standard Tag Library
- Compute Variance and Standard Deviation of a value in R Programming - var() and sd() Function
- How To Develop A Standard SQL Suite For A Robust Streaming Process?
- JCL (Job Control Language)
- P : A Programming Language
- Python – The new generation Language
- Using Vectors in Processing Language
- Swift Programming Language
- Which language should you learn first if you want to make an app?
- Which Programming Language to Choose?
- Features of C Programming Language
- Natural Language Programming
- What Are the Tidyverse Packages in R Language?
- Introduction of HIP parallel programming language
- What is Puppet Domain-Specific Language?
- Introduction to the C99 Programming Language : Part II
- Introduction to the C99 Programming Language : Part III
- Which Programming Language Should I Choose as a Beginner?
- Introduction to the C99 Programming Language : Part I
If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to email@example.com. See your article appearing on the GeeksforGeeks main page and help other Geeks.
Please Improve this article if you find anything incorrect by clicking on the "Improve Article" button below.