![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
See, to model a linear space is not a big deal at all. I mean, slap together a class type, etc.
What I need, though, is to model a category of linear spaces. Not just one specific instance, but a category of them. With morphisms. And not a skeleton (which reminds me platonic shadows in a cave, if you read his "Symposium").
And that's kind of too big for the simple tricks like Scala type classes and Scala path-dependent types. And I'm not interested in introducing something that cannot be grasped immediately by anybody who knows Scala.
What I need, though, is to model a category of linear spaces. Not just one specific instance, but a category of them. With morphisms. And not a skeleton (which reminds me platonic shadows in a cave, if you read his "Symposium").
And that's kind of too big for the simple tricks like Scala type classes and Scala path-dependent types. And I'm not interested in introducing something that cannot be grasped immediately by anybody who knows Scala.
So there.
Maybe I should start with a type class for categories. After all, a type class is a category.
