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

Question

Как написать псевдокод для языков программирования, таких как Scheme или Haskell? Все, что я искал, показал псевдокод стиля C или Python.

Answer 1

Если я пишу алгоритм в псевдокоде в функциональном стиле, то я мог бы смешивать и сочетать языки, но буду последовательно использовать:

• позволяет переплету переменных
• функции приложения
• карты и складки

Возьмем, например, хэш-функция:

hash data = 
    let blocks = chunksOf blockSize (preprocess data) 
    foldr updateContext initialContext blocks 

Answer 2

В SICP и, возможно, в других учебниках у вас есть что-то оптимистичное программирование. Вместо псевдокода вы просто называете вещи и предоставляете аргументы, которые они могут принять. Так представьте, что вы хотите сделать дерево Хаффмана из списка отсортированных узлов от самой низкой до самой высокой частоты:

(define (huffman nodes) 
    (if (single-node? nodes) 
     (first nodes) 
     (let ([new-node 
      (make-node (first nodes) 
         (second nodes))]) 
     (huffman (insert-sorted new-node   
           (cddr nodes)))))) 

Это полный алгоритм и он даже станет частью полученного фактического кода, так это тоже не псевдо-код. single-node?, make-node, insert-sorted не определен, и в Схеме вы получите сообщение об ошибке, но в CL вы могли бы использовать это, и он перепрыгнул бы в отладчик, где вас спросили, хотите ли вы определить некоторые из них, чтобы вы в основном затем выполняйте недостающие части по мере продвижения и продолжайте выполнение, пока все не будет завершено.

Я думаю, что в Haskell или любом другом языке программирования, а не только в функциональных, вы можете сделать такое оптимистическое программирование - на языке, который вы реализуете, конечно. В конечном результате могут быть небольшие изменения, но это не больше, чем в других рефакторингах.