coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Casting without annotations using type classes

From: Taral <taralx AT gmail.com>
To: Max Schaefer <xiemaisi AT yahoo.de>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Casting without annotations using type classes
Date: Fri, 8 May 2009 17:17:38 -0700
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; b=Jcpnpr13unY/7hEBMk/U6ofGLgnfbLsZmqZad9Be8gpLLooCBZPKCdhwhT7fBQMvEs kci5zJfNcRQfMZO0GHij7z5c7GoOATUgBvYDH8Omy9hPz5dTf0J3FSh0Pbt3LmmXQBvZ yA25ZhTKNinYzCV1T/s8gihDBpWxR+MdFzS4o=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On Fri, May 8, 2009 at 2:33 PM, Max Schaefer
<xiemaisi AT yahoo.de>
wrote:
> here's a cute little trick for using the type class mechanism to implement
> annotation-free typesafe casts that I'd like to share with you.

SO COOL. Thanks!

--
Taral
<taralx AT gmail.com>
"Please let me know if there's any further trouble I can give you."
-- Unknown

[Coq-Club] Casting without annotations using type classes, Max Schaefer
- Re: [Coq-Club] Casting without annotations using type classes, Taral