Each rewrite rule or rewriting strategy applies to an implicit subject term. See rules versus strategies for a discussion.

-- Eelco Visser - 13 May 2003

The implicit current subject term is related to the Point Free Style? in functional programming. In this style function declarations never mention the actual arguments they will be applied to.

See the Haskell Wiki:

-- Martin Bravenboer - 20 Jun 2003


Revision: r1.2 - 20 Jun 2003 - 13:11 - MartinBravenboer
Stratego > StrategoGlossary > CurrentSubjectTerm
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback