к
Size: a a a
2021 February 12
MK
ну это если forall m
DB
собственно я больше примеров и не знаю если что
MK
это thinking with types, да?
DB
это thinking with types, да?
Ну да, яж писал, что её и читаю)
DB
Ix IO тут это просто IO с фантомами?
Ну да, получается
AA
Там по-моему текст это тупо обёртка над ByteArray#
текст и в text - обертка над байт арреем (вернее в текст обертка обертки, а в з-дата обертка обертки обертки)
K
fooBar x
| let y = x + 42
, let z = x - 15
, z + y < 100
, let sx = show x
, let ss = show (y * z)
, length sx == 2 * length ss
= ...
fooBar x
| ...
...
вот такое вот видел, да ещё с портянками по несколько экранов у каждого клозаЯ тут LR(0)-генератор парсеров писал. Весьма удобная фича.
closure :: Ord t => Table t -> Set (State t) -> Set (State t)
closure (Table rules) = close $ foldMap \state ->
case locus state of
Just (NT nt) -> Set.fromList [firstState rule | rule <- rules, rule.name == nt]
_ -> mempty
goto :: Ord t => Table t -> Set (State t) -> t -> Set (State t)
goto rules (Set.toList -> states) t =
mconcat
[ closure rules $ possible Set.ofOne following
| state <- states
, locus state == Just (T t)
, let following = next state
]