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

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
1718 1920 21 2223
24252627282930

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 23rd, 2017 12:14 am
Powered by Dreamwidth Studios