- Haskell-Cafe - Haskell.org

Sell:Industrial Permanent Magnets
by L.Z.Mou 26 Apr '03

26 Apr '03

Dear Sir/Madam, We are glad to find you on the internet and hope to establish a business coopertaion with your company on distribution, selling etc. Dear Sir/Madam, We are glad to find you on the internet and hope to establish a business coopertaion with your company on distribution, selling etc. As the leading expert and one of the biggest Permanent Magnets manufacturers in China,Our magnet application DEPT. provides various high performance magnets for automobile,autobike,instrument and environment protection industries all over the world,and the necessary facilities for for automatic working line of the coal,metallurgy,electroplate,pectroleum,tobacco,machine and cage industry. Our main magnets include NdFeB, bonded NdFeB, SmCo, Alnico, bonded Alnico, rubber magnet etc.For more information, pls feel free to contact us and visit our website:http://www.magic-magnet.com We are one of the biggest Permanent Magnets manufacturers in China,superior magnets come mainly from China.Our company has many magnets application experts who design various magnets devices for many factories all over the world. Looking forward to receiving your earliest answer with thanks in advance. Best regards M.G.Zhu Shanghai magnet & biotech Co.,Ltd 20# Floor,No.16 Qunyu Road,Jiading district,Shanghai,China Tel No. 0086-21-59160105 Fax No.0086-21-59168331 / 62053661 Email: magica(a)public7.sta.net.cn URL: http://www.magic-magnet.com ============================邮件内容与以下文字无关============================= 优联网络 http://www.chinamysql.com 专业提供各类虚拟主机，不满意可获退款。强势套餐：100M主机送顶级域名，送10个10M企业油箱，加送20个二级域名，仅需318元/年！三龙证券投资 http://3long.sayba.com 为您提供专业理财服务。现在购买只需588元，赠送价值超过1800元的礼品！说吧网上商城 http://shop.sayba.com 全是厂商直销的新品或折上折的商品，是您网络购物的好去处！使用极星邮件群发，无须通过邮件服务器，直达对方邮箱，速度绝对一流！软件下载网址：http://www.lovexin.com，更多的超酷软件等你来下载哦！

1 0

Re: Is this a bug in multithreading code?
by Nick Name 25 Apr '03

25 Apr '03

Il 22:54, mercoledì 23 aprile 2003, hai scritto: > I conjecture that the problem would go away if you added appropriate > uses of seq or $! to your program so that the value stored in the MVar > was always fully evaluated You are right, the following code works well strictIncM x = return $! x + 1 ... forkIO (loopM (modifyMVar_ v strictIncM)) ... Thanks for your help Vincenzo

2 1

RE: Super Haddock (was Re: Literate Programming)
by Simon Marlow 25 Apr '03

25 Apr '03

Ketil Z. Malde writes: > > "Simon Marlow" <simonmar(a)microsoft.com> writes: > > > Somebody else¹ wrote: > > >> This seems like a good way of transitioning from .lhs to > >> haddock'd .hs. In the long run, I think we (meaning Simon :-) > >> should to extend haddock to take the place of the .lhs style of > >> documenting code. > > > That's an interesting idea. It's not at all what Haddock > was intended > > for, but that's not to say it couldn't be done! > > I'm not sure I would like this. I guess I'm one of (the apparently > very few?) who are using LaTeX lhs style (using \begin/\end{code}). > Would a Haddock replacement give me the same kind of functionality in > producing a nice printable copy? I definitely have grown attached to > having math, footnotes, page headings, sections, and so on. Haddock isn't (intended to be) a literate programming system, so I don't imagine it will replace full LaTeX literate source any time soon. The suggestion is just that it could produce nicely-formatted source code complete with lightly marked-up comments - which I think is a fine idea, and not too difficult to implement using the existing framework. > ¹) As Exchange doesn't leave useful thread information, I'm not quite > sure who. Simon and others, if you must use Exchange, could you take > care to leave an attribution, prefereably including the message-id? I can get proper In-Reply-To headers by avoiding Exchange altogether, but it requires me to select an option each time I send a message, so I often forget (sorry!). I've reported it as a bug in Exchange, but it might be a generation or two before it gets fixed. Cheers, Simon

2 1

Slow program
by Mark Carroll 25 Apr '03

25 Apr '03

One of my GHC programs is running much more slowly than I'd expect, and I wonder if laziness is getting in the way or if it's getting into an infinite loop. How should I diagnose the problem? Tonight I've started with Hat - it seems to install okay, but doesn't seem to have a Control/Monad/Identity.hx file that I need. ): -- Mark

2 1

Haskell Help
by Gyslain Giguère 25 Apr '03

25 Apr '03

Hi! I'm a computer science student whose last assignment (due next wednesday) of the semester is to present and explain a Haskell 98 program I found on the internet. Unfortunately, I can't find anything written in Haskell 98 that can be explained in about 20 minutes, and doesn't use any graphic libraries (since we haven't studied them). So if you have any examples (course exercises, handouts), I would be very grateful! Thanks to all! Gyslain Giguère, Student, Cognitive Computer Science, Université du Québec à Montréal giguere.gyslain(a)courrier.uqam.ca

1 0

Re: Extracting values from several data constructors
by Dean Herington 23 Apr '03

23 Apr '03

[redirected to haskell-cafe] On 24 Apr 2003, Steffen Mazanek wrote: > Hello. > I am sure this question is not new. Even so, please > give me the solution or point me to an old thread. > > How can I implement something like: > > data Test = T1 Int | T2 Int > test::Test->Int > test (_ x) = x > > Or is this impossible? In case of yes, why? > This would save a lot of case differentiations in > my application. Or is there an appropriate compiler option? It can be done, but only for labeled fields. For example: data Test = T1 { test :: Int } | T2 { test :: Int } See section 3.15 of the Haskell report. Dean

1 0

Re: Writing for both State and StateT
by Jon Cast 23 Apr '03

23 Apr '03

Derek Elkins <ddarius(a)hotpop.com> wrote : <snip> > Yes, I've tried it. I didn't mean GHCi doesn't EVER validate the > constraints on input, just that it doesn't when you use :t. So do you mean to use :t & cut & paste the definition? Interesting. A fair bit of work (more than just adding a parameter () to the definition), but I guess it'd work. <snip> Jon Cast

1 0

Is this a bug in multithreading code?
by Nick Name 23 Apr '03

23 Apr '03

Hi all, does someone know why this program works ------------------------ import Concurrent loopM = sequence_ . repeat main = do v <- newMVar 0 forkIO (loopM (modifyMVar_ v (return . (1+)))) -- forkIO (loopM (modifyMVar_ v (return . (1+)))) loopM (readMVar v >>= print) ------------------------- but uncommenting the commented line makes the program fail with "stack overflow" ? Thanks for help Vincenzo

3 2

Re: Writing for both State and StateT
by Jon Cast 23 Apr '03

23 Apr '03

Mark Carroll <mark(a)chaos.x-philes.com> wrote: > On Tue, 22 Apr 2003, Jon Cast wrote: > > When you have two identical methods like this, you can try removing > > the type from one and seeing what hugs or ghci thinks the type is. > > Then, you can specialize that if you want. > Unfortunately, in this case, with that function in isolation I get, > Ambiguous type variable(s) `s', `m' > in the constraint `MonadState s m' > arising from use of `get' .... Ah, yes the good old monomorphism restriction. Should have thought about that. The way around this is to make the declaration a function: > next_random_probability () = > do old_rng <- get > let (random_probability, new_rng) = randomR (0, 1) old_rng > put new_rng > return random_probability This will typecheck, giving most general type (MonadState s m, Num a, Random a, RandomGen s) => () -> m a, according to ghci. Then, you can take off the argument type to get the resulting type. <snip> Jon Cast

2 1

Re: Writing for both State and StateT
by Jon Cast 23 Apr '03

23 Apr '03

Derek Elkins <ddarius(a)hotpop.com> wrote: > On Tue, 22 Apr 2003 23:05:09 +0100 > Alastair Reid <alastair(a)reid-consulting-uk.ltd.uk> wrote: > > > > > > Unfortunately, in this case, with that function in isolation I get, > > > > > Ambiguous type variable(s) `s', `m' in the constraint > > > `MonadState s m' arising from use of `get' .... > > > > An easy way to get round this is to give a completely bogus type > > signature like: > > > > foo :: a > > > > The compiler will report a mismatch and the error message will tell > > you what it thinks the type is. > > Or the straightforward and simple answer: in GHCi or Hugs, just do :t > f. E.g. :t get ==> (MonadState s m) => m s. GHCi (and I imagine Hugs > too) doesn't try to validate the constraints. Have you tried this? GHCi does indeed typecheck the input (``validate the constraints'' as you put it). It has to, to be a Haskell 98-conforming interpreter. Jon Cast

2 1