- Haskell-Cafe - Haskell.org

weak references and sharing
by Thomas Conway 06 Mar '07

06 Mar '07

Hi All, I have the situation where I have something like the following: type Foo = TVar Int data Clasp t = Clasp t makeClasp x f = do let c = Clasp x mkWeakRef c (Just (f x)) return c finis p = do atomically $ do x <- readTVar p writeTVar p (x - 1) .... makeClasp p finis .... The Foo object has a greater lifetime than the Clasp. The bit I want you to focus on is the three lines: let c = Clasp x mkWeakRef c (Just (f x)) return c We can only be sure that (f x) will be called after we let go of the returned value if we can be sure that the language implementation preserves the (explicit) sharing of 'c' between the call to mkWeakRef and return. In particular, if the implementation rewrote the fragment as: mkWeakRef (Clasp x) (Just (f x)) return (Clasp x) then the finalizer might be called sooner than we expect. The problem is, that as I read it, making a distinction between the two fragments would be a violation of referential transparency. So here's the question: is there a way of writing this that is guaranteed to work on all correct implementations of Haskell? cheers, T. ps FWIW, the actual situation is that we have a TVar pointing to a record representing a 'page' of an external data structure. For some operations we need to make sure the the page is in-memory, but when all the operations using a particular page are finished, we'd like to flush it back to disk if it has been modified. Now it'd be really nice to use the garbage collector to tell us when noone is using the in-memory version of the page, so we can write it out. However, if we can't be certain that we've got a genuine hard-reference to the object, then we can't be sure it will not be prematurely flushed. -- Dr Thomas Conway You are beautiful; but learn to work, drtomc(a)gmail.com for you cannot eat your beauty. -- Congo proverb

1 0

IO and lazyness.
by D.V. 06 Mar '07

06 Mar '07

Hello, I'm still learning Haskell and I am stuck on a probably simple problem. Assume I have a file where lines are of the form "key=value" I want to search a value in that file and came up with the following code. > rechf :: String -> IO (Maybe String) > rechf r = bracket (openFile "liste" ReadMode) (hClose) (rechf2 r) > > rechf2 :: String -> Handle -> IO (Maybe String) > rechf2 r h= do > f <- hGetContents h > --print f > return $ rech r $ lines f > > rech :: String -> [ String ] -> Maybe String > rech r l = lookup r $ map span2 l > > span2 :: String->(String,String) > span2 c = (a,b) > where a=takeWhile (/='=') c > b=drop 1 $ dropWhile (/='=') c Now the problem is this : 1) if I try rechf, it returns nothing even for a key that exists in the file. 2) if I uncomment the line where there is "print f", the key is found and the value returned. I'm guessing print forces f to be evaluated, so the file is actually read, but I was wondering why it doesn't work without it and how to correct that. David.

8 11

Literate haskell format unclear (implementation and specification inconsistencies)
by Isaac Dupree 06 Mar '07

06 Mar '07

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Trying to implement literate haskell[*], I realized several ways in which the correct behavior for unliterating (especially with regard to errors) was unclear. I have several cases which ghc, hugs and Haskell 98 have differing opinions on! The Report as it stands is far from a clear and complete specification (and I didn't find anything in the Haskell' wiki/trac about literate haskell). [*](particularly, to make DrIFT able to deal with TeX-style lhs - there's unfinished work in darcs repo http://isaac.cedarswampstudios.org/2007/DrIFT/ ) testing with: ghc: 6.4.2, 6.6(some) hugs: Hugs Version 20050308 nhc98: recent darcs (1.19) report: Haskell 98 (The Revised Report: December 2002), section 9.4, http://www.haskell.org/onlinereport/syntax-iso.html#sect9.4 A full set of .lhs test files for all the issues: darcs get http://isaac.cedarswampstudios.org/2007/LiterateHaskellTests or download http://isaac.cedarswampstudios.org/2007/LiterateHaskellTests-1.tar.gz or you can try just prefixing all examples with \begin{code} module Main where main = print str \end{code} or >module Main where > main = print str as appropriate... (please don't get mangled by mail programs, initial '>'s... ): 1.[UnmatchedBegin] If a \begin{code} starts a section of code, is \end{code} _required_ before the end of the file? report: unclear ghc: required hugs, nhc98: not required The report says "entirely enclosed between", but goes on to say "More precisely:" and give a description that is not at all precise in the matter of this question. 2.[AfterBeginOrEnd/{BeginWhite,EndWhite,BeginPrint,EndPrint}] Can a line beginning \begin{code} or \end{code} have additional stuff on the end, where the directive is understood and the additional stuff is ignored? report:[yes] hugs:[yesIffAdditionalStuffIsInvisible] ghc:[case beginningOfLine of "\end{code}" -> yes "\begin{code}" -> yesIffAdditionalStuffIsInvisible] nhc98:[UNLIT_IGNORED] where yesIffAdditionalStuffIsInvisible = if (all isSpace additionalStuff) then yes else UNLIT_IGNORED UNLIT_IGNORED means that if it was inside a code block then the line is treated as program text (so it's probably a syntax error) and if it was in a literate comment section it is treated as a non-empty literate comment line. Note that it takes a careful reading of the report: for begin, program code only begins on the _following_ line. Most seem to agree that it shouldn't mess up your program to have trailing whitespace on such a line (but at least nhc98 doesn't currently implement this). Is there any reason to allow NON-whitespace in that location? 3.[IgnoringStringLiterals/{A,B}] what does "(ignoring string literals, of course)" mean? that the following(A) makes str = "string gap:end{code}" and an unended code block(A), or that it makes an ended code block(B)? (A)--------- \begin{code} str = "string gap:\ \end{code}" - --------- report:unclear, hugs:A, ghc:B, nhc98:A This works for ghc, the result being "string gap:string gap ends": (B)--------- \begin{code} str = "string gap:\ \end{code}" \begin{code} \string gap ends" \end{code} - ----------- Note that behavior 1 requires a detailed knowledge of Haskell's syntax in order to unliterate a file, for a dubious benefit (if a string literal with string gaps is used like that, the programmer could just indent the second line!) 4.[ExtraBeginEnd/{ExtraBegin,ExtraEnd}] What happens if \begin{code} appears after another \begin{code} before an \end{code}; and what happens if an \end{code} appears without a code block previously having been started by a \begin{code}? stray end: ghc, nhc98:[UNLIT_IGNORED (-> probable successful compile)] hugs:[error "\end{code} encountered outside code block"] stray begin: ghc, nhc98:[UNLIT_IGNORED (-> probable syntax error)] hugs:[error "\begin{code} encountered inside code block"] 5.[LexicalUnitAcrossLiterateComment/{StringGap,BlockComment}] Can lexical units jump across literate comment gaps? report, ghc, hugs, nhc98: yes... Note that the Report specifies it by removing all non-program lines, rather than converting them to blank lines, but an additional blank line in the middle of a Haskell program NEVER makes a difference (except for line numbering, of course). - ---------- > str = "string gap:\ This might be a literate comment. > \ends here" - --------- ghc, hugs, nhc98: "string gap:ends here" or - -------- > str = "string" > {- a comment This might be a literate comment -} with weird character sequences. > ends here -} - ---------- ghc, hugs, nhc98: think it's a fine comment I mention this because allowing these makes it complicated to preserve literate comments in a translation to .hs, because, other than cases like these, prefixing literate comment lines with "-- " works fine.[*] However, banning these could make processing that wants to report errors end up more complicated. Maybe the report could/should say that it is "not advisable", as it does for mixing '>' and {code} styles? (Also it's confusing to the programmer - I wondered "can I (and should I) really do that?!" sometimes..) [*]Haddock style is a nuisance too, which is why there are two spaces added -- Haddock seems not to recognize such comments then, as desired. Or would it be better to take the other approach and say those should count as haddock comments? 6.[TeXBirdtrack/] I understand that "It is not advisable to mix these two styles in the same file." and the report doesn't even talk about how they mix, but now that I've gotten started on the implementation inconsistencies... Actually, despite the Report's advice against it, there seems to be a consensus on what the meaning of mixing the two styles is, which I'll describe below: Sensibly, ghc, hugs and nhc98 treat begin/end{code} lines as blank for the purposes of '>'-style comment checking (which is that a code and a non-blank literate comment line can't be adjacent); this works: [TeXBirdtrack/NoLayout]------------ >module Main where >{main = print str \begin{code} ;str = "string"} \end{code} ok - ------------ Note I didn't rely on the layout rule. This should work: [TeXBirdtrack/AlignedLayout]------------ >module Main where > main = print str \begin{code} str = "string" \end{code} ok - ------------ It does in hugs and nhc98, and according to http://hackage.haskell.org/trac/ghc/ticket/210 it does in GHC HEAD now (6.7) as well. As another example, this doesn't work, for the same reason that you can't start a line with '>' in a .hs file: [TeXBirdtrack/Wrong]------------ >module Main where > main = print str \begin{code} > str = "string" \end{code} ok - ------------ Hoping to start some discussion, Isaac -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFF5gaoHgcxvIWYTTURAoF4AJwIjQ3hJ9jpwUgHiYgTB7IhN2so4QCdGCKU 96q4YIeakWtlBKOdAiFM+vU= =qzCQ -----END PGP SIGNATURE-----

5 8

Pls help about stupid question!
by iliali16 06 Mar '07

06 Mar '07

Hi folks I have this funciton to implement : leftJustified Now this function shoud justify the text acording to the number of characters per line.So for example I u put the following leftJustified :: Integer -> String -> String leftJustified n xs | acctually my problem is that I have for example the following string Hi my name is X. And what I want is to leftJustified it by 3 characters and I have to do it whithout choping words and I have to do it on the next line and what I came up is very stupid becouse it doesn't work at all like what I need but atleast it shows the string eventhough it counts not the characters but the words. leftJustified :: Integer -> String -> String leftJustified 0 xs = [] leftJustified _ [] = [] leftJustified n xs |lList (words xs) <= n = xs |otherwise = x : \n (leftJustified xs) This doesnt work but if I delete the last line it owrks as shown above. Please help me to understand how this should be done. -- View this message in context: http://www.nabble.com/Pls-help-about-stupid-question%21-tf3357906.html#a933… Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

1 0

Recursion
by unknown＠example.com 06 Mar '07

06 Mar '07

Does the following code increase the level of recursion once for each input line or is the recursive construct converted to an iteration? Thanks, Dave Feustel main :: IO () main = do line <- getLine processIt line main processIt :: String -> IO () processIt s = do print (length s)

4 3

StaticDTD - Type safe markup combinator libraries from DTDs
by mm 06 Mar '07

06 Mar '07

Hello, I would like to inform you that i am currently working on a tool that transforms a Document Type Definition to a library. The resulting library contains combinators that assure proper nesting of elements to some extend. I am planning to add more constraints, that will also take care of the order of occurence of children (content model). The parsing of the DTD is done with HaXml's DTD parser. The whole thing is very much inspired by HList, HaXml, WASH/HTML and HSXML. The darcs repo is at: http://m13s07.vlinux.de/darcs/StaticDTD/ Marcel Manthe -- No one wins It's a war of man.

1 0

Pulling a monad out of a functor
by Bryan Burgers 05 Mar '07

05 Mar '07

Haskellers, Recently, I have come across a couple of situations in which I need to "pull a monad out of a functor" so to speak. The first time it was needed, I didn't think much of it, but the second time started me thinking whether there is already an existing construct for this. The type signatures I have in mind are: pull :: (Monad m, Functor f) => f (m a) -> m (f a) fmapM :: (Monad m, Functor f) => (a -> m b) -> f a -> m (f b) fmapM f = pull . fmap f You may notice that these are already defined for the List functor as 'sequence' and 'mapM'. It seems to me that if this were a class, the implementor would be defining a traversing order by defining pull; in the list case this traversing sequence is clearly defined as head to tail. I am wondering if there is already a construct for this that I am not aware of (a class, a way to defined it using monads and functors that I am not aware of, an idiom)? Is this something that frequently happens for others, or is it a sign a few of my designs have been flawed recently? Bryan

2 2

haskell zlib on win32
by Tim Newsham 05 Mar '07

05 Mar '07

Building haskell's zlib library for win32 is not trivial since it relies on an external C library. Most of the required tools are shipped with the ghc binary distribution though. I finally bit the bullet and jumped through the build hoops to install it. My notes are attached below. The build could be nicer if it was more cabalized -- ie. have the cabal file directly reference the zlib-1.2.3 sources and headers.. Problems are possible reliance on particular versions, duplicating already installed code (although in this case its pretty small), and possibly figuring out how to perform the "configuration" process without a shell.... Any opinions on this approach? --- WIN32 BUILD INSTRUCTIONS ---- I built from cygwin. Probably a little easier if you have mingwin installed. I have ghc-6.6 installed in /c/ghc/ghc-6.6 (/c is a mount point for c:\ "mount c:\\ /c"). Fetch sources $ darcs get http://haskell.org/~duncan/zlib $ cd zlib $ wget http://www.zlib.net/zlib-1.2.3.tar.gz $ tar -xzf zlib-1.2.3.tar.gz Prefer ghc's gcc (mingwin) rather than cygwins. $ export PATH=/c/ghc/ghc-6.6:/c/ghc/ghc-6.6/bin:$PATH Build zlib C code $ ./configure --prefix=/c/ghc/ghc-6.6 --libdir=/c/ghc/ghc-6.6 $ make install build haskell zlib $ cd .. $ runhaskell Setup.py configure $ runhaskell Setup.hs build $ runhaskell Setup.hs install Tim Newsham http://www.thenewsh.com/~newsham/

2 1

Lambdabot on Windows?
by Iain Alexander 05 Mar '07

05 Mar '07

Does anyone know of a standalone version of lambdabot which will run on Windows? (When I try to configure lambdabot-4.0, I get Setup.hs: cannot satisfy dependency unix-any.) -- Iain Alexander ia(a)stryx.demon.co.uk

4 4

Haskell sequence hosting
by John Goerzen 05 Mar '07

05 Mar '07

Hi everyone, I've been hosting sequence.complete.org on my own server for awhile, but have found that I haven't had time to maintain it lately. I'm looking for someone else that might be willing/able to host and maintain it. It's using Drupal on MySQL, though a fairly old version of Drupal at the moment. -- John

1 0