[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: What is syntax lifting?

• From: "Liam R. E. Quin" <liam@fromoldbooks.org>
• To: "xml-dev@lists.xml.org" <xml-dev@lists.xml.org>
• Date: Wed, 04 Sep 2019 22:17:30 -0400

On Wed, 2019-09-04 at 16:26 +0000, Costello, Roger L. wrote:
> Hi Folks,
> 
> Recently I heard this term "syntax lifting" or sometimes just
> "lifting."

Syntactic lifting is usually when a language has syntax for doing the
sort of lifting that Dmitry described.

You find it in languages that extend ML or Haskell, for example -
languages grounded in denotational semantics and symbolic logic. You
might also find it used to describe "special forms" (a sort of macro)
in languages based on Scheme.

For example, a language might have syntax like,
  let double := lift double(integer) to double(floatingpoint)

Liam


-- 
Liam Quin, https://www.delightfulcomputing.com/

Upcoming courses: CSS for XML People; XSLT 3 from 2

• References:
  • What is syntax lifting?
    • From: "Costello, Roger L." <costello@mitre.org>