Телеграмм чат группы haskellru страница 15411

Size: a a a

Haskell

2021 February 10

В PEP634..6 убегают они или нет — вроде как вообще неопределённое поведение

> It binds the subject value to the name using the scoping rules for name binding established for the walrus operator
Читаем "о места связывания и ниже"

источник

14:31пожаловаться #1

ВЩ

Взщз Щщщхш in Haskell

Aleksei (astynax) Pirogov

> It binds the subject value to the name using the scoping rules for name binding established for the walrus operator
Читаем "о места связывания и ниже"

PEP 634, Side Effects and Undefined Behavior:
Another undefined behavior is the binding of variables by capture patterns that are followed (in the same case block) by another pattern that fails. These may happen earlier or later depending on the implementation strategy, the only constraint being that capture variables must be set before guards that use them explicitly are evaluated.

источник

14:33пожаловаться #2

ВЩ

Взщз Щщщхш in Haskell

ну да, не совсем то

источник

14:33пожаловаться #3

A64m AL256m qn<co... in Haskell

Ortofax

думаю, он был создан, чтобы использоваться для быстрого доступа, например takeLast m за O(m)

эта операция там быстрее, log m
но для вектора она вообще константная

источник

14:33пожаловаться #4

A64m AL256m qn<co... in Haskell

это структура для редкого сочетания требований, и с очень жирными константами

источник

14:34пожаловаться #5

Aleksei (astynax) Pi... in Haskell

Взщз Щщщхш

Это понятно, по скоупу переменная переживает match, но будет ли она фактически создана — знать заранее нельзя. Тут ровно то же, что и с "моржом"

источник

14:35пожаловаться #6

Aleksei (astynax) Pi... in Haskell

источник

14:36пожаловаться #7

Aleksei (astynax) Pi... in Haskell

"Программист начитался не того"

источник

14:36пожаловаться #8

Dreamerinnoise in Haskell

класс, тут опять питон обсуждают

источник

14:36пожаловаться #9

A64m AL256m qn<co... in Haskell

в хаскеле новые фичи не делают просто, приходится обсуждать питон

источник

14:37пожаловаться #10

Kir in Haskell

A64m AL256m qn I0

в хаскеле новые фичи не делают просто, приходится обсуждать питон

В хаскелле новые фичи должны пробраться ещё и через кучу shift/reduce конфликтов, помимо прочего

источник

14:44пожаловаться #11

A64m AL256m qn<co... in Haskell

не думаю, что это такое существенное препятствие по сравнению с остальным

источник

15:09пожаловаться #12

Jerzy Syrowiecki in Haskell

у кабала всё ещё нет --file-watch?

источник

15:40пожаловаться #13

Misha Puzanov in Haskell

у какие у нас есть spine-strict структуры с максимально дешевым (<>)?

у меня есть обход большого дерева (сотни тысяч элементов) с IO. Результат в каждом листе — Semigroup, общий результат — mconcat их всех. Сейчас у меня [], попробовал Set (уникальность не важна, можно в конце сделать distinct), но Set ощутимо жирнее по памяти. Что там еще, Seq?

источник

15:57пожаловаться #14

Misha Puzanov in Haskell

то есть список вроде бы ок, но из-за IO все эти куски не ленивые и получается (по-моему) нифига не оптимально

источник

15:58пожаловаться #15

A64m AL256m qn<co... in Haskell

сворачивать пакетом foldl в мутабельный вектор например
сек не особо по жирности от сета отличается

источник

16:08пожаловаться #16

A64m AL256m qn<co... in Haskell

еще для такого всякие билдеры применяют

источник

16:11пожаловаться #17

A64m AL256m qn<co... in Haskell

но сотни тыс. элементов достаточно для того чтоб развесистость билдера не особо хорошо на производительность влияла из-за гц и т.д.

источник

16:12пожаловаться #18

A64m AL256m qn<co... in Haskell

а, стоп, сотни тыс. элементов может быть нормально если они заметными кусками, если сотни тыс. кусков - то это уже не весело

источник

16:14пожаловаться #19

A64m AL256m qn<co... in Haskell

т.е. если у нас vector-builder то и траверсабл дерево векторов че-то типа (все апи по памяти)

tree ^. traverse . to Builder.vector

если пакет foldl

r <- foldMOf (traverse . each) L.vectorM tree

где-то мож надо будет типы уточнить и то и другое для дженерик вектора

источник

16:21пожаловаться #20