• From: "Liam R. E. Quin" <liam@f...>
• To: "xml-dev@l..." <xml-dev@l...>
• 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@m...>