Size: a a a

2019 September 06

AT

Anton Trunov in fprog_spb
есть несколько списков (вот тут есть на них ссылки https://github.com/coq-community/manifesto/issues/73)
но пока ничего готового скорее всего нет
источник

GT

Gregory Tr in fprog_spb
Такс, а что за воркшоп?? По кложе??
источник

GT

Gregory Tr in fprog_spb
Есть подробности?
источник

NK

Nikita Kononenko in fprog_spb
тоже интересно :)
источник

Y

Yuuri in fprog_spb
Dmitry Ignatiev
Я б еще послушал чем хорош и плох F# в сравнении с OCaml
Нужен баттл окамлиста и эфшарписта )
источник

DI

Dmitry Ignatiev in fprog_spb
я б устроил батл коммонлиспера и хаскелиста, как противоположных граней немейнстримного фп
источник

DI

Dmitry Ignatiev in fprog_spb
(ну и не только фп, но вобщем немейнстримных подходов)
источник

Y

Yuuri in fprog_spb
Лавсана с Кникстом?
источник

AT

Anton Trunov in fprog_spb
только поменять им языки и дать почитать learnxinyminutes перед битвой)
источник

L

Leyla in fprog_spb
Gregory Tr
Такс, а что за воркшоп?? По кложе??
Да, подробности скоро ;)
источник

DI

Dmitry Ignatiev in fprog_spb
Пиздец ты самовлюбленный, братан – “я – фп”
Но если в гугле задать “фп”, то выдаст мой видос с FProg'а
Вот как ты продвигаешь Хаскель этих долгих 4 года
Злишься, что я называю свою хуету иммутабельной?
Ты настолько тупой, что даже не просек слова pure
Я забрал у тебя самое любимое, словно church-turing
Благодаря мне фп – это доклады с фастфлоу
Думаешь, я доебался из жалости или чтобы прославиться?
Я просто угараю с тебя, процедурная лысая карлица
И меня вполне устроит статус докладчика на дринкапе
Пока ты не выкупаешь, как жабаскриптер на жаба стендапе
Ты эмигрировал в монады, но твои функции в бешенстве
И они съебались в Python, будто сирийские беженцы
Дальше в программе, насчет твоего оопшного паттерна
Если вдруг решит уйти, ну как в рассказе у Фаулера
Сразу съебется в EPAM, чтобы там менторить маменьких сынков
Ведь твой пробел в знаниях выглядит как пещера, в которой родился GoF
источник

L

Leyla in fprog_spb
о_О
источник

AR

Apfelsinchen Ritter in fprog_spb
Dmitry Ignatiev
Пиздец ты самовлюбленный, братан – “я – фп”
Но если в гугле задать “фп”, то выдаст мой видос с FProg'а
Вот как ты продвигаешь Хаскель этих долгих 4 года
Злишься, что я называю свою хуету иммутабельной?
Ты настолько тупой, что даже не просек слова pure
Я забрал у тебя самое любимое, словно church-turing
Благодаря мне фп – это доклады с фастфлоу
Думаешь, я доебался из жалости или чтобы прославиться?
Я просто угараю с тебя, процедурная лысая карлица
И меня вполне устроит статус докладчика на дринкапе
Пока ты не выкупаешь, как жабаскриптер на жаба стендапе
Ты эмигрировал в монады, но твои функции в бешенстве
И они съебались в Python, будто сирийские беженцы
Дальше в программе, насчет твоего оопшного паттерна
Если вдруг решит уйти, ну как в рассказе у Фаулера
Сразу съебется в EPAM, чтобы там менторить маменьких сынков
Ведь твой пробел в знаниях выглядит как пещера, в которой родился GoF
Раунд!
источник

AT

Anton Trunov in fprog_spb
Dmitry Ignatiev
Пиздец ты самовлюбленный, братан – “я – фп”
Но если в гугле задать “фп”, то выдаст мой видос с FProg'а
Вот как ты продвигаешь Хаскель этих долгих 4 года
Злишься, что я называю свою хуету иммутабельной?
Ты настолько тупой, что даже не просек слова pure
Я забрал у тебя самое любимое, словно church-turing
Благодаря мне фп – это доклады с фастфлоу
Думаешь, я доебался из жалости или чтобы прославиться?
Я просто угараю с тебя, процедурная лысая карлица
И меня вполне устроит статус докладчика на дринкапе
Пока ты не выкупаешь, как жабаскриптер на жаба стендапе
Ты эмигрировал в монады, но твои функции в бешенстве
И они съебались в Python, будто сирийские беженцы
Дальше в программе, насчет твоего оопшного паттерна
Если вдруг решит уйти, ну как в рассказе у Фаулера
Сразу съебется в EPAM, чтобы там менторить маменьких сынков
Ведь твой пробел в знаниях выглядит как пещера, в которой родился GoF
источник

PK

Pavel Khritonenko in fprog_spb
🦉Sova🦉
F# плох, у меня все
Чем?
источник

MK

Maxim Koltsov in fprog_spb
Leyla
И снова немножко Coq'a! 21-22 сентября в ПОМИ РАН. Лектор - Антон Трунов, Zilliqa Research. https://compsciclub.ru/courses/intro-to-coq/2019-autumn/about/

---------

Также в сентябре планируется однодневный марафон практикования clojure!

28 сентября с 11 часов вместе с командой Health Samurai вы сможете
окунутся в прагматичный и функциональный
мир интерактивного программирования на clojure.

Вы соприкоснетесь с:

* web программированием
* работа с базой данных (jdbc, honeysql, postgres)
* ui на re-frame с тестами на бэкенде
* сборкой и деплоем в kubernetes

Детали в телеграмм чате - https://t.me/dojoclj
Лектор - Николай Рыжиков.

* Количество мест ограничено - будет небольшой конкурс! *
а зачем две лекции размазывать на два дня?
источник

SG

Serge S. Gulin in fprog_spb
Yuuri
Нужен баттл окамлиста и эфшарписта )
Тогда уж на ринг их и ризониста
источник

SG

Serge S. Gulin in fprog_spb
Втроём
источник

L

Leyla in fprog_spb
Dmitry Ignatiev
Пиздец ты самовлюбленный, братан – “я – фп”
Но если в гугле задать “фп”, то выдаст мой видос с FProg'а
Вот как ты продвигаешь Хаскель этих долгих 4 года
Злишься, что я называю свою хуету иммутабельной?
Ты настолько тупой, что даже не просек слова pure
Я забрал у тебя самое любимое, словно church-turing
Благодаря мне фп – это доклады с фастфлоу
Думаешь, я доебался из жалости или чтобы прославиться?
Я просто угараю с тебя, процедурная лысая карлица
И меня вполне устроит статус докладчика на дринкапе
Пока ты не выкупаешь, как жабаскриптер на жаба стендапе
Ты эмигрировал в монады, но твои функции в бешенстве
И они съебались в Python, будто сирийские беженцы
Дальше в программе, насчет твоего оопшного паттерна
Если вдруг решит уйти, ну как в рассказе у Фаулера
Сразу съебется в EPAM, чтобы там менторить маменьких сынков
Ведь твой пробел в знаниях выглядит как пещера, в которой родился GoF
Когда запись будет?)
источник

🦉

🦉Sova🦉 in fprog_spb
Нет HKT, 0 намеков на тайпклассы, слабейшая стандартная либа, нет оберток над c# чтобы можно было бегать по коллекциям оттуда, например, стандартным синтаксисом (как в скале это сделано). Ты реально можно словить NRE и прочие радости.
источник