Comments on: Vector space bases via type families http://conal.net/blog/posts/vector-space-bases-via-type-families/ Inspirations & experiments, mainly about denotational programming in Haskell Tue, 09 Mar 2010 23:08:02 +0000 http://wordpress.org/?v=2.9.1 hourly 1 By: conal http://conal.net/blog/posts/vector-space-bases-via-type-families/comment-page-1/#comment-10336 conal Mon, 20 Oct 2008 16:57:44 +0000 http://conal.net/blog/?p=56#comment-10336 <blockquote> <p>What do you mean by a canonical basis? A vector space doesn’t have one distinguished basis.</p> </blockquote> <p>The library distinguishes one basis out of the many possible. I mean a canonical basis in that sense, not universally.</p>

What do you mean by a canonical basis? A vector space doesn’t have one distinguished basis.

The library distinguishes one basis out of the many possible. I mean a canonical basis in that sense, not universally.

]]> By: conal http://conal.net/blog/posts/vector-space-bases-via-type-families/comment-page-1/#comment-10335 conal Mon, 20 Oct 2008 16:24:33 +0000 http://conal.net/blog/?p=56#comment-10335 <blockquote> Please help set the trend and document typeclass laws in plain sight. </blockquote> <p>I agree. Thanks for the reminder, Luke. And not just as comments but as executable QuickCheck test generators.</p> Please help set the trend and document typeclass laws in plain sight.

I agree. Thanks for the reminder, Luke. And not just as comments but as executable QuickCheck test generators.

]]> By: Dominic Steinitz http://conal.net/blog/posts/vector-space-bases-via-type-families/comment-page-1/#comment-10317 Dominic Steinitz Mon, 20 Oct 2008 08:44:41 +0000 http://conal.net/blog/?p=56#comment-10317 <p>What do you mean by a canonical basis? A vector space doesn't have one distinguished basis. Bases are related by invertible linear maps.</p> What do you mean by a canonical basis? A vector space doesn’t have one distinguished basis. Bases are related by invertible linear maps.

]]> By: Luke Palmer http://conal.net/blog/posts/vector-space-bases-via-type-families/comment-page-1/#comment-10310 Luke Palmer Mon, 20 Oct 2008 06:42:00 +0000 http://conal.net/blog/?p=56#comment-10310 <p>Nice article.</p> <p>I have a feature request for vector-space. The definition of AdditiveGroup you gave is incomplete; it is missing essential documentation. Please help set the trend and document typeclass laws in plain sight.</p> Nice article.

I have a feature request for vector-space. The definition of AdditiveGroup you gave is incomplete; it is missing essential documentation. Please help set the trend and document typeclass laws in plain sight.

]]> By: Conal Elliott » Blog Archive » Simpler, more efficient, functional linear maps http://conal.net/blog/posts/vector-space-bases-via-type-families/comment-page-1/#comment-10306 Conal Elliott » Blog Archive » Simpler, more efficient, functional linear maps Mon, 20 Oct 2008 01:26:27 +0000 http://conal.net/blog/?p=56#comment-10306 <p>[...] About « Vector space bases via type families [...]</p> [...] About « Vector space bases via type families [...]

]]>