# Понедельник 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
@dcromster @backendsecret @5HT @bodarev_yurii @brain_geek @Troush69 @ElixirClubUA господа, никто не хочет в… twitter.com/i/web/status/9…12:41
@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
@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
@pilitactiles @backendsecret @dshevchenko_biz Дык линк забыл)) github.com/denisshevchenk…14:53
Я воспринимаю языки программирования как наборы инструментов — Хаскель даёт нам очень богатый набор, с его помощью… 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:16Get 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@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:40XSLT мне, кстати, очень нравится, я его преподавал 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/dejafu11:26
@qnikst @backendsecret Более модерновый вариант hackage.haskell.org/package/hedgeh…
Вообще для тестирования в Хаскеле много всего, коммьюнити очень заботится о корректности программ. twitter.com/qrilka/status/…
11:27@backendsecret расскажи про перформанс. Есть мнение, что чистые функциональные языки медленны, потому что GC приходится тяжеловато
Перфоманс Хаскеля, тезисно.
1) Если не задумываться о производительности кода изначально, то будет медленно.
2) Есл… twitter.com/i/web/status/9…
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:37
hackage.haskell.org/package/optpar…
hackage.haskell.org/package/hflags
Отписался от этого потока сознания в виде @backendsecret14: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:32SICP надо читать, хоть над ним в лурке смеются. Первые три главы уж точно, дальше необязательно. Но вот языки семей… 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:55Idris — прекрасный язык. Очень полезно для самообразования, книжка отличная от автора языка есть (… 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 @SingleTolM Именно!10:54
@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@backendsecret "Learn You a Haskell for Great Good" хорошая книга для новичка? Мне в свое время отлично зашла
Мне очень нравится эта книжка. Благодаря ей завязались мои отношения с ДМК Пресс. Сейчас расскажу историю, как это… twitter.com/i/web/status/9…
17:3428 декабря 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…
В рамках базовых программистских курсов нужно получить навыки алгоритмизации, изучить 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…
11) Мой твиттер: @_bravit
12) Мой второй твиттер (eng): @VBragilevsky
ПОСЛЕСЛОВИЕ
Для меня как человека, занимающегося подготовкой программистов очень важно быть в курсе того, что проис… twitter.com/i/web/status/9…
Эта неделя здесь, в @backendsecret, была для меня в этом плане очень полезной, очень продуктивной. Крайне вам за не… twitter.com/i/web/status/9…
22:59# Ссылки
hackage.haskell.org
- https://hackage.haskell.org/package/servant
- https://hackage.haskell.org/package/smallcheck
- https://hackage.haskell.org/package/QuickCheck
- https://hackage.haskell.org/package/distributed-process
- https://hackage.haskell.org/package/async
- https://hackage.haskell.org/package/stm
- https://hackage.haskell.org/package/gauge
- https://hackage.haskell.org/package/criterion
- http://hackage.haskell.org/package/dejafu
- https://hackage.haskell.org/package/optparse-applicative
- https://hackage.haskell.org/package/hflags
other
- http://backendsecret.ru/stats/
- https://github.com/denisshevchenko/breadu.info
- https://github.com/discourse/discourse
- https://github.com/hmemcpy/milewski-ctfp-pdf
- https://www.manning.com/books/get-programming-with-haskell
- https://medium.com/@_bravit
- https://medium.com/@_bravit/christopher-allen-and-julie-moronuki-haskell-programming-from-first-principles-2015-8df5d7fda9c1
- https://www.haskell.org/hoogle/
- https://prime.haskell.org/wiki/Committee
- https://www.edx.org/course/introduction-functional-programming-delftx-fp101x-0
- https://wiki.haskell.org/Introduction#Quicksort_in_Haskell
- http://lisper.ru/pcl/
- https://www.reddit.com/r/haskell/comments/6bxk1v/why_monads_always_get_compared_to_burritos/
- http://plc.sfedu.ru/
- https://cs.brynmawr.edu/~rae/
- https://www.youtube.com/watch?v=uKfKtXYLG78
- https://www.youtube.com/watch?v=gpifdHvtr0k&list=PLvPsfYrGz3wsX3Z5KuuEVYhijDxhKCDDD
- https://www.youtube.com/watch?v=a0RYbqpsL9Q&list=PLvPsfYrGz3wv9uEWdDOuCll0vV9zLFfws
- http://newstar.rinet.ru/~goga/tapl/
- http://newstar.rinet.ru/~goga/sicp/
- https://www.instagram.com/_bravit/
- https://yandexdataschool.ru/about
- https://vk.com/docs-90475720
- https://www.ozon.ru/context/detail/id/142250123/
- http://profstandart.rosmintrud.ru/obshchiy-informatsionnyy-blok/natsionalnyy-reestr-professionalnykh-standartov/reestr-professionalnykh-standartov/index.php?ELEMENT_ID=56414
- http://profstandart.rosmintrud.ru/obshchiy-informatsionnyy-blok/natsionalnyy-reestr-professionalnykh-standartov/reestr-trudovyh-funkcij/index.php?ELEMENT_ID=50370&CODE=50370
- https://www.piter.com/collection/klassika-computer-science/product/arhitektura-kompyutera-6-e-izd
- http://sunschool.mmcs.sfedu.ru/
- http://fprog.ru/