- Haskell-Cafe - Haskell.org

Re: sort inefficiency
by Dylan Thurston 03 Apr '02

03 Apr '02

On Wed, Apr 03, 2002 at 09:35:51AM +0400, Serge D. Mechveliani wrote: > The Standard library specifies only the map related to the name > `sort'. This map can be described, for example, via sort-by-insertion > program. > And the algorithm choice is a matter of each particular > implementation. Implementation has right to change the algorithm. Reading this, it occurred to me that if you're very picky the implementation probably isn't allowed to pick the algorithm: you need to assume that '<' is actually a total order to have much leeway at all. (Suppose, e.g., that comparing two particular elements yields an exception.) It seems to me this is a problem with providing code as specification: you probably fix the details more than you want. Best, Dylan Thurston

1 0

guards
by Cagdas Ozgenc 29 Mar '02

29 Mar '02

Greetings. Is it requried that the type used in guards always Bool? It seems to me that the Haskell language is dependent to Bool type, and Bool type is depending to the Haskell language causing a circular dependency problem. Of course this is not a practical issue. Is there a theoretical explanation? Thanks for taking time.

1 0

Re: Little problem
by Jorge Adriano 27 Mar '02

27 Mar '02

[moving to haskell-cafe] > Hello > I have little problem. I want to solve this equation > > f(n-1) = f(n)+n > f(6)=6 This is a simple recursive definition.. By the way, are you sure you didn't meant: f(n-1)=f(n)+(n-1) > => f(2)=? Not exactly sure what you're after here. You could simply do: f(2) =f(3)+3 =f(4)+4+3 =f(5)+5+4+3 =f(6)+6+5+4+3 =6+6+5+4+3 =24 anyway it's simple to see, or even prove by induction, that f(n) = (\sum_{i=n+1}^{7} i) -1 = (n+8)(7-n)/2 - 1 If I'm rigth and you're formula is suposed to be f(n-1) = f(n)+n it is even easier. J.A.

1 0

Re: Is there a name for this structure?
by dominic.j.steinitz＠britishairways.com 27 Mar '02

27 Mar '02

The name escapes me but any category theory book should supply the answer. Dominic. Tom Pledger <Tom.Pledger(a)peace.com>@haskell.org on 27/03/2002 04:22:29 Sent by: haskell-cafe-admin(a)haskell.org To: haskell-cafe cc: bcc: Subject: Is there a name for this structure? Joe English writes: : | Suppose you have two morphisms f : A -> B and g : B -> A | such that neither (f . g) nor (g . f) is the identity, | but satisfying (f . g . f) = f. Is there a conventional name | for this? Is it equivalent to saying that (f . g) is the identity on the range of f? That's shorter, though still not a snappy single word term. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe(a)haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe ------------------------------------------------------------------------------------------------- Save time by using an eTicket and our Self-Service Check-in Kiosks. For more information go to http://www.britishairways.com/eservice1

1 0

Is there a name for this structure?
by Joe English 27 Mar '02

27 Mar '02

Not really a Haskell question, but someone here might know the answer... Suppose you have two morphisms f : A -> B and g : B -> A such that neither (f . g) nor (g . f) is the identity, but satisfying (f . g . f) = f. Is there a conventional name for this? Alternately, same question, but f and g are functors and A and B categories. In some cases (g . f . g) is also equal to g; is there a name for this as well? I find myself running into pairs of functions with this property over and over again, and am looking for a short way to describe the property... Thanks, --Joe English jenglish(a)flightlab.com

3 2

Re: I need some help
by Jorge Adriano 26 Mar '02

26 Mar '02

> > However the user of the program give some argument then program is > > starting. And I want to use this arguments for example at the end of the > > program. What will I do. > > Good question. I've had a bad time with this, some in this list proably got > tired of me saying the same thing over and over again... those of you might > want to skip the rest of my mail :-) huh? what is this line doing here.. I thought I had cut/pasted it below, but instead I copy/pasted it (then changed it). Most of the is pretty readble, I just complain about stuff in the last part of the e-mail :-) J.A.

1 0

Re: I need some help
by Jorge Adriano 26 Mar '02

26 Mar '02

[Obs: moving to haskell cafe] [beware, huge answer follows] > Hello > I am writing a whole program which is analyz a elegtromagnetic wave. This > is ok but in the program I use a lot of constant for example pi,epsilon > etc. I want to ask that > how I use a constant in Haskell ? Defining constants it's easy, examples. -- with no type signature epsilon = 3.1 -- with explicit type signature epsilon2 :: Double epsilon2 = 3.1 -- specifying the type but no type signature epsilon3 = 3.1 :: Double (by the way, wouldn't it make sense not to get a warning about missing type signature in this last case. I know there is no signature there but still...) > However the user of the program give some argument then program is > starting. And I want to use this arguments for example at the end of the > program. What will I do. Good question. I've had a bad time with this, some in this list proably got tired of me saying the same thing over and over again... those of you might want to skip the rest of my mail :-) If you want the user to be able to chose those values, then they are NOT constants, period. Yes their values won't chnage during the rest of the algorithm, but that doesn't makes it constants, so you can't declare them that way. What *can* you do. 1. One *awfull* option is to pass thos values as arguments to all your functions. Yes signatures will get monstruous, it will complicate the developing process etc, 2. Instead of passing all those variables, group them in a record - data type with named fields - and pass that record arround. (http://www.haskell.org/onlinereport/exps.html#sect3.15) Signatures will get better. It's kind of weird though, to always have to pass around that record. Things can get quite messy, IMO. -- foo f :: Double -> Double -> Double f x y = eta*x - epsilon^2*y -- foo2 f :: Options -> Double -> Double -> Double f opt x y = (eta opt)* (epsilon opt)^2*y And this is just a very simple example, it can get much worst. 3. Implicit parameters. (At least in Ghc, what about others?) Now this is the closest to an elegant solution. *Read both*: http://citeseer.nj.nec.com/246042.html http://www.cs.chalmers.se/~rjmh/Globals.ps f :: (?eta::Double, ?epsilon::Double)=> Double -> Double -> Double f x y = ?eta*x - ?epsilon^2*y Now you don't have to specify eta and epsilon in the type signature itself, but in the context - no passing around extra (not natural) parameters. It makes an huge diference IMO when developing your algorithms. Still signatures wil get even bigger than if you just passed them as parameters, you can't even type the context like: (?eta, ?epsilon::Double) So that is just awfull! Once again records will help. f :: (?opt::Options)=> Double -> Double -> Double f x y = (eta ?opt) *x - (epsilon ?opt)^2*y It still lokes quite bad. I *hate* the field projection functions, and I hate the '?'!! So you could simply rename you data opt fields and declare, eta :: (?opt:: Options) => Double eta = etaF ?opt epsilon :: (?opt:: Options) => Double epsilon = epsilonF ?opt Now f could be written like: f :: (?opt::Options)=> Double -> Double -> Double f x y = eta*x - epsilon^2*y Which differs from the first f function only in the context. It is *almost* good enough for me :-) "Why the almost?" you ask... Well, implicit parameters are not only non-standard features, but also experimental features (right?), so you they can change anytime. -------------------------------------------------------------------------------------- NOTE: some of you might wanna quit reading here, I keep complaining about this stuff, you are probably tired of it :-) -------------------------------------------------------------------------------------- In a couple of days you will also want to use more than one record, because grouping certain constants together doesn't feel right, and contexts will get bigger. Also, you will want to use global variables and instead of a record you will use an STRef to a record, and very small signatures will have in they're context something like: (?opt :: STRef s Opt). And then you will need to update some option fields, and you will want to use modifySTRef, and you will need to create an applyField function to every damn field of the record... So you will start asking 1. (when) will we have implicit contexts available? 2. wouldn't it be good to have, besides the data projection functions, some update and apply field functions, automaticly derived when declaring the data type? [yes am actually *asking* if *anyone agrees* with me? haven't had any feedback on this one, so I don't no wether it is a good or just plain dumb idea] IMVHO, it is of extreme importance and *urgent* to get implicit parameters right. This question about how to use this 'user difined constants' is a *simple* question and should have a *very simple* and standard answer. The same goes to global variables. We need them in certain situations and it is supposed to be, and it can be from my experience, *simple*. J.A.

1 0

(no subject)
by nulkinulki 25 Mar '02

25 Mar '02

subscribe Haskell Michelle Yu <nulkinulki(a)sina.com> ______________________________________ =================================================================== ÐÂÀËÃâ·Ñµç×ÓÓÊÏä (http://mail.sina.com.cn) ÐÂÀË·ÖÀàÐÅÏ¢£º¶þÊÖÊÐ³¡×ßÒ»×ß£¬žÃ³öÊÖÊ±ŸÍ³öÊÖ£¡ (http://classad.sina.com.cn/2shou/)

1 0

typeclasses
by Cagdas Ozgenc 24 Mar '02

24 Mar '02

Greetings. How can I make all types that belong to class A and instance of class B, if the implementations of functions in class B can be realized by only using the functions in class A? Thanks for taking time.

2 1

http://haskell.org
by Christine Hall 24 Mar '02

24 Mar '02

Hi I visited http://haskell.org, and noticed that you're not listed on some search engines! I think we can offer you a service which can help you increase traffic and the number of visitors to your website. I would like to introduce you to TrafficMagnet.net. We offer a unique technology that will submit your website to over 300,000 search engines and directories every month. You'll be surprised by the low cost, and by how effective this website promotion method can be. To find out more about TrafficMagnet and the cost for submitting your website to over 300,000 search engines and directories, visit www.TrafficMagnet.net. I would love to hear from you. Best Regards, Christine Hall Sales and Marketing E-mail: christine(a)trafficmagnet.net http://www.TrafficMagnet.net This email was sent to haskell-cafe(a)haskell.org. I understand that you may NOT wish to receive information from me by email. To be removed from this and other offers, simply go to the link below: http://emaserver.trafficmagnet.net/trafficmagnet/www/optoutredirect?UC=Lead…

1 0