потому что умножение не меняет домена, а у тебя - меняет.

@telegram С чего бы не меняло? Если я метры умножу на метры, то получатся что, метры? Как определю операцию умножения, так и будет работать.

@lexszero Разумные люди. Но правда тут скорее интересны языки, на которых имеет смысл физические вычисления делать.

В Haskell можно.

а в чем вообще проблема? даже в плюсах можно.

@tempest хотя не, заебешься выводить типы более сложные, чем "значение в метрах"

почитай что такое умножение и его свойства а потом съеби

@voker57 Чё там?

15 * std::chrono::seconds(1) покатит?

@voker57 Прочитай, что такое поле и кольцо, и не разевай рот. Какие хочу, такие определяю.

@glupovat Не. `15 * std::chrono::second` покатило бы.

@telegram М.б. ты со сложением перепутал? Сложение — да. Складывать огурцы и ящики нельзя. И вычитать тоже. А умножать киловатты на часы можно. И делить водку на людей тоже.

@l29ah http://hackage.haskell.org/package/units ? Ну кстати близко.

@tempest На самом деле в динамических языках легче бы было. В Питоне каком-нибудь.

@voker57 Точнее что такое пополнение поля и пополнение кольца. Вдруг сам не найдёшь.

@dluciv ну и чему будет равно 1 - километр в твоем кольце? про пополнение не нашел, скинь пруфлинк. Алсо, это все не нужно, потому что для любой величины существует только одна единица измерения, остальное может быть нужно только для ввода/вывода. И чем 1 * kilometer лучше kilometers(1)?

Есть, в маткаде. Почему бы просто не определить пользовательские суффиксные литералы.

Если "килограмм" в твоей системе суть константа, приводящая к некой базовой системе единиц, то это дурная идея, потому что точность IEEE float'ов пойдёт по пизде моментально. Но в языках символьных вычислений так делают (в Maple units примерно так и работают, емнип), ибо там все эти константы можно просто сократить.

@h9lwka Это аннотация для тайпчекера, не более того.

@ninesigns Нихуя, фантомных хватит.

@ninesigns Ок ты прав, для умножения пожалуй нужны

У меня все работает 15 * Quantity["Meters"]

@ninesigns Ага

@voker57 Пруфы искать лень. Грубо говоря, ты можешь в рациональное поле добавить какое-нибудь иррациональное число, корень из 2 тот же (это пополнение), и дальше туда добавятся результаты всех операций с этим числом (это замыкание). Ты можешь добавить в вещественные числа i (пополнение) и после этого у тебя сделается комплексное поле (замыкание относительно существующих операций — если на входе вещественные или i, то всё, что на выходе — комплексные). При замыкании надо бывает что-то доопределить, например, что i*i = -1. С единицами ты тоже можешь добавить килограмм, метр и джоуль в вещественное поле, и тут даже легче будет: они с числми не будут смешиваться, будут жить похоже на отдельную компоненту вектора.

@voker57 Алсо хотя бы вот http://cyclowiki.org/wiki/%D0%9F%D0%BE%D0%BB%D0%B5_(%D0%B0%D0%BB%D0%B3%D0%B5%D0%B1%D1%80%D0%B0)#.D0.9F.D1.80.D0.B8.D0.BC.D0.B5.D1.80.D1.8B_.D0.B8_.D0.BA.D0.BE.D0.BD.D1.81.D1.82.D1.80.D1.83.D0.BA.D1.86.D0.B8.D0.B8

@dluciv Ну введи константу, равную 1 с, и назови её SECOND. Или тебе обязательно нужно, чтобы секунда была объектом первого класса?

@dluciv Ты, наверно, хотел сослаться на то, как в векторных пространствах умножают вектор на скаляр.

@glupovat А примерно что одно, что другое подходит

@ninesigns Чтобы умножить значение типа «метры» на себя и получить значение типа «метры в квадрате» тоже хватит.

@voker57 > Алсо, это все не нужно, потому что для любой величины существует только одна единица измерения Чтобы компилятор не дал перепутать «метр в секунду» и «метр на секунду».