Не кормите тролля, ребят

Ты про меня?

Тебе надо отделить участки логики таким образом (участки кода), чтобы они не имели связи с остальными участками.

И тогда тестировать все по-отдельности. После этого можно почти быть уверенным, что все хорошо.

Почитай про юнит-тесты, и немного про TTD. Придет.

Почитай про юнит-тесты, и немного про TTD. Придет.

Я не про это) Смотри, есть какой-нибудь конкретный алгоритм сортировки. Мы пишем код реализующий этот алгоритм на новом языке. Как верифицировать корректность этой реализации?

Python spb форум завтра ?

Python spb форум завтра ?

Какой форум? о_о

Я не про это) Смотри, есть какой-нибудь конкретный алгоритм сортировки. Мы пишем код реализующий этот алгоритм на новом языке. Как верифицировать корректность этой реализации?

ты хочешь сраынить ast с каким-то эталоном?

Разбей на независимые участки: цикл от всего тела, перестановку переменных, срезы и прочую хуйню. Протестируй все в отдельности и пойми, что твой код работает правильно. Потом закинь в эту логигу массив, если отсортировало, то опять же код работает правильно.

Ну движ должен был быть , конфа по Linux и смежно python

на выходных же

Ну движ должен был быть , конфа по Linux и смежно python

PiterPy? Пятница—суббота

Черт , спасибо )

Ну движ должен был быть , конфа по Linux и смежно python

Собственно, вот http://it-events.com/events/8527

ты хочешь сраынить ast с каким-то эталоном?

Не знаю. Как я понимаю, определенный алгоритм Х будет вести себя одинаково независимо от языка. Вот мне и стало интересно, вдруг есть какие-то готовые библиотеки для тестирования "стандартных" алгоритмов.

Не знаю. Как я понимаю, определенный алгоритм Х будет вести себя одинаково независимо от языка. Вот мне и стало интересно, вдруг есть какие-то готовые библиотеки для тестирования "стандартных" алгоритмов.

не, это попахивает доказательным программированием. а с ним в обычных языках все плохо, даже зависимых типов нет

Не знаю. Как я понимаю, определенный алгоритм Х будет вести себя одинаково независимо от языка. Вот мне и стало интересно, вдруг есть какие-то готовые библиотеки для тестирования "стандартных" алгоритмов.

Но реализация будет зависеть от языка же, как это проверять-то?

Но реализация будет зависеть от языка же, как это проверять-то?

Понятия не имею. Хотя бы готовые наборы тест-кейсов как на всяких топкодерах.

не, это попахивает доказательным программированием. а с ним в обычных языках все плохо, даже зависимых типов нет

Это в сторону Coq и подобных?

Понятия не имею. Хотя бы готовые наборы тест-кейсов как на всяких топкодерах.

Ну как ты тест-кейсами можешь отличить bubble sort от heap sort?

Юнит-тестирование - это тестирование написанной тобой логики.

Никто не может протестировать твою логику, кроме тебя.

Это в сторону Coq и подобных?

ну да. из coq кстати есть трансляторы во всякие разные языки, типа хаскеля и даже джаваскрипта. но производительность будет не очень

Никто не может протестировать твою логику, кроме тебя.

Я говорю про общеизвестные алгоритмы. Их логика известна всем)

И нет таких библиотек, которые “прочитают” твой код и скажут, соответствует он “стандартам” ии нет.

Кодстайл разный.

То есть если копи-пастить код алгоритмов, то можно проверить, при таком условии.

Ну как ты тест-кейсами можешь отличить bubble sort от heap sort?

Это интересный вопрос.

Это интересный вопрос.

Сомнительной интересности вопрос Если говорить про юнит-тестирование, для него твои функции — это black box, он ничего не знает и не может знать об алгоритмах внутри, да оно ему, собственно, до одного места

Советую всегда перед изучением любой предметной области просмотреть несколько видео (на английском, конечно) и почитать пару статей, включая православный Хабр.

Сергей, следуй этому и не трать наше время на этот вопрос.

Ты не конца разобрался с тестами.

Ты не конца разобрался с тестами.

Ты не до конца разобрался с моим вопросом.

хочу странного. orm над yaml где бы такое взять ? нет ли готового ?

хочу странного. orm над yaml где бы такое взять ? нет ли готового ?

aumbry?

выглядит будто бы прям оно

хотя ojota

Предположим, я написал сортировку пузырьком. Как проверить, что мой код делает именно то, что должен?

нашел что-то похожее http://matrix.yaml.io/ https://github.com/yaml/yaml-test-suite http://testml.org/

GraphQL is a new way of communicating with your data sources. It might replace RESTful APIs because it provides a better framework for dealing with your data. This webinar is about what GraphQL is and what problems it actually solves in comparison to RESTful APIs. Join the webinar: https://info.jetbrains.com/PyCharm-Webinar-October2017.html Tuesday, October 31st 4:00 PM - 5:00 PM CET (11:00 AM - 12:00 AM EDT) от jetbrains

типа через 15 минут ?

типа через 15 минут ?

да

GraphQL is a new way of communicating with your data sources. It might replace RESTful APIs because it provides a better framework for dealing with your data. This webinar is about what GraphQL is and what problems it actually solves in comparison to RESTful APIs. Join the webinar: https://info.jetbrains.com/PyCharm-Webinar-October2017.html Tuesday, October 31st 4:00 PM - 5:00 PM CET (11:00 AM - 12:00 AM EDT) от jetbrains

DELETE /rest/rest/rest/rest/rest

Непонятно как можно заменить REST GraphQL-ем, это как вместо колеса машине приделывать винт самолета. Вернее, все строят самолет, но говорят, что это машина, при этом пытаются привинчивать колеса во все доступные места.

Непонятно как можно заменить REST GraphQL-ем, это как вместо колеса машине приделывать винт самолета. Вернее, все строят самолет, но говорят, что это машина, при этом пытаются привинчивать колеса во все доступные места.

все ради иерархических данных, кмк

ну афигеть теперь

а меня норм пустило, хотя возможно уже регался

у меня ff linux

хром онли короче

все ради иерархических данных, кмк

REST тоже так умеет, вернее, не дикутет иерархию вообще. Другое дело, что есть JSON API с какими-то правилами составления url-ов, которые соответсвуют только части требований REST или вообще не соблюдают эти требования. Для таких API унифицированный способ общения (GraphQL) будет благом.

GraphQL is a new way of communicating with your data sources. It might replace RESTful APIs because it provides a better framework for dealing with your data. This webinar is about what GraphQL is and what problems it actually solves in comparison to RESTful APIs. Join the webinar: https://info.jetbrains.com/PyCharm-Webinar-October2017.html Tuesday, October 31st 4:00 PM - 5:00 PM CET (11:00 AM - 12:00 AM EDT) от jetbrains

там какой-то молодой индус, за качество доклада не ручаюсь )

REST тоже так умеет, вернее, не дикутет иерархию вообще. Другое дело, что есть JSON API с какими-то правилами составления url-ов, которые соответсвуют только части требований REST или вообще не соблюдают эти требования. Для таких API унифицированный способ общения (GraphQL) будет благом.

https://habrahabr.ru/company/infopulse/blog/265805/

https://habrahabr.ru/company/infopulse/blog/265805/

Это вместо GraphQL или REST? :)

https://habrahabr.ru/company/infopulse/blog/265805/

Не рекоммендую, может в Go grpc норм, в Python вечно сыпет мутными ошибками (мы его косвенно юзаем, gcloud API использует grpc).

GraphQL is a new way of communicating with your data sources. It might replace RESTful APIs because it provides a better framework for dealing with your data. This webinar is about what GraphQL is and what problems it actually solves in comparison to RESTful APIs. Join the webinar: https://info.jetbrains.com/PyCharm-Webinar-October2017.html Tuesday, October 31st 4:00 PM - 5:00 PM CET (11:00 AM - 12:00 AM EDT) от jetbrains

Ребят, не знаете, запись этого вебинара опубликуют?

Ребят, не знаете, запись этого вебинара опубликуют?

Да

Ребят, не знаете, запись этого вебинара опубликуют?

На Youtube в jerbrains канал выложат

https://habrahabr.ru/post/323154/ тут пишут, что в большой микросервисной инфраструктуре наоборот отказались о gRPC.

Пожалуй лучший антидевопс стикерпак

Я под впечатлением от набегов троллей.

https://habrahabr.ru/post/323154/ тут пишут, что в большой микросервисной инфраструктуре наоборот отказались о gRPC.

там вполне конкретный кейс, кмк.

Не рекоммендую, может в Go grpc норм, в Python вечно сыпет мутными ошибками (мы его косвенно юзаем, gcloud API использует grpc).

а что за мутные ошибки?

Ну в духе _Rendezvous of RPC that terminated, че за рандеву, хз )

Ну в духе _Rendezvous of RPC that terminated, че за рандеву, хз )

Ну так это если, например, сервер, с которым python-клиент упал, вылетает вот такой эксепшон

лан, у меня наверное больше притензий к gcloud api, чем к самой grpc

https://blog.sentry.io/2016/10/19/fixing-python-performance-with-rust.html

Когда ты тестировщик и смотришь баг репорты от пользователя

https://blog.sentry.io/2016/10/19/fixing-python-performance-with-rust.html

было дело)

было дело)

Ну круто же, что шуструю либу для питона сделали на нормальном языке

https://blog.sentry.io/2016/10/19/fixing-python-performance-with-rust.html

огонь!

https://blog.sentry.io/2016/10/19/fixing-python-performance-with-rust.html

Кстати, по твоему совету попробовал rust, не понравилось, что слишком быстро развивающийся язык. фичи, которые привычно было бы использовать уже сейчас, находятся еще в дев канале. прикол: пытался написать задачу fizzbuzz а потом оказалось, что ее решение описано в "книге" или в документации даже. уже не помню. в целом, ощущение, что этот язык попытался в себя вобрать фишки из многих наиболее популярных языков, включая python.

Кстати, по твоему совету попробовал rust, не понравилось, что слишком быстро развивающийся язык. фичи, которые привычно было бы использовать уже сейчас, находятся еще в дев канале. прикол: пытался написать задачу fizzbuzz а потом оказалось, что ее решение описано в "книге" или в документации даже. уже не помню. в целом, ощущение, что этот язык попытался в себя вобрать фишки из многих наиболее популярных языков, включая python.

ну сорян, становиться спецом по языку когда он обильно развивается это самое труъ как по мне

ну сорян, становиться спецом по языку когда он обильно развивается это самое труъ как по мне

Не, я наоборот благодарен за совет

ну сорян, становиться спецом по языку когда он обильно развивается это самое труъ как по мне

ты подался в rust?

ты подался в rust?

я хочу в него податься. вот только в Я мне все равно не дадут на нем в прод писать

я хочу в него податься. вот только в Я мне все равно не дадут на нем в прод писать

так у вас кто-то в Я пишет на расте в прод

так у вас кто-то в Я пишет на расте в прод

если ты про Степу, то он в Лондоне уже

https://www.youtube.com/watch?v=SsEMc17Kzo4

блин, да )

шуточки про "сегодня пишет он на раст, а завтра ..." были в комплекте

народ, кто юзал asyncio, если выбрасывается исключение то процесс останавливается с аварийным статусом или игнорит и работает дальше ?

народ, кто юзал asyncio, если выбрасывается исключение то процесс останавливается с аварийным статусом или игнорит и работает дальше ?

Зависит от того как ты обрабатываешь его