L
так что смысл проводить пайтон митап?(тем более что я себе не представляю что можно обсуждать про пайтон)
Они отдельно существуют и ищут докладчика и хотят про фп, я просто помогаю
Size: a a a
2019 September 06
DI
Брагилевский будет?
DI
про Coq
L
Брагилевский будет?
Вот этого не знаю
DI
Была довольно интересная идея, собрать базу верифицируемого кода на Coq
DI
Вероятно на нее положили хер
DI
Кому-нибудь было бы интересно послушать про OCaml на грядущих митапах? Про самобытную систему модулей, например, которой можно всякие недостающие типоизвращения эмулировать
Да вобщем-то давно ждем чего-нибудь нового и интересного. Про OCaml одно время рассказывал Юра Кижаев, но потом забил болт, как известно
DI
Так что я думаю, это было бы круто, поднять тему снова
DI
Я б еще послушал чем хорош и плох F# в сравнении с OCaml
DS
Про OCaml очень было бы интересно послушать
NK
Я б еще послушал чем хорош и плох F# в сравнении с OCaml
+
AT
Была довольно интересная идея, собрать базу верифицируемого кода на Coq
можешь чутка расшифровать? на opam довольно много чего лежит (но не все самое интересное!), но код в основном академический.
или нужно что-то вроде awesome-coq?
или нужно что-то вроде awesome-coq?
🦉
Я б еще послушал чем хорош и плох F# в сравнении с OCaml
F# плох, у меня все
DI
можешь чутка расшифровать? на opam довольно много чего лежит (но не все самое интересное!), но код в основном академический.
или нужно что-то вроде awesome-coq?
или нужно что-то вроде awesome-coq?
ЕМНИП именно у Брагилевского была идея поднять БД с прикладным кодом
DI
типа по кусочкам
DI
и чтобе потом собирать из этого программы
DI
Ну потому что если постоянно с нуля решать типовые задачи на Coq - можно спиться
DI
А потом, для многих отраслей важна именно верифицируемость
DI
Короче идея была ниче, но видимо пробухали