[resending this mail from a different address as it didn't seem to get
through the first time. I apologise if you see multiple copies.]
[snip]
> If you're using an eager haskell implementation which does some
> speculative evaluation of things that look cheap and that you might want
> to evaluat
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
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.
__
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
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
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
Hello,
consider the following monad (which is a slight adaptation of the
one used in "Typing Haskell in Haskell") as given:
data Error a = Error String | Ok a
data TI a = TI (Subst -> Int -> Error (Subst, Int, a))
instance Monad TI where
return x = TI (\s n -> Ok (s,n,x))
TI f >>= g = TI (\s n
Thank you. The '10' should be explained in the report as well.
Ciao,
Steffen
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
> 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
- 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
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'
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
--- 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
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 min
"Marcin 'Qrczak' Kowalczyk" produced
>> I brought up the same issue some time back about >>. That is
>> in func = f x >> func, we have the problem that >> is a function
>> so func is not a last call.
>
> It's an easy problem: although func is not a tail call, >> is a
> tail call and >> itsel
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,
On 28 Aug 2003, Carl Witty wrote:
> On Thu, 2003-08-28 at 13:10, Brandon Michael Moore wrote:
> > Unfortunately I don't have a useful syntatic condition on instance
> > declarations that insures termination of typechecking. If types are
> > restriced to products, sums, and explicit recursion, then
17 matches
Mail list logo
