[Haskell-cafe] Re: [Haskell] ANNOUNCE: jhc 0.6.1

2009-06-24 Thread David Barton
Switching to Haskell Cafe; I hope you read that list, John, since it seems more suitable to this kind of question. John Meacham wrote: Hi, this is to announce the release of jhc 0.6.1. The jhc homepage with distribution information is at http://repetae.net/computer/jhc/ The main new feature

[Haskell-cafe] Cabal: error on configure

2008-10-07 Thread David Barton
OK, I suspect this is a real newbie error, but please have mercy. I have downloaded and installed cabal (at least it responds to the --help command from the command line). Yet when I do, say (to give a real example): cabal configure parameterized_ data (having done he fetch) I get this

Re: [Haskell-cafe] Do you trust Wikipedia?

2007-10-18 Thread David Barton
The trustworthy articles on Wikipedia have references that can be checked, and read. The ones without references are not to be trusted.. Dave Barton - Original Message - From: Philippa Cowderoy [EMAIL PROTECTED] To: PR Stanley [EMAIL PROTECTED] Cc: haskell-cafe@haskell.org Sent:

Re: [Haskell] Modelling languages for FP (like UML for OO)

2006-01-19 Thread David Barton
Philippa Cowderoy and Mads Lindstrom wrote: - Original Message - From: Philippa Cowderoy [EMAIL PROTECTED] To: Mads Lindstrøm [EMAIL PROTECTED] Cc: haskell@haskell.org Sent: Thursday, January 19, 2006 8:16 AM Subject: Re: [Haskell] Modelling languages for FP (like UML for OO) On Thu,

Re: [Haskell-cafe] Functions with side-effects?

2005-12-21 Thread David Barton
Wolfgang Jeltsch writes: - Original Message - Am Mittwoch, 21. Dezember 2005 13:15 schrieb Creighton Hogg: [...] Monads, I believe, can be just thought of as containers for state. I would say that you are talking especially about the I/O monad here. A monad as such is a rather

Re: [Haskell-cafe] Updating the Haskell Standard

2005-07-20 Thread David Barton
John Goerzen writes: There was a brief discussion on #haskell today about the Haskell standard. I'd like to get opinions from more people, and ask if there is any effort being done in this direction presently. snip I know that some people would like to hold off on such a process until

[Haskell-cafe] Re: [Haskell] Newbie : How come that cyclic recursive lists areefficient ?

2005-01-25 Thread David Barton
Benjamin Fransen writes: There *is no* difference between the two if one views them as pure mathematical values. Questions of run time speed or memory usage, i.e. efficiency (which your original question was about) are clearly outside the realm of pure values, and thus we may perceive them as

Re: [Haskell-cafe] The implementation of functional languages

2004-09-21 Thread David Barton
John Meacham writes: I am looking for the book The implementation of Functional Programming languages by S. L. Peyton Jones. This book is out of print and currently there is no electronic version of it. The Haskell bookstore folk are working on reconstructing it and making it available

Re: Graphical Programming Environments (was: ANNOUNCE: Release of Vit al, an interactive visual programming environment for Haskell)

2003-11-13 Thread David Barton
I love religious wars. Having been around awhile, I make a prediction. This will thrash a while, those who like graphical environments will make their points, those who like textual environments will make their points, no one will convince anyone else, and eventually it will die down. In fact

Re: Typing units correctly

2001-02-13 Thread David Barton
Tom Pledger writes: In both of those cases, the apparent non-integer dimension is accompanied by a particular unit (km, V). So, could they equally well be handled by stripping away the units and exponentiating a dimensionless number? For example: (x / 1V) ^ y I think not.

Re: Dear Santa (Error Messages)

1999-09-15 Thread David Barton
Simon Marlow writes: That should be http:\\www.cs.uu.nl\groups\ST\Software\Parse, I think. Hey, I just grabbed the link reference from his file :-). "blazingly fast" isn't very useful. Show me the NUMBERS :-) Well, my Rosetta grammer wouldn't be very useful. Grab them yourself, or

Re: Dear Santa (Error Messages)

1999-09-14 Thread David Barton
George Russell writes: Parser combinators don't actually seem to analyse the grammar at compile time at all, and instead just try all possibilities. This looks like stone-age technology to me. The first version of MLj was written with parser combinators. As a result the parsing

Re: April fools joke

1999-05-19 Thread David Barton
Has anyone written the poor guy, perchance to offer him a small clue? Dave Barton * [EMAIL PROTECTED] )0( http://www.averstar.com/~dlb

Re: Haskell: the Ultimate Algebraist?

1999-05-07 Thread David Barton
Jerzy Karczmarczuk writes: I am afraid that Sergey is dreaming of transforming Haskell into a universal Computer Algebra system. We know for more than 30 years that the general problem of algebraic simplification is a mess. OK, some polynomial transformations can be done, but I

Re: Couldn't find isAlphaNum

1999-02-15 Thread David Barton
Sigbjorn writes: Weird - are you sure it was capitalised as Haskell now prescribes? Well, *that* makes me feel dumb. That was the problem, indeed. I ask pardon for my blindness. Dave Barton * [EMAIL PROTECTED]

Couldn't find isAlphaNum

1999-02-13 Thread David Barton
While running the new 4.02 on a Linux box, I got a "could not find isAlphaNum" error. I looked at the .hi file, and it seemed OK; however, switching to the definition of the expressions using "isAlpha" and "isDigit" solved the problem. Don't know what's wrong, but

Re: syntactic sugar for arrows

1999-01-28 Thread David Barton
Michael Hobbs writes: Has anyone else read this paper? I'm interested in hearing comments, if only to point out some things that I may have missed. I'll admit, I haven't read the entire paper. I gave up after the 16th page, because it was so conceptually unwieldy. It's not that I

Re: Implementation of list concat and subclass condition

1999-01-22 Thread David Barton
Peter M|ller Neergaard writes: 1) The implementation of list concatenation ++. In the Haskell report it is stated that ++ in general is an operator on monads. In the case of lists, ++ works as list concatenation. However, I cannot find any place describing whether the

Re: .hi error (probably)

1999-01-05 Thread David Barton
Nah, not as long as I know about it. Thanks a million; I'll change things as necessary. Perhaps a line in the user's manual might help --- it wasn't clear to me from reading it that modules that inherit non-standard modules must also use the appropriate flags. Come to think of it, this is the

.hi error (probably)

1999-01-04 Thread David Barton
Got a strange one. I am compiling two files using GHC, one of which depends on the other. The first compiles just fine, but the second compile gives an error on the *hi* file of the first. Specifically: dlb@hudson temp]$ ghc -c -fallow-undecidable-instances -fglasgow-exts

Re: Interesting class and instance question

1998-12-08 Thread David Barton
Simon, thanks a lot. You write: I don't think you can avoid this. You have two type constructors: class SortedList s a where ... class FiniteMap m k a where ... s has kind *-* m has kind *-*-* You want to say instance SortedList s

Re: Fixing imports for and namespaces (was: Simon's H98 Notes)

1998-10-26 Thread David Barton
One more quick comment, and then I think I (at least) am done (to the extent that the difference in opinion is clearly defined). Fergus Henderson writes: And, again IMHO, it is the task of the language to *define* the encapsuation (or to allow that encapsulation to be defined), and

Re: Fixing imports for and namespaces (was: Simon's H98 Notes)

1998-10-24 Thread David Barton
Fergus Henderson writes: No, different uids don't work fine in the multiprogrammer case. The programmer that is compiling the source code needs read access to all of it (for using tools like `grep', if nothing else). Once he has that read access, nothing prevents him from violating

Re: Fixing imports for and namespaces (was: Simon's H98 Notes)

1998-10-20 Thread David Barton
S. Alexander Jacobson writes: I am not sure what you mean by adding a library name. My objection to the current model is that, for example with hugs, each new library requires you to add a path to your hugs path and hope that two different libraries both don't share the same module

Re: Fixing imports for and namespaces (was: Simon's H98 Notes)

1998-10-19 Thread David Barton
S. Alexander Jacobson writes: And, as long as we are supporting more ADA-like import declarations, I would like to renew my campaign for more ADA or Java like module namespace (packages) (yes I know, this won't be in H98) The existing module system is: * too shallow for larger

Re: Haskell in Scientific Computing?

1998-10-16 Thread David Barton
Simon Peyton-Jones writes: Another approach is to compete not head-to-head on speed, but on cunning. Get a good library of numeric procedures (e.g. Mathlab), interface them to Haskell, and use Haskell as the glue code to make it really fast to write complex numerical algorithms. 99% of the

Re: One more bug (I hope)

1998-09-02 Thread David Barton
Done; that did it. Many, *many* thanks. Once more, guided through the maze Dave Barton * [EMAIL PROTECTED] )0( http://www.intermetrics.com/~dlb

Re: One more bug (I hope)

1998-09-01 Thread David Barton
Will do. I assume this does not require a recompile, just a reinstall? Dave Barton * [EMAIL PROTECTED] )0( http://www.intermetrics.com/~dlb

Re: One more bug (I hope)

1998-09-01 Thread David Barton
OK, done. I have applied the patch, run gmake all, then gmake install. I now get the following error from the final (ld) step: /usr/src/ghc/lib/lib/libHSrts.a(Printer.o): In function `DEBUG_LoadSymbols': /usr/src/ghc/fptools/ghc/rts/Printer.c:623: undefined reference to `bfd_init'

One more bug (I hope)

1998-08-31 Thread David Barton
OK, I have compiled and installed ghc-4.00 on Linux Redhat 5.0. When linking, inlcuding -syslip posix, I got the following ld error: ld: cannot open -lnot-installed: No such file or directory Obviously, not-installed is not mentioned in any of my command lines. Any assistance would be

Segmentation Fault

1998-08-19 Thread David Barton
Working on a Linux Redhat 5.0 machine, running version 3.02 patchlevel 0, I have run across two problems: 1) A program that seems correct (at least, it compiles and runs under Hugs) dies with a segmentation fault and dumps core. 2) Somehow, programs cannot find the Posix library. I am not

Re: Segmentation Fault

1998-08-19 Thread David Barton
Sigbjorn writes: Looks bad, could you tarzip the program up so that we can have a look at it? On the way to you, under separate cover (why burden the list?). I don't know what might be causing this, could you provide the output of compiling one such module with -v? Found it (why

Re: Press Release

1998-04-01 Thread David Barton
We have been assimilated!!! Dave Barton * [EMAIL PROTECTED] )0( http://www.intermetrics.com/~dlb

Anomaly in IO in GHC (I think)

1998-03-25 Thread David Barton
Consider the following (literate) program: module Main where import IO main:: IO() main = hSetBuffering stdin NoBuffering interact trns trns:: String - String trns [] = [] trns (c:cs) = let str c = case c of '1' - "one\n" '2' - "two\n"

Anomaly in IO in GHC (I think)

1998-03-25 Thread David Barton
Consider the following (literate) program: module Main where import IO main:: IO() main = hSetBuffering stdin NoBuffering interact trns trns:: String - String trns [] = [] trns (c:cs) = let str c = case c of '1' - "one\n" '2' - "two\n"

Re: FP Naming/Directory Service

1998-03-25 Thread David Barton
S. Alexander Jacobson writes: The difficulty is that we typically develop on Windows and Linux and deploy on linux or solaris. The system I am working on involves using CGI/servlets to update a directory server and then a Java based produciton system (Jess, a CLIPS clone), to


1998-02-20 Thread David Barton
JOB OFFERING Intermetrics, Inc. in Vienna, Virginia is looking for a Masters level or equivalent software engineer with experience in functional programming and functional languages, particularly lazy functional languages. Experience in and familiarity with Domain


1998-02-12 Thread David Barton
Well, after keeping on going and getting a few more errors of the same type, which I corrected without further guidance, I have gained two things: 1) A much greater appreciation for the complexity of configuration files and the messiness of Unix compatibility. 2) Gratitude to the Haskell

Yet another problem......

1998-02-11 Thread David Barton
Having added the caddr_t definition to the two files, things chugged along famously for a bit. However, down around absCSyn way, another glitch occurred: ghc -DOMIT_NATIVE_CODEGEN -cpp -fglasgow-exts -Rghc-timing -I. -IcodeGen -InativeGen -Iparser

Re: The latest in a continuing saga......

1998-02-11 Thread David Barton
Well, let me try to reply to both of these at once, just to keep everyone up to date. Sven Panne writes: Looks like an old friend of mine (problems on HP-UX some releases ago). The problem is fptools/ghc/lib/cbits/timezone.h. It tries to be clever about handling time info on different

Re: The latest in a continuing saga......

1998-02-11 Thread David Barton
Sigbjorn writes: That is probably the simplest thing to do until we get a grasp on changes made in the version of GNU libc2 that RH5.0 ships with. If you're willing to experiment, doing foo% cd ghc/lib foo% make libHS.a required/Time_HC_OPTS=-optc-D__USE_BSD may (or may

The latest in a continuing saga......

1998-02-11 Thread David Barton
Oh, dear. This one I don't even know how to *start* with. When compiling the library, the compile crashes with the following: rm -f required/Time.o ; if [ ! -d required/Time ]; then mkdir required/Time; else find required/Time -name '*.o' -print | xargs rm -f __rm_food ; fi ;

Re: Updated to Redhat 5.0, and now dead.....

1998-02-10 Thread David Barton
Simon Marlow writes: 1) The new library seems to use __USE_BSD rather than __FreeBSD__; I had to change one "ifndef" to get it through "gmake boot". Huh? Which library? Just about all of them; hopping into /usr/include and doing a "grep USE_BSD" gives a whole mess of files:

Updated to Redhat 5.0, and now dead.....

1998-02-09 Thread David Barton
Sigh. I upgraded to Redhat 5.0 between GHC 2.10 and GHC 3.00. Catastrophe!! Ah, well, I knew things had been going too well. I fixed a couple of errors: 1) The new library seems to use __USE_BSD rather than __FreeBSD__; I had to change one "ifndef" to get it through "gmake boot". 2) The

Re: Ambiguous Type Error

1998-01-05 Thread David Barton
Simon: Thanks a million; that's just what I needed. Yes, I know the context on the type doesn't do anything. I just got in the habit of putting them in when I thought they did, and I haven't trained myself out of it yet. It seems useful documentation, if nothing else; however, if Standard

Ambiguous Type Error

1997-12-22 Thread David Barton
I have enclosed below a test file that causes an error that puzzles me. Both GHC and Hugs kick it out, so at least they agree; however, I must admit that I don't understand it. GHC gives the following error: test.hs:1: Ambiguous context `{Physical taZ0}' `Physical taZ0' arising

Quick report

1997-12-04 Thread David Barton
Something of little interest to most: rebuilding the Haskell 2.09 for Linux worked fairly well. The only slow-up was the fairly frequent necessity to allocate more heap for specific modules. A list of the modules that failed, and the heap I had to allocate for them, is:

Re: Haskell equiv of ML-Lex/ML-Yacc ?

1997-11-24 Thread David Barton
Thomas Johnsson writes: Q: does anyone know if there's a port of this stuff to Haskell? Note that I'm not after a nondeterministic SLR parser (Ratatosk), or some such For pedagogical reasons I'd lite the tools to be as similar as possible to Yacc/Bison/ML-Yacc, etc. I am using

Pat on the back

1997-10-01 Thread David Barton
This isn't a bug; quite the opposite. But I've been so common here in my comments and reports that I really must report success. With the last release, GHC 2.07 fully self-compiles on a Linux box. I first compiled it with 0.29 (as I have had to before), and then compiled itself. Where it

Re: Standard Haskell

1997-08-22 Thread David Barton
I *strongly* agree with John. Let's not even *talk* about "official" standardization until we get Haskell 1.5 (nominally, "Standard" Haskell) done. Then, and only then, will the question of "official" standardization become (perhaps!) relevant. Dave

Re: Standard Haskell

1997-08-22 Thread David Barton
Hans Aberg writes: At 07:10 97/08/22, David Barton wrote: Let's not even *talk* about "official" standardization until we get Haskell 1.5 (nominally, "Standard" Haskell) done. I believe we should keep the First Amendment. :-) First Amendment? Heck, if yo

Re: Standard Haskell

1997-08-21 Thread David Barton
Fergus Henderson writes: ISO is the same. But standards don't get updated every five years. Rather, each standard must be _reconsidered_ every five years. One of the possible results is for the standard to be reapproved unchanged. If the standards committee does decide that the

Re: Standard Haskell

1997-08-21 Thread David Barton
Hans Aberg writes: I do not think that the Pascal standardizing model is being used anymore; instead one schedules a new revision, say every five years (this is used for C++). There is already an application put in for ISO/ANSI standardizing of Java, and I think Java is younger than

Re: GHC 2.05 bug

1997-08-20 Thread David Barton
Third in a series on the same set of files. Thanks to Sigbjorn Finne's patch, the entire program now compiles. However, the produced program now dies with a segmentation fault. The text (which will probably help not one whit) occurs as follows: Segmentation fault caught, address = 38209318 IOT

Re: Native Mode on Linux i386?

1997-07-23 Thread David Barton
I haven't had time to download his binary distribution and try to recompile 2.04 yet. When I do, I'll let you know how it went. Sometimes I just don't get the time to do the things I *want* to do. Dave Barton *

Native Mode on Linux i386?

1997-07-16 Thread David Barton
In my continuing saga to compile 2.04, I have completed the compile with 0.29, and then tried to compile the compiler with 2.04 itself. All went well (sort of, I had to increase the heap space on three or four files) until it started compiling things in nativeGen; then, obvious errors started

Re: Thoughts on Records and Field Names

1995-11-21 Thread David Barton
After having posted on records, I decided to give them a try with a real example. So I constructed a balanced binary tree (given the recent questions). I decided to extend a bit into the "unionized" record territory by at least marking the null tree with a constructor, and see how things went.

Thoughts on Records and Field Names

1995-11-15 Thread David Barton
I have been thinking about records in Gofer, Haskell, and MHDL (Yet Another Haskell Related Language) for a little while. I know this is a little late in the game for Haskell 1.3 (and so on), but this is the first moment I have had to explore this a little, and I did want to post my thoughts.

Do functions exist?

1993-11-19 Thread David Barton
Greg Michaelson writes: Incidentally, my point about not bothering to evaluate functional programs whose final values are functions was serious. Presumably, people don't generally write programs that return functions as final values? I suppose it depends on what you call a

Resolution of overloading

1993-11-18 Thread David Barton
John Peterson writes: OK - let's get operational! My man! You know, I *like* formal methods and equational reasoning; I just can't get my mind to "do the right thing" in all cases. When reasoning about correctness, I do OK; however, type checking and the like inevitably find me

Resolution of overloading

1993-11-17 Thread David Barton
Puzzled, once again. I think I reason too operationally about these things. It's a curse brought on by being brain-damaged by Basic programming at an early age. John Peterson writes: The issue is at what point is the overloading of trouble, which would be typed as trouble ::

Type Coercions

1992-09-28 Thread David Barton
Has anyone done any research on automatic insertion of type coercions into Haskell? This is a requirement for our MHDL language, and I am trying to find a regular way to do it. I think I have found one, but would be VERY grateful if there was an existing reference.

Arrays and general functions

1992-09-23 Thread David Barton
Reginald Meeson writes: Interesting discussion, but it seems to me that Haskell already provides the best of both worlds, namely a. Efficient implementation of arrays as data objects, with indexing as a projection function; and b. Definition of functions with (Ix a) domains by

Arrays and general functions

1992-09-08 Thread David Barton
Ken Sailor writes: On the other hand, general functions and arrays are typically mixed in a program. If the distinction between the two is limited to type declarations, then from my perspective it becomes difficult to read and understand programs. The difference between functions as rules and