Re: Haskell for non-Haskell's sake

Hal (and other interested parties): I used Haskell to implement a model checker for a group of logics of time and knowledge. In practice these are a bunch of extensions to the classic CTL algorithms implemented in SMV [1]. The program itself (in terms of LOC) looks mostly like a compiler, and so

RE: Haskell for non-Haskell's sake

On Fri, 5 Sep 2003, Simon Marlow wrote: > ... Claiming a lock on a file is > > easy in C (well, > > it takes 18 lines...), but there's nothing in the standard Haskell > > libraries that can do it. So I borrowed a little C code from > > the net, and > > called it via the FFI. > > Locking support is

Re: Haskell for non-Haskell's sake

In article <[EMAIL PROTECTED]>, Jerzy Karczmarczuk <[EMAIL PROTECTED]> wrote: > I have just one question thus. Why the application-oriented papers devoted > to Haskell at ICFP, including the Haskell workshop are rather rare? Perhaps people who are busy writing applications don't really bother w

Re: Haskell for non-Haskell's sake

Hal Daume III wrote: > If you use Haskell for a purpose *other than* one of those > listed below, I'd love to hear. Haskell is the implementation language behind PXSL, the Parsimonious XML Shorthand Language: PXSL ("pixel") is a convenient shorthand for writing markup-heavy XML documents.

Re: Haskell for non-Haskell's sake

On Fri, Aug 29, 2003 at 05:39:09PM -0700, Hal Daume III wrote: > If you use Haskell for a purpose *other than* one of those listed below, > I'd love to hear. In my job (website traffic measurement) the official programming language is C++ (also PHP and Java, but I don't touch these) and AFAIK I am

Re: Haskell for non-Haskell's sake

On Fri, 5 Sep 2003, Johannes Waldmann wrote: > On Thu, 4 Sep 2003, John Hughes wrote: > > > I use Haskell and Wash/CGI for administering students lab work. > > same here (in addition to Haskell programs for actually grading the homework). > > just curious: what kind of data base do you use? > we t

RE: Haskell for non-Haskell's sake

> I implemented a trivial "database", stored in ordinary files, > and had to > ensure mutual exclusion of database access between > simultaneously running > CGI scripts. Since each CGI run is short, I simply locked the entire > database for the entire run. Claiming a lock on a file is > easy i

Re: Haskell for non-Haskell's sake

On Thu, 4 Sep 2003, Sebastian Sylvan wrote: > On Thu, 4 Sep 2003, John Hughes wrote: > > I wrote the system for my (Haskell!) programming course, with 170 students > > last year, and it is now also being used (at least) for our Java course > > and a cryptography course. It consists of about 600 li

Re: Haskell for non-Haskell's sake

On Thu, 4 Sep 2003, John Hughes wrote: > I use Haskell and Wash/CGI for administering students lab work. same here (in addition to Haskell programs for actually grading the homework). just curious: what kind of data base do you use? we take Krasimir Angelov's MySql binding (from HToolkit). th

Re: Haskell for non-Haskell's sake

On Thu, 4 Sep 2003, John Hughes wrote: > I wrote the system for my (Haskell!) programming course, with 170 students > last year, and it is now also being used (at least) for our Java course > and a cryptography course. It consists of about 600 lines of Haskell and > 18 lines of C. Just curious. W

Re: Haskell for non-Haskell's sake

I use Haskell and Wash/CGI for administering students lab work. Students solve programming exercises in pairs, register their pair, and upload their solution over the web. The pair gets a "home page" on which they can see their grade and comments from their tutor, and also submit new solutions if

Re: Haskell for non-Haskell's sake

Graham's post reminded me. We have been using a 1000 LOC Haskell program to automatically test and grade two assignments in a course on Distributed Systems (where assignments are implemented in C and Erlang). The testing program is, in fact, general purpose in that it implements an EDSL for marki

Re: Haskell for non-Haskell's sake

I use Haskell for processing the examination marks of our 900 students. Our University has a system that can do all of this, but to ensure that I understood all the rules and regulations I coded up a simple version in Haskell, which comprises around 400 lines. It takes a CSV (comma separated valu

Re: Haskell for non-Haskell's sake

* Hal Daume III <[EMAIL PROTECTED]> [2003-08-29 17:39 -0700]: > If you use Haskell for a purpose *other than* one of those listed below, > I'd love to hear. I have written checkrdf[1], a tool for downloading and processing RSS files from various newstickers. checkrdf uses HaXml for processing RSS

Re: Haskell for non-Haskell's sake

The Timber group at OHSU/OGI are using Haskell to write their Timber compiler and Timber VM executable specification. Andy Gill Hal Daume III wrote: Hi fellow Haskellers, I'm attempting to get a sense of the topology of the Haskell community. Based on the Haskell Communities & Activities repo

Re: Haskell for non-Haskell's sake

G'day all. On Fri, Aug 29, 2003 at 05:39:09PM -0700, Hal Daume III wrote: > I'm attempting to get a sense of the topology of the Haskell > community. I used Haskell to write a compiler for the RenderMan shading language for a former employer. Unfortunately, the compiler never shipped. I still

Re: Haskell for non-Haskell's sake

On Fri, Aug 29, 2003 at 05:39:09PM -0700, Hal Daume III wrote: I'm attempting to get a sense of the topology of the Haskell I work at Galois Connections and much of the software we write (mostly government contracting) is written in Haskell. I've written an ASN.1 parser pro

Re: Haskell for non-Haskell's sake

Hello, I am a student from Germany and I have used Haskell for several purposes as well: - to implement and compare algorithms quickly, e.g. Travelling Salesman, Sorting, etc. - to calculate state spaces and blocking probabilities in networks - to solve some of our cryptography and computability

Re: Haskell for non-Haskell's sake

On Fri, Aug 29, 2003 at 05:39:09PM -0700, Hal Daume III wrote: > I'm attempting to get a sense of the topology of the Haskell > community. Based on the Haskell Communities & Activities reports, it > seems that the large majority of people use Haskell for Haskell's sake. > If you use Haskell for a

Re: Haskell for non-Haskell's sake

I use Haskell to design and verify circuits that are used at my company and by our customers. A Haskell-based methodology for producing circuits has proved to be successful in some situations when a conventional flow based on Java or hardware description languages (VHDL and Verilog) was not able to

RE: Haskell for non-Haskell's sake

| Since the opening of this thread by Hal Daume 11 (binary), we see a constant | flow of interesting contributions/confessions. Plenty of applications, it | seems that Haskell is really used in a wider context than we might think. | It is a pleasure to read all this. Yes, it is indeed! As Jerzy r

Re: Haskell for non-Haskell's sake

[this seemed to be flowing along nicely, but now that the thread has moved from information to organisation and meta-discussion, I'd like to add a few comments, and an invitation] > > On Saturday 30 August 2003 01:39, Hal Daume III wrote: > > > I'm attempting to get a sense of the topology of

Re: Haskell for non-Haskell's sake

On Mon, 1 Sep 2003, Joost Visser wrote: > Hi Hal and others, > > We would like to hear your thoughts on the viability of a conference or > workshop dedicated to applications of Haskell for non-Haskell purposes. > > On Saturday 30 August 2003 01:39, Hal Daume III wrote: > > I'm attempting to get

Re: Haskell for non-Haskell's sake

At 16:15 01/09/03 +0200, Jerzy Karczmarczuk wrote: Since the opening of this thread by Hal Daume 11 (binary), we see a constant flow of interesting contributions/confessions. Plenty of applications, it seems that Haskell is really used in a wider context than we might think. It is a pleasure to rea

Re: Haskell for non-Haskell's sake

Well, there's PADL (Practical Aspects of Declarative Languages), see http://www.research.avayalabs.com/user/wadler/padl03/. -Paul Tim Docker wrote: Jerzy Karczmarczuk wrote: > Presumably this reviewer has his particular visions what a science is, > but I don't believe that such people dominate i

Re: Haskell for non-Haskell's sake

Hi Hal and others, We would like to hear your thoughts on the viability of a conference or workshop dedicated to applications of Haskell for non-Haskell purposes. On Saturday 30 August 2003 01:39, Hal Daume III wrote: > I'm attempting to get a sense of the topology of the Haskell > community. B

RE: Haskell for non-Haskell's sake

Jerzy Karczmarczuk wrote: > Presumably this reviewer has his particular visions what a science is, > but I don't believe that such people dominate in the milieu of FPL. > I believe that it would be interesting to organize some workshops > on "practical" applications of functional programmi

Re: Haskell for non-Haskell's sake

Since the opening of this thread by Hal Daume 11 (binary), we see a constant flow of interesting contributions/confessions. Plenty of applications, it seems that Haskell is really used in a wider context than we might think. It is a pleasure to read all this. I have just one question thus. Why the

RE: Haskell for non-Haskell's sake

On 30-Aug-2003 Hal Daume III wrote: > Hi fellow Haskellers, > > I'm attempting to get a sense of the topology of the Haskell > community. Based on the Haskell Communities & Activities reports, it > seems that the large majority of people use Haskell for Haskell's sake. I have been working on a s

Re: Haskell for non-Haskell's sake

Hi Hal, On Saturday 30 August 2003 01:39, Hal Daume III wrote: > If you use Haskell for a purpose *other than* one of those listed below, > I'd love to hear. I don't need a long report, anything from a simple "I > do" to a paragraph would be fine, and if you want to remain anonymous > that's fine

Re: Haskell for non-Haskell's sake

At 17:39 29/08/03 -0700, Hal Daume III wrote: Hi fellow Haskellers, I'm attempting to get a sense of the topology of the Haskell community. Based on the Haskell Communities & Activities reports, it seems that the large majority of people use Haskell for Haskell's sake. If you use Haskell for a pu

Re: Haskell for non-Haskell's sake

I do research into parsing algorthms, and find that I can convert the theory into practice most easily in Haskell. A lot of the material is just (careful) transliteration of the original definitions. And more generally I go along with Vincenzo (aka Nick Name), > I use haskell when I have to write

Re: Haskell for non-Haskell's sake

Hello, 1 I wrote Haskell programs to compute matrix elements of operators (in physics). 2 I use Haskell for generating figures (Functional Metapost). 3 For generating HTML summaries out of some data. 4 For common text processing as an advanced sed. Actually, I do not use Haskell for Haskell at

Re: Haskell for non-Haskell's sake

I use haskell when I have to write a program myself and quickly. So I was very happy when I saw wxwindows bindings, because I wrote a frontend for mame with it, and it took three days to get something satisfying. We need some "ordinary people" use for haskell sometimes ;) V. __

Re: Haskell for non-Haskell's sake

On Fri, 29 Aug 2003, Hal Daume III wrote: > If you use Haskell for a purpose *other than* one of those listed below, > I'd love to hear. I don't need a long report, anything from a simple "I > do" to a paragraph would be fine, and if you want to remain anonymous > that's fine, too. > > Purposes w

Re: Haskell for non-Haskell's sake

On Sat, 30 Aug 2003, Alastair Reid wrote: > > > If you use Haskell for a purpose *other than* one of those listed below, > > I'd love to hear. I don't need a long report, anything from a simple "I > > do" to a paragraph would be fine, and if you want to remain anonymous > > that's fine, too. [sn

Re: Haskell for non-Haskell's sake

Hi Hal (et al.) I am using it to write a compiler and interpretor for a quantum programming language, based on the semantics of the paper by Peter Selinger. (See http://quasar.mathstat.uottawa.ca/~selinger/papers.html#qpl for details on the semantics) On 29 Aug, Hal Daume III wrote: > Hi fellow

Re: Haskell for non-Haskell's sake

> If you use Haskell for a purpose *other than* one of those listed below, > I'd love to hear. I don't need a long report, anything from a simple "I > do" to a paragraph would be fine, and if you want to remain anonymous > that's fine, too. I have used Haskell for: - Knit (http://www.cs.utah.ed

Re: Haskell for non-Haskell's sake

- Original Message - > --- Hal Daume III <[EMAIL PROTECTED]> wrote: > Hi fellow Haskellers, > > I'm attempting to get a sense of the topology of the > Haskell > community. Based on the Haskell Communities & > Activities reports, it > seems that the large majority of people use Haskell > f

Re: Haskell for non-Haskell's sake

Hi, Well, some time back I implemented PRE (Partial Redundancy Elimination) for C program in Haskell. The algorithm is fairly straightforward but involved some issues regarding how to represent the basic block information, graph etc. The haskell program itself can be improved though, but I'

Re: Haskell for non-Haskell's sake

On 2003-08-29 at 17:39PDT Hal Daume III wrote: > Hi fellow Haskellers, > > I'm attempting to get a sense of the topology of the Haskell > community. Based on the Haskell Communities & Activities reports, it > seems that the large majority of people use Haskell for Haskell's sake. > > If you use

Re: Haskell for non-Haskell's sake

--- Hal Daume III <[EMAIL PROTECTED]> wrote: > Hi fellow Haskellers, > > I'm attempting to get a sense of the topology of the > Haskell > community. Based on the Haskell Communities & > Activities reports, it > seems that the large majority of people use Haskell > for Haskell's sake. In our offi

RE: Haskell for non-Haskell's sake

PM To: Haskell Mailing List Subject: Haskell for non-Haskell's sake Hi fellow Haskellers, I'm attempting to get a sense of the topology of the Haskell community. Based on the Haskell Communities & Activities reports, it seems that the large majority of people use Haskell for Haske

Haskell for non-Haskell's sake

Hi fellow Haskellers, I'm attempting to get a sense of the topology of the Haskell community. Based on the Haskell Communities & Activities reports, it seems that the large majority of people use Haskell for Haskell's sake. If you use Haskell for a purpose *other than* one of those listed below,