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
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 available
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
with
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
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. It
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).
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 lines of
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 in C
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 take
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
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. What
* 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 XML
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
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
| 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
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
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
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
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 http://galois.com and much of the
software we write (mostly government contracting) is written in
Haskell. I've written an ASN.1 parser
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
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
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,
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
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
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
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.
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 in
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
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 a
[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 the
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
We are just a software company that builds multi platform (Unix - AIX
Solaris HP-UX Linux, Windows) report generators for various formats,
including Excel and PDF.
Our product is not written in Haskell, but we do all our research by
using Haskell as a prototype language for our ideas.
In our
--- 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 office we use
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 Haskell
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
- 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
for
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
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
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.
[snip]
-
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 which I
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.
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
42 matches
Mail list logo