- Haskell-Cafe - Haskell.org

please help me
by John Jonas Savimbi 20 May '03

20 May '03

From: John Jonas Savimbi Johannesburg, South Africa Email: jjsavimbi(a)phantomemail.com May 19TH, 2003. Dear Sir, It is my humble pleasure to write you this letter irrespective of the fact that you do not know me. However, I got your name through your country business directory here in my search for a reliable and trustworthy person that can assist me confidently. My name is Mr.John Jonas Savimbi. I am the son of Late Dr. Jonas Savimbi from Angola. I am 29 years old and I have got two younger sisters of same blood. Our mother died almost a year ago. We are all fighting for political asylum in South Africa. We cannot find a home in Angola anymore because of the war that our late father fought with the government of Angola until he died in that war. The government of Angola is now mad at us because our late father also wanted to be president and caused the people to fight the war for him because he was the president of UNITA political movement of Angola. So now we are in South Africa and we are suffering too much because we don't have money and the government of South Africa will not give jobs to asylum seekers. I am much concerned about my younger sisters who are finding it very difficult to manage in the situation. But I know that we should not suffer this way. I know that I must not let my younger sisters get into trouble because of money. So after consideration I am hereby begging for your assistance to help me to recover the sum of USD $29 Million which is my inheritance from my late mother. My late mother had taken this money with her to Spain in a diplomatic metal box marked (Precious Stones). Subsequently she lodged the metal box (As precious Stones) with a Securities and Valuables Protection company in Spain. I am supposed to be the beneficiary in the event of her death. However, all effort I made to go Spain to claim was refused by the Spainish embassy. And this was while it was still possible for me to travel. Now I cannot travel anywhere anymore. So in the situation that we are facing now, I must find somebody who can go to the Spain on my behalf. I understand that I will have to transfer my beneficiary rights unto you. I am willing to do so in the hope that you are a God fearing person who will not abandon us after you have the money. So from the bottom of my heart I am giving you 20% of the all the money. Once we have enough to sustain us sufficiently, you may be come our fund manager and invest the rest wisely for us. If you will be kind to assist us, please inform me urgently. Kind regards to you and your family. Sincerely, John Jonas savimbi

1 0

RE: Functional dependencies question
by Simon Peyton-Jones 19 May '03

19 May '03

Think of it like this. Should this be acceptable? f :: a -> a -> a f x y = x && y No, because the type (forall a. a->a->a) is plainly more general than the actual function. The type tempts you to think that you could write f 3 4 but you can't. But I suppose you could argue that the function definition should be allowed, but if you ever called (f 3 4) you should get an error "Int found where Bool expected". Your signature is bar :: (Foo Char t) => t and we know (from the instance decl) that t must be Bool. Any other call to bar would be illegal, just as any cal to 'f' above is illegal, except at type Bool. In general, it seems to make sense to reject definitions as early as possible, hence GHC and Hugs reject it. It is undoubtedly odd that adding an instance declaration makes a legal program illegal, and that might be a reason for relaxing the rule... but it's not entirely easy to implement such a relaxation. Simon | -----Original Message----- | From: haskell-cafe-admin(a)haskell.org [mailto:haskell-cafe-admin@haskell.org] On Behalf Of Andrew | J Bromage | Sent: 12 May 2003 06:10 | To: haskell-cafe(a)haskell.org | Subject: Functional dependencies question | | G'day everyone. | | Suppose I have code like this: | | class Foo a b | a -> b where | foo :: a -> b | | bar :: (Foo Char t) => t | bar = foo 'a' | | All well and good so far. Let's add an instance of Foo... | | instance Foo Char Bool where | foo c = isAlpha c | | Now neither GHC nor Hugs will allow this to compile, as the declared | type of bar is "too general". | | This seems intuitively the wrong behaviour. Either the original | program was incorrect (as there was no visible instance of Foo for | type Char) or the amended program is correct (since the type of bar | is no more general than it was in the first version). | | Thoughts? | | Cheers, | Andrew Bromage | _______________________________________________ | Haskell-Cafe mailing list | Haskell-Cafe(a)haskell.org | http://www.haskell.org/mailman/listinfo/haskell-cafe

4 3

n-term recurrences
by William Lee Irwin III 16 May '03

16 May '03

-- coefs starts with constant term, then coef of a(n-k) in k-term -- recurrence and goes up by indices -- vals starts with x0 and goes up by indices -- solves linear recurrences -- where xs !! (n+1) = head coefs + -- sum (zipWith (*) (tail coefs) [xs !! k | k <- [n - length coefs - 1..n]]) -- and the first few terms are given by xs !! n = vals !! n recurrence coefs vals | length coefs /= length vals + 1 = error "mismatched lengths of coefficients and values" | otherwise = vals ++ map coefSum ys where xs = recurrence coefs vals ys = transpose [drop k xs | k <- [0..length coefs - 1]] coefSum xs = head coefs + sum (zipWith (*) (tail coefs) xs) transpose xs = map head xs : transpose (map tail xs) -- This could be used, say, to generate the list of orthonormal -- polynomials generated by a three-term recurrence and then -- expand some function in a function series via Gaussian quadrature. -- e^(-x^2/2)H_n(x) or e^(-x^c/2)L^c_n(x) look especially attractive. -- OTOH that tactic may not be numerically useful, or useful only -- when the function series expansion is known a priori. -- It could also be a fancier way to generate Fibonacci numbers or -- Apery numbers or whatever. -- Not terribly deep, but it amused me for a few minutes to think of it. -- wli

1 0

ELearnChina Conference 2003
by Edwin Jones 16 May '03

16 May '03

Hi there, I hope you don't mind but I got your email address from your web site. You may be interested in coming to our conference [I think] which focuses on E-Learning, Knowledge Management, Training, Localisation and the like for the Chinese Market [biggest growth area for these types of product at the moment]. If you are interested please see http://www.chinaconferences.net The conference is in July in Edinburgh and there is now a special conference discount, which is available from the site [�400 GBP Discount on original rate]. Cheers, Edwin, Sales China Conferences Tel +44 131 440 9881 Fax +44 131 440 9882 edwin(a)chinaconferences.net

1 0

Need help on Ptr
by Christian Buschmann 15 May '03

15 May '03

Hi! Can someone tell me, how i can check, if a Ptr is a nullPtr. Now I am using this function, but I think its not a very nice one: import Ptr isNullPtr :: (Ptr a) -> Bool isNullPtr ptr = (minusPtr ptr nullPtr) == 0 Maybe someone has got a better idea... christian

4 4

Re: on termination
by oleg＠pobox.com 15 May '03

15 May '03

I'd like to clarify the termination decision procedure. I believe it can take the body of a function in our language and tell if the function terminates for all inputs. This implies that we can decide on termination without evaluating the function on all inputs (whose set is countably infinite). A small clarification: the 'branch-on-zero' statement should have the form "if-nonnegative exp then exp1 else exp2". Because the domain includes 'undefined' (aka NaN), the only functions that terminate for all inputs are those that leave their arguments alone and either propagate them or return constants. For example, the following functions terminate on all inputs f1(x) = x f2(x,y) = y f3(x) = 0 f4(x) = if-nonnegative power(5,125) then x else NaN The following functions will fail to terminate on at least one input: g1(x) = x + x g2(x) = if-non-negative x then x else NaN g3(x) = if-non-negative x*x then 0 else 1 Although it seems that g3 is equivalent to f3, that is not true: g3(NaN) diverges whereas f3(NaN) returns 0. These examples clarify a decision procedure, which can be stated as follows: if a partial evaluation of f(x...z) -- that is, unfolding plus constant propagation -- reduces f() to f1, f2, or f3 types, the function f() terminates on all inputs. Otherwise, there is one value (most likely NaN), that, when passed to f(), will cause it to diverge. Our partial evaluation procedure first unfolds all function calls. That is possible because the call graph does not have direct cycles (NPFIX must be treated as a special node in the call graph). Any operation (multiplication, addition, comparison, NPFIX) on a dynamic value can lead to a non-termination (if that value is NaN). Thus the only operations that can still guarantee termination are "if exp1 then exp2 else exp3" and "NPFIX exp1 exp2 exp3" where exp1 is a constant expression. We can evaluate it. Because it contains only primitive recursive functions, we provably can do that in some finite time. Therefore, we can decide which branch to take and continue to analyze exp2 or exp3. It seems the decision procedure is total and correct.

8 21

RE: on termination
by Simon Peyton-Jones 15 May '03

15 May '03

| If you guys think haskell-cafe is improper for this conversation we can | continue on theory-edge on yahoo groups. But I don't think it's improper, | after all there is all kind of theoretical weirdness talked of in the main | haskell discussion list. Why should this be any less relevant??? Anyway this is Haskell Café, where the rules are pretty loose! (If it were on the main Haskell list I'd certainly suggest moving the thread to Haskell-café, but it seem ok there, to me.) S

3 2

re: re: 你好
by 张丽 14 May '03

14 May '03

1 0

Re: on termination
by Markus.Schnell＠infineon.com 14 May '03

14 May '03

Somebody asked for coffee? / / / \ \ \ / / / +++++++++++ + +--\ + +___/ \+++++/ ============= ========= -- Markus Schnell Infineon Technologies AG, CPR ET Tel +49 (89) 234-20875

1 0

DUKAT KABILA(Jnr)
by Dukat Kabila 13 May '03

13 May '03

> MR DUKAT KABILA 0031+615-421-228 > REQUEST FOR URGENT BUSINESS ASSISTANCE > >Your contact was availed to me by the chamber of commerce. It was given to me because of my diplomatic status as I did not disclose the actual reasons for which I sought your contact. But I was assured That you are reputable and trustworthy if you will be of assistance. I am Laurent DUKAT KABILA (Jnr) the second son of Late President LAURENT DESIRE KABILA the immediate Past president of the DEMOCRATIC REPUBLIC OF CONGO in Africa who was murdered by his opposition through his personal bodyguards in his bedroom on Tuesday 16th >January, 2001.I have the privilege of being mandated by my father colleagues to seek your immediate and urgent co-operation to receive into your bank account the sum of US$25m.(twenty-five million Dollars) and some thousands carats of Diamond. This money and treasures was lodged in a vault with a security firm in Europe and South-Africa. > >SOURCES OF DIAMONDS AND FUND >In August 2000, my father as a defence minister and president has a meeting with his cabinet and armychief about the defence budget for 2000 to 2001 which was US $700m. so he directed one of his best friend. Frederic Kibasa Maliba who was a minister of mines and a political party leader known as the Union Sacree de, I opposition radicale et ses allies (USORAL) to buy arms with US $200m on 5th January 2001; for him to finalized the arms deal, >my father was murdered. f.K. Maliba (FKM) and I have decided to keep the money with a foreigner after which he will use it to contest for the political election. Inspite of all this we have >resolved to present your or your company for the firm to pay it into your nominated account the above sum and diamonds. This transaction should be finalized within seven (7) working days and for your co-operation and partnership, we have unanimously agreed that you will be entitled to 5.5% of the money when successfully receive it in your account. The nature of your >business is not relevant to the successful execution of this transaction what we require is your total co-operation and commitment to ensure 100% risk-free transaction at both ends and to protect the persons involved in this transaction, strict confidence and utmost secrecy is >required even after the successful conclusion of this transaction. If this proposal is acceptable to you, kindly provide me with your personal telephone and fax through my E-mail box for immediate commencement of the transaction. >All correspondence is for the attention of my counsel: > >I count on your honour to keep my secret, SECRET. >Looking forward for your urgent reply >Thanks . >Best Regards > >DUKAT KABILA(Jnr) >

1 0