_bravit

26 февраля 2018, Ростов-на-Дону, Россия

# Понедельник 100 твитов

Всем привет! На этой неделе в @backendsecret не разработчик бэкенда, а я, Виталий Брагилевский, @_bravit, преподава… twitter.com/i/web/status/9…

11:36

До среды включительно будем говорить о Хаскеле и других функциональных языках, в четверг и пятницу обсудим систему… twitter.com/i/web/status/9…

11:39
@backendsecret @_bravit То есть никакой совсем не backend developer 😁

В некотором смысле я разработчик бэкендеров, то есть разработчик бэкенда второго порядка. Впрочем, никакой ответств… twitter.com/i/web/status/9…

11:45
@backendsecret Higher-kinded backend developer :)
11:47
@backendsecret Будет ли затронута тема кибербулинга?

Кибербуллинг в среде бэкендеров — важная тема, обсудим её в разном. Вот только кнопочку для бана найду… twitter.com/Krasnikov_AN/s…

11:49
@_bravit @backendsecret А можно пропустить всю эту шелуху и сразу перейти к гендерным вопросам?

Нельзя. Я вообще надеюсь, что до выходных меня отсюда выгонят и не придётся обсуждать острые темы. twitter.com/Alex__Grig/sta…

11:53
@backendsecret Может не надо опять гендерные вопросы? Мы еще с прошлого раза не отошли.

Надо. Всем хочется заполучить кусочек славы Егора Бугаенко. twitter.com/AstarothAst/st…

12:01
@backendsecret developerFactory

Про паттерны проектирования обязательно скажу. twitter.com/ngalayko/statu…

12:10

О ФП (функциональное программирование) начнём говорить с матчасти. В далёком 2009 году собралась группа энтузиастов… twitter.com/i/web/status/9…

12:16

Одним из лучших материалов журнала оказался обзор элементов функциональных языков от Евгения Кирпичёва (… twitter.com/i/web/status/9…

12:19

«Цель статьи — вооружить идеями из мира функционального программирования даже тех читателей, кто не планирует менят… twitter.com/i/web/status/9…

12:20
@backendsecret в жопу гендерные вопросы. интереснее послушать fulltime erlang/elixir разработчиков. какого рода про… twitter.com/i/web/status/9…

Это к кураторам! Я и слов-то таких не знаю. У меня, правда, дипломница дважды на GSoC эрланг пилила, но всё равно н… twitter.com/i/web/status/9…

12:25
@backendsecret Есть вообще случаи, когда бэкенд есть смысл писать на хаскеле?

Я не евангелист, поэтому врать не буду. Если есть команда, владеющая Хаскелем, если есть лидер, понимающий проблемы… twitter.com/i/web/status/9…

12:36
@backendsecret @_bravit Добрый день! ЗАпустил статистику: backendsecret.ru/stats/
12:39
@backendsecret Что можешь сказать про GSoC?

Мне кажется, что все студенты-итшники должны стремиться участвовать в Google Summer of Code, это хороший опыт реаль… twitter.com/i/web/status/9…

12:52

Студент выбирает проект, консультируясь с ментором пишет заявку, и если заявка выигрывает, то летом что-то программ… twitter.com/i/web/status/9…

12:55
@backendsecret Надо, это хороший опыт. Только к нему тоже надо готовится. С нулевыми знаниями его не пройдешь.
12:59
@backendsecret Не зарплату, а стипендию.
13:00

Про монады рассказать?

13:05

Про Хаскель. Его задумали в 1987 году как функциональный язык с ленивыми вычислениями. Заметьте, не для того, чтобы… twitter.com/i/web/status/9…

13:13

Девиз Саймона Пейтона Джонса (SPJ, один из создателей) «Avoid success at all costs» долгие годы довлел над развитие… twitter.com/i/web/status/9…

13:18

Ситуация потихоньку стала меняться в начале 10-х годов, тогда стало возможным говорить о Хаскеле в промышленной раз… twitter.com/i/web/status/9…

13:20
Какая изящная критика прогресса ФП! twitter.com/backendsecret/…

Вот, кстати, распространённое заблуждение. Хорошие теоретические основания ещё никому не мешали. Инженеры, к счасть… twitter.com/i/web/status/9…

13:24
@backendsecret Correction: задумывался как teaching language. Такой же, как BASIC, например. А потом, внезапно, ста… twitter.com/i/web/status/9…

Всем интересующимся историей возникновения и Хаскеля рекомендую статью A History of Haskell: Being Lazy With Class… twitter.com/i/web/status/9…

13:28

Хаскелисты любят гордиться историями успеха, каждому расскажут, что есть такой Pandoc, что на Хаскеле программируют… twitter.com/i/web/status/9…

13:33

Ещё хаскелисты любят, когда все думают, что они очень умные. Уверен, что эту картинку сделал хаскелист, слишком уж… twitter.com/i/web/status/9…

13:40
@backendsecret Подсистема безопасности в Kaspersky OS

Из лаборатории Касперского подсказывают. Да, есть такое дело, действительно на Хаскеле делают. twitter.com/cblp_su/status…

13:42

Потом её, правда, испортили лисперы. pic.twitter.com/bEVHoYmDFp

13:45
@backendsecret Я прорешал учебник Хаттона Programming in Haskell. Это был прикольный опыт. Но делать реальный проек… twitter.com/i/web/status/9…

Посоветовать тему не могу, но вообще-то писать на Хаскеле можно всё, что угодно. Любая полезная людям программа, на… twitter.com/i/web/status/9…

13:49
@backendsecret угу. только статья написана так, что ее поймут только люди, уже знающие заскель, лямбда-калкулус и т… twitter.com/i/web/status/9…

Мне не кажется, что статья написана так. Разумеется, её нужно читать медленно, строчка за строчкой, разбираясь с ка… twitter.com/i/web/status/9…

13:50
@backendsecret А можно по подробнее про реальную пользу ленивых вычислений. А то всё что я слышал сводилось к "не б… twitter.com/i/web/status/9…

Ленивые вычисления иногда позволяют писать более простые программы: можно отдельно описать генерацию данных и их по… twitter.com/i/web/status/9…

14:00
@backendsecret Так если хаскель создан не для решения практических задач, а just for fun, то зачем пытаться в практическую пользу?

Родители могут ошибаться в планах на своих детей. Создали для одного, а использовать можно для всего, для чего полу… twitter.com/i/web/status/9…

14:07
@backendsecret Насколько он имеет смысл сейчас? Вычислительные возможности сейчас высоки и разработчики предпочитаю… twitter.com/i/web/status/9…

Во-первых, вычислительных возможностей всегда недостаточно для имеющихся задач, это закон природы. Во-вторых, ленив… twitter.com/i/web/status/9…

14:10
@backendsecret ИМХО, это вообще проблема многих ФП-шников. Причём зачастую решают задачи, которые могли бы решить на чем-то мейнстримовом.

Есть такой смешной жанр: претензии в стиле, а почему это пишется на X, тогда как можно на Y. Ну да, можно. Есть и е… twitter.com/i/web/status/9…

14:14

Тут в реплаи подъехали хаскелисты-практики. Они меня сейчас уличат в безграмотности и вообще забьют. И это я ещё к Скале не подошёл!

14:18
@backendsecret «Мне не кажется». Когда (не) кажется, креститься надо.

Даже разбор строчка за строчкой требует зна… twitter.com/i/web/status/9…

Вежливая тут у вас аудитория, пойду креститься! Интересно, кстати, влияют ли семь пядей во лбу на схему осенения се… twitter.com/i/web/status/9…

14:23
@backendsecret Возможность выбора – не всегда хорошо, можно на выходе получить ruby и селекторный паралич.

Всегда было интересно, почему люди так ненавидят некоторые языки программирования. Для меня ЯП — это объект изучени… twitter.com/i/web/status/9…

14:39

Кажется, из промышленных языков больше всего PHP достаётся. Мы стольким, написанным на PHP, каждый день успешно пол… twitter.com/i/web/status/9…

14:43
@backendsecret дык если язык принципиально создавался для академического задрост^W изучения, то зачем его тащить в… twitter.com/i/web/status/9…

Вот тоже чудесный аргумент: а давайте ещё вспомним, для чего компьютеры создавались. Неужели для того, чтобы реплаи… twitter.com/i/web/status/9…

14:45
@backendsecret никаких взрывов, просто для красного словца. тут вроде никто на такое не обижается. и всё же по теме… twitter.com/i/web/status/9…

Интересно, что сам Хаскель даёт массу примеров того, как задуманное для одного вдруг начинает отлично работать для… twitter.com/i/web/status/9…

14:52
@pilitactiles @backendsecret Мне очень понравился проект @dshevchenko_biz для подсчета хлебных единиц. Там все есть… twitter.com/i/web/status/9…
14:52

Я воспринимаю языки программирования как наборы инструментов — Хаскель даёт нам очень богатый набор, с его помощью… twitter.com/i/web/status/9…

14:55
@hmemcpy @pilitactiles @backendsecret Благодарю! Именно для этого проект и задумывался, чтобы, будучи полезным для… twitter.com/i/web/status/9…

Вот, кстати, Денис — наш главный по евангелизму! twitter.com/dshevchenko_bi…

14:56
@dshevchenko_biz @pilitactiles @backendsecret Ваша книга, кстати, О Haskell по-человечески, очень мне помогла вступ… twitter.com/i/web/status/9…
14:59
@backendsecret А что можете посоветовать из функциональных языков для изучения? Так, чтобы потом именно применить м… twitter.com/i/web/status/9…

Не буду оригинальным: изучать нужно именно Хаскель. Он позволяет увидеть ФП в чистом виде, понять основные идеи. А… twitter.com/i/web/status/9…

15:13

Мне нравится книжка «Изучай Хаскель во имя добра», я в своё время спас её перевод от шанса быть напечатанным в изур… twitter.com/i/web/status/9…

15:16

Get programming with Haskell (manning.com/books/get-prog…) вообще для самых начинающих, но сильно ориентирована на прак… twitter.com/i/web/status/9…

15:18

У меня на медиуме есть разбор книг по Хаскелю: medium.com/@_bravit, можете посмотреть. Книги есть почти на любой вкус.

15:19
@backendsecret Потому что они ими пользовались и им было больно?

Продолжаем про ненависть. Вот у меня стул был, неудобный стул, плохо на нём было сидеть. И знаете что, я его выкину… twitter.com/i/web/status/9…

15:23
@backendsecret @_bravit Здравствуйте, Виталий! Нас, читателей из далекого Усть-Уфимска, давно интересует вопрос: ес… twitter.com/i/web/status/9…

Вопрос от людей изнутри коммьюнити, с богатым контекстом и большим подтекстом. Я воспользуюсь им, чтобы начать тему… twitter.com/i/web/status/9…

15:29

Вот представьте: вы из академической тусовочки (выделено курсивом), все друг друга знаете, пилите в язык фичи (и пе… twitter.com/i/web/status/9…

15:40

У них довольно странные запросы: хотят, чтобы библиотеки поддерживались и обновлялись, чтобы backward compatibility… twitter.com/i/web/status/9…

15:43

Основной инструмент для управления зависимостями — утилита cabal-install — долгое время очень медленно развивался,… twitter.com/i/web/status/9…

15:46

Работают они на одной основе, используют Hackage — коллекцию библиотек (по типу CPAN перловского), но Hackage в рук… twitter.com/i/web/status/9…

15:48

Роль свою stack сыграл, он заставил cabal развиваться. Трения остаются, коммьюнити пытается их разруливать, в интер… twitter.com/i/web/status/9…

15:50
@vladusenko48 @backendsecret Когда мы хотим эффективность выполнения, предсказуемую корректность, простоту сопровож… twitter.com/i/web/status/9…

Вот умеет всё-таки Денис Хаскель продавать! twitter.com/dshevchenko_bi…

15:55
@backendsecret Ага, я ещё хочется CHANGELOG, тесты, бенчмарки (чтобы не дай бог не стало медленней), хорошую докуме… twitter.com/i/web/status/9…

IDE! IDE нужно! twitter.com/ChShersh/statu…

15:56
@backendsecret Как насчёт Closure? Или может даже более холивара: Haskell vs Closure

Про Clojure будет, но без холивара. Разве что в реплаях… twitter.com/gild0r/status/…

15:57
@backendsecret Недавно было обсуждение в околохасклевском коммьюнити: почему мы так кичимся крутостью нашего языка… twitter.com/i/web/status/9…

Оценка резкая, конечно, но во многом справедливая. Есть такой документ State of Haskell ecosystem:… twitter.com/i/web/status/9…

16:05
@backendsecret Как это заканчиваются? А pandoc? А компиляторы ряда языков (того же Elm)?

Вот мне подсказывают, что на Хаскеле отлично пишутся компиляторы: сам Хаскель, Agda, Idris, Elm. Я смотрел внуть GH… twitter.com/i/web/status/9…

16:09
@backendsecret @_bravit Расскажите про будущее зависимых типов в Х-ле, как вам оно видится, с учетом работы, продел… twitter.com/i/web/status/9…

С возрастом я становлюсь ретроградом, мне хочется замедления развития системы типов, так и хочется крикнуть: «Горшо… twitter.com/i/web/status/9…

16:12

Пока кажется, что безболезненно встроить зависимые типы в ткань языка не получится. Есть риск того, что всё будет з… twitter.com/i/web/status/9…

16:14

Мне больше нравятся языки с зависимыми типами из коробки, как Idris, там они гораздо естественнее смотрятся. Другой… twitter.com/i/web/status/9…

16:16
Про монады рассказать?

Кто тут не с начала, у нас опрос есть! twitter.com/backendsecret/…

16:23
@backendsecret конечно. А еще если можно про архитктуру приложений на хаскелле или книгу про это посоветуйте )

Я такую книгу не знаю, да и вообще: архитектура приложения и язык как-то далековато друг от друга, разве нет? В хас… twitter.com/i/web/status/9…

16:26

Читаю википедию перед каждой парой, но быстро забываю! Думаете, легко тут, на дне IT-образования, термины помнить? twitter.com/ShapovalovTS/s…

16:28
@putln @backendsecret aosabook.org

AOSABook прекрасная! Про GHC текст вообще потрясающе интересный. twitter.com/cblp_su/status…

16:34
@chikiro_twi @backendsecret Если Вы девушка (оо, я как раз в тему с гендерными вопросами!1), то есть: Outreachy
outreachy.org

Гендерный вопрос! Маша — наша гордость, в гугле работает, подписывайтесь! twitter.com/siamezzze/stat…

16:36
@backendsecret Что скажете про книги Душкина?

Я бы их сейчас не рекомендовал для изучения Хаскеля, но сам Роман прекрасен! twitter.com/i_am_alcoholic…

16:46

Я сторонник распространения Хаскеля на практике, но академический имидж языку сильно мешает. Я свято верю, что не н… twitter.com/i/web/status/9…

17:01

В реплаях пишут про Linq и XSLT, вот, мол, реальные технологии, не то что этот ваш Хаскель. Я думаю, что Эрик Мейер… twitter.com/i/web/status/9…

20:40

XSLT мне, кстати, очень нравится, я его преподавал 10–15 лет назад — очень хороший декларативный способ преобразова… twitter.com/i/web/status/9…

20:42
@backendsecret тогда расскажи как на нем работу найти! тут такая курица яйцо, пока бизнес не увидит разрабов он туд… twitter.com/i/web/status/9…

Найти работу на Хаскеле можно, разрабы давно уже пошли. По ресурсам для хаскелистов постоянно вакансии вижу. twitter.com/raxpost/status…

20:44
@backendsecret Скажите, а нужно ли уметь приседать со штангой до начала изучения Haskell?

Нет, умение приседать со штангой не требуется. Хотя и очень полезно! twitter.com/feelthefrog/st…

20:46
@backendsecret Удалось веру на практике проверить ? Кстати, что бумажного есть по теории категорий ?

Я не программист, поэтому нет, не удалось. Впрочем, я уже не помню, что в моей жизни появилось раньше, Хаскель или… twitter.com/i/web/status/9…

20:51
@IlyaYanok @dshevchenko_biz @vladusenko48 @backendsecret про gc правда. например, язык с gc непригоден для эмбеддед… twitter.com/i/web/status/9…

Некоторые забывают, что даже если на Хаскеле нельзя писать для жёсткого риалтайма, на нём можно генерировать код дл… twitter.com/i/web/status/9…

20:54
@backendsecret Если Хаскель - это чисто академический язык вроде Scheme, то мне не понятно, зачем его в бизнес тащи… twitter.com/i/web/status/9…

В мире языков программирования нет заборов, они есть только в головах пользователей. twitter.com/musuk/status/9…

20:57
@backendsecret @_bravit а расскажите будет ли Haskell2020 в 2020?

Думаю, что не будет. Для меня главное — успеть монетизировать членство в комитете (prime.haskell.org/wiki/Committee), пока е… twitter.com/i/web/status/9…

21:00
@backendsecret это я так тонко (на самом деле нет) подвожу к идее, что в хаскель соваться не имея солидного (10+) о… twitter.com/i/web/status/9…

Всё совершенно не так. Сколько я не разговаривал с отечественными хаскелистами, которые на этом деньги зарабатывают… twitter.com/i/web/status/9…

21:07

Тут же как везде: придумывать свои библиотеки сложно, для этого нужен опыт и знания, а пользоваться ими гораздо про… twitter.com/i/web/status/9…

21:09
@backendsecret Так а куда вперёд-то? Кому нужен 20летний хаскелист с горящими глазами? Где спрос?

Я не видел ни одного хаскелиста с горящими глазами, который не смог бы найти работу на Хаскеле. twitter.com/mtrklb/status/…

21:13
@backendsecret liquid haskell не пробовал?

Я смотрел много простых примеров: выглядит неплохо, ошибки действительно можно ловить. К сожалению, LH не очень хор… twitter.com/i/web/status/9…

21:17

Один поствежливый комментатор в реплаях требует от всех, чтобы ему доказали, что Хаскель хороший. Надеюсь, никто не поведётся.

21:20
@rufuse @skchrko @backendsecret @_bravit stack, hackage... главное - Nix!

Nix, конечно, выдающееся изобретение. Я думаю, мы во многих технологиях будем потихоньку на него переходить. Это та… twitter.com/i/web/status/9…

21:29
@backendsecret Да запросто! Хаскель хороший - зуб даю! Думаю доказал, да?

Мой тезис в том, что если человек в чём-то уверен, то не надо ему ничего доказывать. Пусть живёт в своей уверенност… twitter.com/i/web/status/9…

21:30
@ak3n @mtrklb @backendsecret Поддерживаю. Тут студенты после 4 месячного курса Haskell в универе находили работу. Н… twitter.com/i/web/status/9…
21:31
@backendsecret а сколько вам известно отечественных хаскелистов зарабатывающих на этом?

Отечественных хаскелистов-профессионалов я знаю около десятка. Ещё знаю двоих плюсистов, трёх джавистов и пять чело… twitter.com/i/web/status/9…

21:37

Так вот, про монады. Понимаете ли вы концепцию перемещения в пространстве? Можно идти, ползти, бежать, лететь, гуси… twitter.com/i/web/status/9…

21:41

Встречали ли вы когда-нибудь человека, который заявлял, что он не понимает перемещение в пространстве? Конкретные п… twitter.com/i/web/status/9…

21:42

Или, вот, что такое питание? Как это вообще? Не понимаю. Как колбасы поесть — понимаю, котлетка с пюрешкой — тоже, а вот питание — ну никак.

21:44

При этом каждый, я подчёркиваю, каждый программист пользуется монадами. Он делает это каждый день, разными конкретн… twitter.com/i/web/status/9…

21:47

Видимо, причина в том, что начиная с некоторого возраста нам слишком тяжело знакомиться с новыми абстракциями, нам… twitter.com/i/web/status/9…

21:48

Хаскель принятой в нём математической терминологией даёт нам лёгкий способ оправдать себя: ой, это всё ужасная мате… twitter.com/i/web/status/9…

21:50

Монада — это общий способ описать идею вычислений, которые можно соединять вместе так, чтобы от результата предыдущ… twitter.com/i/web/status/9…

21:53

Вызвал функцию, воспользовался её результатом — привет, ты снова в монаде. Другие языки программирования не пытаютс… twitter.com/i/web/status/9…

21:56

Интересно было бы написать роман в духе альтернативной истории про то, как повернулась бы история программирования,… twitter.com/i/web/status/9…

22:07
@dmitriid @develop7 @vladusenko48 @backendsecret @dmitriid Дмитрий, я понимаю вас. В ваших сообщениях виден гнев, н… twitter.com/i/web/status/9…

Почитайте тред. Там психоанализ и терапия, все дела. Уважаю. twitter.com/dshevchenko_bi…

22:09

Смотрю на статистику и думаю, что надо больше хлёстких твитов для лайков и ретвитов. Ну ничего, будем работать.

22:39

# Вторник 42 твита

Началось!
stepik.org/course/693/syl…

Русскоязычным желающим изучать Haskell очень повезло, у нас есть великолепный онлайн-курс от Дениса Николаевича Мос… twitter.com/i/web/status/9…

7:25
@backendsecret @hmemcpy @_bravit Виталий, расскажите почему вы не выбрали гламурную жизнь разработчика бэкенда?

Я руководствуюсь старым принципом: «кто не может работать, тот учит». Есть ещё, правда, продолжение: «кто не может… twitter.com/i/web/status/9…

7:29
@backendsecret @_bravit а Idris вы тоже в университете преподаёте?

У нас сейчас нет регулярного курса Идриса, я с ним обычно в другие места езжу, вот тут есть два таких прочтения в з… twitter.com/i/web/status/9…

7:35
@backendsecret По моему вполне хорошее начало. Я раньше думал, что Haskell это нечто вроде латыни среди языков прог… twitter.com/i/web/status/9…

Учёные мужи пользуются, постоянно придумывают много всего сложного и непонятного, но for the rest of us есть парсер… twitter.com/i/web/status/9…

7:38
@backendsecret Ебать-копать, про настоящий Хаскель?
А правда, что в том примере про quicksort на C vs Хаскеле, кото… twitter.com/i/web/status/9…

Про quicksort правда, вот такой код плох: wiki.haskell.org/Introduction#Q…. Если под правильной реализацией понимать сортиро… twitter.com/i/web/status/9…

7:44
@frank_snijder @backendsecret Если говорить о Common Lisp, то там очень богатая система типов и одна из лучших реал… twitter.com/i/web/status/9…

Спасибо. Я сам не очень хорошо знаю Common Lisp, зато есть отличная книжка: lisper.ru/pcl/, её переводом з… twitter.com/i/web/status/9…

7:59
@backendsecret Прочтя этот тред вы можете увидеть "Проклятье монад" в действии: если ты понял что такое монада, то… twitter.com/i/web/status/9…

Не встречал ни одной попытки объяснения монад без того, чтобы кто-нибудь не вышел с таким наблюдением. На самом дел… twitter.com/i/web/status/9…

8:15

Давайте поретвичу реплаи про интересные и полезные хаскелевские библиотеки. Предлагаю такой формат: «sbv — верифика… twitter.com/i/web/status/9…

9:51
@backendsecret На эту тему прочитал замечательный пост (англ.) про то, почему большинство monad tutorials не работа… twitter.com/i/web/status/9…

Также можно почитать Abstraction, intuition, and the “monad tutorial fallacy” от Brent Yorgey… twitter.com/i/web/status/9…

9:56
@backendsecret hackage.haskell.org/package/servant - создание веб сервисов через декларативное описание (на типах); генерация к… twitter.com/i/web/status/9…
10:33
@backendsecret hackage.haskell.org/package/smallc… - фреймворк для тестирования аналогичный quickcheck, но вместо случайных да… twitter.com/i/web/status/9…
10:35
@backendsecret hackage.haskell.org/package/QuickC… - автоматическое тестирование свойств функций. Может генерировать случайные… twitter.com/i/web/status/9…
10:36
@backendsecret hackage.haskell.org/package/distri… - erlang для Haskell, но типизированный и с каналами, там целая экосистема.
10:40
@backendsecret hackage.haskell.org/package/async высокоуровневый интерфейс для работы с легкими потоками, и задачами выполняемыми в фоне.
10:40
@backendsecret hackage.haskell.org/package/stm - software transactional memory сделанное правильно (и первыми). Основная ли… twitter.com/i/web/status/9…
10:41
@backendsecret это были библиотеки внутреннено потребления, которые могут помочь лучше написать программу, про внешние будет позже.
10:42
@backendsecret interpolatedstring-perl6

Название, не требующее пояснений. twitter.com/voidlizard/sta…

10:52

Про тестирование: к smallcheck и quickcheck можно добавить классический HUnit, а ещё удобно объединить всё это (и в… twitter.com/i/web/status/9…

11:00
@backendsecret hackage.haskell.org/package/gauge - маленький и шустрый фреймворк для бенчмаркинга.
11:10
@backendsecret hackage.haskell.org/package/criter… - не такой маленький и чуть менее шустрый фреймворк для бенчмаркинга, но зат… twitter.com/i/web/status/9…
11:10
@backendsecret Канал про бэкенд всё-таки
hackage.haskell.org/package/hakyll - "генератор генераторов статических сайтов", усло… twitter.com/i/web/status/9…

Hakyll неплох, мы сайт конференции на нём делали: plc.sfedu.ru twitter.com/aelaau/status/…

11:26
@backendsecret Детерминистическое тестирование многороточных программ hackage.haskell.org/package/dejafu
11:26
@qnikst @backendsecret Более модерновый вариант hackage.haskell.org/package/hedgeh…

Вообще для тестирования в Хаскеле много всего, коммьюнити очень заботится о корректности программ. twitter.com/qrilka/status/…

11:27
@backendsecret расскажи про перформанс. Есть мнение, что чистые функциональные языки медленны, потому что GC приходится тяжеловато

Перфоманс Хаскеля, тезисно.
1) Если не задумываться о производительности кода изначально, то будет медленно.
2) Есл… twitter.com/i/web/status/9…

12:04

3) Если задумываться и хотеть сделать красиво, то тоже есть средства, почти наверняка получится медленнее, но не оч… twitter.com/i/web/status/9…

12:06

Главное: чем более высокоуровневый код мы хотим писать, тем хуже будет производительность — это слабость компилятор… twitter.com/i/web/status/9…

12:09
@backendsecret github.com/quchen/stackag… - stackage для offline

А ещё есть acme-everything — чтобы сбилдить себе вообще всё! twitter.com/Cynede/status/…

12:14
@backendsecret Под то, что вы описываете вполне функтор подходит, товарищ учитель :) Он вполне себе цепочки вычислений описывает.

Неплохой тред от пуриста с чёткой идеей несовершенства мира в голове. Математики, кстати, любят чёткие определения… twitter.com/i/web/status/9…

13:12
@backendsecret Вам знакома система Facebook Sigma для борьбы со спамом? Они утверждают что получили достаточную про… twitter.com/i/web/status/9…

Я не разбирался с деталями, но справедливости ради нужно отметить, что главный разработчик этой системы в Facebook… twitter.com/i/web/status/9…

13:30
@backendsecret нанёс страшный удар русскоязычному индустриальному Haskell сообществу, теперь вместо того, чтобы ра… twitter.com/i/web/status/9…

А главное, пишут! twitter.com/qnikst/status/…

13:31
@backendsecret оттуда вышло: поддержка numa; поддержка выгрузки модулей (нужная для hot reload); более адекватная о… twitter.com/i/web/status/9…
13:33
@backendsecret Если серьезно мне нравится это объяснение монад:
adit.io/posts/2013-04-…

Есть много версий для разн… twitter.com/i/web/status/9…

Мне всегда очень сложно пробираться сквозь объяснения на картинках. Мало того, что идею понять надо, так ещё и карт… twitter.com/i/web/status/9…

14:34
Отписался от этого потока сознания в виде @backendsecret
14:38
@backendsecret doctest — автоматическая проверка примеров кода из документации на компилируемость и корректный резу… twitter.com/i/web/status/9…
15:35

Erlang. В принципе, можно было бы ограничиться цитатой Армстронга (создателя): «Although the functional community w… twitter.com/i/web/status/9…

17:55

Сомнительный статус. В принципе, можно считать, что самые простые элементы функциональных языков, такие как функции… twitter.com/i/web/status/9…

17:58

У Армстронга ещё, конечно, издевательский тон по поводу сообщества функциональщиков, которые не смогли придумать ни… twitter.com/i/web/status/9…

18:00

Все же в курсе, что то, что мы знаем как Erlang, в 1985 году было Прологом? Любители Пролога не любят ФП, потому чт… twitter.com/i/web/status/9…

18:01
@backendsecret Об истории Эрланга в крайне захватывающем изложении написано в статье Армстронга A History of Erlang… twitter.com/i/web/status/9…
18:11

Я несколько раз бросал студентов на изучение Эрланга без всякой поддержки и они справлялись. Вчера я писал про студ… twitter.com/i/web/status/9…

18:14

# Среда 40 твитов

Our MOOCs are now available on our Open edX platform! scala-lang.org/news/2018/02/2… You can enroll, access the course mat… twitter.com/i/web/status/9…

Пока я манкирую своими обязанностями по ведению твиттера, можете пройти четыре курса по Scala: язык с таким богатым… twitter.com/i/web/status/9…

8:02

Проблема Скалы, на мой взгляд, состоит в попытке усидеть на двух стульях: императивность и функциональность, сосуще… twitter.com/i/web/status/9…

11:48
@backendsecret Типичный @backendsecret . Вчера критиковал ерлангистов, которые брызгали слюнями на haskell. Сегодня… twitter.com/i/web/status/9…

Это ещё что, я сейчас сам Хаскель ругать начну. Проникся комментами хейтеров. twitter.com/Odomontois/sta…

15:52

Так вот, самый лучший функциональный язык — это, разумеется, Standard ML. Я с ним, к сожалению, поздно познакомился… twitter.com/i/web/status/9…

16:00

Вообще всё семейство ML мне нравится (даже F#). Понимаете, это языки без претензий, языки для тех, кому ехать, а не… twitter.com/i/web/status/9…

16:02

Посмотрите на объекты и классы Ocaml — вот так по-честному нужно делать ООП в функциональном стиле, а не то, что по… twitter.com/i/web/status/9…

16:05

Система типов в ML-языках сложная, но не раздавливающе сложная, как в той же Скале или Хаскеле. Модули замечательны… twitter.com/i/web/status/9…

16:07
@backendsecret > Ocaml тоже неплох.
ждем лайк

Это нам тут напоминают, что правильно писать OCaml, сейчас придёт бот и лайкнет твит с неправильным написанием. twitter.com/hmemcpy/status…

16:09
@backendsecret Не думали в сторону перевода PFPL?

Речь о книге Боба Харпера Practical Foundations for Programming Languages. Во-первых, там нечего переводить, одни… twitter.com/i/web/status/9…

16:15

Читайте «Типы в яыках программирования» Пирса, вот книжка для детей. Как раз бэкендерам пойдёт. newstar.rinet.ru/~goga/tapl/

16:16

Причём я ни в коем случае никого не хотел обидеть, это действительно приятно читаемая книжка. Там лямбда-исчисление… twitter.com/i/web/status/9…

16:20

Вполне возможно, что я бы какой-нибудь ML читал в университете, но случилось так: когда-то в далёком 2003 году (я т… twitter.com/i/web/status/9…

16:29

Я тогда был страшно самоуверенный, заявил, что все языки одинаковые (основываясь на знании гигантского количества я… twitter.com/i/web/status/9…

16:30

А что вы хотите? Провинциальный вуз, я и слов-то таких как функциональное программирование никогда не слышал. Тольк… twitter.com/i/web/status/9…

16:32

SICP надо читать, хоть над ним в лурке смеются. Первые три главы уж точно, дальше необязательно. Но вот языки семей… twitter.com/i/web/status/9…

16:37
@backendsecret Если кто хочет почитать SICP, рекомендую вот этот модернизированный PDF с хорошей типографией github.com/sarabander/sic…

Но есть и на русском: newstar.rinet.ru/~goga/sicp/

Спасибо, кстати, @gogabr за перевод! А ещё он Окасаки переводил и то… twitter.com/i/web/status/9…

16:45
Это правда. Но решается простыми рекомендациями к стилю кода. И в той или иной степени (обычно меньшей) есть и в др… twitter.com/i/web/status/9…

Рекомендации к стилю кода редко работают. К тоже же обычно есть противоречивые рекомендации. Но вообще это старый с… twitter.com/i/web/status/9…

16:49
@backendsecret Пссс, про ruby чё-нить слышал?

Ruby — это, конечно, ужас. У нас форум факультетский на Discourse, который на Ruby написан, иногда приходится внутр… twitter.com/i/web/status/9…

16:54

Зря про Ruby написал, да? Ну ок. Вы ж имейте в виду, что я вообще чушь несу, тут народ отписывается целыми коммьюнити и ничего!

17:02

Слушайте, а эти ребята токсичные. Я всех люблю, на самом деле. Даже рубистов!

17:07
@backendsecret Страшным образом для тебя - это в vim? :D

Оскорблять пытаются. Я с вимом с 1997 года знаком, с первого курса. У нас в дисплейном классе по Enter'у на pas-фай… twitter.com/i/web/status/9…

17:19

Вы же поймите. у меня просто интересы другие! Вам нужно что-то запрограммировать. Желательно быстро, чтобы работало… twitter.com/i/web/status/9…

17:27

Только он как язык скучный, там вообще ничего интересного нет! Как представлю, что мне пришлось бы Ruby преподавать… twitter.com/i/web/status/9…

17:28

Вот Javascript, кстати, я за ним с 2000 года наблюдаю. Он же прикольный! О, это чудесная объектная модель на протот… twitter.com/i/web/status/9…

17:34
@backendsecret А может лучше работать и ебашить фичи,а не искать всю жизнь лучший язык программирования, читать тео… twitter.com/i/web/status/9…

Может, и лучше. Просто у меня другая профессия. Все эти работники, создающие фичи, ведь не с потолка берутся. Хотя,… twitter.com/i/web/status/9…

17:42
@backendsecret Если вкратце, там синтаксис как в js, но система типов от ocaml. Это все к тому, что ML подобный син… twitter.com/i/web/status/9…

Про ReasonML twitter.com/somerandstring…

17:46
@backendsecret я дико прошу прощения, что опять о насущном. но есть че-нить почитать о том, как предметную область… twitter.com/i/web/status/9…

Я не знаю. Может, кто что посоветует? twitter.com/mtrklb/status/…

17:51
@backendsecret Давай про Хаскель ближе к земле.
Чем и как либы/зависимости устанавливают? Кабалы эти ваши и вот это… twitter.com/i/web/status/9…

Есть два инструмента: stack и cabal. Они оба работают. Stack ориентируется на относительно небольшой (~2600) набор… twitter.com/i/web/status/9…

18:00

Если ничего экзотического не требуется, то оба инструмента работают приемлемо, они оба сейчас активно развиваются,… twitter.com/i/web/status/9…

18:02

Для подключения C-библиотек используется FFI — Foreign Function Interface, там нужно поработать над соответствием т… twitter.com/i/web/status/9…

18:03

Сейчас в cabal делают новый интерфейс, постепенно переводя его на nix-рельсы. Пока сыро, но пользоваться уже можно.… twitter.com/i/web/status/9…

18:07

Рубисты, прекращайте! Увидели, что докладчик идиот — всё, пошли дальше.

18:09
@backendsecret Твиттер - инструмент для рассмотрения и ведения конфликтов. Ты просто убегаешь от них. В текущем слу… twitter.com/i/web/status/9…

Так я честно говорю: компетенции никакой у меня нет! Это к кураторам: позвали какого-то лоха из провинции с экзотич… twitter.com/i/web/status/9…

18:17
@alcotaran @backendsecret Большинство проблем, которые приходится решать,никак не связано с языком, на котором прих… twitter.com/i/web/status/9…

Счастье не наступит. Но вообще ясно же, что сложные задачи на любом языке сложно решать. И в Хаскеле с этим придётс… twitter.com/i/web/status/9…

18:23
@backendsecret про руби вы просто из функционального лагеря, а красота руби в ооп. я ненавидел ооп когда писал на п… twitter.com/i/web/status/9…

Рад за рубистов! twitter.com/oleg_antonyan/…

18:32
@backendsecret Не совсем. Сложные задачи на kotlin просто решать

Про Kotlin не буду писать, а то на меня в JetBrains обидятся, а они хорошие, пользу отечественному образованию боль… twitter.com/i/web/status/9…

18:55

Idris — прекрасный язык. Очень полезно для самообразования, книжка отличная от автора языка есть (… twitter.com/i/web/status/9…

19:03
@backendsecret С такого комментария уже можно обидиться - "не буду писать". Если обратная связь конструктивна, чего обижаться.

Это шутка была! Я люблю JetBrains! Kotlin — лучший в мире язык программирования! Ещё у него архитектор замечательны… twitter.com/i/web/status/9…

19:09

Ладно. Все поняли, что в языках программирования я ничего не понимаю, и хорошо. Пойду отсюда, пока ещё кого-нибудь… twitter.com/i/web/status/9…

19:12
Неделя треша с новым автором @backendsecret

все меньше понимаю связь авторов с тематикой проекта...

Не могу не отретвитить на широкую аудиторию, но заявление по собственному желанию писать не буду! twitter.com/devilish_flux/…

19:45

# Четверг 45 твитов

@backendsecret можете кратко про универ/студентов? как появился хаскель в универе и т.д.

Первый раз курс «Функциональное программирование» (Haskell) я прочитал на мехмате ЮФУ весной 2008 года. Он читался… twitter.com/i/web/status/9…

16:39

Так получилось, что вскоре после того как это направление появилось на мехмате ЮФУ (2005 год), я стал активно участ… twitter.com/i/web/status/9…

16:43

Несколько лет он читался весной на четвёртом курсе, потом перешёл на осень четвёртого курса, а с этого года в уполо… twitter.com/i/web/status/9…

16:45
@backendsecret Чем?

Нас спрашивают, чем полезно ФП. Тем, что практически все промышленные языки программирования сейчас поддерживают со… twitter.com/i/web/status/9…

16:49

Когда-то мне подарили книгу Фридриха Шеллинга «Лекции о методе университетского образования». Каюсь, толком я её не… twitter.com/i/web/status/9…

16:59

Некоторое время назад я заявил в своём твиттере @_bravit, что программистам математика не нужна. Как известно, мысл… twitter.com/i/web/status/9…

17:02

Так вот, программистам не нужна не только математика, но и университетское образование вообще. Технологии сейчас ра… twitter.com/i/web/status/9…

17:07

Я думаю, что очень многие из вас уверены, что знания, которыми вас пичкали в вузах, бесполезны. Слабые ничего не по… twitter.com/i/web/status/9…

17:10

Курсы по конкретному языку программирования можно пройти довольно быстро, месяц-другой и можно работать, сейчас так… twitter.com/i/web/status/9…

17:15

Программистских школ (колледжей, техникумов) в Индии тысячи, если не десятки тысяч. В США очень развито онлайн-обуч… twitter.com/i/web/status/9…

17:17

Отсюда кстати и большая популярность всяких конференций для разработчиков, однодневных курсов и прочего — люди хотя… twitter.com/i/web/status/9…

17:20

Возможности университетов вообще сильно ограничены фиксированным штатом сотрудников. К тому же в университетах от с… twitter.com/i/web/status/9…

17:25

То же самое имеет место и на Западе, только там ещё учитывают мнение студентов, но большинство студентов очень редк… twitter.com/i/web/status/9…

17:27

При этом в любом вузе по большинству направлений есть энтузиасты, хорошие преподаватели, заботящиеся о качестве сво… twitter.com/i/web/status/9…

17:29

Так вот, исходя из всего этого нужно решить вопрос, зачем программистам такое университетское образование, и если о… twitter.com/i/web/status/9…

17:31

Традиционно считается, что университет создаёт среду для обучения человека. Учиться проще, когда вокруг тебя все уч… twitter.com/i/web/status/9…

17:35

А безопасность жизнедеятельности, которая у нас прописана в федеральных государственных образовательных стандартах… twitter.com/i/web/status/9…

17:36

Может, в этом и состоит метод университетского образования? Заставить студента изучать всякие ненужные предметы. Пр… twitter.com/i/web/status/9…

17:39

Подпишитесь, кстати, на @_bravit, а? Мне всего-то 102 фолловера до тысячи осталось. Можете замьютить сразу, всё рав… twitter.com/i/web/status/9…

17:42

Мы сейчас не знаем, чем будут заниматься молодые сейчас джаваскриптеры и рубисты лет через тридцать. Их сейчас мног… twitter.com/i/web/status/9…

17:48

Может быть, интенсивное обучение в течение четырёх–шести университетских лет — это и есть ключ к облегчению смены н… twitter.com/i/web/status/9…

17:55

Кстати, на тему будущего. Как мы сами будем всем этим пользоваться? Начнутся проблемы со зрением и слухом, сможем л… twitter.com/i/web/status/9…

18:00

Я о том, что в университетах не будет очень уж хорошо с точки зрения промышленности. У университетов цель, мне каже… twitter.com/i/web/status/9…

18:04

У нас университеты бедные, зависят от государства и работодателей, вынуждены подстраиваться, результат далеко не вс… twitter.com/i/web/status/9…

18:08

Извините, я уже забыл, про что это вообще. Короче, университеты нужны, но не конкретно программистам, а людям вообщ… twitter.com/i/web/status/9…

18:13

Ух-ты, я смотрю по фавам на твит поднялся за последние три часа! backendsecret.ru/stats/

21:36

Как считаете, на каком языке лучше изучать основы программирования?

21:44
@backendsecret Вот скажи, оч интересно, с языками программирования обычно вообще в школе знакомят - циклы, условия… twitter.com/i/web/status/9…

Насколько я знаю, в большинстве провинциальных школ сейчас Паскаль. В столицах чаще Python. Олимпиадников натаскива… twitter.com/i/web/status/9…

21:58
@backendsecret По моему опыту преподавания программирования для школьников 10ти лет, скреч, паскаль и с++ шли абсолютно одинаково

Я бы умер С++ преподавать школьникам, завидую! twitter.com/MsMentret/stat…

22:02
@backendsecret Я бы одновременно два языка учил, python + C. И сразу же их дружил между собой.

Есть такой подход, да. Он жуткий, мне кажется. В голове каша из конструкций. twitter.com/strizhechenko/…

22:04
Как считаете, на каком языке лучше изучать основы программирования?

Есть несколько чётко выраженных позиций: учить надо сразу на промышленном языке, учить надо сначала на простом язык… twitter.com/i/web/status/9…

22:14
@backendsecret Скрэтч или как-то так.

Не понимаю Scratch, хоть убейте. Пусть его и в MIT придумали. twitter.com/scena/status/9…

22:16
@backendsecret Ещё Кумир бывает!

Да-да, и ШАК, школьный алгоритмический язык. twitter.com/qnikst/status/…

22:17
@backendsecret Я ваще так считаю. Синтаксис языка это фигня вообще. Важнее дать понять, что парадигм программирован… twitter.com/i/web/status/9…

Хорошее мнение, но есть проблема: понимание того, что синтаксис — это фигня, есть очень высокоуровневое понимание,… twitter.com/i/web/status/9…

22:20
@backendsecret 40% за С++ и жабы? Для изучения основ? Люди, вы серьезно поехавшие? Зачем начинающим жизнь ломать.

Присоединяюсь. У нас тут школа Samsung для школьников есть, там Java — я задания посмотрел, это безумие просто как… twitter.com/i/web/status/9…

22:22
@kgorin @NolanRus @backendsecret Иногда мне кажется, что в айти уже скоро будет так, что ты спрашиваешь где бизнес… twitter.com/i/web/status/9…
22:24

А мне нравится тут у вас опросы проводить, столько ответов сразу! Не то что в своём твиттере, в час по чайной ложке отвечают…

22:33
@backendsecret Начинать надо с представления чисел в двоичном виде, целых беззнаковых и со знаком и правил работы с… twitter.com/i/web/status/9…

Ну, тоже мнение… twitter.com/LestorN/status…

22:36

А вот ещё вопрос: нужно ли на первом курсе учить, как делать односвязные и двухсвязные линейные списки? Вот я знаю,… twitter.com/i/web/status/9…

22:41
@backendsecret а когда еще учить примитивные структуры данных? по-хорошему, люди должны приходить уже со знанием вот этого всего.

Я, собственно, о чём: можно же пользоваться структурами данных вообще не зная, как они внутри реализованы. На том ж… twitter.com/i/web/status/9…

22:50
@backendsecret конечно же ATS, там есть и функциональное программирование и императивное, и доказательства, и хорош… twitter.com/i/web/status/9…

Вот взвешенный взгляд на вещи. twitter.com/qnikst/status/…

23:12
@backendsecret @4e6 я начинал с паскаля в 5 классе, там можно было веселые картинки рисовать в dosmode, было весело и интересно.

Я начал изучать программирование в 7 классе по книжке, в которой параллельно рассказывали про Паскаль и Фортран, сл… twitter.com/i/web/status/9…

23:28
@backendsecret Опасно ностальгическая тема, сейчас все ударятся в воспоминания про свой первый ЯП.

Давайте, ударяйтесь! twitter.com/TheRealDeadOne…

23:35

Кстати о языках программирования, вот можете посмотреть мои лекции по теории категорий: youtube.com/watch?v=gpifdH…

23:42
@backendsecret Одной из самых полезных вещей, что дал универ, — это курс по ассемблеру. Приводит в чувство и даёт п… twitter.com/i/web/status/9…

Да, нужный курс. Завтра поговорим об отдельных курсах. twitter.com/salikhov/statu…

23:59

# Пятница 43 твита

@backendsecret Я вспомнил как нас на первом курсе учили *связным спискам на плюсах. Я тогда стал гуглить на эту тем… twitter.com/i/web/status/9…

Вот правда же, так никто не делает и так делать не нужно! Ну нельзя на первом курсе хорошо связные списки реализова… twitter.com/i/web/status/9…

0:17
@backendsecret SICP однозначно, надо начинать с азов, а язык это всего лишь инструмент, можно с Lambda Calculus/Has… twitter.com/i/web/status/9…

С удовольствием бы пообщался с преподавателем, который реализовывал бы этот план в реальности. Причём именно с таки… twitter.com/i/web/status/9…

14:53
@backendsecret Хм... А что в C++ такого страшного, что аж умереть можно преподавая? :)

А есть у кого-нибудь мнение относительно такого стиля обучения языку программирования с нуля: берётся задача, делит… twitter.com/i/web/status/9…

15:29
@backendsecret Как стать преподавателем? Что для этого нужно/важно делать? Что не надо делать? Какие книжки читать?

Вообще конечно же ясно, что преподавателем становиться не нужно. Это массовая и совершенно не уважаемая (судя по фи… twitter.com/i/web/status/9…

17:01

Можно читать сколь угодно прекрасные лекции, быть любимым и уважаемым студентами, но при этом любой член какой-нибу… twitter.com/i/web/status/9…

17:02

Никогда не слышал, кстати, чтобы спрашивали, а почему у вас такие скучные лекции? Или почему вы читаете материал по… twitter.com/i/web/status/9…

17:04

Я этом так так обиженно пишу, потому что я не учёный и мне не место в академии. Я не сделал никаких научных открыти… twitter.com/i/web/status/9…

17:06

Написать три статьи про какую-нибудь никому не нужную ерунду? Жалко тратить на это время. Перевести книжку — это по… twitter.com/i/web/status/9…

17:09

Не знаю, как стать преподавателем. Я с самого детства знал, что буду преподавателем. Начал работать на третьем курс… twitter.com/i/web/status/9…

17:12

Когда учился, всегда замечал, кто из учителей как объясняет, кто лучше, кто хуже, как надо было бы объяснять на сам… twitter.com/i/web/status/9…

17:13

Преподаватель должен уважать учеников (любого возраста, разумеется), видеть в них личности, искать подход. Все разн… twitter.com/i/web/status/9…

17:16

Я готов тратить любое время на тех, кто хочет чему-то научиться. Меня гораздо меньше интересуют те, кто не хочет. З… twitter.com/i/web/status/9…

17:20

Вообще преподавание у нас — не особенно конкурентная профессия, преподавателем стать относительно несложно. Есть од… twitter.com/i/web/status/9…

17:24

Он надеется, что будет оценён горящими глазами студентов, их стремлением научиться и готовностью решать задачи. Реа… twitter.com/i/web/status/9…

17:26

Я так долго обижался на студентов. Это глупо, конечно, было. Нужно делать своё дело, по возможности хорошо. Постоян… twitter.com/i/web/status/9…

17:28

Евгений @ak3n, я ответил на вопрос?

17:30
@backendsecret "Learn You a Haskell for Great Good" хорошая книга для новичка? Мне в свое время отлично зашла

Мне очень нравится эта книжка. Благодаря ей завязались мои отношения с ДМК Пресс. Сейчас расскажу историю, как это… twitter.com/i/web/status/9…

17:34

28 декабря 2011 года я написал письмо на адрес издательства (взял на сайте), представился преподавателем ФП и спрос… twitter.com/i/web/status/9…

17:37

Я, разумеется, согласился, и начал читать. Выяснилось страшное: книга находилась в жутком состоянии. Масса опечаток… twitter.com/i/web/status/9…

17:40

Ну и началась работа: весь январь я правил макет, исправлял ошибки, многое переводил заново (там ещё были расхожден… twitter.com/i/web/status/9…

17:42

Ну а после этого завертелось: несколько книг я перевёл сам и вместе с @ulysses4ever, потом ещё что-то редактировал.… twitter.com/i/web/status/9…

17:44
@backendsecret Это факт. Но на ВУЗах-то свет клином не сошёлся. Крупным компаниям нужно обучать будущих и нынешних сотрудников.

Я не встречал таких вакансий в Ростове, честно говоря. К тому же со взрослыми работать менее интересно, чем с молод… twitter.com/i/web/status/9…

17:48

Меня тут ещё спрашивали про переезд в столицы (меня, кстати, в ВШЭ недавно хантили чуток!) или за границу: так полу… twitter.com/i/web/status/9…

17:52

Кстати, питерские, у вас есть отличный сайт посмотреть на меня вживую в конце марта, я буду читать курс по внутренн… twitter.com/i/web/status/9…

17:54
ПОМИРАН — не очень жизнеутверждающее название. twitter.com/backendsecret/…

Ага, известная шутка в академической среде. Зато там 10 проблему Гильберта решили! Правда, тогда название было друг… twitter.com/i/web/status/9…

17:57
@backendsecret Что вам нравится в работе преподавателя? Что не нравится? Есть ли какие-то планы на будущее?

Мне нравится готовиться к занятиям и читать лекции. Пошутишь на лекции — все смеются, здорово же! Не всегда, правда… twitter.com/i/web/status/9…

18:03

Не нравится бумажки писать. У нас много бумажек и они совершенно бестолковые. Я как-то в Нидерландах в Университете… twitter.com/i/web/status/9…

18:06

У меня сейчас два больших дела в планах. Во-первых, я пишу Haskell in Depth для Manning Publications. Сейчас уже не… twitter.com/i/web/status/9…

18:11

Под эту книгу и для англоязычного мира даже аккаунт специальный есть, @VBragilevsky, тоже можно подписываться! Втор… twitter.com/i/web/status/9…

18:13

Куда возьмут, в общем-то. Там я по условиям гранта должен буду разрабатывать курс по Software Verification (Coq, вс… twitter.com/i/web/status/9…

18:16

Так, друзья, я понимаю, что неформат для сообщества, и всё такое, но вы лайкайте, пожалуйста. Мне меньше трёх фавов… twitter.com/i/web/status/9…

18:28
@backendsecret @_bravit Ок, тогда серьезный вопрос: насколько легче или тяжелее обучать уже опытных разработчиков (… twitter.com/i/web/status/9…

Вот ещё вопрос в загашнике оставался. Тут я вступаю на скользкую почву, потому что опыта такого у меня нет, только… twitter.com/i/web/status/9…

18:37

С другой стороны, им сложнее всё воспринимать, теория идёт гораздо хуже (видимо, это как-то связано с формированием… twitter.com/i/web/status/9…

18:40

Получается так: в чём-то легче, в чём-то сложнее. Для лучшего усвоения информации необходима постоянная мотивация д… twitter.com/i/web/status/9…

18:44

Ещё опытные разработчики с гораздо большей готовностью читают текст! Они могут даже читать внимательно, разбираясь… twitter.com/i/web/status/9…

18:48
@backendsecret тут про планы спрашивали и… я не удовлетворился ответом! У нас тут любят спрашивать: кем ты себя вид… twitter.com/i/web/status/9…

Спасибо за вопрос! Я хочу, чтобы меня приглашали в разные места читать лекции! С удовольствием бы поездил по Росси… twitter.com/i/web/status/9…

18:56
@backendsecret А должен учитель обсуждать последние баттлы Гуфа со Птахой? Или ты на младших классах школы не специализируешься?

Когда я работал со школьниками, приходилось изучать матчасть для таких обсуждений. Иначе никак. Вообще обязательно… twitter.com/i/web/status/9…

20:16

Подписывайтесь на инстаграм, кстати! У меня есть селфи с самим Бартошем Милевским, евангелистом теории категорий! instagram.com/_bravit/

20:30
Вообще польза @backendsecret не столько в том, что там можно знания получить, в-общем то нет - слишком разношерстны… twitter.com/i/web/status/9…
20:36
@vvn33 @backendsecret Надо быть в теме, но не опускаться до такого и детей предостерегать. ИМХО.

Культурно проводим вечер пятницы в Разработчике бэкенда twitter.com/dcromster/stat…

20:40
Исторический момент. Клип Гнойного в обсуждениях @backendsecret twitter.com/vvn33/status/9…
20:44

Немного поменяем планы на выходные. Завтра я поговорю про куррикулум: какие курсы нужны для подготовки программист… twitter.com/i/web/status/9…

21:32

# Суббота 43 твита

@backendsecret Спорно. Сложно объяснить про уважение, оно должно быть по умолчанию, да. Но обучение – это априори «… twitter.com/i/web/status/9…

Вот это «учитель выше ученика» я категорически не приемлю. Такое, может, работало в античности и в Средние века, но… twitter.com/i/web/status/9…

8:28
Мне одному кажется что после Егорки @backendsecret уверенно пошел по наклонной

Сейчас запилим опрос! twitter.com/abausk/status/…

15:17

Пошёл ли @backendsecret после Егорки по наклонной?

15:19
И вот яркая иллюстрация этой наклонной twitter.com/backendsecret/…

Сегодня вечером про математику в подготовке программистов скажу, а то тут явные проблемы наблюдаются: одна точка не… twitter.com/i/web/status/9…

15:37

Твиттер-лекция о принципах подготовки программистов в университетах начнётся в 19:00 MSK.

16:50

Итак, как учить программистов в университете? Напоминаю, что вуз не может и не должен учить фронтендеров или бэкенд… twitter.com/i/web/status/9…

19:03

Я буду говорить преимущественно о бакалавриате, причём применительно к отечественной системе образования. Поэтому у… twitter.com/i/web/status/9…

19:05

Есть удобный способ расчётов при проектировании учебных планов — кредиты. За 4 года студент должен набрать 240 кред… twitter.com/i/web/status/9…

19:09

Оставшиеся 180 кредитов распределяются при составлении учебного плана. Один кредит можно условно представлять как о… twitter.com/i/web/status/9…

19:12

В наиболее продвинутых мировых вузах считается, что за семестр можно изучить 4, максимум 5 предметов. В большинстве… twitter.com/i/web/status/9…

19:14

Лично я считаю, что наиболее эффективной является схема занятий по четвертям: два-три курса в каждой четверти с отч… twitter.com/i/web/status/9…

19:17

Итак, у нас есть 180 кредитов — это примерно 30-35 дисциплин. Я бы их делил так:
60 — математика и теоретическая и… twitter.com/i/web/status/9…

19:24

В рамках базовых программистских курсов нужно получить навыки алгоритмизации, изучить 2-3 языка программирования, р… twitter.com/i/web/status/9…

19:31

Базовые курсы об устройстве компьютерных систем должны включать в себя изучение архитектуры компьютеров, операционн… twitter.com/i/web/status/9…

19:34

Под классическими сложными CS-курсами я понимаю такие вещи как компьютерную графику, интеллектуальные системы, разр… twitter.com/i/web/status/9…

19:36

Есть известный тезис: «Тот, кто изучает актуальные технологии на первом курсе, выходит с четвёртого с багажом устар… twitter.com/i/web/status/9…

19:40

Остаётся 30 кредитов на актуальные технологии, тут можно изучать всё подряд: веб-технологии и мобильную разработку,… twitter.com/i/web/status/9…

19:44

Теперь про 60 кредитов, отведённых мною на математику и теоретическую информатику. Я напоминаю, что программистам м… twitter.com/i/web/status/9…

19:48

Это та же компьютерная графика, машинное обучение, криптография, разнообразная работа с устройствами (цифровая обра… twitter.com/i/web/status/9…

19:50

Можно было бы об этих областях забыть и отдать 60 кредитов на актуальные технологии, например, углубиться в веб-раз… twitter.com/i/web/status/9…

19:53

Поэтому пусть лучше будет математика, так вернее: матанализ и алгебра, очень много дискретной математики (вот прямо… twitter.com/i/web/status/9…

19:55

Добавим сюда ядерный материал теоретической информатики в виде теории автоматов, формальных языков, вычислимости и… twitter.com/i/web/status/9…

19:59

Нам скажут: обо всём понемногу и ни о чём глубоко. Да, так и есть, но в этом и состоит идея базового образования: б… twitter.com/i/web/status/9…

20:02

Можно, к примеру, сразу пойти работать и за месяц-другой, а то и быстрее, освоить технологию, применяемую в конкрет… twitter.com/i/web/status/9…

20:03

А можно пойти в хорошую магистратуру, они есть разные: есть тоже широкопрофильные, а есть и узкоспециализированные… twitter.com/i/web/status/9…

20:06

Где-то хорошо научат писать распределённые приложения (это сложно, не так ли — точно не уровень бакалавриата) или а… twitter.com/i/web/status/9…

20:08
@backendsecret Это не очень хорошо согласуется с моделью, где много курсов по выбору. Может оказаться то густо, то… twitter.com/i/web/status/9…

Курсы по выбору это безусловно хорошо. Впрочем, слишком уж их много, пожалуй, не должно быть, мне кажется. 30 креди… twitter.com/i/web/status/9…

20:13
@backendsecret И вот выходит такой специалист на первое место работы, а ему:

Технологий очень много, как заранее узнать, на какой позиции будешь работать? Чем придётся заниматься через тридцат… twitter.com/i/web/status/9…

20:18
@backendsecret Надо учить инженеров. Программистов учить бессмысленно имо. Они потом ничего не могут как правило

Про инженеров. Советское образование в инженерной сфере поддерживало узкую специализацию и выпускало тысячи инженер… twitter.com/i/web/status/9…

20:22

Переход на двухуровневую модель бакалавриата и магистратуры стал спасением от этого кошмара, когда выпускались спец… twitter.com/i/web/status/9…

20:24

Когда рабочее место вроде бы есть, но работник такой не нужен. Зарплата есть, но маленькая. В современном капиталис… twitter.com/i/web/status/9…

20:26
@backendsecret А как же "требуется молодой специалист с большим опытом работы"?

Да, бывают, к сожалению, идиоты работодатели. Впрочем, мне кажется, сейчас с этим уже проще: есть много адекватных… twitter.com/i/web/status/9…

20:31
@backendsecret как вам программа github.com/ossu/computer-… ?

Интересная штука. Я, правда, не очень верю в самообучение в таких объёмах — не представляю, какой мотивацией и сило… twitter.com/i/web/status/9…

20:37

Далеко не всегда открытые курсы, даже от ведущих университов, качественные. Многие курсы создают иллюзию знания, он… twitter.com/i/web/status/9…

20:39
@CodeIsLie @olehkuchuk @backendsecret В конце концов в 2к18 можно пойти и взять курс у какого угодно преподавателя,… twitter.com/i/web/status/9…

Можно! Я очень рад за людей, которые в состоянии эту стратегию обучения реализовать. Желаю им всяческого успеха и д… twitter.com/i/web/status/9…

20:53
@backendsecret Кроме знаний по CS думаю важно получить уже в университете soft skills: решать
задачу в паре или гру… twitter.com/i/web/status/9…

Да, это очень правильное мнение. Тут могут отлично работать непрофильные дисциплины и разного рода проектная деятел… twitter.com/i/web/status/9…

21:01
@backendsecret @goshan__4ik Иваново. У нас есть вуз, выпускающих чистых программистов. Но многие вынуждены уезжать

А есть тут ИТ-бизнесмены? Я, конечно, не знаю подробностей рынка, но вы-то можете изучить вопрос. Областной центр,… twitter.com/i/web/status/9…

21:04
@backendsecret И чем в таком разрезе помогает абсолютно оторванное от реальности университетское образование? Выпус… twitter.com/i/web/status/9…

«Абсолютно оторванное от реальности университетское образование. Никаких практических навыков. Дохрена теории» — Во… twitter.com/i/web/status/9…

21:51
@backendsecret А вообще переход на личности просто прекрасен. Так держать! Можно рассказать еще о каких-нибудь моих… twitter.com/i/web/status/9…

Я, разумеется, не прав. Прошу прощения. twitter.com/AstarothAst/st…

22:06

А хотите развлечься? Есть такая штука, профессиональные стандарты. Вот, например, кто такой программист: profstandart.rosmintrud.ru/obshchiy-infor….

22:24

А вот моё любимое, системный программист с трудовой функцией разработчика компиляторов: profstandart.rosmintrud.ru/obshchiy-infor…

22:25

Фронтендеров и бэкендеров там почему-то нет. Видимо, это не профессия.

22:28

Ладно, на сегодня всё. Завтра гендерные вопросы, ну и отвечу на вопросы, если появятся. И попрощаемся!

22:31

# Воскресенье 47 твитов

А вы любите sed/awk?

16:21
@backendsecret только тонкость в том, что студенты в среднем пытаются работать уже после 2-3 курса. к концу обучени… twitter.com/i/web/status/9…

Работа во время учёбы — это плохо, эти ребята обкрадывают себя в будущем, но это их выбор. Все учебные планы рассчи… twitter.com/i/web/status/9…

16:41

Но вуз не может ориентироваться на тех, кому «поздно что-либо узнавать» на старших курсах. В принципе, нормальная с… twitter.com/i/web/status/9…

16:46

В реплаях много критики того, что я пишу про обучение программистов, причём с той мотивацией, что, мол, видали мы э… twitter.com/i/web/status/9…

16:49

Я знаю очень мало вузов, которые бы так работали (собственно, вообще не знаю). Обычно у них много физики и ещё боль… twitter.com/i/web/status/9…

16:53

Ну посудите сами, вчерашний выпускник сразу получает зарплату завкафедрой, через два-три года у него вдвое больше.… twitter.com/i/web/status/9…

16:56

Они предпочитают посылать в вузы своих сотрудников, которые гораздо менее профессиональны в преподавании. Собственн… twitter.com/i/web/status/9…

16:57

В статистике @backendsecret backendsecret.ru/stats/ нужно ввести дифференциацию: твиттер-140 и твиттер-280. Уверен,… twitter.com/i/web/status/9…

17:07
@backendsecret В ИТМО эти проблемы неплохо решают, но только на одной кафедре youtu.be/1PBTVAv2P_0

Прекрасный Анатолий Абрамович Шалыто в том числе о том, как раскулачивать ИТ-компании. twitter.com/dvbobrov/statu…

17:30
@backendsecret @dvbobrov Я сейчас скажу непопулярную вещь, но выход - дорогое платное образование без участия госуд… twitter.com/i/web/status/9…

Такое вот непопулярное мнение, с которым я, между прочим, полностью согласен. При этом ясно, что при попытке у нас… twitter.com/i/web/status/9…

17:58
@backendsecret Категорически несогласен. Но систему образования менять надо. Во-первых нельзя привязывать финансиро… twitter.com/i/web/status/9…

Да-да-да, давайте побольше контролировать качество! Удвоим количество сотрудников Рособрнадзора! Заставим преподава… twitter.com/i/web/status/9…

18:08

У проблемы финансирования образования нет идеального решения. Во всех странах свои сложности. Вы знаете, например,… twitter.com/i/web/status/9…

18:14

При этом в США (где учиться дорого) очень развита конкуренция между студентами, они также зачастую требуют максиму… twitter.com/i/web/status/9…

18:16

Про США я ещё слышал такие истории: студент из маленького городка, сумевший поступить в сильный (и дорогой!) вуз, п… twitter.com/i/web/status/9…

18:19

Впрочем, можете считать меня русофобом, но у нас, если менять систему образования, будет хуже! Потому что не в системе образования дело.

18:21

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

18:26

Передо мной список студентов первого курса направления «Фундаментальная информатика и информационные технологии», и… twitter.com/i/web/status/9…

18:46

Например, о стереотипах у родителей: «ну какое программирование для девочек, иди лучше в психологи». Или о стереоти… twitter.com/i/web/status/9…

18:49

А может, у девочек просто хуже баллы ЕГЭ по информатике? Не прошли, так сказать, по конкурсу? Не знаю, у меня нет т… twitter.com/i/web/status/9…

18:51

У меня есть ощущение, что в первые годы существования нашего направления девочек было немного больше, скажем, проце… twitter.com/i/web/status/9…

18:52

Однако вот вам другой факт. Недавно я считал академический рейтинг студентов второго курса, необходимый для распред… twitter.com/i/web/status/9…

18:55

В первой десятке четыре девочки (при этом всего на втором курсе девочек 25%). Разумеется, это вообще ничего не озна… twitter.com/i/web/status/9…

18:59

Идём дальше. В этом году нам предстоит десятый выпуск бакалавриата (первый был в 2009) и я попытался составить собс… twitter.com/i/web/status/9…

19:03

Я начал преподавать программирование осенью 2000 года, за это время через меня прошли сотни детей, мальчиков и дево… twitter.com/i/web/status/9…

19:10

Вопросы есть?

19:12

Я, может, и пришёл в @backendsecret ради этого твита капсом. Ужасно раздражает уверенность в собственном превосходс… twitter.com/i/web/status/9…

19:16
@backendsecret В 27-30 родит и закончит карьеру, когда захочет вернуться - увидит, что ит мир уже ускакал вперёд. И… twitter.com/i/web/status/9…

Между прочим, в ИТ гораздо проще быть в курсе развития технологий, даже находясь в декретном отпуске. Я знаю пример… twitter.com/i/web/status/9…

19:19
@backendsecret Не кажется ли Вам, что успешность девушек в учёбе на "неженских" специальностях происходит от того,… twitter.com/i/web/status/9…

Нет, мне так не кажется. Во-первых, в детской компьютерной школе #ВКШ (sunschool.mmcs.sfedu.ru) мы всегда говорим,… twitter.com/i/web/status/9…

19:22

Во-вторых, даже к моменту поступления в вузы идейных не так много, в школах-то с информатикой всё не очень, откуда… twitter.com/i/web/status/9…

19:24
@backendsecret Мой опыт показывает что девушки могут успешно учиться и быть выдающимися, но засчет зубрежа, а на нем далеко не уедешь...

Дай бог каждому быть выдающимся, пусть даже за счёт зубрежа. Ерунда это, конечно же. twitter.com/igor_maslik/st…

19:27
@backendsecret Хорошо если так, но лично у меня были перед глазами обратные примеры

Как насчёт примеров спившихся программистов-мужчин, умерших в районе сорока? twitter.com/aarexer/status…

19:29
@backendsecret Я всего лишь указал на то что вывод из имеющихся данных не может быть корректным. Более того, данные… twitter.com/i/web/status/9…

Знаете, до 40-х годов была такая профессия, называлась «computer», вычислитель, то есть. Считалась чисто женской, м… twitter.com/i/web/status/9…

19:48

А как только легче считать стало, так их место тут же мужчины заняли! Какие бы выводы отсюда сделать, даже не знаю…

19:49
@backendsecret Когда я собиралась поступать на сп, мама отговаривала меня. Приводила аргументы, что не будет личной… twitter.com/i/web/status/9…
19:51
@backendsecret Я одного не пойму, что этим вы пытаетесь достичь? Мы что-ли девушек не пускаем в это ит ебучее? Я ни… twitter.com/i/web/status/9…

Всё ради лайков! Вы только посмотрите, сколько их! Если серьёзно, я хочу, чтобы менялись стереотипы. Я хочу, чтобы… twitter.com/i/web/status/9…

19:56
@backendsecret Это еще Форд заметил, что женщины лучше и точнее выполняют монотонную и однообразную работу. /На это… twitter.com/i/web/status/9…

Всё так. А уголь из шахт в XIX и начале XX века лучше всего дети лет десяти вывозили. Им же это как игра, на тележе… twitter.com/i/web/status/9…

20:01
@backendsecret Проблема тут только в одном, в логике работодателя, что женщина может уйти в декрет, а мужчина - нет… twitter.com/i/web/status/9…

Часто приходится об этом слышать. Во-первых, долгие декреты — это чисто отечественная ситуация, проблема же найма д… twitter.com/i/web/status/9…

20:09
@backendsecret Считал статистику по своей компании недавно. Девушки уходят в декрет. Зато мужики чаще увольняются.… twitter.com/i/web/status/9…
20:16

Ура! Я стал чемпионом @backendsecret по общему числу лайков! Обошёл Бугаенко!

20:20
@backendsecret Минус вас, как ведущего @backendsecret лично для меня в том, что не покидает чувство, что вы с небол… twitter.com/i/web/status/9…

Это неправда, у меня вообще нет ничего такого. Возможно, мой стиль поведения в твиттере так воспринимается. Прошу п… twitter.com/i/web/status/9…

20:30
@backendsecret Виталий Николаевич, раз уж вы устроили гендерное воскресенье, я задам вам такой вопрос: нравится ли… twitter.com/i/web/status/9…

Я не знаю. Не очень верю в государственное регулирование чего угодно, я верю только в общественный договор. twitter.com/JMetelitsa/sta…

21:10
Ребята и девчата! Есть свободная неделя 12/03-18/03 в @backendsecret. Есть желающие?
22:05
надеюсь, что через несколько лет я пойму, что созрел в техническом плане для @backendsecret. тогда под конец недели… twitter.com/i/web/status/9…
22:10

ЛИТЕРАТУРА
1) Get Programming with Haskell (manning.com/books/get-prog…) — для желающих войти в ориентированный на прак… twitter.com/i/web/status/9…

22:41

11) Мой твиттер: @_bravit
12) Мой второй твиттер (eng): @VBragilevsky

22:52

ПОСЛЕСЛОВИЕ
Для меня как человека, занимающегося подготовкой программистов очень важно быть в курсе того, что проис… twitter.com/i/web/status/9…

22:55

Эта неделя здесь, в @backendsecret, была для меня в этом плане очень полезной, очень продуктивной. Крайне вам за не… twitter.com/i/web/status/9…

22:59

hackage.haskell.org

other