KR
кем надо быть чтобы получить диверсити тикет?
Size: a a a
2019 June 10
VL
кем надо быть чтобы получить диверсити тикет?
Minority
IG
кем надо быть чтобы получить диверсити тикет?
вот тут все написано https://2017.clojure-conj.org/meetups/
VL
А ты поедешь?
Очень вероятно
VL
Хочу и Хельсинки посмотреть, и крутую концу увидеть
A
Хочу и Хельсинки посмотреть, и крутую концу увидеть
Какие доклады наиболее интересны?
A
Точнее докладчики.
А то названия докладов вроде есть прикольные, а имена у людей незнакомые
А то названия докладов вроде есть прикольные, а имена у людей незнакомые
VL
Не знаю пока, не смотрел
AB
Дяде Бобу очень легко говорить "мы специфицируем только поведение в штатных ситуациях", но он строит тем самым пресловутую цивилизацию, разрушаемую первым же залётным дятлом.
ну, вообще, это практически let it crash из жрланга. описываешь success path, описываешь куда и в каком виде каскадировать сбои, ...., profit.
MG
Проблема только в том, что оно не падает, а продолжает отравлять систему.
n
Ну вообще говоря, есть два возражения
n
1. spec
n
2. То, о чем ты говоришь, можно относительно полно сделать только на зависимых типах. И где те зависимые типы?
n
спек в этом плане даже лучше
AI
Да честно говоря подзаебали эти "ветераны" тупо хвалить динамику и хаять static typing. Вон в Racket умудряются как-то весь этот сыр совмещать и даже как-то занятно. Кложа в двух шагах от от того чтобы кто-то сделал чтобы spec инструментация пробегала по коду в фоне, а не в рантайме. Вот я посмотрю на их рожи
n
+ проперти тестинг
MG
Так отож. Без спека не жизнь, но дядя боб-то топит за то, что нафиг это всё не сдалось.
MG
Полно сделать ничего нельзя, но можно хотя бы отсечь гигантские пространства состояний.