从固定格式YYYYMMDD字符串生成DateTime值的简化实现问询

安全阿岳

2026-5-22

Simplifying "YYYYMMDD" String to DateTime Conversion in Haskell

Hey there! Let's streamline that date conversion code—your current implementation works, but we can ditch the custom stringToInt and make the whole process way cleaner using Haskell's standard library tools.

First, Ditch the Custom String-to-Int Function

Your stringToInt gets the job done, but Haskell has built-in functions for this exact task. The read function (from the Prelude) safely converts numeric strings to integers, and since you've confirmed the input format is always valid ("YYYYMMDD" with no errors), we don't need to handle edge cases here.

Step 1: Split the Fixed-Format String

Since your input is always 8 characters long in "YYYYMMDD" format, we can split it cleanly into year, month, and day components using basic string operations:

splitDateParts :: String -> (String, String, String)
splitDateParts s =
    let (yearStr, remaining) = splitAt 4 s
        (monthStr, dayStr) = splitAt 2 remaining
    in (yearStr, monthStr, dayStr)

This splits the first 4 characters as the year, the next 2 as the month, and the final 2 as the day—super straightforward and easy to read.

Step 2: Convert to DateTime

Now, let's wire this up to your DateTime type. Assuming your DateTime is either a custom type or uses the standard library's time types, here are two common implementations:

If using a custom DateTime type:

Suppose you have a simple custom type like this:

data DateTime = DateTime { dtYear :: Int, dtMonth :: Int, dtDay :: Int } deriving (Show, Eq)

Your conversion function becomes:

stringToDateTime :: String -> DateTime
stringToDateTime s =
    let (yStr, mStr, dStr) = splitDateParts s
    in DateTime (read yStr) (read mStr) (read dStr)

If using standard library time types:

If you're working with Data.Time types (like UTCTime or Day), you can use fromGregorian to create a valid date:

import Data.Time.Calendar (fromGregorian)
import Data.Time (UTCTime(..))

stringToUTCTime :: String -> UTCTime
stringToUTCTime s =
    let (yStr, mStr, dStr) = splitDateParts s
        year = read yStr :: Integer
        month = read mStr :: Int
        day = read dStr :: Int
    in UTCTime (fromGregorian year month day) 0 -- Sets time to midnight; adjust as needed

Why This Is Better

Less code: No need to maintain a custom string-to-int parser—standard library functions are battle-tested and optimized.
Readability: The split logic makes it immediately clear how the input string maps to date components.
Maintainability: If you ever need to adjust the format (though you said it's fixed), modifying the split positions is trivial.

内容的提问来源于stack exchange，提问作者sandwood

从固定格式YYYYMMDD字符串生成DateTime值的简化实现问询

First, Ditch the Custom String-to-Int Function #

Step 1: Split the Fixed-Format String #

Step 2: Convert to DateTime #