order to Google bard and ChatGPT

https://bard.google.com/

これ、ぐぐる製のAI。アクセスするには、ぐぐるのアカウントが必要なんかな。 過去のセッションを記憶してて、ありありと ChatGPTに敵意剥き出しっ てのがいいな。切磋琢磨して、使いやすくなって下さい。

Bingに投げた質問、CSVファイルへの追記問題をやってみるか。Bingの誤解を 考慮して、もっと精密なプロンプトを作成できるだろうけど、そこはそれ、 schemeの仕様書であるRnRSみたいに、実装者の解釈の幅を持たせるため、前の ままで、やってみる事にする。

import Data.List
import Data.Maybe

main = do
    year <- readLn
    month <- readLn
    prompt $ "2308> "
    let data = getLine
    when (data /= "fin") $ do
        let (day, hour, high, low, pls) = splitAt 4 data
        when (day < 1 || day > 31) $ putStrLn "日付が不正です。"
        when (hour < 0 || hour > 23) $ putStrLn "時間帯が不正です。"
        when (high < 80 || high > 180) $ putStrLn "最高気温が不正です。"
        when (low < 50 || low > 110) $ putStrLn "最低気温が不正です。"
        when (pls < 40 || pls > 120) $ putStrLn "降水量が不正です。"
        let record = (year, month, day, hour, high, low, pls)
        data <- readFile "test.csv"
        let newData = data ++ [record]
        writeFile "test.csv" $ unlines newData
    prompt $ "2308> "

ざっと見、凄いコードだ。

このプログラムは、年月、日時、最高気温、最低気温、降水量をコンソールから入力し、
CSVファイルに追記します。入力が不正な場合は、理由を説明の上、入力待ちになります。

プログラムの使用例は次のとおりです。

$ hoge -ire 2308
2308> 921 133 66 52
2308> 1005 136 70 60
fin
この場合、CSVファイル「test.csv」に次の行が追加されます。

2308, 9, 21, 9, 133, 66, 52
2308, 10, 5, 10, 136, 70, 60

天候のデータって勝手に解釈しちゃったけど、かの国は、華氏を採用してる単 位が田 舎な国なんで、ついお里が出ちゃったのかな。おお笑いの種であります。

がっちりとエラーになるので、エラーログを提示して修正を迫ったら、最後に は、敗北宣言が出された。そりゃそうだ。dataなんてのを気軽に使うって、素 人丸出しもいいとこだぞ。

申し訳ありませんが、私はハスケルの専門家ではありません。他の人に尋ねることをお勧めします。

強気なAIに対して、謙虚なAIって事で、生暖かく見守りましょう。

ChatGPTにも、制作を指示してみた。

最初の返答は、YYMMDDHHを自動入力させるものだった。忖度が過ぎるよ。 ちゃんと指示通りにしてくれと、何度かやりとりした。 Bingと違って、過去の会話を覚えているから、気楽に改良に励む事ができる。 これは、よい環境であるぞ。

-- Required modules
import System.Environment (getArgs)
import Data.List (sortBy)
import System.IO (readFile, writeFile, appendFile)
import Data.Ord (comparing)

-- Data type to represent a record
data Record = Record
  { datetime :: String
  , high :: Int
  , low :: Int
  , pls :: Int
  } deriving (Eq, Show)

-- Read existing CSV file and sort its records
readAndSortRecords :: String -> IO [Record]
readAndSortRecords fileName = do
  content <- readFile fileName
  let records = map parseCSVLine $ lines content
  return $ sortBy (comparing datetime) records

-- Parse a CSV line to get a record
parseCSVLine :: String -> Record
parseCSVLine line =
  case splitByComma line of
    [dateTimeStr, highStr, lowStr, plsStr] ->
      Record dateTimeStr (read highStr) (read lowStr) (read plsStr)
    _ -> error "Invalid CSV line format"

-- Utility function to split a string by commas
splitByComma :: String -> [String]
splitByComma = splitByChar ','
    
-- Utility function to split a string by a character
splitByChar :: Char -> String -> [String]
splitByChar _ [] = []
splitByChar c s =
  let (first, rest) = break (== c) s
  in first : case rest of
    [] -> []
    (_:xs) -> splitByChar c xs

-- Merge new records with existing ones and write to the CSV file
mergeAndWriteRecords :: String -> [Record] -> [Record] -> IO ()
mergeAndWriteRecords fileName existingRecords newRecords = do
  let mergedRecords = mergeSortedRecords existingRecords newRecords
  writeFile ("zz-" ++ fileName) $ unlines $ map recordToCSVLine mergedRecords

-- Merge two sorted lists of records into a single sorted list
mergeSortedRecords :: [Record] -> [Record] -> [Record]
mergeSortedRecords [] ys = ys
mergeSortedRecords xs [] = xs
mergeSortedRecords (x:xs) (y:ys)
  | datetime x <= datetime y = x : mergeSortedRecords xs (y:ys)
  | otherwise = y : mergeSortedRecords (x:xs) ys

-- Convert a record to CSV line format
recordToCSVLine :: Record -> String
recordToCSVLine (Record dateTime high low pls) =
  dateTime ++ "," ++ show high ++ "," ++ show low ++ "," ++ show pls

main :: IO ()
main = do
  args <- getArgs
  let fileName = "test.csv"
  existingRecords <- readAndSortRecords fileName
  case args of
    ["-ire", yymm] -> do
      inputLoop fileName existingRecords yymm
    _ -> putStrLn "Invalid arguments"

-- Input loop to read console inputs and update CSV file
inputLoop :: String -> [Record] -> String -> IO ()
inputLoop fileName existingRecords yymm = do
  putStr $ yymm ++ "> "
  line <- getLine
  case parseInputLine line yymm of
    Nothing -> putStrLn "Finished input. Updating CSV file..." >> mergeAndWriteRecords fileName existingRecords []
    Just (Left errMsg) -> putStrLn errMsg >> inputLoop fileName existingRecords yymm
    Just (Right record) -> inputLoop fileName (record : existingRecords) yymm

-- Parse the input line and create a record or return an error message
parseInputLine :: String -> String -> Maybe (Either String Record)
parseInputLine line yymm =
  case words line of
    ["fin"] -> Nothing
    [ddhh, highStr, lowStr, plsStr] -> do
      let dateTimeStr = yymm ++ ddhh
      high <- readSafe highStr
      low <- readSafe lowStr
      pls <- readSafe plsStr
      if isValidRecord dateTimeStr high low pls
        then Just (Right $ Record dateTimeStr high low pls)
        else Just (Left "Invalid input. Please check the ranges and format.")
    _ -> Just (Left "Invalid input. Please enter the data in the format 'DDHH high low pls'.")


-- Read an Int value safely
readSafe :: String -> Maybe Int
readSafe str =
  case reads str of
    [(x, "")] -> Just x
    _ -> Nothing

-- Check if the record is valid as per the specifications
isValidRecord :: String -> Int -> Int -> Int -> Bool
isValidRecord dateTime high low pls =
  let isValidValue val minVal maxVal = val >= minVal && val <= maxVal
  in isValidValue high 80 180 && isValidValue low 50 110 && isValidValue pls 40 120

特に指示した訳でもないのに、baseなパッケージのみで構成されているのが良 い傾向だ。cabal地獄を回避する為、stackの使用を推奨なんて話しは、どこの 国の事やらと、思っちゃうぞ。

関数が、どんな順番で登録されてるか、少し考察。登録の順番なんて、コンパ イラーに取っては無意味だけどな。

エントリーポイントとなるmainが何処に有る？ C言語だと、通常は最後に置い てある。ボトムアップって考えなんですかね？ 型を決めていって、最後にそ れらを使うって方式。こうしておけば、フォワード宣言が不要になり、コード がすっきりする。

haskellではどうか？ Bingでは、冒頭からmainが定義されてて、以下使われる 順番に沿って定義が表われている。トップダウンにmainを決めて、下位を追加 してくんだな。ツリー・トラバースを知らず知らずのうちに実践してる。これ が、真っ当な方法か。

一方、ChatGPTの方は、mainが出てくる前に、幾つかのユーティリチィー関数 を定義してる。これって、mainの構想の前に、こんな関数が有ったら、便利だ ろうなって、想像して準備してるのかな？ だから、切羽詰って、あわてて外 部パッケージに頼る事もないとな。

外野があーだ・こーだと想像するよりも、本人に聞いてみるのが一番だろう。

コードを作成する時の戦略についてお聞きします。
最初に、data Record宣言するのはhaskellでは常識。
その後、mainの中を記述し、それに合わせて
下位の関数の型を決め、詳細を記述するという方法を
取ると思います。

今回のコードでは、mainの前に、汎用的なコードが
現れています(splitByComma等)。dataが決定したので、
そこから導出できる汎用的なコードもそうです。
それから、mainが出てきて、このアプリ特有なコードが
展開されています。

このような記述スタイルは、ChatGPTに取って自然な方法
なのでしょうか？ それとも、多数のコードを学習したゆえの
結論なのでしょうか？

Haskellのコードを書く際の戦略は、多くのプログラミング言語と同様に、プログラムの構造やデザインに合わせて決まります。コードを構築する際の一般的なアプローチと、特にHaskellの特徴に関連するいくつかのポイントについて説明します。

1. データ型の定義: コードを開始する際、データ型を定義することは重要です。これにより、アプリケーションの主要なデータ構造が明確になります。Haskellの型システムを活用するために、適切なデータ型を設計することが重要です。
2. 主要な処理ロジック: データ型の定義の後、プログラムの主要な処理ロジックを記述します。これには、コンソールからの入力の受け取り、データのバリデーション、CSVファイルへの書き込みなどが含まれます。この際に、コードの一般的な部分を汎用的な関数として抽出することができます（例：文字列の分割やファイルの読み書き）。
3. 下位の関数の型定義: メインの処理を記述する前に、下位の関数の型を定義することが有益です。型を定義することで、コンパイラがコードの一貫性を保証し、バグを見つけるのに役立ちます。
4. モジュール化と抽象化: コードの一部が共通の機能を提供する場合、それをモジュールとして抽象化することができます。これにより、コードベースが整理され、保守性が向上します。
5. コードの流れと読みやすさ: コードを書く際には、処理の流れが読みやすく、理解しやすい形になるように心がけることが重要です。関数やデータ型の命名には意味があり、コメントを適切に使ってコードの意図を説明することも大切です。

Haskellの場合、型安全性と関数型プログラミングの特性を活用することで、コードの品質や信頼性を高めることができます。また、ChatGPTが生成したコードは、多数のコードから学習した結果として、一般的なプログラム構造やベストプラクティスに基づいて生成される傾向があります。ただし、特定の状況や要件に合わせて微調整することが重要です。

bardさんも、見習った方がいいよ。蛇足ながら、プログラミングHaskellとす ごいH本も学習する事を、お勧めします。 bardって詩人という意味みたい。いわゆる文系だな。そうすると、理工系は得 意じゃないのか。マルチリンガルまで、手が回らないんだな。

ついでなんで、bingの意味も調べてみた。俗語で、独房とか麻薬。普通の意味 では、鉱石ですって。ああ、鉱石と変換かけたら、功績も出てきたけど、これ は、日本の辞書だった。

This year's Index

Home