к
нет, максимум будет компиляция быстрее
Size: a a a
2021 February 15
к
но незначительно все равно, там ботлнек не в сахаре
2021 February 16
AR
v1' <- readIORef v1как можно сократить запись?
v2' <- readIORef v2
v3' <- readIORef v3
v4' <- readIORef v4
v5' <- readIORef v5
E
map ((<-) readIORef) или что-то типа такого?
к
v1' <- readIORef v1как можно сократить запись?
v2' <- readIORef v2
v3' <- readIORef v3
v4' <- readIORef v4
v5' <- readIORef v5
а типы одинаковые?
к
если типы одинаковые:
[a, b, c] <- traverse readIORef [refA, refB, refC]
если типы разные:
(a, b, c) <- liftA3 (,,) refA refB refC
[a, b, c] <- traverse readIORef [refA, refB, refC]
если типы разные:
(a, b, c) <- liftA3 (,,) refA refB refC
AR
а типы одинаковые?
да Int у всех
AR
k, думал через кейси, но это намного лучше
JS
если типы одинаковые:
[a, b, c] <- traverse readIORef [refA, refB, refC]
если типы разные:
(a, b, c) <- liftA3 (,,) refA refB refC
[a, b, c] <- traverse readIORef [refA, refB, refC]
если типы разные:
(a, b, c) <- liftA3 (,,) refA refB refC
первый вариант опасный, лучше всегда второй брать
к
хм, да вроде ничем не опасный
к
если traverse возвращает список другого размера, то это баг и в любом случае нужно упасть
JS
если надо добавить или убрать переменную, может шаблон не срастись
к
а, ну да, есть такое
JS
если traverse возвращает список другого размера, то это баг и в любом случае нужно упасть
да, но в Хаскеле принято это делать во время компиляции
JS
map ((<-) readIORef) или что-то типа такого?
стрелка здесь не оператор, а форма синтаксиса, так что так не получится
к
да так же опасно как и head, считаю это пуристическая чушь, тут явный ивариант, который ничуть не хуже типизированного инварианта
ничего в хаскеле подобного не принято
ничего в хаскеле подобного не принято
IR
да так же опасно как и head, считаю это пуристическая чушь, тут явный ивариант, который ничуть не хуже типизированного инварианта
ничего в хаскеле подобного не принято
ничего в хаскеле подобного не принято
Компилятор отругает же
IR
v1' <- readIORef v1как можно сократить запись?
v2' <- readIORef v2
v3' <- readIORef v3
v4' <- readIORef v4
v5' <- readIORef v5
Можно не сокращать. Это понятная запись без лишних телодвижений.
к
Компилятор отругает же
ничего не ругает, это нужно отдельно какие-то ворнинги включить, чтобы ругало