AV
Но это достаточно мощные типы, не просто типы объектов
Size: a a a
2020 May 15
YS
Гарантия на уровне "Нормально делай - нормально будет")
AV
Ещё, например, такая задача к нам пришёл json, пусть известной формы, в нём есть userId: int, и есть всякие данные int. И нам нужно посчитать количество int-ов
AV
Но не не считать тот который в поле userId
AV
(Тупой пример конечно, если надо потом подумаю над нормальным)
YS
Стандартно про широту и долготу
YS
Если про ньютайпы)
AV
В языке с типами это можно выразить т.к. int в userId может иметь другой тип по сравнению с другими
AV
Несмотря на то, что структурное предствление тоже самое
AV
Т.е. макрос, или функция, которая будет рекурсивно обходить структуру не будет их отличать если нет типов
AS
7. I/O and other activities with side-effects should be avoided in transactions, since transactions will be retried. The io! macro can be used to prevent the use of an impure function in a transaction.
https://clojure.org/reference/refs
https://clojure.org/reference/refs
AV
Ну и не складывать широту с долготой и не умножать долланы на доллары
YS
Похоже, будто эта штука бросает исключения в рантайме, если будет IO
AV
Если макрос io! окажется в транзакции, то он бросит исключение
AV
Я так прочитал
YS
Ну, лучше чем ничего)
AV
Т.е. ты можешь защитить свой код от выполенения в транзакции
YS
Правда в рантайме и исключением, но тоже хорошо!
AV
Делаешь запрос во внешний мир - делай его в io!
YS
Лучше чем без этого, да