Entry tags:
специфика менталитета
15 минут кино. Смотрел не отрываясь.
Короче, эта тетка справа послала с дочкой тетки слева какую-то посылку дочке в Японию; там было много еды, а в Японию нельзя еды, так что посылку привезли обратно, но...
2017-12-11
Entry tags:
my problems with models and dependent types
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.