- Haskell-Cafe - Haskell.org

hi
by ��һ�� 25 Mar '03

25 Mar '03

东方布包艺术网是一个配套服饰体系，主要产品为女性时尚休闲背包，制作材料以棉麻布料为主，产品前卫出众又不失浪漫纯朴。充分体现出现代都市女性所追求的简洁、大方、时尚休闲风格。装袋休闲的心情，回归自然的舒坦中。一种仿佛时间逝去的感觉。色彩被湮没在都市的环境中。所有的颜色看上去都像受过污染，有种烟雾蒙蒙的感觉。在寻找自然色彩过程中发现，展示纯洁美的白色也成为闪亮点。详细可以查看：http://www.fadcn.com http://www.sbxm.com 提供精品图书1.5-3折，人文类5-6折，经济类4-5折。详细可查看：http://www.sky999.net 提供主机域名 QQ在线支持：124438130 使用极星邮件群发，无须通过邮件服务器，直达对方邮箱，速度绝对一流！下载网址：http://www.lovexin.com，更多免费的超酷软件等你来下…… ---------------------------------------------------- INFORMATION This message has been sent using a trial-run version of the TSmtpRelayServer Delphi Component. ----------------------------------------------------

1 0

shortest path with Haskell
by tuyen pham 25 Mar '03

25 Mar '03

Hi every one ! I have a big problem with implementation the Dijkstra's shortest path with Haskell .the condition is it must be implemented with priority queue using list (or tree).Any of yo have the code for this ? I really really needs for help !!! thankssssssss a lot!!!!!! pham __________________________________________________ Do You Yahoo!? Everything you'll ever need on one web page from News and Sport to Email and Music Charts http://uk.my.yahoo.com

2 1

(no subject)
by Mrs.Sese-seko 25 Mar '03

25 Mar '03

Dear friend, I am Mrs. Sese-Seko widow of late president Mobutu Sese-Seko of zaire? now known as democratic republic of congo (drc). I am moved to write you this letter, this was in confidence considering my present circumstance and situation. I escaped along with my husband and two of our sons Theophilus and Basher out of Democratic Republic of Congo (DRC) to Abidjan, cote d'ivoire where my family and I settled, while we later moved to settled in morroco where my husband later died of cancer disease. However due to this situation we decided to changed most of my husband's billions of dollars deposited in swiss bank and other countries into other forms of money coded for safe purpose because the new head of state of (dr) Mr, laurent kabila has made arrangement with the swiss government and other european countries to freeze all my late husband's treasures deposited in some european countries. hence my children and I decided laying low in Africa to study the situation till when things gets better. Now that President kabila is dead and the son taking over (Joseph kabila). one of my late husband's chateaux in southern france was confiscated by the french government, and as such I had to change my identity so that my investment will not be traced and confiscated. I have deposited the sum Thirty Million United State Dollars(US$30,000,000,00.) with a security company , for safekeeping. The funds are security coded to prevent them from knowing the content. What I want you to do is to indicate your interest that you will assist us by receiving the money on our behalf. Acknowledge this message, so that I can introduce you to my son (Theophilus) who has the out modalities for the claim of the said funds. I want you to assist in investing this money, but I will not want my identity revealed. I will also want to buy properties and stock in multi-national companies and to engage in other safe and non-speculative investments. May I at this point emphasise the high level of confidentiality, which this business demands, and hope you will not betray the trust and confidence, which I repose in you. in conclusion, if you want to assist us , my son shall put you in the true picture of the business, tell you where the funds are currently being maintained and also discuss other modalities including remuneration for your services. For this reason kindly furnish us your contact information, that is your personal telephone and fax number for confidential purpose. Best regards, Mrs,sese-seko

1 0

Problem with hugs, concurrency and unsafeInterleaveIO (maybe a bug?)
by Nick Name 16 Mar '03

16 Mar '03

I am trying to lazily wait an MVar in hugs, in conjunction with concurrent haskell: ----- import Concurrent import IOExts f = do v <- newEmptyMVar c <- getContents forkIO (putMVar v (head c)) r <- unsafeInterleaveIO (takeMVar v) return v f2 = f >>= unsafeInterleaveIO . takeMVar main1 = f >>= takeMVar >>= print main2 = f2 >>= print main3 = f2 >>= (\ x -> yield >> print x) ----- main1 and main3 work flawlessly, but main2 aborts with "no more threads to run". I think that main2 should work, because in evaluating the result of f2, the main thread should suspend and yield. Is there somebody who wants to enlighten me? Vincenzo

2 1

AW: How to read an initialization file.
by Markus.Schnell＠infineon.com 14 Mar '03

14 Mar '03

I would recommend reading the variables in the main and pack the rest of your program into a monad. But only if you really need to access the variables from everywhere and don't want to pass them around explicitely. Markus > I need to be able to access these values effieiently and from > virtually anywhere in the program. It would be nice to "at some > point" open the file and read all these variables, all at once.

1 0

Redefining methods in a subCLASS
by Oleg 14 Mar '03

14 Mar '03

Hi Is it possible to redefine methods in a subclass (not an instance)? E.g. I get errors in class (Show a) => Employee a where speak :: a -> [Char] speak x = "Employee: " ++ (show x) class (Employee a) => Manager a where speak x = "Manager: " ++ (show x) Thanks Oleg

1 0

Re: How to search for a string sequence in a file a rewrite it???
by Tom Pledger 13 Mar '03

13 Mar '03

(moving to haskell-cafe) Alexandre Weffort Thenorio writes: | Ooops a small error before but here is the right one. | | Great. I got almost everything. My problem now is: | | I got a function called findstr where | | findstr "aaaa" "zzzzz" ["xxxxaaaa","xxxaaaaxxx"] = | ["xxxxzzzzz","xxxzzzzzxxx"] with the inferred type findstr :: String -> String -> [String] -> [String] | and then I try something like | | fillIn lines = do | bkfilled <- (findstr str str2 lines) with the inferred type (findstr str str2 lines) :: [String] Note that [] (the list data constructor) is a monad. So, this 'do' expression is in the [] monad, where perhaps you intended the IO monad. Computations in the [] monad have the effect of iterating over the elements of lists. So, the bound variable gets the inferred type bkfilled :: String which you've noticed in the error message. | write bkfilled | | where write takes a [String] and concatenates it writing it to a file then. | But I get this error saying: | | Expected Type: [String] | Inferred Type: String | In the first argument of 'write' namelly 'bkfilled' | In a do expection pattern binding: write bkfilled | | Any idea?? I mean bkfilled is supposed to be [String] but it says it is a | String, any idea why??? The smallest code change to fix this is to add a 'return', which will wrap another monad (in this case, IO) around findstr's [String] result... > fillIn lines = do > bkfilled <- return (findstr str str2 lines) > write bkfilled ... but you should be able to simplify that code, using one of the monad laws in http://haskell.org/onlinereport/basic.html#sect6.3.6 Regards, Tom

1 0

Learning Haskell, update
by Arjan van IJzendoorn 13 Mar '03

13 Mar '03

Hi all, I've removed the frequently asked questions box at the bottom. It was unused. Fritz Ruehr made a nice Learning Haskell logo. Thank you, Fritz! NHC is compilable under Windows now, so the remark "no windows version" has been removed. Is there someone who wants to make a more decent language comparison table? If not, I'm thinking of removing it. Many things are said about it already in the comp.lang.functional FAQ. Greetings, Arjan

1 0

Explicit function call
by pavel＠joker.botik.ru 12 Mar '03

12 Mar '03

Hello, How can I make an explicit function call in a "do" sequence? Ex: ... do let a = myFunc ... b = myFunc ... c = "Something else" return c ... As I understand myFunc will not be executed, but I need it... Please, help. -- Pavel Zhbanov

4 5

Alternatives to finalization
by Nick Name 11 Mar '03

11 Mar '03

As the result of a conversation on haskell-gui, I have tried to implement the disallocation of resources when a stream is garbage collected. To explain myself: I have a function f :: IO [a] which returns a lazy stream after allocating some resource to feed it (say installing a callback). I wish that the resource could be disallocated when it's no longer used. I did the obvious implementation with Weak.addFinalizer; results are encouraging but not completely satisfying; the scheme I used is: f = do allocateResource l <- makeTheStream addFinalizer l (disallocateResource) return l The problem is that if no memory is allocated, no garbage collection happens; of course finalization is not guaranteed, as the manual states. Another alternative is to make f return an esplicit "close stream" action: f :: IO ([a],IO ()) Is anyone willing to explain me other alternatives if there are, or to tell me that there aren't? Thanks for attention Vincenzo

4 4