On Sun, Oct 16, 2005 at 12:48:28PM +0400, Bulat Ziganshin wrote:
>
> btw, from where yourself studied what is GADT and how it can be used?
I read Simons' paper on GADTs and didn't understand from that how it could
be used for anything other than ASTs and interpereters. Most of what I
know about
On 10/16/05, Bulat Ziganshin <[EMAIL PROTECTED]> wrote:
> DR> darcs get http://abridgegame.org/darcs-patch-theory
>
> Invalid repository: http://abridgegame.org/darcs-patch-theory
>[...]
The link didn't work for me either, but this is what you're looking for:
http://www.abridgegame.org/repos/dar
Hello David,
Saturday, October 15, 2005, 9:38:58 PM, you wrote:
DR> darcs get http://abridgegame.org/darcs-patch-theory
Invalid repository: http://abridgegame.org/darcs-patch-theory
darcs failed: Failed to download URL
http://abridgegame.org/darcs-patch-theory/_darcs/inventory
libcurl: HTTP
Hello Ralf,
Saturday, October 15, 2005, 9:00:53 PM, you wrote:
RH> I wrote a book chapter on GADTs a while ago, called "Fun with
RH> phantom types", see
RH> http://www.informatik.uni-bonn.de/~ralf/publications.html#B4
thank you! i seen several articles about phantom types, including
you
On Sat, Oct 15, 2005 at 10:46:11AM +0400, Bulat Ziganshin wrote:
> 2) they all say that GADT is great, but i personally don't "feel"
> GADTs. can anyone write a paper about it for beginners like me,
> or may be just collect examples of using GADT in real programs?
If you want a somewhat brai
Hi Bulat,
> 2) they all say that GADT is great, but i personally don't "feel"
> GADTs. can anyone write a paper about it for beginners like me,
> or may be just collect examples of using GADT in real programs?
I wrote a book chapter on GADTs a while ago, called "Fun with
phantom types", see
> 1) where can i find articles from Estonia conference?
There were several conferences in Estonia including TFP, ICFP and
Haskell Workshop. Go to http://www.cs.ioc.ee/tfp-icfp-gpce05/, look at
the program, type in the title of the talk and most of the time google
will give you a copy of the paper
Hello Haskell,
1) where can i find articles from Estonia conference?
2) they all say that GADT is great, but i personally don't "feel"
GADTs. can anyone write a paper about it for beginners like me,
or may be just collect examples of using GADT in real programs?
--
Best regards,
Bulat
