- Haskell-Cafe - Haskell.org

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

Membership
by Pradeep Arora 22 Mar '02

22 Mar '02

Dear Madam/sir, I want to become a member of your newsgroup. I want to know more about Haskell. My name is 'Pradeep' and I am working with Aptech Computers. Kindly send me the details asap. rgds, Pradeep __________________________________________________ Do You Yahoo!? Yahoo! Movies - coverage of the 74th Academy Awards� http://movies.yahoo.com/

1 0

literate haskell
by Jorge Adriano 21 Mar '02

21 Mar '02

Why is it necessary to leave a blank line between comments and code? I'm using LaTeX in my lhs files, with the code inside a verbatim environment, and I'd rather start writing my code right after the \begin{verbatim}. I'd also like to know if anyone as changed is xemacs configuration file in such a way that is easy to change from haskell to LaTeX mode from within lhs files, and compile (latex compile) them. I always have to change to latex mode, the change the syntax highlight, and even then I can't compile the from the included lhs files - it always calls view instead of compile, even if I specify the correct Master file. Thanks in advance J.A.

5 5

Re: Haskell slicing tool?
by Richard Uhtenwoldt 20 Mar '02

20 Mar '02

Olaf Chitil writes: >Sengan.Baring-Gould(a)nsc.com wrote: >> >> > > Are there any tools to perform program slicing on Haskell? >> > > I often find myself wanting to find all "fromJusts" invoked >> > > from the current function, or all functions that use a >> > > particular member of my monad's ADT. > >> Actually I was hoping for a static tool. > >I'd be interested to learn for what purpose you want this kind of >information and also more precisely what you would like such a static >tool to do for you. I do not know Sengan but, from reading that one paragraph I will venture that he is one of those programmers who refactors his code a lot and wants the information to to facilitate refactoring. (by refactoring I mean changing interface boundaries, eg, introducing and eliminating functions.) -- Richard Uhtenwoldt

1 0