- Haskell-Cafe - Haskell.org

A simple question
by Marc Charpentier 03 Nov '04

03 Nov '04

Good evening, Doing some calculations in ghci, I encountered a difficulty which I cannot resolve. Here's a distilled version, prepared for the command line: let i = 2 in (-1)^i/(2^(10*i)) * (-2^5/(4*i+1)) gives the following error messages ghci: Ambiguous type variable `b' in these top-level constraints: `Fractional b' arising from use of `/' at <interactive>:1 `Integral b' arising from use of `^' at <interactive>:1 hugs: ERROR - Unresolved overloading *** Type : (Integral a, Fractional a) => a *** Expression : let {...} in (-1) ^ i / 2 ^ (10 * i) * negate (2 ^ 5 / (4 * i + 1)) However, if I substitute i = 2 in the last fraction, then the transformed expression let i = 2 in (-1)^i/(2^(10*i)) * (-2^5/(4*2+1)) is accepted. Note that both let i=2 in (-1)^i/(2^(10*i)) and let i=2 in (-2^5/(4*i+1)) are accepted. Why? Thank you in advance. Marc Charpentier

3 2

Examples using STRef
by John Velman 02 Nov '04

02 Nov '04

I want to label items on a canvas (using HTk for gui) with a sequence of labels. It looks like STRef would provide the right capability. (Needless to say, at this point, I'm new at using Haskell and am trying to swallow everything at once.) Are there some examples of programs using STRef? I'd like examples that are not too complicated, but not too simple, either. :-) Thanks, John Velman

1 0

different arities
by Henning Sato Rosen 02 Nov '04

02 Nov '04

These two functions have the same type. Is this behaviour intended? (Can functions of the same type have different arities?) ------------------------------------------- data Fun = Increment | Square fun:: Fun -> Int -> Int fun Increment n = n+1 fun Square = (\n -> n*n) ------------------------------------------- Error message in HUGS: ERROR "arity.hs":17 - Equations give different arities for "fun GHC: arity.hs:3: Varying number of arguments for function `fun' /Regards Henning

2 1

installing HaXml
by Tom Spencer 02 Nov '04

02 Nov '04

Hi, I thought i had successfully installed HaXml, ghci loads up the package successfully etc. but then it complains that it can't find XmlLib. Using -v i get the following: Prelude> :load iChing.hs *** Chasing dependencies: iChing.hs: Can't find module `XmlLib' locations searched: XmlLib.hs XmlLib.lhs /usr/lib/ghc-6.2.1/imports/XmlLib.hi /usr/lib/ghc-6.2.1/imports/HaXml/XmlLib.hi /usr/lib/ghc-6.2.1/hslibs-imports/data/XmlLib.hi /usr/lib/ghc-6.2.1/hslibs-imports/util/XmlLib.hi /usr/lib/ghc-6.2.1/hslibs-imports/posix/XmlLib.hi /usr/lib/ghc-6.2.1/hslibs-imports/concurrent/XmlLib.hi /usr/lib/ghc-6.2.1/hslibs-imports/lang/XmlLib.hi i ran the install script again to see what was happening and noticed this line at the end of the install script: warning: can't find GHCi lib `HSHaXml.o' Saving old package config file... done. Writing new package config file... done. make[1]: Leaving directory `/usr/local/bin/HaXml-1.12/obj/ghc' it doesn't seem to work in ghc or hugs either any ideas? Thanks in advance Tom Spencer

2 2

RE: [Haskell-cafe] Re: www.haskell.org -> applications -> HWS-WP
by Bayley, Alistair 02 Nov '04

02 Nov '04

> From: Benjamin Franksen [mailto:benjamin.franksen@bessy.de] > > The tar ball seems to have vanished already. Do you guys have > any idea where > to get the sources for the HWS (with or without plugins)? http://cvs.sf.net/viewcvs.py/haskell-libs/libs/hws-wp/ I think Shae is mirroring this at: http://www.scannedinavian.org/repos/hlibs/hws-wp/ ... but I don't know if one is more up-to-date than the other. ----------------------------------------- ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************

1 0

Re: www.haskell.org -> applications -> HWS-WP
by Benjamin Franksen 02 Nov '04

02 Nov '04

On Tuesday 02 November 2004 11:53, you wrote: > Benjamin Franksen wrote: > >The Haskell Web Server with Plugins is not easily found if one only has > > the link to the sourceforge announcement. Maybe a link to the home page > > http://www.mdstud.chalmers.se/~md9ms/hws-wp/ would be nice? > > > >Cheers, > >Ben > > Cheers, > > I added the link (although I wonder for how long it will survive, > belonging to a student login). The tar ball seems to have vanished already. Do you guys have any idea where to get the sources for the HWS (with or without plugins)? Ben

2 1

RE: [Haskell-cafe] Newbie Question on type constructors
by Brian Beckman 02 Nov '04

02 Nov '04

Most interesting discussion -- in reading it, I realized that I had a 'hidden agenda' in asking my question (hidden even from myself), and that is: can I put interesting functionality, like precondition checks & data validation, in data constructors? I suspect not, and that's why I tend to write something like the following: data Shape = Circle Float | Square Float deriving (Eq, Show) circle :: Float -> Shape circle x = if (x <= 0) then error "Bad radius!" else Circle x That's fine, but I don't know how to prevent users from calling "Circle" directly (in some other languages, I could declare the raw constructor to be "private", and, in Haskell, there may be some way for me to hack module exports to hide the raw constructor, but I haven't seen a way to do that). In any event, it might be useful if I could have some pattern to prevent circumvention of initialization code. Advice? -----Original Message----- From: haskell-cafe-bounces(a)haskell.org [mailto:haskell-cafe-bounces@haskell.org] On Behalf Of Ben Rudiak-Gould Sent: Monday, November 01, 2004 11:33 AM To: finnw(a)iname.com Cc: haskell-cafe(a)haskell.org Subject: Re: [Haskell-cafe] Newbie Question on type constructors Finn Wilcox wrote: >On Mon, 1 Nov 2004, Ben Rudiak-Gould wrote: > >>In particular, one cannot write an invert :: (a->b) -> Maybe >>(b->a) which never returns a wrong answer, except for invert = const >>Nothing > >How about: > >invert = undefined > >This never returns an answer at all, so it can't return a wrong one! Sorry, I should have been clearer: my Nothing return was intended to mean "I don't know an answer", not "there is no answer". So my const Nothing is like your undefined, a function which never returns an answer (and thus never returns a wrong one). -- Ben _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

7 11

RE: [Haskell-cafe] Re: Processing of large files
by Bayley, Alistair 02 Nov '04

02 Nov '04

> From: Alexander Kogan [mailto:alexander@kogan.nnov.ru] > > But I wonder why the very useful function foldl' as I define > it is not > included into Prelude? I think, many people work with large lists or > streams... It's in Data.List: <http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data.List.html#v %3Afoldl'> ----------------------------------------- ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************

2 1

Re: [Haskell-cafe] Newbie Question on type constructors
by Antonio Regidor García 02 Nov '04

02 Nov '04

Interesting discussion. I'm still learning Haskell and I also thought about the difference between constructors and functions time ago. I don't think the question about what a constructor really IS is meaningful. It can be can be thought as a label, a special function, ... wathever is more useful in each context or to each person. For me, the main diference between constructors and Haskell functions is that constructors are never evaluated. A program will never simplify "Circle 5", but does simplify "factorial 5" to "5 * factorial 4" and so on, until there are only a numeric literal (a constructor, indeed). So constructors can be tought as some kind of "primitive functions" that can't be evaluated, or blocks to construct "primitive expressions" (literals) that can't be further simplified. Antonio Regidor García ______________________________________________ Renovamos el Correo Yahoo!: ¡100 MB GRATIS! Nuevos servicios, más seguridad http://correo.yahoo.es

1 0

Calling Haskell from .Net Environment
by David Lo 01 Nov '04

01 Nov '04

Dear all, Vincenzo, thank you for your reply and advice. I'll take a look on xmlrpc. I've heard of hugs98 for .Net. Anyone has ever tried to call haskell from .Net using it ? Please kindly advise, since one example provided in the sample is Haskell -> .Net -> Haskell, while I require .Net -> Haskell. When I tried to modify the sample (maybe I modify wrongly), I find that the I'm unable to load new haskell file (when referencing hugsscript.dll from .Net) or BadImageFileFormat exception (when referencing hugs.exe from .Net). Thank you in advance for your help and attention. Best Regards, David Lo On Friday 29 October 2004 03:48, David Lo wrote: > Dear all, > > I'm new in Haskell. I need to port a haskell application written by > someone else to be called by a .Net C# application. Please kindly > advise on which option to pursue. Any helps will really be > appreciated. The easiest path I know would be to use xmlrpc, (or perhaps soap if you know it - but I am unsure of availability of the latter for haskell, you might check the www.haskell.org website). Bye Vincenzo

3 2