order to Bing (2)

前回の続きをやっていく。

ええい、相談しちゃえ。世の中のテクノロジーには、あがらえませんから。

haskellでCSVファイルに追記するプログラムを作成するで
提案されたコードで、範囲外データを入力しても、エラー
メッセージが出ない

:main 2308
2308> 1121 0 0 0
入力が不正です。日時とhigh low plsをスペース区切りで入力してください

ではなくて、
highは80から180の範囲で入力してください
が出てくるべき

こんにちは、Bingです。😊 HaskellでCSVファイルに追記するプログラムを作成するのは素晴らしいと思います。
提案されたコードで、範囲外データを入力しても、エラー メッセージが出ないという問題があるのですね。

エラーメッセージを変更するには、以下のようにコードを修正する必要があります。

こんな提案をしてきた。

-- 範囲外の値をチェックする関数
checkRange :: Int -> Int -> Int -> Bool
checkRange low high x = x >= low && x <= high

-- highの範囲を80から180に設定する
highRange :: (Int, Int)
highRange = (80, 180)

-- エラーメッセージを出力する関数
printError :: String -> IO ()
printError msg = putStrLn $ "入力が不正です。" ++ msg

-- 入力されたデータを検証する関数
validateInput :: [String] -> IO Bool
validateInput [date, high, low, pls] = do
  let high' = read high :: Int
  let low' = read low :: Int
  let pls' = read pls :: Int
  if not (checkRange (fst highRange) (snd highRange) high')
    then do
      printError $ "highは" ++ show (fst highRange) ++ "から" ++ show (snd highRange) ++ "の範囲で入力してください"
      return False
    else if not (checkRange 0 100 low')
      then do
        printError "lowは0から100の範囲で入力してください"
        return False
      else if not (checkRange 0 100 pls')
        then do
          printError "plsは0から100の範囲で入力してください"
          return False
        else return True
validateInput _ = do
  printError "日時とhigh low plsをスペース区切りで入力してください"
  return False

初回のものより、大分後退したように思えるけど、どうよ？

別の日に再チャレンジしてみた。 漫然と要求するんじゃなくて、関数を指定して、改造要求してみたんだ。Eitherを 使うように、提案してきたぞ。

-- 入力をパースしてレコードに変換する関数。パースに失敗したらLeftでエラーメッセージを返す。
parseInput :: String -> String -> Either String Record
parseInput yearMonth input = case words input of -- スペースで分割する
  [dayHour, high, low, pls] -> do -- 要素が4つの場合
    let ymdh = yearMonth ++ dayHour -- 年月と日時を合成する
    unless (isValidDayHour dayHour) $ Left "日時はDDHHの形式で入力してください" -- 日時が正しいかチェックする
    high' <- maybeToEither "highは整数で入力してください" $ readMaybe high -- highを整数に変換する。失敗したらLeftでエラーメッセージを返す。
    unless (inRange 80 180 high') $ Left "highは80から180の範囲で入力してください" -- highが範囲内かチェックする。
    low' <- maybeToEither "lowは整数で入力してください" $ readMaybe low -- lowを整数に変換する。失敗したらLeftでエラーメッセージを返す。
    unless (inRange 50 110 low') $ Left "lowは50から110の範囲で入力してください" -- lowが範囲内かチェックする。
    pls' <- maybeToEither "plsは整数で入力してください" $ readMaybe pls -- plsを整数に変換する。失敗したらLeftでエラーメッセージを返す。
    unless (inRange 40 120 pls') $ Left "plsは40から120の範囲で入力してください" -- plsが範囲内かチェックする。
    return (ymdh, high', low', pls') -- レコードを返す
  _ -> Left "入力はスペース区切りの4つの要素である必要があります" -- 要素が4つでない場合はLeftでエラーメッセージを返す

-- Maybe値をEither値に変換する補助関数。Nothingの場合は指定されたエラーメッセージをLeftに入れる。
maybeToEither :: String -> Maybe a -> Either String a
maybeToEither msg Nothing = Left msg
maybeToEither _ (Just x) = Right x

それでいいんだけど、この提案が上位の関数に波及するな。

-- 入力待ちになる関数
inputLoop :: String -> [Record] -> IO ()
inputLoop yearMonth records = do
  putStr $ yearMonth ++ "> " -- プロンプトに年月が表示される
  input <- getLine -- ユーザーは日時に続いて high low pls を入力する
  if input == endInput -- finが入力されたら
    then do -- CSVファイルとマージして同名なファイル名で保存する
      oldRecords <- readCSV fileName -- 既存のレコードを読み込む
      let newRecords = mergeRecords oldRecords records -- マージする
      writeCSV fileName newRecords -- 書き込む
      putStrLn "CSVファイルに追記しました"
    else do -- fin以外が入力されたら
      either handleError handleRecord $ parseInput yearMonth input -- 入力をパースしてエラーかレコードか分岐する

-- エラーメッセージを表示して入力待ちになる関数
handleError :: String -> IO ()
handleError msg = do
  putStrLn $ "入力が不正です。" ++ msg -- エラーメッセージを表示する
  inputLoop yearMonth records -- 入力待ちになる

-- レコードを挿入して入力待ちになる関数
handleRecord :: Record -> IO ()
handleRecord record = do
  let newRecords = insertRecord records record -- レコードを挿入する
  inputLoop yearMonth newRecords -- 入力待ちになる

注目は、下記。綺麗に分離してくれた。

else do -- fin以外が入力されたら
  either handleError handleRecord $ parseInput yearMonth input -- 入力をパースしてエラーかレコードか分岐する

そのおかげで、yearMonthとrecordsがnot in scopeになってしまった。人間的なエラーを仕出かすなあ。オイラーもやりそ うな失敗だ。

-- 入力待ちになる関数
inputLoop :: String -> [Record] -> IO ()
inputLoop yearMonth records = do
  putStr $ yearMonth ++ "> " -- プロンプトに年月が表示される
  input <- getLine -- ユーザーは日時に続いて high low pls を入力する
  if input == endInput -- finが入力されたら
    then do -- CSVファイルとマージして同名なファイル名で保存する
      oldRecords <- readCSV fileName -- 既存のレコードを読み込む
      let newRecords = mergeRecords oldRecords records -- マージする
      writeCSV fileName newRecords -- 書き込む
      putStrLn "CSVファイルに追記しました"
    else do -- fin以外が入力されたら
      either (handleError yearMonth records) (handleRecord yearMonth records) $ parseInput yearMonth input -- 入力をパースしてエラーかレコードか分岐する

-- エラーメッセージを表示して入力待ちになる関数。yearMonthとrecordsを引数として受け取る。
handleError :: String -> [Record] -> String -> IO ()
handleError yearMonth records msg = do
  putStrLn $ "入力が不正です。" ++ msg -- エラーメッセージを表示する
  inputLoop yearMonth records -- 入力待ちになる

-- レコードを挿入して入力待ちになる関数。yearMonthとrecordsを引数として受け取る。
handleRecord :: String -> [Record] -> Record -> IO ()
handleRecord yearMonth records record = do
  let newRecords = insertRecord records record -- レコードを挿入する
  inputLoop yearMonth newRecords -- 入力待ちになる

ここまでで、今日の分を使い果した。 ってか、ユーザーとBingの不毛な喧嘩を避ける為、やりとりは5回までに制限 されているようだ。Bingは常に強気で回答してくる。それに対してカチンとき たユーザーが反論する。それにBingが反論。フレーム(喧嘩)が何時までたっても終了 しない困った状況を回避する為の苦肉の策らしい。もっと大人になれよ、人間 どもよ。

ghci> :main 2308
2308> 0104 120 0 50
入力が不正です。lowは50から110の範囲で入力してください
2308> 0104 120 60 50
2308>

望み通りの動作になったな。

肝は、eitherの活用なんだな。昔お目にかかった事があるけど、ピンとこなかっ た。今回は自分事なんで、しっかりと血肉になった(と思うぞ)。

冒頭の、開けたら閉めよ を実践する為に、改造してみた。

-- CSVファイルからレコードのリストを読み込む関数
readCSV :: String -> IO [Record]
readCSV file = do
  handle <- openFile file ReadMode
  contents <- hGetContents handle -- ファイルの内容を読み込む
  let lines = filter (not . null) $ splitOn "\n" contents -- 改行で分割して空行を除く
  hClose handle
  return $ map parseLine lines -- 各行をパースしてレコードに変換する

いざ、実行。

ghci> :main 2308
2308> 0104 120 60 60
2308> fin
 *** Exception: test.csv: hGetContents: illegal operation (delayed read on closed handle)

遅延読み込みを、クローズされたハンドルに対して行なったと、例外をあげて きた。調べてみると、haskellは必要になるまで、実行を遅延するのが常識ら しい。普通の人からは非常識な動作だ。

このような実行戦略により、無限リストを簡単に扱えたりする。

ghci> take 5 [1..]
[1,2,3,4,5]

1から始まる無限リストの最初の5つを取り出せという指令。 普通なら、最初に無限リストを生成して、ってなって、普通の言語ではここで 破綻する事になる。

が、haskellの場合は、必要になった分だけ、実行がおこなわれる。5つだけ 無限リストから、取ってこい。取りおわったら、そこで終了。無駄な事はしな い戦略。

評価戦略 こちらに実行戦略の説明が出てたぞ。色々な事に気を使わないとい けないってのが大変だ。まあ、その分面白いんだけどね。

Bingは、なかなかいいんだけど、致命的なのは、ずっとセッション出来無い事。 過去の記憶が、まだら模様になるんで、プロンプトに余計な考慮が必要なのが 欠点かな。

スポットで、さっと質問するんなら、ChatGPTみたいに、login出来無い事もな く、便利だと思うよ。

This year's Index

Home