Ужас какие "закорючки"

http://pastebin.com/a1Kx0kcF

1. data State st a = State (st -> (a, st))

Я тоже "баловался" подобным.

Писал что-то вроде.

INTEGER VAR X
>>> X

Или

ARRAY A
>>>[] A

Но склоняюсь в последнее время к следующему:

ЦЕЛОЕ X
"взять значение со стека и поместить в {X}"

МАССИВ A
"взять значение со стека и добавить в массив {A}"

-- по-моему - это конечно "многословнее". Но! Гораздо более понятнее.

Ну или хоты бы:

ЦЕЛОЕ X
10 =: X

МАССИВ A
20 "добавить в массив {A}"

Или:
ЦЕЛОЕ X
10 "присвоить в" X

МАССИВ A
20 "добавить в массив" A

Типа - самодокументируемый код - http://www.delphikingdom.ru/asp/talktopic.asp?ID=82&Order=0&Count=10&pNo=2

"Все было перепробовано. В итоге - "самодокументируемый код". Глядя на который безо всяких комментариев и схем понимаешь, о чем это. Сложно так проектировать и писать? Непросто. Может быть, это и есть высший пилотаж?:-)"

А "закорючки" - я бы оставил бы интегралам, тензорному счислению и уравнениям Максвелла.

P.S. И речь ОТНЮДЬ не идёт о "естественном языке" и тем более не об "искусственном интеллекте". И не о том, чтобы "это было просто писать". ОТНЮДЬ. Такие задачи - НИКТО не ставит. Формальная логика и грамматика - ВСЁ РАВНО там везде присутствует.

Но! Речь идёт о том, чтобы это хоты бы ЧИТАТЬ можно было бы "просто". Типа "по-русски".