AA
но я помню сто лет назад для дотнета был генератор тестов на смт-солвере - пекс
Size: a a a
2020 December 30
к
Подскажите, как задизайнить такую штуку. Есть типа-интерпретатор, и в нём в разных ситуациях нужно делать lookup информации о переменной или её имени, по порядку поискав во фреймах локального стека, в словарике полей текущего объекта, и в пачке глобальных. После этого в некоторых ситуациях переменную надо прочитать, а в некоторых записать (всё в State обрабатывается). Однако некоторые глобальные переменные могут быть константами; а если переменной нигде не было, её надо добавить к полям объекта. В итоге мне нужно как бы линзу, но уже «наведённую» на конкретное значение, при этом с Maybe-геттером (если её нет) и Maybe-сеттером (если это константа)
ничего не понял. В идеале нужно не искать информацию по переменной, а заранее во все переменные проставить всю информацию
к
Вчера за пивом товарищ скалист рассказал о таком вот проекте для скалы https://stainless.epfl.ch/
Мол вместо тестов ты пишешь человекочитаемую спеку, а оно по спеке либо само тестирует, когда кейсы простые, либо генерирует набор тестов. Стало интересно, а есть ли что-то подобное для хаскела?
Мол вместо тестов ты пишешь человекочитаемую спеку, а оно по спеке либо само тестирует, когда кейсы простые, либо генерирует набор тестов. Стало интересно, а есть ли что-то подобное для хаскела?
AA
не, это не одно и то же
к
ну по примерам отсюда все то же самое
https://epfl-lara.github.io/stainless/tutorial.html
https://epfl-lara.github.io/stainless/tutorial.html
Y
ничего не понял. В идеале нужно не искать информацию по переменной, а заранее во все переменные проставить всю информацию
Ну там есть
и пока есть
в которых по сути дублируется логика поиска, где переменная должна лежать, хочется объединить в одну линзу и выразить через неё и get и set
type VarInfo = Type --пока только тип переменной
type Memory = M.Map Name VarInfo
data Builtin = Builtin
{ bGlobalVar :: Memory
, bGlobalConst :: Memory
}
data Context = Context
{ cLocal :: [Memory] --стек
, cObjects :: M.Map Name Memory --поля объектов
}
type Checker = RWS Builtin Log Context
и пока есть
getVar :: Variable -> Checker (Maybe VarInfo)
setVar :: Variable -> VarInfo -> Checker ()
в которых по сути дублируется логика поиска, где переменная должна лежать, хочется объединить в одну линзу и выразить через неё и get и set
AA
ну по примерам отсюда все то же самое
https://epfl-lara.github.io/stainless/tutorial.html
https://epfl-lara.github.io/stainless/tutorial.html
нет же. квикчек проблемные примеры находит случайно и композицией из проблемных примеров частей, а потом их минимизирует
а тут их солвер ищет
а тут их солвер ищет
AA
т.е. то что само тестирует ближе к ликвидхаскелю, наверное, а тесты, которые солвер генерит - такое в хаскеле не используется, хотя что-то типа такого было типа hipspec или там quickspec, но это тоже не совсем то, и это все не взлетело
ЖК
А кто-нибудь free-theorems использует?
TZ
А есть причина, по которой еще нет
MonadFail (Either String)?
ㅤ
Всем привет, хочу выучить хаскель, как лучше учиться, роадмап с гита
https://hub.packtpub.com/a-five-level-learning-roadmap-for-functional-programmers/
норм?
https://hub.packtpub.com/a-five-level-learning-roadmap-for-functional-programmers/
норм?
A
Всем привет, хочу выучить хаскель, как лучше учиться, роадмап с гита
https://hub.packtpub.com/a-five-level-learning-roadmap-for-functional-programmers/
норм?
https://hub.packtpub.com/a-five-level-learning-roadmap-for-functional-programmers/
норм?
курс на stepic.org могу порекомендовать