type User = String
type Password = String
type UsersTable = [(User,Password)]

-- контекстом служит таблица
pwds :: UsersTable
pwds = [("Bill","123"),("Ann","qwerty"),("John","2sRq8P")]

-- возвращает длину пароля пользователя  или -1, если такого пользователя нет
getPwdLen :: User -> Reader UsersTable Int
getPwdLen person = do
  mbPwd <- asks $ lookup person 
  let mbLen = fmap length mbPwd
  let len = fromMaybe (-1) mbLen
  return len

> runReader (getPwdLen "Ann") pwds
6
> runReader (getPwdLen "Ann") []
-1

  myContext = <some context>
  myFun(myContext,<some other arguments>)

AC>  myContext = <some context>
AC>  myFun(myContext,<some other arguments>)
AC>

1) если ($intencity_sensor > 100), то воздействие A1 /*отключить питание по каналу 1*/;
2) если ...
...

1) если ($intencity_sensor > 100) AND "при воздействии A1 интенсивность процесса будет не меньше 50", то воздействие A1;
2) если ...
...

1) если ($intencity_sensor > 100) AND [@A1 NOT (get_intensity[]  < 50) @], то воздействие A1
2) если ($intencity_sensor > 100) AND [@A2 NOT (get_intensity[]  < 50) @], то воздействие A2

L1:= $intencity_sensor > 100 /*условие выхода за верхнюю границу номинального диапазона*/
L2:= get_intensity[]  < 50   /*прогнозное условие выхода за нижнюю границу номинального диапазона*/

1) если L1 AND [@A1 NOT L2 @], то воздействие A1
2) если L1 AND [@A2 NOT L2 @], то воздействие A2

task=(){do something; return 1};
res1=context1.compute(task);
res2=context2.compute(task);

rfq>Контекст (в контексте вашей задачи ) — это вычислитель, которому передается задание на вычисление. Задание на вычисление проще всего оформить в виде указателя на функцию. Обращение к вычислителю — в виде вызова функции:

rfq>task=(){do something; return 1};
rfq>res1=context1.compute(task);
rfq>res2=context2.compute(task);
rfq>

//////////////////////////////////////////////////
class CContext
{
public:
  std::string do_something(){return "Context scope";}

  std::string compute(std::string (*task)(void)){ return (*task)();}
};
//////////////////////////////////////////////////

std::string do_something(){return "Global scope";}

std::string task(void){ return do_something();}

void main(void)
{
   cout<<CContext().compute(&task);
}

//> Global scope

<заглавие с именем модели>
<параметры>
<описание входов-выходов>
<тело программы>

hot_objects_with_two_heaters                                   //Заглавие
Parameters:
  object_coefficient = 123
  first_heater_power = 1000
  second_heater_power = 500
Ins-outs:
  I1 = temperature                                             //Вариант синтаксиса: I1:temperature
  O1 = first_heater
  O2 = second_heater
  O3 = coldly
  O4 = hot
Program:
  check = temperature < 22 and temperature be < 25             //Вариант синтаксиса: check = (temperature < 22) and (temperature be < 25)
  on first_heater if check                                     //Подстановка ранее определённого выражения как если бы оно было написано здесь(как в математике). 
  on second_heater if check 
  off first_heater if temperature > 23                         //Вариант синтаксиса: (temperature > 23) -> first_heater off
  off second_heater if temperature > 24 and temperature be < 25  
  on coldly if temperature < 13
  off coldly if temperature > 13
  on hot if temperature > 33
  off hot if temperature < 33

  off second_heater if temperature > 24 and if off first_heater temperature be < 25 
     //Как вариант синтаксиса: (temperature > 24)and(temperature be(if off first_heater) < 25) -> second_heater off