Comments on: Transforming polymorphic values http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/ Just another WordPress site Mon, 13 May 2013 18:02:27 +0000 hourly 1 http://wordpress.org/?v=3.4.1 By: Linktipps Januar 2010 :: Blackflash http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/#comment-325 Linktipps Januar 2010 :: Blackflash Sat, 19 Dec 2009 13:48:49 +0000 http://martijn.van.steenbergen.nl/journal/?p=424#comment-325 [...] [...] [...] [...]

]]> By: Martijn’s Journal » GADTs in Haskell 98 http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/#comment-324 Martijn’s Journal » GADTs in Haskell 98 Thu, 12 Nov 2009 11:27:34 +0000 http://martijn.van.steenbergen.nl/journal/?p=424#comment-324 [...] Transforming polymorphic values [...] [...] Transforming polymorphic values [...]

]]> By: Linktipps #17 :: Blackflash http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/#comment-323 Linktipps #17 :: Blackflash Sun, 25 Oct 2009 13:22:20 +0000 http://martijn.van.steenbergen.nl/journal/?p=424#comment-323 [...] [...] [...] [...]

]]> By: Martijn http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/#comment-322 Martijn Tue, 20 Oct 2009 07:24:55 +0000 http://martijn.van.steenbergen.nl/journal/?p=424#comment-322 @Brent thanks for the feedback! Ah, I didn't know it had a name already. Thanks for that. @augustss Can you elaborate a bit? I hope this simplification doesn't hurt in the context of simple arithmetic expressions? @Brent thanks for the feedback! Ah, I didn’t know it had a name already. Thanks for that.

@augustss Can you elaborate a bit? I hope this simplification doesn’t hurt in the context of simple arithmetic expressions?

]]> By: augustss http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/#comment-321 augustss Mon, 19 Oct 2009 23:18:55 +0000 http://martijn.van.steenbergen.nl/journal/?p=424#comment-321 Be careful about simplifications like x*0=0, because they are rarely true. Be careful about simplifications like x*0=0, because they are rarely true.

]]> By: Jake McArthur http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/#comment-320 Jake McArthur Mon, 19 Oct 2009 16:40:48 +0000 http://martijn.van.steenbergen.nl/journal/?p=424#comment-320 This is lovely! This is lovely!

]]> By: Brent Yorgey http://martijn.van.steenbergen.nl/journal/2009/10/18/transforming-polymorphic-values/#comment-319 Brent Yorgey Sun, 18 Oct 2009 19:28:57 +0000 http://martijn.van.steenbergen.nl/journal/?p=424#comment-319 Neat, thanks for the elegant explanation and examples. Another name for the "free instance" might be the "initial instance", since reification defines an initial algebra, as witnessed by the fact that there is always a unique morphism from the reified data type to any other instance--namely, generify! But "free instance" is a good name too, not just because it comes "for free" but because it really does correspond to the "free structure" generated by the given type class signatures. Neat, thanks for the elegant explanation and examples. Another name for the “free instance” might be the “initial instance”, since reification defines an initial algebra, as witnessed by the fact that there is always a unique morphism from the reified data type to any other instance–namely, generify! But “free instance” is a good name too, not just because it comes “for free” but because it really does correspond to the “free structure” generated by the given type class signatures.

]]>