- Libraries - Haskell.org

Time library design proposal
by S. Alexander Jacobson 03 Feb '05

03 Feb '05

I read the discussion of Time Library organization, but did not feel like it arrived anywhere. The current design seems like it was expedient for its time, but does not feel particularly robust. It does not handle typical usecases well and provides little protection from user error. So I'm going to take a shot at a proposal: ---- The Y2K problem --------------- It would be nice if the library was explicit about whether year was 2 or 4 digits. Why not define year like this: newtype Year = Year Int -- don't export constructor mkYear century centyear = Year (100*century+centyear) mkBigYear millenium cent centyear = ... Allow Dates without Times ------------------- There are lots of contexts in which you want a date and not a time e.g. storing birthdates. Is there any reason the Time library shouldn't have a standard Date type e.g. data Date = {month::Month,day::Day,year::Year} Don't allow imposible weekdays ------------------------------ Weekday and yearday seem like they should be functions on this Date type and not part of the datastructure (you shouldn't be able to produce weekdays that don't match dates). weekDay::Date->WeekDay Don't allow impossible times ---------------------------- The type of hour minute and second should protect the user from 28 o'clock and making appointments for 31:101 PM So we probably want: data Hour = H0 | H1 | H2 ... H23 data Minute = M0 | M1 | M2 ... M59 data Second = S0 | S1 | S2 ... S59 data AMPM = AM | PM Times Types ----------- There are also lots of contexts where you want a time but not a date e.g. an alarm clock.... data Time = {hour::Hour ,minute::Minute ,second::Second ,millis::Int ,isDST::Bool, ,timeZone::TimeZone } If you have a leap second time that doesn't work in this model, round it! The 99.9999% case does not need to be sacrificed for the occasional physicist who need to know that the time is is 24:00:03. Re millis, yes it seems like it should be Rational, but this is human meaninful time. And humans don't care about millis. We can then produce a DateTime as data DateTime = DateTime {date::Date,time::Time} Epochal High Precision Time -------------------------- If you are doing physicist calculations, then use: data EpochTime a = EpochTime {seconds::Integer ,fraction::Ratio a ,precision::Integer } precision specifies the maximum size of the denominator of the fraction. epochTimeToDateTime::Epoch->DateTime The existing TimeDiff is totally bizarre. If tdSec == 3600 is that an error or is that the same as tdSec == 0 and tdHour == 1? How many months are a difference in months? It all seems too application specific to belong in a library. I don't have a particular good idea here. I think EpochTime does what you need in a library. The last major element we need is: getEpochTime::IO EpochTime Analogous to the old getClockTime but includes the resolution of the system clock. -Alex- ______________________________________________________________ S. Alexander Jacobson tel:917-770-6565 http://alexjacobson.com

8 10

RE: System.Time.Clock Design Issues
by Simon Marlow 03 Feb '05

03 Feb '05

On 03 February 2005 16:32, Scott Turner wrote: > "Simon Marlow" <simonmar(a)microsoft.com> wrote: >> You can still do accurate calculations on calendar times in the >> future, and that's what matters. > > However, the relationship between seconds and the future calendar is > not known. A specific second such as 2005-12-31T23:59:59 may turn out > not to occur. So even CalendarTime is not safe from leap seconds. Yes, I was aware of that but trying not to confuse the issue too much (I mentioned it in a later message). > On 2005 February 03 Thursday 08:00, Ashley Yakeley wrote: >> During the leap second, the system clock is >> stepped, and getClockTime returns the wrong TAI time converted to the >> wrong (by up to a second) UTC time. After the leap second, >> getClockTime continues to return the wrong TAI time, but it is >> converted to the correct UTC time. > > Until there's a system call that provides up-to-date information > about leap seconds, the above-quoted scenario can occur. Since > future conversions between calendar time and TAI are likely > incorrect, how about raising an exception? Actually I very nearly proposed that in an earlier message. You could also do the slightly less drastic: canConvertAccuratelyToCalendarTime :: TAI -> IO Bool and the reverse. Cheers, Simon

3 3

RE: System.Time.Clock Design Issues
by Simon Marlow 03 Feb '05

03 Feb '05

On 03 February 2005 10:44, Ashley Yakeley wrote: > OK, so we have > > * POSIX time > > Can do accurate calculations on calendar times. > Can store UTC times reliably. > Cannot store TAI times reliably. > Broken for all leap seconds. > > * TAI time with limited leap-second table > > Can do accurate calculations on calendar times. > Cannot store UTC times reliably. > Can store TAI times reliably. > Broken for leap seconds after table runs out. > > Which of these is better? The point is that everything you can do with a POSIX time you can also do with a calendar time, which we need anyway. So why have a POSIX time too? Cheers, Simon

3 3

RE: Text.PrettyPrint.HughesPJ inserting blank lines
by Simon Peyton-Jones 03 Feb '05

03 Feb '05

I recall that making 'empty' a unit for <> and <+> and $$ was one of my main goals in revising John Hughes's library. I recall also that it got more complicated than I expected, and I didn't feel very satisfied with the result, though it has worked pretty well for years. If anyone wants to peer into the implementation and add combinators along the lines of those below, that's fine with me. Vertical operations should be easier to do than horizontal ones, because the question of where to insert line breaks doesn't arise. Whether the code below does the job, I couldn't say without looking in detail -- and I'm hoping someone else will do that. It's crucial to maintain the property that you can print an arbitrary long document in bounded space. It would be a great service to also add Haddock documentation, please! Simon | -----Original Message----- | From: libraries-bounces(a)haskell.org [mailto:libraries-bounces@haskell.org] On Behalf Of Christian | Maeder | Sent: 02 February 2005 12:58 | To: Tomasz Zielonka | Cc: libraries(a)haskell.org | Subject: Re: Text.PrettyPrint.HughesPJ inserting blank lines | | Tomasz Zielonka wrote: | > This is ugly: | > | > x $++$ y = (x <> text "") $+$ text "" $+$ (text "" <> y) | > | > However, I don't know if it's OK that (show (empty $++$ empty) == | > "\n\n"). | | I want "empty" to be a unit of $++$ as well, so that | | -- | list version of '($++$)' | vsep :: [Doc] -> Doc | vsep = foldr ($++$) empty | | works. Therefore I suggest: | | -- | vertical composition with a specified number of blank lines | aboveWithNLs :: Int -> Doc -> Doc -> Doc | aboveWithNLs n d1 d2 = if isEmpty d2 then d1 else | if isEmpty d1 then d2 else | d1 $+$ foldr ($+$) d2 (replicate n $ text "") | | -- | vertical composition with one blank line | ($++$) :: Doc -> Doc -> Doc | ($++$) = aboveWithNLs 1 | | Cheers Christian | _______________________________________________ | Libraries mailing list | Libraries(a)haskell.org | http://www.haskell.org/mailman/listinfo/libraries

1 0

New HsDNS release
by Peter Simons 02 Feb '05

02 Feb '05

Find it here: http://cryp.to/hsdns/ Changes: * Moved into hierarchical namespace. * Cabalized.

1 0

RE: Time library design proposal
by Bayley, Alistair 02 Feb '05

02 Feb '05

> From: Keean Schupke [mailto:k.schupke@imperial.ac.uk] > > data Gregorian = Gregorian { > second :: Int, > minute :: Int, > hour :: Int, > dayOfMonth :: Int, > dayOfWeek :: Int, > weekOfYear :: Int, > monthOfYear :: Int, > Year :: Int } -- enumerations may make more sense for > dayOfWeek/monthOfYear I don't like the redundancy here. dayOfWeek and weekOfYear can (and should) be derived from the dayOfMonth+monthOfYear+year. Having to specify them in addition to the other fields is a major PITA, and one of the reasons the current CalendarTime library is so unsavoury (why do I need to say what day of the week it is? pah). Alistair. ----------------------------------------- ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************

2 1

RE: Time library design proposal
by Bayley, Alistair 02 Feb '05

02 Feb '05

[Oops, replied only to Ashley, not to list.] > From: Ashley Yakeley [mailto:ashley@semantic.org] > > There's something to be said for representing date and time of day > separately in calendar time, something like this: > > data CalendarDate = CalendarDate ... > > data TimeOfDay = TimeOfDay ... > > data CalendarTime = CalendarTime > { > ctDate :: CalendarDate, > ctTime :: TimeOfDay > } > > On the other hand, it adds two levels of construction to CalendarTime. I'm not convinced. I think it would be simpler and just as functional to have just a CalendarTime and a Duration. You would represent a time by a Duration (i.e. time since midnight), and a day with no time component would be represented by that date at midnight. You could add a Duration to a CalendarTime to get a date-with-time. Durations have other uses (differences between two CalendarTimes, summing other Durations, etc), whereas a TimeOfDay is limited to a 24hr period. Alistair. ----------------------------------------- ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************

1 0

Text.PrettyPrint.HughesPJ inserting blank lines
by Christian Maeder 02 Feb '05

02 Feb '05

I've found myself using "$+$ space $+$" in order to insert a blank line between two docs. There are probably other ways to do it. "(test "")" (and $$) instead of "space" (or $+$) also work in many cases (but not "empty"). Which way would be the best? Maybe one could add a further function "$++$" to do this and a list version "vsep" of "$++$"? Another idea might be something like a vertical space "vspace" so that several blank lines would be created by: $$ vspace $$ vspace $$ ... Cheers Christian

3 3

RE: Data.Graph patch
by Simon Marlow 02 Feb '05

02 Feb '05

On 31 January 2005 22:20, John Meacham wrote: > Here is a patch for Data.Graph which fixes an oversight in > graphFromEdges. graphFromEdges returns a function which turns vertexes > into nodes, but provides no way to go the other direction and figure > out which vertex goes with a node. I simply return the already created > function of type key -> Maybe Vertex in the tuple. > > I provided it as a new function > graphFromEdges' and left the old functionality under the old name. if > we don't care about backwards compatability, I'd recommend just > replacing the one that is already there since it is a more complete > interface and an easy transition for anyone currently using the > library. Does anyone care if we simply change the interface to graphFromEdges? Cheers, Simon

1 0

RE: Question about packages and GHCi
by Simon Marlow 02 Feb '05

02 Feb '05

On 02 February 2005 11:17, Malcolm Wallace wrote: > "Simon Marlow" <simonmar(a)microsoft.com> writes: > >>> (1) When I try to add a package to ghc, I receive the >>> error message that a GHCi lib file cannot be found. >>> >>> > ghc-pkg -u -i fgl.pkg >>> Reading package info from "fgl.pkg"done. >>> Expanding embedded variables... done. >>> warning: can't find GHCi lib `HSfgl.o' >>> Saving old package config file... done. >>> Writing new package config file... done. >>> >>> The missing file `HSfgl.o' is located on the >>> current directory as well as in the directory >>> where all other .o and .a files for GHC are >>> kept (/usr/local/lib/ghc-6.2/). >> >> ghc-pkg is looking in the directories specified in the library_dirs >> field in fgl.pkg. HSfgl.o should be in one of those directories. > > This has puzzled me for a long time as well. I /always/ get this > warning message, even when the HSfoo.o file is in the correct place, > as listed in library_dirs. Strange. I just tried a simple example, and didn't get the warning, so at least it's not completely broken. Can someone who is getting this warning send me: the package config being fed into ghc-pkg, and an ls -l of each directory in library_dirs. Cheers, Simon

1 0