Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The Vienna Development Method (VDM) was developed in the early 1970s as a variant of denotational semantics. VDM descriptions of programming languages differ from the original Scott–Strachey style by making extensive use of combinators which have a fixed operational interpretation. After recalling the main features of denotational semantics and the Scott–Strachey style,  examine the combinators of the VDM specification language, and relate them to monads, which re introduced more than 15 years later.  also suggest that use of further monadic combinators in VDM could be beneficial. Finally,  provide an overview of published VDM semantic descriptions of major programming languages.
['Peter D. Mosses']
I am writing a research paper on a idea VDM semantics of programming languages: combinators and monads
[{"from": "human", "value": "I am writing a research paper on a idea VDM semantics of programming languages: combinators and monads"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The Vienna Development Method (VDM) was developed in the early 1970s as a variant of denotational semantics. VDM descriptions of programming languages differ from the original Scott\u2013Strachey style by making extensive use of combinators which have a fixed operational interpretation. After recalling the main features of denotational semantics and the Scott\u2013Strachey style,  examine the combinators of the VDM specification language, and relate them to monads, which re introduced more than 15\u00a0years later.  also suggest that use of further monadic combinators in VDM could be beneficial. Finally,  provide an overview of published VDM semantic descriptions of major programming languages."}]