Shub
хаскелист сразу начнет избегать успеха
Ayrat
макак, конечно
я б тоже взял макак, за ними потом переписать можно
Shub
до этого ты имел проблему, а после наема хаскелиста ты будешь иметь проблему и декларативную систему сборки
Ayrat
но я говорю "я б тоже взял", подразумевая что я бизнесмен который работает за свои. А если я программист который работает за дядины, конечно же взял бы хаскель
Shub
ну и пару вайтпейперов, конечно, куда же хаскелист без вайтпейперов
Ayrat
а лучше F*
Romɑn
Doge
потому что мейнстрим он про бизнес. Бизнесу плевать на блидинг едж, ему нужно зарабатывать сегодня, а лучше вчера и чтобы стабильно
Ну тут, имхо, но если бизнес нанимает дорого специалиста, то можно ему и доверить выбирать инструменты для выполнения его работы.
Ayrat
А чё?
ну за чужие деньги я готов и на F* покодить
Shub
https://github.com/atsapura/CardManagement/blob/master/CardManagement/CardActions.fs#L32
Doge
Если он не фантик
Если он выполняет поставленные задачи, то какая разница
Romɑn
ну за чужие деньги я готов и на F* покодить
Я кстати вот хз как кодить на языке вериыикации
Romɑn
Если он выполняет поставленные задачи, то какая разница
Эт да, но сразу в задачу опишу. Решение поддерживаемое разработчиками уровня от мидла
Ayrat
Я кстати вот хз как кодить на языке вериыикации
да отлично. Там же есть конвертация доказанных лемм, теорем и прочих типов с йоба функциями в C и F#
Doge
я б тоже взял макак, за ними потом переписать можно
Ну если разраб не может разобраться с новым языком, то стоит подумать, а нужен ли он вообще
Ayrat
там только в отпетых случаях надо чот руками доказывать
Shub
Ну если разраб не может разобраться с новым языком, то стоит подумать, а нужен ли он вообще
бизнес платит за велью, а не за то, чтобы он с новым языком разбирался
Doge
нужен, это ж ресурс
Фиговый ресурс. Хотя это зависит от того нужны ли вам тела, чтобы отчётность прикрыть или написать очередной круд или те, кто смогут сделать что-то новое или нетривиальная
Ayrat
Я ничего не понял
ну вот в петухе надо говорить какую стратегию использовать для доказательства. Например сказать ему ТРИВИАЛЬНО и он хуяк и поймёт что тут тривиально!
Shub
замануха в стиле “есть особый язык, увеличивающий производительность в uint раз” - это пуля
Ayrat
или сказать ему - индуктивно пройди-ка тут и он такой хуяк и пойдёт доказывать от некого стартового примера и до бесконечности
Doge
замануха в стиле “есть особый язык, увеличивающий производительность в uint раз” - это пуля
Замануха тут в том, что так можно нанять тех людей, которых иначе будет весьма сложно на рынке труда найти
Doge
ну, ресурс как ресурс. Лада Калина тоже машина!
Оно, увы, так работает только в очень ограниченных случаях
Ayrat
но я б всё равно покодил!11
Ayrat
за чужие-то чоб не покодить
Ayrat
точно так же и некие программисты, которым уже за 40 и они знают только 1 язык, их на самом деле большинство
Romɑn
полстраны катается!
Не ожидал от ирландцев
Ayrat
сидят себе бухгалтерию делают в ООО Рога и Копыта
Ayrat
какого-нибудь португальского разлива
Ayrat
бухгалтерия-то всем нужна
Romɑn
бухгалтерия-то всем нужна
Пилят свой блокчейн
Romɑn
На 1С
Ayrat
На 1С
а вот прикинь, в каждой стране СВОЙ 1С
Ayrat
потому что везде свои законы, налоги и отчётности
Ayrat
и кто-то это всё должен КОДИТЬ
Ayrat
А сап?
ну для ОЧЕНЬ богатых и САП пойдёт
Ayrat
он же стоит как космолёт
Romɑn
Он же как раз такой 1С для богатых
Doge
точно так же и некие программисты, которым уже за 40 и они знают только 1 язык, их на самом деле большинство
Ну и проблема в том, что они далеко не для всех задач и команд пойдут. В любой нетривиальной ситуации или с нестандартной задачей будет очень жарко.
Ayrat
может даже меньше
Romɑn
Так да
Это не вы свой 1С под ваши бизнес процессы натягиваете. Это вы ваши процессы подтягиваете под наш сап
Doge
на самом деле, на самом деле, нетривиальных задач - 1%. А всё остальное - тривиальное
Ну если у вас обычные тупые круды без особой нагрузки, то да, всё так. Проблема в том, что жизнь сложнее и даже в такие проекты и команды может прилететь что-то совсем нетривиальное
Doge
Я просто был на прошлой работе свидетелем того как такой ресурсный подход вышел людям очень боком
Romɑn
ты там нормальный?
Приезжали СПБЧ в крд. Видимо не оправился
Romɑn
ты там нормальный?
Классику надо знать
Romɑn
кто это? O_O
https://ru.wikipedia.org/wiki/%D0%A1%D0%B0%D0%BC%D0%BE%D0%B5_%D0%B1%D0%BE%D0%BB%D1%8C%D1%88%D0%BE%D0%B5_%D0%BF%D1%80%D0%BE%D1%81%D1%82%D0%BE%D0%B5_%D1%87%D0%B8%D1%81%D0%BB%D0%BE_(%D0%B3%D1%80%D1%83%D0%BF%D0%BF%D0%B0)
Doge
Ну, не всем гуглы строить. Может только гуглу)
Ну мне кажется, что "гуглов" куда больше, чем может на первый взгляд показаться. Хотя, это, конечно, может только мне везло так, что попадал либо на стартапы со сложными задачами, либо на здоровый энтерпрайз с ощутимыми нагрузкам. И там, и там, вот такие вот средние разрабы за 40, котором ничего не надо, не особо справлялись
Ayrat
поэтому мы их особо не видим
Ayrat
А ИХ ДОХУЯ
Doge
это норма, просто такие люди обычно в чатиках не трутся, у них семья, им надо pay the bills, и пр. Для них программирование на VB.NET это работа
Да, видимо, я вне этой темной материи IT как-то оказывался все время. У меня на всех работах такие люди были исключением из правил. (Кроме одного места из которого я очень быстро сбежал)
Андрей
Мы его потеряли?
Вот вы ржете, а на скалу лезть не так уж и страшно, и спрыгивать с нее после некоторого времени кагбэ и не сильно хочется. Например ныть не на кого боле, что мол не развивается, не маркетится. на Одерского разве что. Да и все эти хуиндли-мильнеры меркнут на фоне метапрограмминга и тех же HKT
Hog
это норма, просто такие люди обычно в чатиках не трутся, у них семья, им надо pay the bills, и пр. Для них программирование на VB.NET это работа
Да. Но с такими просто не о чем разговаривать. Думаешь, мне не надо билы платить? А семья - у тебя ж семеро по лавкам мал мала меньше :)
Hog
хорошо что я пока могу себе позволить выбирать!
Это потому, что у тебя сознательная трудовая эмиграция
Hog
Поздравляю
Спасибо!
Hog
https://twitter.com/donnyburnside/status/1141022278056108037?s=12
Shub
https://twitter.com/donnyburnside/status/1141022278056108037?s=12
ПРОСТОЙ И ПОНЯТНЫЙ КОД, НЕ ПОЙМУ В ЧЕМ ВАША ПРОБЛЕМА
Shub
это норма, просто такие люди обычно в чатиках не трутся, у них семья, им надо pay the bills, и пр. Для них программирование на VB.NET это работа
вполне себе трутся. более того, не думайте, что вы с ними не соприкасаетесь. их затаскивает в ваши уютные пузырьки осмотическим давлением