JS
Сергей
то что неизменяемое копируется дешево как референсы
проход до нужного места требует O(n) времени, а также копирование всех ссылок от головы до нужного места
Size: a a a
2021 March 08
JS
пошёл читать про ST, спасибо
в ST нет мутабельного аналога именно списка, но можно внутри ST построить из списка вектор, помутить с ним, потом выдать новый список
JS
1 раз только копировать в том, что идёт на экспорт
а хотя, если на выходе из функции нет ссылки на промежуточный объект, то да, можно.
но с экспортом из модуля это никак не связано
но с экспортом из модуля это никак не связано
A
А зачем он? Ты же вроде все конструкторы использовал
A
Да, точно, спасибо
А вообще мне кажется _ в таком виде стоит избегать. Ибо потом на рефакторинге при добавлении конструкторов не ловится.
[
моноиды, нужны для соединения множества сущностей в одну по заранее заданным правилам?..
K
моноиды, нужны для соединения множества сущностей в одну по заранее заданным правилам?..
Моноиды - это когда есть ноль
1)
2)
2)
Строго говоря,
mempty и бинарная операция <>, такие что1)
(a <> b) <> c == a <> (b <> c)2)
mempty <> a == a2)
a <> mempty == aСтрого говоря,
class Semigroup x where
(<>) :: x -> x -> x
class Semigroup x => Monoid x where
mempty :: x
[
про это я уже прочитал, ахах
Я просто про более прозаичное применение
Я просто про более прозаичное применение
K
Есть моноид над списками, который их объединяет, есть над
Set и Map, есть моноид над First (всегда возвращает левый аргумент), есть моноид над кортежем (объединяет элементы попарно), есть моноид над функциями, возвращающими моноид (он запускает обе функции с одним аргументом и возвращает <> от результата. Ещё он вызывает лютую ненависть у некоторых представителей этого чата).K
про это я уже прочитал, ахах
Я просто про более прозаичное применение
Я просто про более прозаичное применение
А прозаичное - это когда есть пустой элемент, и надо как-то объединить список неким оператором, и не важно, как в этом выражении
a <> b <> c <> ... <> z расставлены скобкиA
Есть моноид над списками, который их объединяет, есть над
Set и Map, есть моноид над First (всегда возвращает левый аргумент), есть моноид над кортежем (объединяет элементы попарно), есть моноид над функциями, возвращающими моноид (он запускает обе функции с одним аргументом и возвращает <> от результата. Ещё он вызывает лютую ненависть у некоторых представителей этого чата).Потому что они ожидают композицию в качестве <>?