Я уже немного узнал о точках с запятой FFL из моего предыдущего вопроса . Однако до сих пор неясно, какой порядок оценки или выполнения они применяют. Итак, вот более конкретный пример: [ expr_a, expr_b ; expr_c, expr_d ; expr_e, expr_f ]...

Итак, в языке формул Frogatto у нас может быть предложение where с несколькими присваиваниями, например, где a = yadda, b = foo Однако я не могу ссылаться на a в назначении b ? Я надеялся упростить, разбив его на шаги, where a = ..., b =...