Можно ли тут как-то ещё упростить код? Тут было совсем

Question

Можно ли тут как-то ещё упростить код? Тут было совсем

ужасно, теперь переписал на линзы стало чуть лучше, но может это ещё не предел? Я просто только первый раз линзы использую
re1 :-> re2 -> do
nfa1 <- toNFA re1
modify succ
nfa2 <- toNFA re2
return
NFA
{ _start = nfa1 ^. start,
_moves =
(nfa1 ^. moves)
`deepUnion` (nfa2 ^. moves)
`deepUnion` movesFromSet
( nfa1 ^. terminals . to (S.map (`EMove` (nfa2 ^. start)))
),
_terminals = nfa2 ^. terminals
}
Особенно to (S.map ...) — кажется, тут должно быть что-то более красивое

#haskell #programming #russian

0

16.07.2022

6 ответов

22 просмотра

Cheese Syrowiecki

вроде объединить to Set.map нельзя, но можно вынести и просто применить как функцию, тогда to не нужно (nfa1 ^. moves) `deepUnion` (nfa2 ^. moves) `deepUnion` movesFromSet (S.map (`EMove` (nfa2 ^. start)) $ nfa1 ^. terminals) или movesFromSet (nfa1 ^. terminals & S.map (`EMove` (nfa2 ^. start)))

0

16.07.2022

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

Cheese Syrowiecki
вроде объединить to Set.map нельзя, но можно вынес...

Да, так у меня и было. Потом нашёл setmapped setmapped %~ (`EMove` (nfa2 ^. start)) $ nfa1 ^. terminals и решил, что может это как-то можно лучше объединить с линзами

0

16.07.2022

IC Rainbow

Очень много элементарных линз. Нахрена?..

0

16.07.2022

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

IC Rainbow
Очень много элементарных линз. Нахрена?..

Лучше сматчить поля напрямую?

0

16.07.2022

TOV_MULTIMASSO