Есть ли формализованная нотация высокого уровня для псевдокода?

Question

Я хотел бы иметь возможность рассуждать о коде на бумаге лучше, чем просто писать ящики или псевдокод.

Главное здесь бумага. На машине я, скорее всего, очень быстро использую высокоуровневый язык с linter/компилятором, а клавиатура ограничивает то, что можно сделать, несколько.

Тематическое исследование - это APL, язык, который мы полушутям описываем как «только для записи». Вот example:

m ← +/3+⍳4

(Пояснение: ⍳4 создает массив, [1,2,3,4], затем 3 добавляется к каждому компоненту, которые затем суммируются вместе и результат хранится в переменной м.)

Посмотрите, насколько это кратким! Представьте себе, что нужно набирать эти символы в своей повседневной работе! Но, записывая йоту и стрелки на доске, хорошо, экономит время и чернила.

Вот его Haskell эквивалент:

m = foldl (+) 0 (map (+3) [1..4])

И Python:

reduce(add, map(lambda x: x+3, range(4)))

Но принцип позади этих лаконичных языков программирования отличается: они используют слова и знаки препинания для описания высокого (например, fold), тогда как я хочу писать символы для этих общих действий.

Существует ли такой формализованный псевдокод?

Answer 1

Не быть забавным, но вы можете использовать APL. В конце концов, это было первоначально изобретено как математическое обозначение, прежде чем оно превратилось в язык программирования. Кажется, я помню, что было что-то вроде того, о чем я думаю, что вы говорите в лекции Льюкса Тьюринга. Наконец, возможно, Z Notation - это то, что вы хотите: https://en.m.wikipedia.org/wiki/Z_notation