Movatterモバイル変換

Haskell超初心者勉強会11回2013/7/29Monday, July 29, 13

今日は「すごいHaskell」本9章もっと入力、もっと出力•入力ストリームからの読み込み•ファイルの読み書き•コマンドライン引き数•ランダム性•bytestringMonday, July 29, 13

入力ストリーム•getContents :: IO String•一度に全てを読み込まない。メモリを食いつぶさない。文字列(文字リスト)を遅延評価する。import Data.Charmain = docontents <- getContentsputStr $ map toUpper contentsMonday, July 29, 13

ファイルの読み込み•hFoo は Handle を引数に取る関数•hGetContents は stdin の代わりにhandle から読み込む•遅延評価import System.IOmain = dohandle <- openFile “baabaa.txt” ReadModecontents <- hGetContents handleputStr contentshClose handleMonday, July 29, 13

ファイルの読み込みwithFile•開いて、関数実行して、閉じる•例外の場合でも確実に閉じるimport System.IOmain = dowithFile “baabaa.txt” ReadMode $ handle docontents <- hGetContents handleputStr contentsMonday, July 29, 13

Control.Exception のbracket•何かして、関数実行して、何かするwithFile’ :: FilePath -> IOMode -> (Handle ->IO a)withFile’ name mode f = bracket (openFilename mode)(handle -> hClose handle)(handle -> f handle)Monday, July 29, 13

Control.Exception のbracketOnError•何かして、関数実行して、例外のときだけ何かする•例：一時ファイルを開いて、処理する、例外のときだけ一時ファイルを消すMonday, July 29, 13

その他の h•h じゃない版と同じ挙動(handle を取る意外は)hClosehGetContentshGetLinehPutStrhPutStrLnhGetCharMonday, July 29, 13

readFile•readFile :: FilePath -> IO String•開いて読んで閉じるimport System.IOmain = docontents <- readFile “baabaa.txt”putStr contentsMonday, July 29, 13

writeFile/appendFile•readFile :: FilePath -> String -> IO ()•開いて書いて閉じるimport System.IOmain = docontents <- readFile “baabaa.txt”writeFile “baabaacaps.txt” (map toUppercontents)Monday, July 29, 13

コマンドライン引数•System.Environment の getArgs/getProgNameimport System.Environmentimport Data.Listmain = doargs <- getArgsprogName <- getProgNameputStrLn “The arguments are:”mapM putStrLn argsputStrLn “The Program name is:”putStrLn progNameMonday, July 29, 13

ランダム性•System.Random モジュール•RandomGen型クラス:ランダム性の源として使える型•Random型クラス:ランダムな値として使える型random :: (RandomGen g, Random a) => g -> (a,g)mkStdGen :: Int -> StdGenMonday, July 29, 13

乱数のテスト•random はピュアな関数•乱数を続けて発生させるときは戻り値の RandomGen を次の乱数源として使う> random (mkStdGen 100) :: (Int, StdGen)(-3650871090684229393,693699796 2103410263)> random (mkStdGen 100) :: (Int, StdGen)(-3650871090684229393,693699796 2103410263)Monday, July 29, 13

randoms•ランダム値の無限リストを返す•RandomGen は返さないrandoms :: (RandomGen g, Random a) => g -> [a]Monday, July 29, 13

randomR•ある範囲の乱数を返す•(下限, 上限) -> (ジェネレータ) ->(乱数, 新ジェネレータ)randomR :: (RandomGen g, Random a) =>(a, a) -> g -> (a, g)Monday, July 29, 13

getStdGen•グローバル乱数ジェネレータを返す•プログラム実行毎に違う値•1実行中は同じ値を返すgetStdGen :: IO StdGenMonday, July 29, 13

newStdGen•グローバル乱数ジェネレータを更新•新しい乱数ジェネレータを返すnewStdGen :: IO StdGenMonday, July 29, 13

thunk•サンク(thunk)＝遅延された計算•リストの未評価の部分は thunk•文字列(文字リスト)は thunk が沢山なので遅いMonday, July 29, 13

bytestring•リストに似たデータ構造•要素は 1 byteのサイズ固定Monday, July 29, 13

正格 vs 遅延• 正格 bytestring (Data.ByteString)• thunk なし• 最初のバイトを評価する時、全体を評価• 遅延 bytestring (Data.ByteString.Lazy)• 64KB chunk 毎に評価される• 64KB は L2 cache にフィットする良いサイズMonday, July 29, 13

pack/unpack•リストと相互変換•Word8 は 8 bits unsigned intpack :: [Word8] -> ByteStringunpack :: ByteString -> [Word8]> import qualified Data.ByteString.Lazy as B> let x = B.pack [99, 97, 110]> x“can”> B.unpack x[99, 97, 110]Monday, July 29, 13

fromChunks•正格ByteStringのリスト ->遅延ByteStringMonday, July 29, 13

bytestring モジュールの関数• Data.List と似た関数• head, tail, init, null, length, map, foldl,foldr, concat, takeWhile, ﬁlter など• http://hackage.haskell.org/package/bytestring/• System.IO と似た関数• readFile :: FilePath -> IO ByteString などMonday, July 29, 13

文字列用プログラムをbytestring 向けに1. 修飾付き import する2. 対応する関数の前にモジュール名を付け足す• まず文字列で書いて、性能が足りなかったら bytestring を試すのがオススメMonday, July 29, 13

Movatterモバイル変換

Change Language

Haskell超初心者勉強会11

Embed presentation

Recommended

More Related Content

What's hot

Viewers also liked

Similar to Haskell超初心者勉強会11

More from Takashi Kawachi

Haskell超初心者勉強会11