What is The Difference Between Object-Z And ML, Programming Languages

Object-Z is an Object-Oriented Programming Language, while ML is an Interpreted Programming Language

What are Object-Oriented Programming Languages

Object-oriented programming (OOP) is a programming paradigm based on the concept of “objects”, which may contain data, in the form of fields, often known as attributes; and code, in the form of procedures, often known as methods. In OOP, computer programs are designed by making them out of objects that interact with one another. (Wikipedia)

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 Object-Z is an Object-Oriented Programming Language, and ML is an Interpreted Programming Language

Let us now look at the difference between the two:

What is Object-Z Programming Language – A brief synopsis

It was developed at the University of Queensland, Australia. It extends the Z programming language by adding object-oriented features to it.

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.