Re: [xml-dev] What is syntax lifting?

["Liam R. E. Quin" <liam@fromoldbooks.org>]

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