DK
Встроенное в язык только в F# встречал, в остальных языках в лучшем случае DSL поверх.
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2021 November 08
[
Зачем расширять ядро для этого чуда, если всё выражается в юзерспейсе?
DK
😂 а тут есть кто-то не различающий их?
DK
Потому что иначе сложно делать обычные физвычисления в м/с с баррелями и молями.
Были древние попытки сразу добавить в Аду, более новые — суффиксами в С++.
Были древние попытки сразу добавить в Аду, более новые — суффиксами в С++.
[
Ньютайпы + явные коэрсы
[
Не вижу тут проблемы
DK
А уж сколько было ошибок с вычислением времени, думаю все знают.
E
как-то один физик, занимавшийся машинными вычислениями, заявил, что проблемы с единицами измерения — самая малая из всех проблем у него с вычислениями
DK
А ничего другого пока и нет))
Потихоньку Раст добавляется. Плюс кто-то до сих пишет на Аде/Обероне/Джаве
Потихоньку Раст добавляется. Плюс кто-то до сих пишет на Аде/Обероне/Джаве
AM
А зачем делать отдельные типы для единиц измерения? Чёт не вижу смысла
AM
А что такое предикаты?
[
Ну давай так, если мы говорим "кроме си ничего нет", то нам с этим ещё долго жить и бубнеть нет смысла. Если мы говорим "есть, конечно и другие языки, пусть и не такие популярные как в си", то в хаскеле есть ньютайпы с переопределением литералов по инстансу Num. Вербозненько, но пользоваться можно.
E
ну для того, что бы программа с логическими ошибками не компилировалась — типы не сойдутся
DK
Потому что у них в операции деления метров на секунды получится новый тип.
[
Чтоб не складывать мили с метрами
AM
Ну библиотеки для этого вроде есть, разве нет? Я вроде видел что-то такое для питона
AM
(только там не на типах, но можно, думаю, в типы переделать на другом языке)
[
На питоне и типов нет