The School of Computer Science has one vacancy for an EPSRC funded
3-year PhD scholarship.
Applicants must have a first class or upper second degree (or the
equivalent from an overseas
institution), and must fulfill the EPSRC citizenship requirements
(roughly, they must be citizens
of the UK
Johan Holmquist [EMAIL PROTECTED] writes:
class Num b = Rect a b | a - b where
instance Rect IRect Int where
However, I haven't been able to make PRect an instance of this class (with
extensions). I might not have grasped this yet, but I came to think; if the
old class declaration
Am Donnerstag, 30. Juni 2005 14:07 schrieb Johan Holmquist:
[...]
Anyone:
However, I haven't been able to make PRect an instance of this class (with
extensions).
If I understand your problem correctly, you may use the new Rect class (the
one which is declared as class Num b = Rect a b | a
Perfect! Problem solved and now I understand about kinds of types.
instance Rect (PRect a) a where ...
works if Num a is added to it, like:
instance Num a = Rect (PRect a) a where ...
(GHC has pretty informative error messages)
Thank you for great answers!
/johan
Now I see that, probably, GHC is correct. Thank you.
On Jun 30, 2005, Simon Peyton-Jones wrote:
path gets the inferred type
path :: forall a. [a]
This polymorphic type is instantiated once when it is passed to
'subterm' and again, quite separately, when it is passed to 'shows'.
btw, in Pugs sources
(http://search.cpan.org/CPAN/authors/id/A/AU/AUTRIJUS/Perl6-Pugs-6.2.7.tar.g
z)
there is Unicode.hs module wich can classify and convert full range of
Unicode symbols under any OS. i don't understand - is this module
already included in GHC 6.5? if not, it would be good
[moved to haskell-cafe]
On Tue, 2005-06-28 at 14:46 -0700, John Meacham wrote:
Unfortunatly hat suffers from the same problem that pretty much every
non-trivial preprocessor does, as soon as you start using ghc's special
or experimental features that have not been added to hat yet, they stop
Let me a bit elaborate on what I wrote yesterday.
On Wed, 29 Jun 2005, Henning Thielemann wrote:
I think matrices and derivatives are very different issues. I have often
seen that the first derivative is considered as vector, and the second
derivative is considered as matrix. In this spirit
| If anything I would like to see the Haskell community produce a
Haskell
| front end which was compiler neutral. That would facilitate many
| interesting projects, and that might even help with the need to
support
| new extensions as they come along. There are already some candidates
| floating
On Thu, 2005-06-30 at 10:36 +0100, Simon Peyton-Jones wrote:
| If anything I would like to see the Haskell community produce a
Haskell
| front end which was compiler neutral. That would facilitate many
| interesting projects, and that might even help with the need to
support
| new
Simon Peyton-Jones [EMAIL PROTECTED] writes:
| If anything I would like to see the Haskell community produce a Haskell
| front end which was compiler neutral. That would facilitate many
| interesting projects, and that might even help with the need to support
| new extensions as they come
Hi,
Bernard Pope wrote:
There is also the Programmatica project which seems to do a lot of what
I'm thinking of already.
Yes, programatica does a good job. We have switch from using Hatchet to
Programatica (and we may switch to the ghc frontend promised for ghc-6.6
that we would need to
On Wed, Jun 29, 2005 at 10:23:23PM +0200, Henning Thielemann wrote:
More specific:
You give two different things the same name. You write
A*B
and you mean a matrix multiplication. Matrix multiplication means
finding a representation of the composition of the operators represented
by A
On Thu, 30 Jun 2005, David Roundy wrote:
If we support matrix-matrix multiplication, we already automatically
support matrix-column-vector and row-vector-matrix multiplication, whether
or not we actually intend to, unless you want to forbid the use of 1xn or
nx1 matrices. So (provided we
On Thu, Jun 30, 2005 at 02:20:16PM +0200, Henning Thielemann wrote:
On Thu, 30 Jun 2005, David Roundy wrote:
If we support matrix-matrix multiplication, we already automatically
support matrix-column-vector and row-vector-matrix multiplication,
whether or not we actually intend to, unless
David Roundy and Henning Thielemann have been arguing about the nature
of vectors and matrices, in particular saying:
On Thu, Jun 30, 2005 at 02:20:16PM +0200, Henning Thielemann wrote:
On Thu, 30 Jun 2005, David Roundy wrote:
Matrices _and_ vectors! Because matrices represent
Hi,
Vadim Konovalov wrote:
===
that file reads:
-- Based on the GHC.Unicode library, Copyright 2005, Dimitry Golubovsky.
-- See GHC's LICENSE file for the full license text.
That said, it is part of GHC?
===
Clarifying on Unicode stuff in GHC I contributed:
It is in CVS now, and I believe
Henning Thielemann wrote:
I'm uncertain about how who want to put the different kinds of
multiplication into one method, even with multi-parameter type classes.
You need instances
(*) :: Matrix - Matrix - Matrix
(*) :: RowVector - Matrix - RowVector
[many other instances removed.]
Jerzy Karczmarczuk asked:
Why for goodness' sake, people interested in Haskell *should* worry
about parsing of Java bytecode chunks?
Are you asking why I'm interested in bytecode instead of source code, or
are you asking why I'm interested in Java at all?
One answer to the first question
On Thu, 30 Jun 2005, Jacques Carette wrote:
Henning Thielemann wrote:
I'm uncertain about how who want to put the different kinds of
multiplication into one method, even with multi-parameter type classes.
You need instances
(*) :: Matrix - Matrix - Matrix
(*) :: RowVector - Matrix -
Henning Thielemann wrote:
Data Orientation = Row | Column
Data Vector a = Vector Orientation [a]
In the first mail you wrote
9. There are row vectors and column vectors, and these are different
types. You get type errors if you mix them incorrectly.
I interpreted that you want to
On Thu, 30 Jun 2005, Jacques Carette wrote:
Henning Thielemann wrote:
Data Orientation = Row | Column
Data Vector a = Vector Orientation [a]
In the first mail you wrote
9. There are row vectors and column vectors, and these are different
types. You get type errors if you mix them
On Thu, Jun 30, 2005 at 11:02:47AM -0400, Kimberley Burchett wrote:
Jerzy Karczmarczuk asked:
Kimberley Burchett writes:
I'm interested in using haskell to do static analysis of java bytecode.
To my surprise, I wasn't able to find any existing haskell libraries
for parsing java .class
btw, in Pugs sources
(http://search.cpan.org/CPAN/authors/id/A/AU/AUTRIJUS/Perl6-Pugs-6.2.7.tar.g
z)
there is Unicode.hs module wich can classify and convert full range of
Unicode symbols under any OS. i don't understand - is this module
already included in GHC 6.5? if not, it would be good
On Thu, 30 Jun 2005, Tomasz Zielonka wrote:
Jerzy is asking why you are surprised. There's nothing wrong in being
interested in Java/bytecode, but it's a bit strange to expect every
language to have a library for reading Java bytecode.
My apologies. I didn't mean to imply that there *should*
Kimberley Burchett writes:
Jerzy Karczmarczuk asked:
Why for goodness' sake, people interested in Haskell *should* worry
about parsing of Java bytecode chunks?
Are you asking why I'm interested in bytecode instead of source code, or
are you asking why I'm interested in Java at all?
One
On Friday 24 June 2005 14:28, Andreas Rossberg wrote:
Ralf Lammel wrote:
I would like to add a peer-reviewed clear reference
to the OOHaskell paper about the red herring that you mention.
I don't have such a reference. May I kindly ask you to offer
a few for selection?
Off-hand, I
Benjamin == Benjamin Franksen [EMAIL PROTECTED] writes:
Benjamin Ok, Eiffel has a few holes in its type-system, doesn't
Benjamin naturally integrate with Java/.Net, and doesn't support
In what way? Eiffel compilers target these systems successfully.
Benjamin XML directly.
How do
On Wednesday 29 June 2005 22:54, Henning Thielemann wrote:
On Wed, 29 Jun 2005, Dan Piponi wrote:
On Wed, 29 Jun 2005, Jacques Carette wrote:
Distinction of row and column vectors is a misconcept
Row and column vectors are sometimes worth distinguishing because
they can represent
On Thursday 30 June 2005 23:21, Colin Paul Adams wrote:
Benjamin == Benjamin Franksen [EMAIL PROTECTED]
writes:
Benjamin Ok, Eiffel has a few holes in its type-system, doesn't
Benjamin naturally integrate with Java/.Net, and doesn't support
In what way? Eiffel compilers target
30 matches
Mail list logo
