Ты довольно объемную дискуссию предлагаешь, с примерами-то. Это требует времени. Составление понятных и валидных примеров - это не для чатика, это даже когда доклад готовишь, чуть ли не самая затратная часть.

Но чем тебя пример с шахматами не устраивает?


findBestMove 0 piece = pure (Left (SearchExausted piece))
findBestMove deep piece = do
  move <- selectNextMove piece
  value <- evaluateMove piece move
  if (isGoodEnough move value)
     then pure (Right (piece, move, value))
  else
     findBestMove (deep - 1) piece  

doMove = do
 pieces <- getAvailablePieces
 eMoves <- mapM (findBestMove 10) pieces
 let failedPieces = lefts eMoves
 
 mapM_ showFailedPiece failedPieces

where
   showFailedPiece (Left (SearchExausted piece)) = ...
   showFailedPiece (Left (ValueIsLow piece)) = ...

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

Вспоминается статья «давно не брал я в руки шашек» из журнала практики ФП :-)

Погоди, а это не оттуда ли код?

Но там были шашки а не шахматы :-)

Не, из головы

Включать режим последовательного вычисления номад :)

Оно ж ленивое в хаскелле. :-)

А будут последовательные!

Тьфу. Я забыл, что такое ленивые. :(

Это не про параллельность

Прошу простить и убить

Ха. Ничего не будет

:-(

А можно проткнуть мультиметром палец на одной руке и палец на другой и потом попробовать измерить сопротивление 😏

http://fprog.ru/2009/issue1/dmitry-astapov-checkers/

Во

Хотя там особо монадами не обмазывались

Жаль, что журнал больше не выходит

Ну это как бы подтверждение практичности функционального программирования вообще и монад в частности.