SB
Specifying systems by Leslie Lamport
Size: a a a
2020 September 09
SB
на гитхабе гугли все по TLA+, там несколкьо разных репозиториев
AK
ок. посмотрю
SB
код, конечно, адское говно, потому что академиками написан
SB
но он работает
SB
и даже позволяет дебажить спеки
AK
а что подразумевается под отладкой спеки?
SB
если ты граф начальных состояний или правила переходов задашь криво, получишь кривую спецификацию. по аналогии - хуевый проперти-тест даст хуевый результат.
SB
почитай в этих ваших Гуглах о TLA+, там простейший синтаксис
AK
ок. обязательно почитаю.
AK
выглядит как минимум любопытно
R
ок, дорогой чят, чем ныне модно генерить пдф в дотнете?
R
А то че-то полчаса в гугле тока расстроили.
S
ок, дорогой чят, чем ныне модно генерить пдф в дотнете?
у меня был опыт с тем, что я рендерил на UI данные и потом делал слепок и его конвертил в пдф.
а собирать по полям пдфку из голых данных, что я помню это ад и содомия.
а собирать по полям пдфку из голых данных, что я помню это ад и содомия.
R
хм, ну вряд ли нам подойдет, но идея интересная
S
хм, ну вряд ли нам подойдет, но идея интересная
все что касалось самому строить пдф из того, что я видел это прям реально брать каждое поле, каждый элемент и описывать кодом, напоминает программирование на вин форм, только представь, что у тебя забрали конструктор и весь UI пишешь декларативно.
R
да хотя бы так
S
возможно год спустя что то поменялось, но было грустно
R
Я просто не вижу никакой либы, которая бесплатна и портирована под дотнет кор
SB
А чем тебя скриншот экрана не устраивает? Тебе нужна навигация по ПДф?