Dear fellow Haskellers,
Galois will be teaching a one-day mini-course on programming with some
of the advanced type system features in recent GHCs, such as GADTs,
data kinds, and type families. The course will on September 5, 2018,
co-located with IFL 2018 at UMass Lowell.
There is no charge, and
Kevin Atkinson:
> I have a generic mutable array class which has a few basic methods:
>
> class MArray ... where
> newArray :: Int -> m (mutArray st el)
> write :: mutArray st el -> Int -> el -> m ()
> read :: mutArray st el -> Int -> m el
> freeze :: m mutArray st el -> m array el
>
Alex Ferguson wrote:
>
> Kevin Atkinson:
>
> > I have a generic mutable array class which has a few basic methods:
> >
> > class MArray ... where
> > newArray :: Int -> m (mutArray st el)
> > write :: mutArray st el -> Int -> el -> m ()
> > read :: mutArray st el -> Int -> m el
> > freez
On Tue, 5 Oct 1999, Theo Norvell wrote:
> On Tue, 5 Oct 1999, Kevin Atkinson wrote:
>
> > If there is enough interest I could repost this code as well as an
> > explanation of the many "hacks" I had to due to get around ambiguity
> > arising fro the use of multiple parameter classes and other
>
Kevin
You might also find my paper "Bulk types with class" useful
http://research.microsoft.com/~simonpj/papers/collections.ps.gz
For a discussion of the type-class design space you might find
this helpful
http://research.microsoft.com/~simonpj/papers/multi.ps.gz
And don't forge
ked about
an STL like library for haskell and the one who is attempting to come up
with a good abstraction for Haskell. While doing this abstraction I
have come up against many of the limitations of Haskell type system.
Perhaps if I document the process and detail all the workarounds I had
to
| The biggest one is that I would like to be able to make [(ix,el)], [Pair
| ix el], and Array ix el all members of a Find class while should look
| something like this:
|
| class Find c ix el where
| find :: ix -> c -> Maybe el
|
| without having to define a new type or introducing the poss
Unlike most people I was drawn to Haskell not because it is a lazy
functional programming language but because it has an advanced type
system and very clean syntax. Unfortunately as I am quickly discovering
Haskell type system, while being rather _advanced_, is not nearly as
flexible as C
