Re: [darcs-users] [Haskell-cafe] Re: poll: how can we help you contribute to darcs?

Sorry for the duplication, I'm now on the haskell-cafe list and wanted to track the other half of this thread. On Aug 03, 2008, at 8:36 am, Don Stewart wrote: And all this delay while the git juggernaut takes over the internet. That's the biggest tragedy. It's the same disappointment I

Re: [darcs-users] [Haskell-cafe] Re: poll: how can we help you contribute to darcs?

On Aug 03, 2008, at 3:36 pm, David Bremner wrote: I think this view is probably coloured by your background in web development. I have used git for about a year now, and never visited GitHub. I'm not saying you have to like git, but it does have other features other than a snazzy web site.

Re: [Haskell-cafe] Re: poll: how can we help you contribute to darcs?

On Aug 03, 2008, at 5:36 pm, Ketil Malde wrote: Seems I needed a newer darcs - the one shipped with Ubuntu is 1.0.9, which appears to be too old, and it works when I build a new 2.0.2 from the tarball. (Anybody with write access to the front page who can make a note of minimum version

[Haskell] Commercial Users of Functional Programming Workshop Call for Participation

about the earlier meetings, including reports from attendees and video of the most recent talks. -- Andy Adams-Moran Phone: 503.626.6616, x113 Galois Fax: 503.214.8120 421 SW 6th Ave, Suite #300 http

Re: [Haskell] Re: Haskell Weekly News: September 27, 2006

Andy Adams-Moran wrote: Just an update: I just added slides from Howard Mansell (Credit Suisse) and Rishiyur Nikhil (BlueSpec). Thanks to everyone who pointed out that there was a typo on the page; Nikhil's slides should be downloadable now at http://www.galois.com/cufp/ Cheers, Andy

Re: [Haskell] Re: Haskell Weekly News: September 27, 2006

Andy Adams-Moran wrote: John Hughes wrote: The intention is to put the speaker's slides online. But in some cases, that will require additional permission from the company concerned--putting slides on the web is more public than talking at a workshop. So some sanitation may perhaps

Re: [Haskell] Re: Haskell Weekly News: September 27, 2006

to take a little while, so while the slides WILL appear in the medium term, don't hold your breath. Some of them are up already; see http://www.galois.com/cufp. The rest will be put up as we get them. Cheers, Andy -- Andy Adams-Moran Phone: 503.626.6616, x113 Galois

Re: deeqSeq proposal

function that will distinguish cyclic structures from infinite ones. If we can't do that, then we haven't really added any new semantic observational capability to the theory, so I think the morally correct reasoning argument holds. Simon? A -- Andy Adams-Moran Phone

Re: Strictness standardization/description

/diatchi.pdf Their Haskell implementation correctly implements Haskell98's recursive modules (among other subtleties). Here's the Logic of Demand paper that I think Claus is referring to above: http://www.cse.ogi.edu/PacSoft/projects/programatica/harrison-kieburtz.pdf A -- Andy Adams-Moran

[Haskell] Haskell CVS repository now hosted by Galois

repository, then you should switch to cvs.haskell.org. If you were already using cvs.haskell.org, then you shouldn't notice much of a change (beyond better service). Cheers, Andy -- Andy Moran Phone: 503.626.6616, x113 Galois Connections Inc

[Haskell] Call for participation: CUFP 2005

appeared in the Functional Programming column of the December 2004 issue of SIGPLAN Notices, and we plan to do the same this year. -- Andy Moran Phone: 503.626.6616, x113 Galois Connections Inc. Fax: 503.350.0833 12725 SW Millikan Way

[Haskell-cafe] Call for participation: CUFP 2005

appeared in the Functional Programming column of the December 2004 issue of SIGPLAN Notices, and we plan to do the same this year. -- Andy Moran Phone: 503.626.6616, x113 Galois Connections Inc. Fax: 503.350.0833 12725 SW Millikan Way

[Haskell] Commerical Users of Functional Programming Workshop 2005

a talk about. Program Committee - Mike Ashley: Mike.Ashley at sagian.com Jim Grundy: Jim_Grundy at ichips.intel.com Xavier Leroy: Xavier.Leroy at inria.fr Simon Peyton Jones: simonpj at microsoft.com Ulf Wiger: ulf.wiger at ericsson.com Andy Moran: moran at galois.com John

[Haskell-cafe] Commerical Users of Functional Programming Workshop 2005

a talk about. Program Committee - Mike Ashley: Mike.Ashley at sagian.com Jim Grundy: Jim_Grundy at ichips.intel.com Xavier Leroy: Xavier.Leroy at inria.fr Simon Peyton Jones: simonpj at microsoft.com Ulf Wiger: ulf.wiger at ericsson.com Andy Moran: moran at galois.com John

Re: Haskell on Red Hat Enterprise...

strings. Have we converged on a long-term solution for this problem? Is hscpp ready for the job? Cheers, Andy -- Andy Moran Ph. (503) 626 6616, x113 Galois Connections Inc. Fax. (503) 350 0833 12725 SW Millikan Way, Suite #290

Re: cpphs (was Re: Haskell on Red Hat Enterprise...)

that was built using cpphs, if the GHC binary were used solely within an organization (i.e. not distributed)? What if cpphs were distributed with such a GHC binary as an executable? A -- Andy Moran Ph. (503) 626 6616, x113 Galois Connections Inc

Re: cpphs (was Re: Haskell on Red Hat Enterprise...)

Andy Moran wrote: I notice that cpphs understands CPP stringification (if invoked with --hashes). Most of the gcc 3.4 failures (in fact, all of that I've seen) have to do with fooling -traditional into turning macro constants into Haskell strings, which can more readily be done

Re: cpphs (was Re: Haskell on Red Hat Enterprise...)

Malcolm Wallace wrote: Andy Moran [EMAIL PROTECTED] writes: I notice that cpphs understands CPP stringification (if invoked with --hashes). Most of the gcc 3.4 failures (in fact, all of that I've seen) have to do with fooling -traditional into turning macro constants into Haskell strings, which

Re: [Haskell] Global Variables and IO initializers: A proposal and semantics

of global variables (which the unsafePerformIO technique does not). Cheers, Andy -- Andy Moran Ph. (503) 626 6616, x113 Galois Connections Inc. Fax. (503) 350 0833 12725 SW Millikan Way, Suite #290 http

Re: [Haskell] Program maintenance tools

- detection of unnecessary arguments for functions; - detection of unnecesary imports of modules; http://www.haskell.org/ghc/docs/latest/html/users_guide/options-sanity.html ghc -W: Provides the standard warnings plus -fwarn-incomplete-patterns, -fwarn-unused-matches, -fwarn-unused-imports,

Re: [Haskell-cafe] Interoperability with other languages and haskell in industry

processes, but we haven't really used that in other projects. -- Andy Moran Ph. (503) 626 6616, x113 Galois Connections Inc. Fax. (503) 350 0833 12725 SW Millikan Way, Suite #290 http://www.galois.com

Re: [Haskell] Haskell in industry?

to attempt to build such tools and products. Cheers, Andy -- Andy Moran Ph. (503) 626 6616, x113 Galois Connections Inc. Fax. (503) 350 0833 12725 SW Millikan Way, Suite #290 http://www.galois.com

Re: [Haskell-cafe] readMVar and the devils

at a guess the magic take put is: block ( do a - takeMVar x putMVar x a ) return a This doesn't prevent the race condition Conor mentioned. It only prevents the thread executing the above code from being interrupted by an asynchronous exception (i.e., Control-C, or another thread killing

Re: [Haskell-cafe] Building Haddock on Windows

that). Cheers, Andy -- Andy Moran Ph. (503) 626 6616, x113 Galois Connections Inc. Fax. (503) 350 0833 12725 SW Millikan Way, Suite #290 http://www.galois.com Beaverton, OR 97005

Documentation bug? {Numeric,GHC.Float}.floatToDigits: requires a non-negative argument

a non-negative number? It does for other functions that require non-negative arguments. A -- Andy Moran Ph. (503) 626 6616, x113 Galois Connections Inc. Fax. (503) 350 0833 12725 SW Millikan Way, Suite #290

Re: Closure type 0

OK, this is a GC bug, and will have to await the return of the Maestro; he's on holiday for a fortnight. Better file it as a Sourceforge bug; that way it definitely won't get lost. Another data point: I've seen this once, under Windows, GHC 6.1 (built from HEAD around September, I think),

Re: Syntax extensions (was: RE: The Future of Haskell discussion at the Haskell Workshop)

-ffeature and -fnofeature is the way to go IMHO. A -- Andy Moran Ph. (503) 626 6616, x113 Galois Connections Inc. Fax. (503) 350 0833 12725 SW Millikan Way, Suite #290 http://www.galois.com Beaverton, OR 97005

Re: help, what's wrong?

, advised Song Yun Li to try an RPM for a later version that was built for RedHat 9. A -- Andy Moran Ph. (503) 526 3472 Galois Connections Inc. Fax. (503) 350 0833 3875 SW Hall Blvd.http

Odd GHCi behavior

searched for) Failed, modules loaded: ..., Util.List, ... Doing a big old clean, --make, and then GHCi solved the problem. But what could cause this kind of behavior? (I can't reproduce it, sorry.) A -- Andy Moran Ph. (503) 626 6616, x113 Galois

Re: @-bindings broken in 6.0?

parsing easier too). I haven't played with Template Haskell at all, so I don't know if '[|' is already a distinguished token. Cheers, Andy -- Andy Moran Ph. (503) 526 3472 Galois Connections Inc. Fax. (503) 350 0833

Re: Debugging haskell

(and the type-checker usually catches them anyway), but they were always the largest proportion of bugs when I used to program in C, etc. A -- Andy Moran Ph. (503) 526 3472 Galois Connections Inc. Fax. (503) 350 0833

Re: rank-n polymorphism

of Programming Languages, St. Petersberg Beach, Florida, year = 1996, organization = ACM, address = New York, NY, month =jan, annote = 31 references., } Cheers, Andy -- Andy Moran Ph. (503) 526 3472 Galois

Re: Erroneous warning

there should there be a warning in both cases, or not at all (the latter being Hugs' behaviour). Cheers, Andy -- Andy Moran Ph. (503) 526 3472 Galois Connections Inc. Fax. (503) 350 0833 3875 SW Hall Blvd

Re: Application letters at the Haskell workshop: suggestion

, but there are rumours of Hugs not being far behind (I'm looking at you, Alastair David :-) The exceptions mechanisms would certainly benefit from an addendum. Cheers, Andy -- Andy Moran Ph. (503) 526 3472 Galois Connections Inc

[Fwd: Application letters at the Haskell workshop: suggestion]

[ Meant for this to go to the mailing list ... ] -- Andy Moran Ph. (503) 526 3472 Galois Connections Inc. Fax. (503) 350 0833 3875 SW Hall Blvd. http://www.galconn.com Beaverton

Re: [off-topic] LaTex for [[ ... ]]

. They look better than the negative space hack, IMHO (now all I need is for Alan Jeffrey to write in and say that \{ll,rr}bracket are implemented with the negative space hack :-) Cheers, Andy -- Andy Moran Ph. (503) 526 3472 Galois Connections, Inc

Re: GHCi command line

Julian Seward (Intl Vendor) wrote: It's a known issue^H^H^H^H^Hbug. I don't think we yet have a story about how to fix this. How about a :main args which sets the appropriate environment variables to args? Or would that affect GHCi's settings? Cheers, Andy -- Andy Moran

GHCi command line

Running a main that calls getArgs inside GHCi yields the arguments to GHCi, not main. Any way around this? Cheers, Andy -- Andy Moran PacSoft x7557 Computer Science Engineering

[Fwd: XML Programming Languages...]

Nick Kallen sent me the attached reply. -- Andy Moran PacSoft x7557 Computer Science Engineering +1 503 748 7557 Oregon Graduate Institute

Re: XML Programming Languages...

in: http://www.cse.ogi.edu/~mbs/pub/type_indexed_rows Cheers, Andy -- Andy Moran PacSoft x7557 Computer Science Engineering +1 503 748 7557

An Interview with Brian Kernighan

With some small mention of FP (ML in particular): http://www.cs.cmu.edu/~mihaib/kernighan-interview/index.html

Re: types with value parameter (another example of application)

[EMAIL PROTECTED] writes: Andrew J. Kennedy. Dimension Types. In ESOP '94: Proceedings of the Fifth European Symposium on Programming, Lecture Notes in Computer Science 788. Springer-Verlag, 1994 Available electronically from the out-of-date home page

Re: Haskell 2 -- Dependent types?

Lennart Augustsson writes: OK, I'm curious. Two people replied that C++ has undecidable type checking. I was not aware of this (although I can't say I'm too surprised); do you have a reference? It's actually the template processing that can loop, but it is sort of part of the type

Re: Formal design spec into Haskell or Miranda

Andrew Butterfield writes: At 15:41 +0100 20/10/97, Greg Michaelson wrote: (rearranged by me for dramatic effect :-) But you should look at the Jones and Hayes paper from Software Engineering Journal called something like "Executions are not (always) executable" I think Greg means

Re: A new view of guards

Brian Boutel writes: The - syntax worries me a bit, because in the comprehension use it has a different type, but the let syntax is available, and one can write "let p = e" "for p - e". I think that, to reduce possible confusion, I would use, and teach, the let form. Given that, I don't