AP
можно ещё
locus state == Just (T t)
переписать наJust (T t') <- [locus state]
t' == tlocus state == Just (T t)
переписать наJust (T t') <- [locus state]
t' == tSize: a a a
2021 February 12
K
можно ещё
Длиннее, непонятнее и зачем
[] вокруг locus state?AP
| Just (T t') <- map locus states
, t' == tAP
Длиннее, непонятнее и зачем
[] вокруг locus state?[] потому что контест — список. Можно pure, если хочется
AP
Суть в том, чтобы паттернматчить и пропускать итерации, которые не сматчились
AP
<- нельзя сделать без списка справа
AP
let не даст сматчить и пропустить, если не сматчилось
AP
[ x | Just x <- [Nothing, Just 42, Nothing] ] -> [42]AP
guard требует предиката
AP
[ x | Just x <- [Nothing, Just 42, Nothing] ] -> [42]Тут пропускаются элементы, которые не Just
K
guard требует предиката
, locus state == Just (T t) - чем не предикат?AP
А если нет Eq?
AP
Кароч, я за то, чтобы делать матчинг там, где можно
DB
Стренж сингс
K
А если нет Eq?
у
t должен быть как минимум Ord, я его в Set/Map ключами сую самого и в структурах