ну и как мы сейчас узнали с эрланга он ушел уже на совсем не фп

ну тем более. я просто очередной раз вброшу крамольное, что ФП Э Хаскель

хотя в репле оно норм парсится

ну тем более. я просто очередной раз вброшу крамольное, что ФП Э Хаскель

да, есть много разновидностей убогого ФП

ну тем более. я просто очередной раз вброшу крамольное, что ФП Э Хаскель

А с чего вы взяли, что хаскель это вообще ФП?

ну и как мы сейчас узнали с эрланга он ушел уже на совсем не фп

У димы были, насколько помню не очень позитивные результаты с элмом и с фрименом он за нубофредлинность книжки по пурескрипту срался чуток

Клапауций так писал - что из всего ФП наименее убогое, говорит

можно худо-бедно комбинировать комбинаторы и это даже кое-как оптимизируется - значит ФП

эрланг то вообще не фп

фс

с типами-то плохо

В ближайшие выходные Виталий Николаевич Брагилевский прочтёт мини-курс из пяти лекций “Компилятор GHC языка Haskell: теория языков программирования в работе”. Приглашаются все желающие. Вход по-прежнему свободный. Регистрация не требуется, но вы можете зарегистрироваться на курс на сайте клуба, чтобы получать по нему уведомления. Расскажите, пожалуйста, о курсе заинтересованным знакомым. Время: суббота, 31 марта, 17:15 Место: Математический институт Стеклова (ПОМИ РАН), второй этаж, Мраморный зал Страница курса: https://compsciclub.ru/courses/Glasgow-Haskell-Compiler/2018-spring/classes/ АННОТАЦИЯ Компилятор GHC (The Glasgow Haskell Compiler) языка Haskell уже в течение почти 30 лет представляет собой площадку для экспериментов в области теории языков программирования. В рамках этого курса мы посмотрим, какие именно результаты теории в нём реализованы, а также обсудим, как можно подключиться к его разработке. В первой части курса (две лекции) будет рассказываться о структуре компилятора GHC, принципах его разработки и порядке работы. Вторая часть (три лекции) будет посвящена внутреннему языку GHC Core, в который транслируется код на Haskell и который представляет собой расширение системы полиморфного λ-исчисления высших порядков System Fω, а также вычислению выражений Core с использованием STG-машины. О ЛЕКТОРЕ Виталий Николаевич Брагилевский работает в Институте математики, механики и компьютерных наук Южного федерального университета (Ростов-на-Дону), где на протяжении десяти лет читает курсы по функциональному программированию, он ведёт активную деятельность по продвижению функционального программирования (языки Haskell и Idris) и теории языков программирования, а также является членом международного комитета по стандартизации языка программирования Haskell (Haskell 2020 Language Committee). В. Н. Брагилевский редактировал переводы на русский язык таких книг как «Изучай Haskell во имя добра» (М. Липовача) и «Чисто функциональные структуры данных» (К. Окасаки), а также участвовал в переводах книг «Жемчужины проектирования функциональных алгоритмов» (Р. Бёрд), «Параллельное и конкурентное программирование на языке Haskell» (С. Марлоу), «Введение в теорию языков программирования» (Ж. Довек и Ж.-Ж. Леви), он также сотрудничает с издательством Manning Publishing в качестве внешнего рецензента для книг по соответствующей тематике.

это же главный по Кложе и UI — Тонский

Причем до этого он был эрлангистом.

В ближайшие выходные Виталий Николаевич Брагилевский прочтёт мини-курс из пяти лекций “Компилятор GHC языка Haskell: теория языков программирования в работе”. Приглашаются все желающие. Вход по-прежнему свободный. Регистрация не требуется, но вы можете зарегистрироваться на курс на сайте клуба, чтобы получать по нему уведомления. Расскажите, пожалуйста, о курсе заинтересованным знакомым. Время: суббота, 31 марта, 17:15 Место: Математический институт Стеклова (ПОМИ РАН), второй этаж, Мраморный зал Страница курса: https://compsciclub.ru/courses/Glasgow-Haskell-Compiler/2018-spring/classes/ АННОТАЦИЯ Компилятор GHC (The Glasgow Haskell Compiler) языка Haskell уже в течение почти 30 лет представляет собой площадку для экспериментов в области теории языков программирования. В рамках этого курса мы посмотрим, какие именно результаты теории в нём реализованы, а также обсудим, как можно подключиться к его разработке. В первой части курса (две лекции) будет рассказываться о структуре компилятора GHC, принципах его разработки и порядке работы. Вторая часть (три лекции) будет посвящена внутреннему языку GHC Core, в который транслируется код на Haskell и который представляет собой расширение системы полиморфного λ-исчисления высших порядков System Fω, а также вычислению выражений Core с использованием STG-машины. О ЛЕКТОРЕ Виталий Николаевич Брагилевский работает в Институте математики, механики и компьютерных наук Южного федерального университета (Ростов-на-Дону), где на протяжении десяти лет читает курсы по функциональному программированию, он ведёт активную деятельность по продвижению функционального программирования (языки Haskell и Idris) и теории языков программирования, а также является членом международного комитета по стандартизации языка программирования Haskell (Haskell 2020 Language Committee). В. Н. Брагилевский редактировал переводы на русский язык таких книг как «Изучай Haskell во имя добра» (М. Липовача) и «Чисто функциональные структуры данных» (К. Окасаки), а также участвовал в переводах книг «Жемчужины проектирования функциональных алгоритмов» (Р. Бёрд), «Параллельное и конкурентное программирование на языке Haskell» (С. Марлоу), «Введение в теорию языков программирования» (Ж. Довек и Ж.-Ж. Леви), он также сотрудничает с издательством Manning Publishing в качестве внешнего рецензента для книг по соответствующей тематике.

чё ребзя, идём?

Летим

я поеду

захотелось переехать в Питер

топик крутой, да

я поеду

не далековато?

мой город относительно рядом с питером

ночью сел в поезд утром уже там

ночью сел в поезд утром уже там

Москва?

Витебск, РБ

даже ближе чем от москвы вроде

но не факт что быстрее

Складывается впечатление, что, говоря что бы то ни было об использовании Хаскеля, я должен уже не только ДОКАЗЫВАТЬ правоту своего выбора, но и ИЗВИНЯТЬСЯ за сам этот выбор...

Я об этом и говорю. Это ты с твиттерскими общался, а теперь представь, так твои старшие коллеги ведут себя. Вот так оно и было у меня, хотя я даже и не писал на Haskell, просто его изучал.

можно худо-бедно комбинировать комбинаторы и это даже кое-как оптимизируется - значит ФП

Ты ещё скажи, что можно писать функции — значит ФП. Мы определяем парадигму по основным практикам разработки на нём всё-таки. А в сабже практика крутится вокруг придумывания комбинаторов, преобразующих типы, а не термы. Если в языке есть HKT и разработка вокруг него крутится, то это уже что-то принципиально новое

можно писать код - фп

@qnikst тыж хотел

https://youtu.be/bs9LD3H3Lj8

пасиб!

можно писать код - фп

~рот~ замыкания есть - значит ФП (С)

мне кто-то доказывал что JS - lisp in disguise

и потому надо его развивать

потому что фп

и адопшн

Ты ещё скажи, что можно писать функции — значит ФП. Мы определяем парадигму по основным практикам разработки на нём всё-таки. А в сабже практика крутится вокруг придумывания комбинаторов, преобразующих типы, а не термы. Если в языке есть HKT и разработка вокруг него крутится, то это уже что-то принципиально новое

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

лисп не фп

а что Титов?

лисп не стронгли тайпд

лисп это процедурное

лисп это МЕТАСКРИПТОВАНИЕ

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

fmap это недоразумение

fmap на Set не натянулся?

Лососнули со своими функторами, сплошной maintenance burden

/twitter

Складывается впечатление, что, говоря что бы то ни было об использовании Хаскеля, я должен уже не только ДОКАЗЫВАТЬ правоту своего выбора, но и ИЗВИНЯТЬСЯ за сам этот выбор...

Это гоп-ксенофобия. "Эй, девелопер, а ты с какой парадигмы?"

Унизил чужую - самоутвердился в своей, всё как заведено у сапиенсов

Такие страсти, пойти что-ли свитер почитать...

иди выёживайся в свой чат

так что ли?

Чую, ща бить будут.

А тут было про лекцию в Биокаде? https://biocad.timepad.ru/event/689677/ Кложуристам тоже можно!

Чую, ща бить будут.

Коммутативность моноида есть? Монаду знаешь?

Давай, по понятиям аппликативного функтора скажи!

Стрелка у тебя куда, архитект ты наш?

На каждую стрелку найдется кострелка!

А на каждый синус косинус.

Коммутативность моноида есть? Монаду знаешь?

Спик инглиш, литл бит.

А тут было про лекцию в Биокаде? https://biocad.timepad.ru/event/689677/ Кложуристам тоже можно!

Виталий Николаевич едет с гастролями в Питер!

Всё так

Как на митап зайдешь, тебе под ноги трансдьюсер кинут, не поднимай — кложуристом станешь.

Как на митап зайдешь, тебе под ноги трансдьюсер кинут, не поднимай — кложуристом станешь.

А если ноги вытрешь?

Виталий Николаевич едет с гастролями в Питер!

В Питере - пить!

В Питере - пить!

у вас мем устарел

Есть два стула, на одном типы зависимые, на другом динамические хеши персистентные. На каком конкурента пустишь прототип лепить, на каком сам будешь?

джоба http://www.getshoptv.com/ourteam/haskell-developer/

имеешь опыт программирования на Elm или PureScript;

функциональный фулстек

интересно

есть куча отрезков на действительной прямой, надо посчитать меру их пересечений. как это сделать по-быстрому? может, есть такая функция в какой-нибудь библиотеке для R-деревьев? только я что-то не могу нагуглить ни одну годную

джоба http://www.getshoptv.com/ourteam/haskell-developer/

ты там работаешь?

ты там работаешь?

Не

Есть два стула, на одном типы зависимые, на другом динамические хеши персистентные. На каком конкурента пустишь прототип лепить, на каком сам будешь?

это описание fprog_spb?

хотелось узнать как жизнь с мисо

а кложуристов на какой фабрике штампуют?

чего-то я всю веселуху пропустил

а кложуристов на какой фабрике штампуют?

PracticalProgrammingFactoryImpl

а кложуристов на какой фабрике штампуют?

на фабрике скобочек

- мама мама, откуда я взялся? - в хэшмапе нашли

трансдюсер принёс

тогда он может найти мертвых братьев в предыдущих копиях структуры

@catamorphism так переносите? pgCreateProject :: ( HasPostgres m , MonadLogger m , MonadThrow m) => Name -> m ProjectWithId

) еще перенести бы чтобы вообще pgCreateProject :: ( HasPostgres m , MonadLogger m , MonadThrow m ) => Name -> m ProjectWithId

вертикального спейсу не жалеете?

Я констрейнты не переношу, если короткие. Если длинные, то переношу перед ( и тогда по два символа все инденты ._.

Помогите со stack разобраться. Выполнил stack new foo. Добавил в stack.yaml extra-deps:[free-functors-0.8.4], так же добавил в package.yaml library.dependencies:[base, free-functors]. Выполняю stack build, пишет: Error: While constructing the build plan, the following exceptions were encountered: In the dependencies for free-functors-0.8.4: algebraic-classes must match ==0.9.*, but the stack configuration has no specified version (latest matching version is 0.9.1) base-4.10.1.0 from stack configuration does not match ==4.11.* (latest matching version is 4.11.0.0) template-haskell-2.12.0.0 from stack configuration does not match ==2.13.* (latest matching version is 2.13.0.0) needed due to foo-0.1.0.0 -> free-functors-0.8.4 Что я делаю нет так?

не, бесплатный неограниченный ресурс, а то плотность кода и так высокая

Я констрейнты не переношу, если короткие. Если длинные, то переношу перед ( и тогда по два символа все инденты ._.

диковато

вертикального спейсу не жалеете?

я еще дырки в функциях не люблю лишние, чтобы можно было параграфами переходить от одной к другой в редакторе

Я думал SBT сложно, но stack пока сложней :)

я еще дырки в функциях не люблю лишние, чтобы можно было параграфами переходить от одной к другой в редакторе

ну незнаю, у меня глазки путаются :(

ну незнаю, у меня глазки путаются :(

если функции короткие, то все замечательно

а если какая-нибудь стена текста на два экрана, у меня глаза кровоточат

да, главное чтоб не как в postgrest

Помогите со stack разобраться. Выполнил stack new foo. Добавил в stack.yaml extra-deps:[free-functors-0.8.4], так же добавил в package.yaml library.dependencies:[base, free-functors]. Выполняю stack build, пишет: Error: While constructing the build plan, the following exceptions were encountered: In the dependencies for free-functors-0.8.4: algebraic-classes must match ==0.9.*, but the stack configuration has no specified version (latest matching version is 0.9.1) base-4.10.1.0 from stack configuration does not match ==4.11.* (latest matching version is 4.11.0.0) template-haskell-2.12.0.0 from stack configuration does not match ==2.13.* (latest matching version is 2.13.0.0) needed due to foo-0.1.0.0 -> free-functors-0.8.4 Что я делаю нет так?

а если и algebraic-functors в extra-deps добавить? или вообще stack solver?

А кто-нибудь может в fprog_spb лекцию отрекламировать (biocad.timepad.ru/event/689677/)? А то я после ваших рассказов немного боюсь туда заходить.