Re: [Haskell-cafe] Aim Of Haskell

Yes! You are right commercials benefits from academics; NO DOUBT! No one will discuss anything against that because that's obvious where is the source. But It is not obvious where is the destination. Maybe new-comers need to be more Haskellized first. But that's not the problem. In this thread man

Re: [Haskell-cafe] GHC package lang not found

On Saturday 16 December 2006 15:08, Aditya Siram wrote: > Hi all, > I am trying to install Hare but I cannot build it. GHC complains that > package lang is not found. Here is the output: [snip] > ghc-6.6: unknown package: lang > I think that what use to be provided by lang is now part of ghc 6.6's

[Haskell-cafe] GHC package lang not found

Hi all, I am trying to install Hare but I cannot build it. GHC complains that package lang is not found. Here is the output: editors/GenEditorInterfaces pfeRefactoringCmds > refactorer/PfeRefactoringCmds.hs cd refactorer; rm -f hidir/`uname`/Main.hi; ./myghc--make -o pfe pfe.hs 2>&1 | tee

Re: [Haskell-cafe] what are the points in pointsfree?

On 15/12/06, Scott Brickner <[EMAIL PROTECTED]> wrote: Donald Bruce Stewart wrote: sdowney: i'm not naive enough to think they are the composition function, and i've gathered it has something to do with free terms, but beyond that i'm not sure. unless it also has something to do with fix po

[Haskell-cafe] Re: what are the points in pointsfree?

Hello, Please view my claims with a healthy dose of scepticism: I know a little category theory, but only from the mathematical point of view, not as employed in computer science. Scott Brickner wrote: > Anyway, as I understood it, the "points" were the terminal objects of > the category in wh

[Haskell-cafe] Re: what are the points in pointsfree?

No fair. Although I've a B.S. in Mathematics, I spent most of my time in complex analytic dynamical systems, rather than hanging with the algebraists. Except for a bit where I did some graph theory. Rather ironic. On 12/15/06, Scott Brickner <[EMAIL PROTECTED]> wrote: Donald Bruce Stewart wrot

Re: [Haskell-cafe] Aim Of Haskell

On Fri, 15 Dec 2006, John Meacham wrote: > One of the things I notice happens a lot on the lists is that it is very > difficult to answer questions without knowing the background of the > person asking it. > Perhaps we as a community need to avoid the urge (it is hard to resist) > to give esot

Re: [Haskell-cafe] Aim Of Haskell

The core of the 'Blub Paradox'. There is almost no upside for a manager to approve an 'unusual' language for a project. Most technology changes are driven by engineers, and most engineers are by nature risk averse, even though they also tend to be neophiles. So, on a given project, they'll try on

[Haskell-cafe] [ANN] JoinCabal makes its brave entry into the world

Okay, after a bit of a wait (I believe it was several weeks, in fact) there's an alternative to Don Stewart's mkcabal. JoinCabal is available from here: or It fo

Re: [Haskell-cafe] Stack, Heap and GHC

On 15/12/06, Felix Breuer <[EMAIL PROTECTED]> wrote: 1) What precisely is a thunk? It's a memory cell that says 'I'm an unevaluated value, to evaluate me do X'. For example, consider the differences between the following programs: (common for all that follows) myFunc :: [Int] -> [Int] (1) myF

Re: [Haskell-cafe] Re[2]: [Haskell] Haskell alternatives: functional programming in rich IDEs

On 12/15/06, Bulat Ziganshin <[EMAIL PROTECTED]> wrote: Hello Martin, Friday, December 15, 2006, 3:51:24 PM, you wrote: >>1) F#, is Ocaml dialect integrated in .NET environment >>2) Clean, very Haskell-like language with a commercial IDE, GUI libs and so on >>3) Business Objects, integration of

Re: [Haskell-cafe] what are the points in pointsfree?

Donald Bruce Stewart wrote: sdowney: i'm not naive enough to think they are the composition function, and i've gathered it has something to do with free terms, but beyond that i'm not sure. unless it also has something to do with fix points? The wiki knows all! :) http://haskell.o

[Haskell-cafe] Re[2]: [Haskell] Haskell alternatives: functional programming in rich IDEs

Hello Martin, Friday, December 15, 2006, 3:51:24 PM, you wrote: >>1) F#, is Ocaml dialect integrated in .NET environment >>2) Clean, very Haskell-like language with a commercial IDE, GUI libs and so on >>3) Business Objects, integration of Haskell-like language into Java > 4) Scala, which has a n

Re: [Haskell-cafe] Aim Of Haskell

This is sort of a tangent... One of the things I notice happens a lot on the lists is that it is very difficult to answer questions without knowing the background of the person asking it. Haskell is a 'multi-level' language in a lot of ways, there is the nice friendly veneer described in the repo

[Haskell-cafe] Re: Building the community

Cale Gibbard schrieb: There are also lots of other reasons why growing too quickly and gaining commercial users too quickly are double edged swords. Personally, I'd like to see the Prelude undergo a few more iterations, and it gets harder to change as more and more projects rely on it. When it do

[Haskell-cafe] Re: Stack, Heap and GHC

Felix Breuer schrieb: 1) What precisely is a thunk? That depends on the abstraction level. At the evaluation level, it is an expression that has at least one unevaluated subexpression. At the implementation level, it could be a direct representation of an expression graph (partly evaluated

Re: [Haskell-cafe] Aim Of Haskell

On Fri, Dec 15, 2006 at 09:21:52AM -0800, Jason Dagit wrote: > On 12/15/06, Tomasz Zielonka <[EMAIL PROTECTED]> wrote: > >> The Haskell web server that Simon Peyton-Jones et al described in their > >> paper would be a great example. But where's the download? > > > >Let me stress this: HWS is an *ex

Re : [Haskell-cafe] Aim Of Haskell

Hi, I don't answer specific previous line of mail but just give my opinion :) As with any non-mainstream or young language, there's some kind of lack of libraries/tools/whatever. With the arrival of Java, people get used to have scores of libraries which are 'right there', just 'part' of the jav

[Haskell-cafe] Re: Aim Of Haskell

Steve Downey schrieb: The STL, however, brings a very applicative programming model into an otherwise imperative language. And, it turns out that the template language is a turing complete pure functional language, making possible some very interesting type based metaprogramming. AFAIK there's

[Haskell-cafe] Re: Aim Of Haskell

Tomasz Zielonka schrieb: On Thu, Dec 14, 2006 at 09:56:57PM +0100, Joachim Durchholz wrote: OK, there's the option of replacing working tools with hype. It worked for C++, and it worked for Java. Pity I don't have the slightest idea how to work up a hype for Haskell. Who would want such a hype

Re: [Haskell-cafe] Aim Of Haskell

On 12/15/06, Jason Dagit <[EMAIL PROTECTED]> wrote: On 12/15/06, Tomasz Zielonka <[EMAIL PROTECTED]> wrote: > > The Haskell web server that Simon Peyton-Jones et al described in their > > paper would be a great example. But where's the download? > > Let me stress this: HWS is an *exception*. It'

Re: [Haskell-cafe] Cabal licence files

Quoth Jason Dagit, nevermore: Something that has always confused me about .cabal files is that BSD has two versions but GPL only has one version and I don't know if I'd be selecting GPL version 2 or 3. Could it be changed to support different versions of the GPL like it does with BSD? Yes, th

Re: [Haskell-cafe] Aim Of Haskell

Quoth Jason Dagit, nevermore: but a research paper is not what "industry" types want to look at when they want to know how to write QuickCheck properties (as an example). This one posed big problems for me when trying to choose an XML parser. The HaXml research papers are about 3 dramatic API

Re: [Haskell-cafe] Aim Of Haskell

On 12/15/06, Tomasz Zielonka <[EMAIL PROTECTED]> wrote: > The Haskell web server that Simon Peyton-Jones et al described in their > paper would be a great example. But where's the download? Let me stress this: HWS is an *exception*. It's the only Haskell related thing that I had trouble to find.

[Haskell-cafe] Re: [Haskell] Haskell alternatives: functional programming in rich IDEs

Moving this to Haskell-Cafe which seems more appropriate given my question. On 12/15/06, Bulat Ziganshin <[EMAIL PROTECTED]> wrote: Hello haskell, it was several times mentioned that Haskell doesn't provide rich environments for productive work, including lack of IDEs, bundled "real-world" libs

A suggestion for the next high profile Haskell project [Was: Re: [Haskell-cafe] What is a hacker?]

On Thu, Dec 14, 2006 at 17:45:45 +0100, Benjamin Franksen wrote: [..] >One is that it opens up new possibilities for individuals that were >formerly closed to them. The two most prominent projects written in >Haskell (darcs and Pugs) have both been started by a single person >undertaking a project

Re: [Haskell-cafe] Cabal licence files

On 12/14/06, Dougal Stanton <[EMAIL PROTECTED]> wrote: The cabal setup recognises a small set of licences which I don't think are well explained. I'm trying to put together a canonical list for setting up new projects. GPL: LGPL:

[Haskell-cafe] Success with Takusen (was: Type problem with simple takusen code)

On 12/12/06, Paul Moore <[EMAIL PROTECTED]> wrote: Should be, but isn't, unfortunately. The Setup.hs file includes some code defining configPG etc, but there's nothing I can see for the user control how it works. Maybe something in the cabal infrastructure handles this, but I've not had time yet

Re: [Haskell-cafe] Aim Of Haskell

Hello! On Fri, Dec 15, 2006 at 01:14:38PM -, Neil Bartlett wrote: > Just that it would be great to hear more about the mundane > aspects of programming occasionally. Like, how exactly do I read from a > relational database with Haskell? Or process an XML file? Or build an > event-driven GUI? A

RE: [Haskell-cafe] Book "Haskell in real world"

Hello Bulat, you are talking about the real world, but maybe it useful to think about, that the real world might have different forms, falls into different categories. What I mean: The real world for a computer game programmer, network service application developper, complex simulation software e

Re: [Haskell-cafe] Aim Of Haskell

The front end for the comeau compiler is from Edison Design Group, and that's the one that is used by many other compilers. And the EDG compiler is regarded as being the most conformant. Besides MS and the FSF (visual c++ and gcc), both Sun and IBM have c++ compiler toolchains not based on EDG. If

[Haskell-cafe] Re: Draft MissingH Reorg Plan

On Fri, Dec 01, 2006 at 01:30:25PM -0600, John Goerzen <[EMAIL PROTECTED]> wrote a message of 46 lines which said: > This module provides parsers for the grammar defined in RFC2234, > "Augmented BNF for Syntax Specifications: ABNF", Do note that it is an old reference and the RFC on ABNF is 42

[Haskell-cafe] Re: what are the points in pointsfree?

so pointsfree is a step beyond leaving the domain unspecified. Actually, the domain is specified - a function written as f = g . h has the same domain as h has. my reading knowledge of haskell at this point far exceeds my ability to write haskell. but so far, it has seemed to me that function

Re: [Haskell-cafe] Aim Of Haskell

I think this hits the nail on the head. To be blunt, the presence of so many academics and scientists in the Haskell community is intimidating to those of us that work "in industry". Our brains are, after all, not as highly trained as yours, and we care about different things than you do. Now I d

[Haskell-cafe] Book "Haskell in real world"

Hello haskell-cafe, first, i should say that i'm real-world programmer with 15 years experience. and my experience taught me that programming language in first place should allow to express complex algorithms easily, factor out any code patterns, and facilitate development of error-proof programs.

Re[2]: [Haskell-cafe] Re: Aim Of Haskell

Hello Tomasz, Thursday, December 14, 2006, 11:32:33 PM, you wrote: > complete compilers. Two years ago the only full compiler for C++ was > Comeau, probably unknown to most C++ programmers. I am not sure about > today, but I wouldn't bet that things improved. just because they don't know what si

Re: [Haskell-cafe] Stack, Heap and GHC

On Thu, 14 Dec 2006 15:31:54 -0800, David Roundy <[EMAIL PROTECTED]> wrote: > import Data.List > > largenum = 100 > > main = do putStrLn "strict foldl1" > print $ foldl1' (\a b -> a + 1) $ [1..largenum] > putStrLn "lazy foldl1" > print $ foldl1 (\a b -> a + 1) $