Stef Joosten

The type system of Ampersand is sometimes more restricting than necessary. See, for example, issue #1147. Besides, the Haskell code for disambiguation is so terse that we decided (many years...

Strange warning: Ampersand is case-sensitive. you might have meant that the following are equal

2

# What happened I got the following warning from the Ampersand compiler vs. Ampersand-v4.7.1: ``` Unknown origin warning: Ampersand is case-sensitive. you might have meant that the following are equal:...

Feature: named syntactical objects with identifiers and labels.

5

# Problem We have "named syntactical objects" (nso's), such as interfaces, rules, and patterns. Each instance has a unique name. Currently, Ampersand uses that name for two different purposes: to...

# What happened Consider the following Ampersand script, which I'm running FROM ampersandtarski/prototype-framework:v1.14: ```Ampersand CONTEXT Switch_demo REPRESENT Bool TYPE BOOLEAN RELATION flip[SESSION*Bool] [UNI] INTERFACE switch : "_SESSION"[SESSION] BOX [ flipje...

This is what I saw, when running a prototype on my localhost:  I ran this FROM ampersandtarski/prototype-framework:v1.14 This is the source code: ```Ampersand CONTEXT Switch_demo REPRESENT Bool TYPE BOOLEAN...

# Problem When developing a prototype, I wrote the following rule: ```Ampersand RULE startpuntVanRoutes : vanEnd;vanEnd~/\berichttype;berichttype~/\naarEnd;naarEnd~ |- (vanEnd;vanDeel~/\berichttype;ber~/\naarEnd;naarDeel~);I[Deelroute];(vanEnd/vanDeel/\naarEnd/naarDeel/\berichttype/ber)~ ``` The prototype took forever to evaluate this rule (approx. 30 minutes)....

As a migration engineer, I want to change an existing system (in production) in increments. For each increment, I want to migrate the population to the new system without loss...

After the migration of system $A$ to $B$, the remainders of $A$ and the migration system have to be removed so that only $B$ remains. This involves deleting the right...

# Problem Each time I start a new project, I am copying the directories and files from the [new project repo](https://github.com/AmpersandTarski/project-template), in order to run `docker compose build` on the...

The type system treats ENFORCE and RULE differently.

5

# What happened I am trying to compile the following program: ```Ampersand CONTEXT "Issue1397" CLASSIFY Application ISA MaintainedItem RELATION deployed[MaintainedItem*Platform] RELATION loaded[Application*Platform] ENFORCE loaded >: deployed ENDCONTEXT ``` This produces...