haskell-jp / questions #61

insertLog :: String -> LogField -> IO()
insertLog db' lf = bracket
                   (open db')
                   close
                   $ \conn -> execute conn "INSERT INTO log VALUES (null,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?)" lf

たしか、現在の実装では、当該データベース ファイルに対する更新処理はジャーナル ファイルにいったん保持した後、ジャーナルの世代が古い順からトランザクションとして処理していき（FIFO）、最終的にジャーナル ファイルがなくなるまでファイルを更新し続けます。
その際、更新処理が多重で走ることによりジャーナルをデータベース ファイルに適用するのが間に合わなくなってくると、ロックに関する例外を吐くようになります。

> a x y = putStrLn ("a: " ++ x ++ y)
> b x y = putStrLn ("b: " ++ x ++ y)
> ((>>) <$> a <*> b) "x" "y"
b: xy

...みたいなふるまいをしていますね

((>>) <$> a <*> b) "x" "y"
((fmap (>>) a) <*> b) "x" "y"
(((>>) . a) <*> b) "x" "y"
((\arg -> ((>>) (a arg))) <*> b) "x" "y"
((\arg2 -> (\arg -> ((>>) (a arg))) arg2 (b arg2))) "x" "y"
((\arg2 -> (\arg -> (\k -> (a arg >>= (\_ -> k)))) arg2 (b arg2))) "x" "y"
((\arg2 -> (\arg -> (\k -> (a arg >>= (\_ -> k)))) arg2 (b arg2))) "x" "y" -- Monadの (>>) を展開
((\arg2 -> (\arg -> (\k -> (\r -> (\_ -> k) (a arg r) r))) arg2 (b arg2))) "x" "y" -- (-> r) Monadの (>>=) を展開
(\arg2 -> (\arg k r -> (\_ -> k) (a arg r) r) arg2 (b arg2)) "x" "y" -- 入れ子になったλ式をくっつける
(\arg2 -> (\arg k r -> k r) arg2 (b arg2)) "x" "y" -- (\_ -> k) (a arg r) を簡約。aが消えた！
(\arg2 -> (\r -> (b arg2) r)) "x" "y" -- (\arg k r -> k r) arg2 (b arg2) を簡約。
(\r -> (b "x") r) "y" -- (\arg2 -> (\r -> (b arg2) r)) "x" を簡約。
(b "x") "y" -- (\r -> (b "x") r) "y" を簡約。

do
  a
  b

buildA = runSTUArray $ do
  a <- newArray (0,2) 0 :: ST s (STUArray s Int Int)
  writeArray a 0 999
  -- detail omitted
  return a

λ> a = buildA
a :: U.UArray Int Int
λ> a U.! 0
999

buildAB = runSTUArray $ do
  a <- newArray (0,2) 0 :: ST s (STUArray s Int Int)
  b <- newArray (1,9) 1 :: ST s (STUArray s Int Int)
  writeArray a 0 999
  writeArray a 1 111
  -- detail omitted
  return (a, b)

• Couldn't match type ‘(STUArray s Int Int, STUArray s Int Int)’
                  with ‘STUArray s i e’
  Expected type: ST s (STUArray s i e)
    Actual type: ST s (STUArray s Int Int, STUArray s Int Int)

viewThenSet :: Sample -> Lens' Sample Int -> (Int, Sample)

main = print . viewThenSet (Sample 1 2) $ field' @"sample1"

main = print $ viewThenSet (Sample 1 2) $ field' @"sample1"

{-# LANGUAGE RankNTypes #-}
rankNfunc :: (forall a. Show a => a->b) -> [b]
rankNfunc f = [f 42, f True]

f = length $ rankNfunc $ show  -- OK
g = length . rankNfunc $ show   -- NG

Not in scope: ‘GHC.Arr.unsafeFreezeSTUArray’
No module named ‘GHC.Arr’ is imported.

...
import GHC.Arr (unsafeFreezeSTUArray)
...
buildA' = runST $ do
  a <- newArray (0,2) 0 :: ST s (STUArray s Int Int)
  writeArray a 0 999
  -- detail omitted
  a >>= unsafeFreezeSTUArray