Прекрасный синтаксис-2

[nponeccop]

import Data.IORef
facM n = do
accRef <- newIORef 1
nRef <- newIORef n
let go = do {
acc <- readIORef accRef;
n <- readIORef nRef;
writeIORef accRef (acc * n);
writeIORef nRef (n - 1);
if (n > 2) then go else readIORef accRef
}
goТеперь только вопросы по х-ю: 1. Как выглядит идиоматичный луп в таком стиле 2. Есть ли

Comments

[aklepatc]

Теперь вы расскажите, как вам удалось это сверстать (в смысле код).

[nponeccop]

В смысле "сверстать"? форматирование - pre в старой версии редактора.

А дойти до того, что точки с запятой работают -- довольно просто. Были промежуточные варианты разные. См. https://codereview.stackexchange.com/a/283479/16287

[aklepatc]

Вы, вроде бы, говорили, что у вас нет доступа к старой версии редактора.

[nponeccop]

Мне тут в комментариях к предыдущему посту помогли включить https://nponeccop.livejournal.com/719366.html

[boroda]

А вот тут есть while почти как в C: https://hackage.haskell.org/package/loop-while-1.0.0/docs/Control-Monad-LoopWhile.html

Остается только к телу цикла присобачить декоратор для изменения счетчика.

[nponeccop]

Это неправильная либа. Правильная вот https://www.stackage.org/haddock/lts-20.11/monad-loops-0.4.3/src/Control.Monad.Loops.html#whileM_

Будет так:
facM nn = do
accRef <- newIORef 1
nRef <- newIORef nn
whileM_ ((> 1) <$> readIORef nRef) $ do
modifyIORef accRef (\x -> x * n)
modifyIORef nRef (\x -> x - 1)
readIORef accRef