Есть ли способ красиво переписать list-comprehension'ы: [c <> c' | c

Question

Есть ли способ красиво переписать list-comprehension'ы: [c <> c' | c

<- toNormForm' f, c' <- toNormForm' f']
[[CDmd r c b] | c <- toNormForm' f]
через Data.Set, а не списки?
Ну или хотя бы не очень красиво, но как это обычно делают?

#haskell #programming #russian

0

16.06.2022

9 ответов

23 просмотра

Cheese Syrowiecki

у вас на входе Set и на выходе Set?

0

17.06.2022

Лев Дворкин Автор вопроса

Cheese Syrowiecki
у вас на входе Set и на выходе Set?

да

0

17.06.2022

Cheese Syrowiecki

красивее компрехеншена уже не будет, но можно Set.fromList $ liftA2 (<>) (toList xs) (toList ys) а во втором случае хотите получить Set из одноэлементных Set?

0

17.06.2022

Лев Дворкин Автор вопроса

Cheese Syrowiecki
красивее компрехеншена уже не будет, но можно Set....

да, что-то такое я и взял Comprehension'ы пока. А там будут проблемы с производительностью — буду менять. Пока главное, что наглядно и ошибку сложнее допустить

0

17.06.2022

Cheese Syrowiecki

Лев Дворкин
да, что-то такое я и взял Comprehension'ы пока. А ...

какие проблемы с производительностью вы ожидаете? если для этой задачи надо в любом случае перебирать все комбинации

0

17.06.2022

Cheese Syrowiecki

Лев Дворкин
да, что-то такое я и взял Comprehension'ы пока. А ...

а если забыть о синтаксисе и поговорить о производительности, то посмотрите на Data.Set.cartesianProduct. можно начать с Set.map (uncurry (<>)) $ cartesianProduct c c', а продолжить погружением в исходный код этой нетривиальной функции и проверкой применимости Set.mapMonotonic всё это делать, измеряя производительность с помощью criterion, например

0

17.06.2022

Лев Дворкин Автор вопроса

Cheese Syrowiecki
а если забыть о синтаксисе и поговорить о производ...

ok сначала напишу как-нибудь, потом буду думать о производительности. А то тут пока и как-нибудь не очень выходит

0

17.06.2022

Cheese Syrowiecki

Лев Дворкин
ok сначала напишу как-нибудь, потом буду думать о ...

так вы уже начали вопрос с достаточно хорошей реализации

0

17.06.2022