Исправление idle, (текущая версия) :
эта запись проистекает из описания «в лоб» той электрической схемы, которая моделируется
теперь понятно, откуда у тебя взялся такой сумматор... ну, это конечно так себе интегрирование ;) но давай начнем с такого.
начни писать что-то вроде
OUT(in, uc) = сложная формула от in/uc; это выход
UC(in, out) = еще одна от in/out; производная uc
lamp(in) = out letrec {
'uc = uc + UC(in, out); // интегратор для бедных
'out = OUT(in, uc);
};
можно и без letrec если предпочитаешь operator ~, так просто проще выглядит.
но что-то я не очень верю в это моделирование... но удачи, хорошо что кто-то пытается.
Исходная версия idle, :
эта запись проистекает из описания «в лоб» той электрической схемы, которая моделируется
теперь понятно, откуда у тебя взялся такой сумматор... ну, это конечно так себе интегрирование ;) но давай начнем с такого.
начни писать что-то вроде
OUT(in, uc) = сложная формула от in/uc; это выход
UC(in, out) = еще одна от in/out; производная uc
lamp(in) = out, uc : _,! letrec {
'uc = uc + UC(in, out); // интегратор для бедных
'out = OUT(in, uc);
};
можно и без letrec если предпочитаешь operator ~, так просто проще выглядит.
но что-то я не очень верю в это моделирование... но удачи, хорошо что кто-то пытается.