Separate a time value from its source.

Dates, instants and clocks in Raven.

func ShowCurrentTime() {
    let clock: Clock = SystemClock()
    let instant = clock.Now
    let local = instant.ToLocalDateTime()
    WriteLine(local.Date.Year)
    WriteLine(local.Time.Hour)
}

This helper reads the host clock and prints the local year and hour; those values naturally vary. The complete sample also uses a fixed Clock to check deterministic Instant and Duration comparisons.

Complete executable sample → · VS Code setup →

Behavior and limits.

.NET already separates DateOnly and TimeOnly and supports injectable time through TimeProvider. This API starts with those distinctions and typed validation outcomes. The current local conversion uses host settings; it is not a general timezone or calendar API.

PROPOSED DIRECTION

Where we’re heading.

The proposals add timezone rules, calendar-aware values and presentation through globalization. More types can make distinctions clear but bring data and conversion obligations. Formatting, parsing and culture behavior remain separate work.