- Haskell-Cafe - Haskell.org

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

literal haskell mode (nice :)
by Jorge Adriano 22 Mar '02

22 Mar '02

I got some tips from some people at #xemacs in openprojects.org and cam up with the file in attachment. I know nothing about e-lisp so beware!! I just have one major problem now. I wanted it to load x-symbol instead of just LaTeX mode (and x-symbol-fontify after loading the mode). If anyone can do that I'd be really gratefull :-) J.A. P.S.: put the attached file in the directory wher you have the ".el" and add to you ~/.emacs (or ~/.xemacs/init.el), (require 'two-mode-mode). (I think :)

1 2

literate haskell (again)
by Jan-Willem Maessen 22 Mar '02

22 Mar '02

Jorge Adriano <jadrian(a)mat.uc.pt> writes: > Tried using Andrew Cookes haskell.sty and liked it a lot, but seems like the > (X)emacs haskell mode doesn't support the \begin{code} \end{code} literate > programming style, just the one where code is preceded by '> '. > > Anyone has got an hack available for this? According to my haskell-mode.el: ------------snip ;; Default literate style for ambiguous literate buffers. (defvar haskell-literate-default 'bird "*If the style of a literate buffer is ambiguous, then this variable gives the default value for `haskell-literate'. This variable should be set to the preferred literate style. For example, place within .emacs: (setq haskell-literate-default 'latex)") ------------snip So you probably want to change this as per the instructions. I use Ralf Hinze's lhs2TeX and an ancient version of the Utrecht attribute grammar tool, and have therefore hacked my haskell-mode.el to do the appropriate thing with the other literate code markers for both of these files: ------------snip (defvar haskell-latex-begin "^\\\\\$begin{code}$\\|begin{spec}$\\|BC$\\|BT{.*}$\$" "Regexp distinguishing start of LaTeX code regions.") (defvar haskell-latex-start "\\\\\$begin{code}\\|begin{spec}\\|BC\\|BT{.*}\$" "Regexp distinguishing just LaTeX start text.") (defvar haskell-latex-end "^\\\\\$end{code}$\\|end{spec}$\\|EC$\\|ET$\$" "Regexp distinguishing end of LaTeX code regions.") (defvar haskell-latex-finish "\\\\\$end{code}\\|end{spec}\\|EC\\|ET\$" "Regexp distinguishing just LaTeX end text.") (defvar haskell-latex-boundary "^\\\\\$\\(begin{code}$\\|begin{spec}$\\|BC$\\|BT{.*}$\$\\|\$end{code}$\\|end{spec}$\\|EC$\\|ET$\$\\)" "Regexp finding boundaries in LaTeX code") ------------snip -Jan-Willem Maessen

2 1

literate haskell (again)
by Jorge Adriano 22 Mar '02

22 Mar '02

Tried using Andrew Cookes haskell.sty and liked it a lot, but seems like the (X)emacs haskell mode doesn't support the \begin{code} \end{code} literate programming style, just the one where code is preceded by '> '. Anyone has got an hack available for this? J.A.

1 0