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

Size: a a a

Clojure — русскоговорящее сообщество

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

2019 June 10

nvkv in Clojure — русскоговорящее сообщество

Mikhail Gusarov

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

можешь юзкейз описать, где спек "не сработает"?

источник

19:21пожаловаться #1

Vlad Lisovsky in Clojure — русскоговорящее сообщество

Mikhail Gusarov

Я же приводил пример: вот есть функция. Она возвращает неотрицательные числа, но если ей передать nil, то она вернёт -1. Как трассировать в обе стороны: и что будет с системой, если вместо неотрицательного числа будет -1, и не будет ли где-нибудь ситуации, когда nil будет передан?

А типы помогут это явно обрисовать, обработать ?

источник

19:22пожаловаться #2

nvkv in Clojure — русскоговорящее сообщество

типы могут гарантировать, что в кодовой базе нигде эта функция не вызовется с nil

источник

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

nvkv in Clojure — русскоговорящее сообщество

so do spec

источник

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

Mikhail Gusarov in Clojure — русскоговорящее сообщество

Типы, даже самые убогие, могут сказать "на вход подаются только списки чисел", и компилятор будет проверять, что в функцию не будут передаваться nil, 42, java.util.Date и прочие весёлые вещи.

источник

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

Vlad Lisovsky in Clojure — русскоговорящее сообщество

https://twitter.com/andrey_sitnik/status/1137343819907829760

Twitter

Андрей Ситник

Пример грамтного подхода к спору (о типизации) от @boriscoder — он перевёл Size Limit на TypeScript. Типы добавили 200 строк, но выявил 3 мелкие ошибки и одну большую. По мне, полезно, но 200 строк — слишком много. 200 строк лишних тестов полезнее. https://t.co/wF8DveRU8h

источник

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

Vlad Lisovsky in Clojure — русскоговорящее сообщество

Vlad Lisovsky

https://twitter.com/andrey_sitnik/status/1137343819907829760

Twitter

Андрей Ситник

Видели этот прецедент?

источник

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

Vlad Lisovsky in Clojure — русскоговорящее сообщество

Mikhail Gusarov

А если это вход пользовательский и можно что угодно туда подать ?

источник

19:24пожаловаться #8

Mikhail Gusarov in Clojure — русскоговорящее сообщество

Мы говорим про анализ кода, а не про валидацию на границах.

источник

19:24пожаловаться #9

Vlad Lisovsky in Clojure — русскоговорящее сообщество

Понял, тут даже typescript справиться

источник

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

Mikhail Gusarov in Clojure — русскоговорящее сообщество

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

источник

19:25пожаловаться #11

Mikhail Gusarov in Clojure — русскоговорящее сообщество

Да, нужно какой-то баланс. Чем изощрённее система типов, тем большее пространство состояний можно отсечь, но тем сложнее язык.

источник

19:26пожаловаться #12

Vlad Lisovsky in Clojure — русскоговорящее сообщество

Ну я хз как быть

источник

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

Alex Bubnov in Clojure — русскоговорящее сообщество

nvkv

типы могут гарантировать, что в кодовой базе нигде эта функция не вызовется с nil

В какой реализации системы типов она может гарантировать подобное?

источник

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

nvkv in Clojure — русскоговорящее сообщество

Alex Bubnov

В какой реализации системы типов она может гарантировать подобное?

в любой, где есть Optional<T>

источник

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

nvkv in Clojure — русскоговорящее сообщество

или Maybe

источник

19:31пожаловаться #16

Ag Ibragimov in Clojure — русскоговорящее сообщество

nvkv

вот это щас обидно было!

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

источник

19:32пожаловаться #17

Mikhail Gusarov in Clojure — русскоговорящее сообщество

@nwalker В любой, где домен типа не включает неявно nil.

источник

19:39пожаловаться #18

Sergey Trofimov in Clojure — русскоговорящее сообщество

nvkv

в любой, где есть Optional<T>

В скале это от null не защищает

источник

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

Mikhail Gusarov in Clojure — русскоговорящее сообщество

Значит в скале в домене T есть null. О чём мы говорим?

источник

19:44пожаловаться #20