Our sincere apologies to all non German speaking readers of this
mailing list for this workshop invitation in German.
==
Einladung zur Teilnahme
KPS'07
Kolloquium Programm
The problem, and we've been through this before, is that it's very
tempting to use types like Maybe because it's there, when it's better
replaced with a custom algebraic data type.
i'm sure we have, and others before us. i was just arguing that one
is not necessarily better than the other. i'm n
G'day all.
Quoting Claus Reinke <[EMAIL PROTECTED]>:
> different =/= wrong !-)
[...]
> but that is not what you're saying there at all! you're saying that -within
> view 'view' of Typ- Typ is mapped to either Unit or Arrow, if the mapping
> is successfull. there can be other views of Typ, and t
On Jul 25, 2007, at 6:39 AM, Chris Kuklewicz wrote:
Alberto Ruiz wrote:
I have included a binding to gsl_sf_gamma in the darcs repo of
GSLHaskell:
http://dis.um.es/~alberto/GSLHaskell/doc/GSL-Special.html#v%3Agamma
I will try to upload to hackage a recent version of the library in
a few da
Alberto Ruiz wrote:
I have included a binding to gsl_sf_gamma in the darcs repo of GSLHaskell:
http://dis.um.es/~alberto/GSLHaskell/doc/GSL-Special.html#v%3Agamma
I will try to upload to hackage a recent version of the library in a few days.
Alberto
It occurs to me that generating the bindin
I think that the signature
type Typ
unit :: Typ -> Maybe ()
arrow :: Type -> Maybe (Typ,Typ)
is *wrong* if what you really mean is
type Typ
data TypView = Unit | Arrow Typ Typ
view :: Typ -> TypView
different =/= wrong !-)
That is, if what you mean is that every Typ i
Hi everyone,
Thanks for all the helpful feedback! It's great to see what people
think.
Let me just respond to one point at the moment:
I think that the signature
>type Typ
>
>unit :: Typ -> Maybe ()
>arrow :: Type -> Maybe (Typ,Typ)
is *wrong* if what you really mean is
>ty
The whole point of a view is that you make views that are semantically
useful.
data UsefulView = Unit | Arrow Type Type
usefulView :: Type -> UsefulView
size :: Type -> Integer
size (usefulView -> Unit) = 1
size (usefulView -> Arrow t1 t2) = size t1 + size t2
yes, but my point (of view;) was
I have included a binding to gsl_sf_gamma in the darcs repo of GSLHaskell:
http://dis.um.es/~alberto/GSLHaskell/doc/GSL-Special.html#v%3Agamma
I will try to upload to hackage a recent version of the library in a few days.
Alberto
On Wednesday 25 July 2007 10:03, Lloyd Allison wrote:
> Am I look
Lloyd Allison wrote:
Am I looking in the wrong place
(http://haskell.org/ghc/docs/latest/html/libraries/ ) or
just not seeing it, but I was hoping there would be a
math library for Haskell that would include, e.g.,
a Gamma function and the like.
-L
I think the best thing would be to wrap the
On Wed, Jul 25, 2007 at 06:03:04PM +1000, Lloyd Allison wrote:
>
> Am I looking in the wrong place
> (http://haskell.org/ghc/docs/latest/html/libraries/ ) or
> just not seeing it, but I was hoping there would be a
> math library for Haskell that would include, e.g.,
> a Gamma function and the like
Am I looking in the wrong place
(http://haskell.org/ghc/docs/latest/html/libraries/ ) or
just not seeing it, but I was hoping there would be a
math library for Haskell that would include, e.g.,
a Gamma function and the like.
-L
--
___
Haskell mailing l
12 matches
Mail list logo
