Телеграмм чат группы moscowpythonconf страница 3427

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Moscow Python

1005 membersпожаловаться на группу

2020 August 28

N

Nikolay in Moscow Python

Telemak (Сергей)

Да, я уже понял примерно как, правда для сложной логики будет слишком многословные проверки, имхо. В таком случае проще написать тесты)
Хотя вопрос не о том, что проще, а можно или нет

Тесты не являются пруфом правильности поведения, а проверка типов является

источник

12:56пожаловаться #1

AO

Andrew Onfire in Moscow Python

Изоморфизм Карри-Ховарда с тобой не согласен

источник

12:56пожаловаться #2

N

Nikolay in Moscow Python

Пользуйся нормальными поисковиками

источник

12:57пожаловаться #3

AO

Andrew Onfire in Moscow Python

Пользуйся нормальными поисковиками

я не пользовался
так
рядом стоял

источник

12:58пожаловаться #4

T

Telemak (Сергей)... in Moscow Python

Тесты не являются пруфом правильности поведения, а проверка типов является

Тесты по сути пруф того, что поведение соответствует тем кейсам, которые ты тестируешь. А проверка типов тому, что флоу программы соответсвует правильному. Однако для проверки типов, имхо, сложно все равно сделать так, что б он проверял что у тебя именно результаты работы правильные.
Хз, может это по тому, что я так сильно в типы не упарывался еще

источник

12:59пожаловаться #5

AS

Alexey Starkov in Moscow Python

Тесты не являются пруфом правильности поведения, а проверка типов является

Это так толсто что даже тонко

источник

13:04пожаловаться #6

IA

I Am in Moscow Python

Не, ну как бы нормас там всё )

источник

13:04пожаловаться #7

AO

Andrew Onfire in Moscow Python

то есть я нафотошопил?

источник

13:04пожаловаться #8

AS

Alexey Starkov in Moscow Python

Именно поэтому у нас есть по формальному верификатору на каждый язык

источник

13:04пожаловаться #9

IA

I Am in Moscow Python

то есть я нафотошопил?

Латинские 'о' если вставить, то не ищет, да 😉

источник

13:05пожаловаться #10

AS

Alexey Starkov in Moscow Python

то есть я нафотошопил?

Не слушай этих математиков, просто почитай про формальную верификацию и пиши тесты дальше :)

источник

13:07пожаловаться #11

N

Nikolay in Moscow Python

Это так толсто что даже тонко

При этом правда

источник

13:08пожаловаться #12

AS

Alexey Starkov in Moscow Python

Это так

источник

13:10пожаловаться #13

AS

Alexey Starkov in Moscow Python

Но всерьез предлагать ФВ вместо тестов это наброс

источник

13:11пожаловаться #14

N

Nikolay in Moscow Python

Но всерьез предлагать ФВ вместо тестов это наброс

смотря в какой области человек работает. Если это, скажем, медицина или авиастроение - то это прям обязательно знать

источник

13:19пожаловаться #15

AS

Alexey Starkov in Moscow Python

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

источник

13:52пожаловаться #16

AS

Alexey Starkov in Moscow Python

никак не для 100% кодовой базы

источник

13:52пожаловаться #17

SS

Sergey Sukhov in Moscow Python

присоединитесь к прекрасному

источник

14:52пожаловаться #18

SS

Sergey Sukhov in Moscow Python

Переслано от Даниил Козырев...

не знаю даст ли это что-то, но код https://pastebin.com/PyhvG2Lf

import telebotfrom time import sleepfrom telebot import typesfrom selenium - Pastebin.com

Pastebin.com is the number one paste tool since 2002. Pastebin is a website where you can store text online for a set period of time.

источник

14:52пожаловаться #19

c

critskiy in Moscow Python

Переслано от Даниил Козырев

не знаю даст ли это что-то, но код https://pastebin.com/PyhvG2Lf

import telebotfrom time import sleepfrom telebot import typesfrom selenium - Pastebin.com

Pastebin.com is the number one paste tool since 2002. Pastebin is a website where you can store text online for a set period of time.

гспди

источник

14:53пожаловаться #20