What is The Difference Between PL/I And ML, Programming Languages

PL/I is a Procedural Programming Language, while ML is an Interpreted Programming Language

What are Procedural Programming Languages

Procedural (imperative) programming implies specifying the steps that the programs should take to reach to an intended state. A procedure is a group of statements that can be referenced through a procedure call. Procedures help in the reuse of code. Procedural programming makes the programs structured and easily traceable for program flow.

What are Interpreted Programming Languages

An interpreted language is a programming language for which most of its implementations execute instructions directly, without previously compiling a program into machine-language instructions. The interpreter executes the program directly, translating each statement into a sequence of one or more subroutines already compiled into machine code. (Wikipedia)

While PL/I is a Procedural Programming Language, and ML is an Interpreted Programming Language

Let us now look at the difference between the two:

What is PL/I Programming Language – A brief synopsis

It is an imperative computer programming language targeted at scientific and engineering applications. Mainly intended to perform data processing, it also supports structured programming and recursion.

What is ML Programming Language – A brief synopsis

Robin Milner and his associates at the University of Edinburgh came up with ML in the 1970s. It is an impure functional language as it supports imperative programming. Standard ML is popular among compiler writers and is a modular, functional programming language. Alice is a dialect of Standard ML, which supports distributed computing, multithreading and constraint programming. Caml is another dialect of ML and is a statically typed language that supports automatic memory management. Ocaml is the implementation of Caml that is developed as an open source project. JoCaml is a version of Ocaml based on join-calculus.