Re: Decimal Literals

2003-07-11 Thread Ketil Z. Malde
Ashley Yakeley [EMAIL PROTECTED] writes:

 There should be a separate syntax for that. As it stands, the string 
 3.1415926536 unambiguously specifies a rational number. Perhaps 
 something like 3.1415926536... should be interpreted as the 'simplest' 
 rational that agrees with the given digits, which would then be passed 
 to fromRational.

I.e. for 3.14, allow any rational number in [3.14,3.15), or
perhaps (3.135,3.145]?  Or restrict it to just the rational number in
range with the least total digits?

-kzm
-- 
If I haven't seen further, it is by standing in the footprints of giants
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe


Monad constructors

2003-07-11 Thread Peter Padawitz
Why must every Monad instance be a datatype or newtype, even if there 
will be just a single constructor?

Peter

___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe


constructors in O'Haskell

2003-07-11 Thread Peter Padawitz
How may I hide constructors in O'Haskell 'cause export lists don't work 
in this language?

Peter

___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re:Decimal Literals

2003-07-11 Thread jmaessen
Ketil Z. Malde [EMAIL PROTECTED] writes:
 I.e. for 3.14, allow any rational number in [3.14,3.15), or
 perhaps (3.135,3.145]?  Or restrict it to just the rational number in
 range with the least total digits?

We can get this effect using a version of (%) adapted specifically for
converting decimal floating-point constants.  Thus:

Data.Ratio 31415926536%10
3926990817 % 12500

Data.Ratio let n %% d = approxRational (n%d) (1%(2*d)) in
31415926536 %% 100
312689 % 99532

We can imagine the compiler replacing floating constants by
fromRational (n%%d) rather than fromRational (n%d).

Of course, then trailing zeros suddenly become significant:

Data.Ratio let n %% d = approxRational (n%d) (1%(2*d)) in  314 %% 100
22 % 7
Data.Ratio let n %% d = approxRational (n%d) (1%(2*d)) in  3140 %% 1000
135 % 43

This might be good or bad, depending on your perspective.

-Jan-Willem Maessen
[EMAIL PROTECTED]
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe


-------|ÓÅ»ÝÐéÄâÖ÷»ú£¡|------

2003-07-11 Thread webmaster

Ç×°®µÄÅóÓÑ£º
ÄúºÃ£¡
ÕâÊÇÀ´×ÔÏÃÃÅÊб¦Áé¿Æ¼¼ÍøÂçÓÐÏÞ¹«Ë¾µÄÎʺ¸ÐлÄúÊÕ¿´Õâ·âÓʼþ¡£ÎÒÃÇÕæ³ÏµÄÏ£Íû
ÄúÄܳÉΪÎÒÃÇÔÚ¹óµØÇøµÄÖØÒª»ï°é¡£ÎÒÃÇÊÇÒ»¼Ò²ÉÓÃÊÀ½ç¸ßм¼Êõ½á¾§£¬Ñо¿¡¢ÍƹãºÍ·¢Õ¹
м¼Êõ£¬ÖÂÁ¦ÓÚ»¥ÁªÍøÐÅÏ¢·þÎñ¡¢ÓòÃû×¢²á·þÎñºÍÐéÄâÖ÷»ú·þÎñµÄ¸ßм¼ÊõÆóÒµ¡£ÏêÇéÇëä¯
ÀÀ:http://www.host-china.com 
¹«Ë¾×Ô2003ÄêÆðÈ«Á¦½ø¾ü¹ú¼Ê»¥ÁªÍø·þÎñÁìÓò£¬ÕûºÏÍƳöÁËÒÔϲúÆ·¡£ËùÓпռ䶼֧³Ö
Êý¾Ý¿â£¨linux+PHP+Mysql;NT+asp+acess£©¡£Õ⽫»áÊÇÄú³¬ÖµµÄÑ¡Ôñ¡£
1.30M¿Õ¼ä+30MÆóÒµÓÊ¾Ö + ËÍÒ»¹ú¼ÊÓòÃû £¬¹¦ÄÜÈ«Ã棬½öÊÛ198Ôª/Äê¡£
2.120M¿Õ¼ä£«120MÆóÒµÓÊÏ䣫1¸ö¹ú¼ÊÓòÃû£¬¹¦ÄÜÈ«Ã棬½öÊÛ330Ôª/Äê¡£
3.200M¿Õ¼ä£«50MÆóÒµÓÊÏ䣫1¸ö¹ú¼ÊÓòÃû£¬¹¦ÄÜÈ«Ã棬½öÊÛ450Ôª/Äê¡£
4.300M¿Õ¼ä£«50MÆóÒµÓÊÏ䣫1¸ö¹ú¼ÊÓòÃû£¬¹¦ÄÜÈ«Ã棬½öÊÛ580Ôª/Äê¡£

¾¡¹ÜÎÒÃǾ¡Á¦ÎªÄúÌṩ×îºÃµÄ·þÎñ¡££¬µ«²»Åųý³öÏÖʧÎó¡£Èç¹ûÊÇÕâÑù£¬ÎÒÃÇÄþÔ¸½ÓÊÜ
Í˿Ҳ²»»áÒòΪÄÄÅÂÒ»µãµãµÄ²»ÂúÒâ¶øÈÃÄú²»¿ªÐÄ¡£ËùÒÔÎÒÃdzÐŵ£ºÖ÷»ú²»ÂúÒⰴʵ¼ÊÓà
¶îÍË¿î¡£Çë²»ÒªÖ±½Ó»Ø¸´,»Ø¸´Çë·¢:[EMAIL PROTECTED]

×££º¿ªÐÄ£¡Ë³Àû£¡
webmaster of http://www.host-china.com 
ÏÃÃÅÊб¦Áé¿Æ¼¼ÍøÂçÓÐÏÞ¹«Ë¾
http://www.host-china.com
µç»°£º0592-5915491£¨ÈÈÏߣ©   0592-5652685¡¡
´«Õ棺0592-5652687
ÁªÏµÈË£ºÀîÏÈÉú ½ðС½ã



































































---
·ÐµãȺ·¢Óʼþ,À´×ÔÈí¼þ¹¤³Ìר¼ÒÍø(http://www.21cmm.com)

½øCMMÍøУ(http://www.21cmm.com)£¬³ÉÏîÄ¿¹ÜÀíר¼Ò
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe