{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreia7b32hul47wj4dltjldmtlzm3edzqtpkuvnyrln3mu3ylk4zmwum",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mhymgvduzuc2"
  },
  "path": "/t/vectors-matrices-and-tensors-for-free/13851#post_1",
  "publishedAt": "2026-03-26T15:51:41.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "https://github.com/iokasimov/ya-literal/blob/main/Ya/Literal/Linear.hs",
    "https://github.com/iokasimov/ya-snippets/blob/main/Ya/Snippets/linear-algebra-primitives.hs"
  ],
  "textContent": "Fully representable type safe vectors, matrices and tensors defined as functor compositions without using dependent types so that all natural transfomations are coming for free.\n\nLet me know if you have questions on some non-trivial operatons you can perform on those.\n\nThis is how they are defined: https://github.com/iokasimov/ya-literal/blob/main/Ya/Literal/Linear.hs\n\nSource code with snippets are attached so you can play with them: https://github.com/iokasimov/ya-snippets/blob/main/Ya/Snippets/linear-algebra-primitives.hs",
  "title": "Vectors, matrices and tensors for free"
}