C T McBride schrieb folgendes am Wed, May 16, 2001 at 01:03:25PM +0100:
On Wed, 16 May 2001, Stefan Karrmann wrote:
On Tue, May 15, 2001 at 09:14:02PM +0300, Dylan Thurston wrote:
On Tue, May 15, 2001 at 06:33:41PM +0200, Jerzy Karczmarczuk wrote:
... you really need types that
depend
Timothy Docker wrote:
for info, there is a gui lib on top of sdl (then portable to linux, win) at
http://www.bms-austria.com/projects/paragui/
Jerzy Karczmarczuk writes:
[Some interesting points on functional wrappings of graphics libraries]
Has anyone considered writing a haskell
Jerzy Karczmarczuk writes:
[Some interesting points on functional wrappings of graphics libraries]
Has anyone considered writing a haskell wrapper for SDL - Simple
Directmedia Layer at http://www.libsdl.org ?
This is a cross platform library intended for writing games, and aims
for a high
On Wed, 16 May 2001, Fergus Henderson wrote:
On 15-May-2001, Wojciech Moczydlowski, Jr [EMAIL PROTECTED] wrote:
On 15 May 2001, Marcin 'Qrczak' Kowalczyk wrote:
What should be improved compared to existing STUArray Int Double
and similar?
A simple standard proposal, not using ST
At 2001-05-16 00:18, Wojciech Moczydlowski, Jr wrote:
I think multiparameter type classes or other extensions to Haskell 98 are
really needed to solve these kinds of problems in a simple and elegant way.
The right solution, IMHO, is to extend nhc and other Haskell compilers
to support
I don't like the idea of a program working which compiles only under
compilers which have certain language extensions built in.
If I understand things correctly, there is a list of language
extensions
(FFI for example), which has been accepted by all Haskell
compilers developers. If
On Wed, 16 May 2001, Stefan Karrmann wrote:
On Tue, May 15, 2001 at 09:14:02PM +0300, Dylan Thurston wrote:
On Tue, May 15, 2001 at 06:33:41PM +0200, Jerzy Karczmarczuk wrote:
Serge Mechveliani :
...
The matter was always in parametric domains ...
Whoever tried to program real
| Despite my extremely deep respect for all people contributing
| to Haskell, despite my love for the language etc. I begin to
| suspect that it has been standardized too early, and if we
| (Sergey, other people interested in math,
| as Dylan Thurston, myself, etc., as well as people who want
On Wed, 16 May 2001, Simon Marlow wrote:
Besides, MArray.lhs uses ST and ST requires not only
multiparameter type
classes, but also explicit universal quantification.
ST doesn't require multiparameter type classes (although MArray does).
You're of course right.
It also doesn't
Paper announcement
--
The file
http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/haskellInCA1.ps.zip
contains more expanded explanations on the BAL (Basic Algebra Library)
project
(previous variant was haskellInCA.ps.zip).
My real intention in whole this line of
Serge Mechveliani :
Paper announcement
--
The file
http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/haskellInCA1.ps.zip
contains more expanded explanations on the BAL (Basic Algebra Library)
project
(previous variant was haskellInCA.ps.zip).
My real
On Tue, May 15, 2001 at 06:33:41PM +0200, Jerzy Karczmarczuk wrote:
Serge Mechveliani :
...
My real intention in whole this line of business was always not just
to propose a standard but rather to discuss and to find, what may be
an appropriate way to program mathematics in Haskell.
Tue, 15 May 2001 16:10:20 +0400, S.D.Mechveliani [EMAIL PROTECTED] pisze:
The matter was always in parametric domains ...
The solution is simple: don't model domains as types. Model them
as values (records with operations).
Some simple domains can be also modelled as types for convenience.
Small comment. Marcin wrote:
About program transformation possibility: I don't see how it would
be applied in practice. There is no use of associativity of (+) for
the compiler. It can do many optimizations, but it won't rewrite
x+(y+z) to (x+y)+z nor vice versa.
Associativity and
On 15 May 2001, Marcin 'Qrczak' Kowalczyk wrote:
Tue, 15 May 2001 21:14:02 +0300, Dylan Thurston [EMAIL PROTECTED] pisze:
Nor hard numeric work (efficient, easy to manipulate arrays).
If I understand correctly, Marcin Kowalczyk is working on exactly
this last point...
Well, I
On Tue, May 15, 2001 at 09:14:02PM +0300, Dylan Thurston wrote:
On Tue, May 15, 2001 at 06:33:41PM +0200, Jerzy Karczmarczuk wrote:
Serge Mechveliani :
...
The matter was always in parametric domains ...
Whoever tried to program real CA in Haskell, would agree that such a
problem
On 15-May-2001, Wojciech Moczydlowski, Jr [EMAIL PROTECTED] wrote:
On 15 May 2001, Marcin 'Qrczak' Kowalczyk wrote:
What should be improved compared to existing STUArray Int Double
and similar?
A simple standard proposal, not using ST and multiparameter type classes,
so that it would be
17 matches
Mail list logo
