[Haskell-cafe] Vectors, vector spaces and type-level Haskell

Stuart Hungerford stuart.hungerford at gmail.com
Mon Oct 4 22:01:19 UTC 2021

On Tue, Oct 5, 2021 at 3:05 AM Henning Thielemann
<lemming at henning-thielemann.de> wrote:

> > I'd like to model in Haskell two-dimensional vectors that "belong to"
> > or "have an ambient space of" a two dimensional vector space.
> If you only need two dimensional vectors, you might be happy with
> Data.Complex.

I hadn't thought of that -- thanks.


More information about the Haskell-Cafe mailing list