Телеграмм чат группы tkhirianov_python

Size: a a a

Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

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

2020 July 13

Gerya On gera in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

Да, кажется, бегущая строка - сомнительный ход

источник

23:15пожаловаться #1

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

Кирилл Жданов

Почему?

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

источник

23:16пожаловаться #2

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

Ну и просто баги тоже бывают.

источник

23:16пожаловаться #3

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

С функциональным подходом в плюсах можно пользоваться замыканиями, чистыми функциями и почаще испльзовать const.

источник

23:17пожаловаться #4

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

В результате код раздувается и порой очень трудно понять, что происходит.

источник

23:18пожаловаться #5

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

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

источник

23:19пожаловаться #6

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

Потому что нужно следить за сайд эффектами...

источник

23:20пожаловаться #7

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

То есть безопасный код на С++ будет с весьма урезанными плюшками...

источник

23:20пожаловаться #8

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

Это настолько жесто, что я даже 10 реальных примеров на С++ наверно не найду...

источник

23:22пожаловаться #9

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

Я знаю, что некоторые драйвера для мед оборудования так делают, потом ПО для всекой фигни, которая в космос летит, всякие автопилоты на самолетах, ну и военные всякие штуки.

источник

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

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

В коммерческом ПО я слышал только, что вроде сборшик мусора в винде так сделан, но я код не видел, так что возможно это слухи.

источник

23:24пожаловаться #11

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

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

источник

23:25пожаловаться #12

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

https://rise4fun.com/dafny/Hello - собственно можете попробовать покодить на нем.

Rise4Fun

Dafny @ rise4fun from Microsoft

Dafny is a programming language with imperative and functional features, as well as specification constructs for describing intended behavior. The Dafny verifier checks that programs live up to their specifications.

источник

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

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

В плюсах тоже самое примерно можно с соответствующими инструментами. Но это еще тот геморой...

источник

23:26пожаловаться #14

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

У меня была домашка - написать алгоритм сортировки на Dafny.

источник

23:28пожаловаться #15

КЖ

Кирилл Жданов... in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

Бекдор, сайдэффекты - новые заклинания для меня, будем учить

источник

23:30пожаловаться #16

КЖ

Кирилл Жданов... in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

В МФТИ есть дистанционное обучение?

источник

23:30пожаловаться #17

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

Ваще я рекомендую тут все языки попробовать:
https://rise4fun.com/

источник

23:37пожаловаться #18

Ананта in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

Nick Pershyn

Ваще я рекомендую тут все языки попробовать:
https://rise4fun.com/

А что это такое прикольное ?)

источник

23:43пожаловаться #19

Nick Pershyn in Хирьянов Т.Ф., Практика программирования на Python 3 (2019)

У меня был курс в универе по дизайну точных систем - там нас гоняли по всем этим штукам. Чтобы понимать базу надо наверно ознакомиться с z3, потом, чтобы понимать, как это выглядит в языке программирования - попробовать покодить на dafny. Затем можно посмотреть на boogie, ибо сишный и плюсовый код частенько в него транслируется для последущего анализа всякими инструментами.

источник

23:47пожаловаться #20