Fibonacchi number with ST Monad

Main.purs

module Main where

import Prelude
import Effect (Effect)
import Effect.Console (logShow)
import Control.Monad.ST (run, for)
import Data.Array.ST.Partial (peek)
import Data.Array.ST (thaw, push)
import Partial.Unsafe (unsafePartial)

fibo :: Int -> Int 
fibo n = unsafePartial $ run do 

  arr <- thaw [0, 1]

  -- 2からnまでfor文で繰り返す。
  for 2 (n + 1) \i -> do
    -- 配列に継ぎ足すのは、
    -- 1つ前の数値と2つ前の数値を足したもの。
    lhs <- peek (i - 1) arr
    rhs <- peek (i - 2) arr
    push (lhs + rhs) arr

  peek n arr
  
main :: Effect Unit
main = do
  logShow (fibo 10)