Jun. 8th, 2017

juan_gandhi: (Default)
Что князь Игорь - украинский. Все эти населенные пункты, все это Украина.  Москвы, понятное дело, никакой не было.

Там только одна зупинка - в Слове эта земля называется русской (о русская земле, за шеломянем еси).

Тут надо что-то предпринять.

Например, перестать называть Московию русской землей. Ну или что-нибудь в таком духе.

Сознаюсь, я когда первые разы приезжал в Москву, меня поражало, насколько это вообще нерусское место. Так-то мне нынче пофиг; это я разжигаю просто. Но с таким же успехом наши бы (американские, то есть) ломанулись бы учить Англию английской культуре.
juan_gandhi: (Default)
Ну да, я пишу на скале. Но мечтал впендюрить в тип вектора его размер (размерность, по-нашему). Ну скала, не идрис же. Типы-то независимые.

Ан нет, это скала! Впендюрил. Всандалил класс VectorSpace (is it better if I call it LinearSpace? who fucking cares...); и в нем уже вектор. Проверять совместимость при сложении не надо, ну и все такое. К матрице присобачил два свойства - домен (одно пространство) и кодомен (другое пространство). И все заебись! Беру row - оно уже нужного типа и нужной длины, по дефолту, блин! Типы стали зависимы.

А если я так напишу class NormedLinearSpace extends VectorSpace with Norm (норма - у меня уже есть такой класс).

Классно же, а. Кстати, и вопросы перформенса легче решаются. Что-то у меня тайпклассы не пошли в этот раз.

Profile

juan_gandhi: (Default)
juan_gandhi

June 2017

S M T W T F S
     1 2 3
4 5 67 8 9 10
11 12 13 14 15 16 17
18 19 20 21 222324
252627282930 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 22nd, 2017 06:18 pm
Powered by Dreamwidth Studios