
A64m
26.03.2018
13:19:24
ну и как мы сейчас узнали с эрланга он ушел уже на совсем не фп

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

? animufag ?
26.03.2018
13:20:57
хотя в репле оно норм парсится

A64m
26.03.2018
13:21:38

Google

Евгений
26.03.2018
13:23:38

Kirill
26.03.2018
13:24:24

Андрей
26.03.2018
13:24:27
Клапауций так писал - что из всего ФП наименее убогое, говорит

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

Leonid
26.03.2018
13:24:40
эрланг то вообще не фп

A64m
26.03.2018
13:24:58
фс
с типами-то плохо


Leonid
26.03.2018
13:27:15
В ближайшие выходные Виталий Николаевич Брагилевский прочтёт мини-курс из пяти лекций “Компилятор 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 в качестве внешнего рецензента для книг по соответствующей тематике.


Александр
26.03.2018
13:27:24


Leonid
26.03.2018
13:27:37
В ближайшие выходные Виталий Николаевич Брагилевский прочтёт мини-курс из пяти лекций “Компилятор 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 в качестве внешнего рецензента для книг по соответствующей тематике.
чё ребзя, идём?


Kirill
26.03.2018
13:28:52
Летим

kana
26.03.2018
13:28:56
я поеду

Vasiliy
26.03.2018
13:29:51
захотелось переехать в Питер

Google

sherzod
26.03.2018
13:30:23
топик крутой, да

? animufag ?
26.03.2018
13:30:33

kana
26.03.2018
13:30:50
мой город относительно рядом с питером
ночью сел в поезд утром уже там

Leonid
26.03.2018
13:31:15

kana
26.03.2018
13:31:20
Витебск, РБ
даже ближе чем от москвы вроде

Leonid
26.03.2018
13:31:51
но не факт что быстрее

Александр
26.03.2018
13:33:07

Евгений
26.03.2018
13:33:40

Alister
26.03.2018
13:33:56
можно писать код - фп

Leonid
26.03.2018
13:35:51
@qnikst тыж хотел
https://youtu.be/bs9LD3H3Lj8

Alexander
26.03.2018
13:36:11
пасиб!

Андрей
26.03.2018
13:37:01

Alister
26.03.2018
13:37:35
мне кто-то доказывал что JS - lisp in disguise
и потому надо его развивать
потому что фп
и адопшн

A64m
26.03.2018
13:38:36

Google

A64m
26.03.2018
13:39:16
лисп не фп

Alister
26.03.2018
13:40:40
а что Титов?
лисп не стронгли тайпд

Leonid
26.03.2018
13:41:08
лисп это процедурное

A64m
26.03.2018
13:41:19
лисп это МЕТАСКРИПТОВАНИЕ

Евгений
26.03.2018
13:41:40

Denis
26.03.2018
14:15:46
fmap на Set не натянулся?
Лососнули со своими функторами, сплошной maintenance burden
/twitter

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

Андрей
26.03.2018
14:27:41
Такие страсти, пойти что-ли свитер почитать...

Alister
26.03.2018
14:30:15
иди выёживайся в свой чат
так что ли?

Stas
26.03.2018
14:30:20
Чую, ща бить будут.

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

Андрей
26.03.2018
14:34:14
Давай, по понятиям аппликативного функтора скажи!

Alister
26.03.2018
14:36:07
Стрелка у тебя куда, архитект ты наш?

Андрей
26.03.2018
14:36:56
На каждую стрелку найдется кострелка!

Google

?Томат?
26.03.2018
14:37:12
А на каждый синус косинус.

Stas
26.03.2018
14:38:41

Leonid
26.03.2018
14:40:52

Vitaly
26.03.2018
14:41:07
Всё так

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

Leonid
26.03.2018
14:41:55

Alister
26.03.2018
14:42:04

Leonid
26.03.2018
14:42:20

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

Leonid
26.03.2018
14:52:06
джоба http://www.getshoptv.com/ourteam/haskell-developer/

Alister
26.03.2018
14:53:06
имеешь опыт программирования на Elm или PureScript;
функциональный фулстек
интересно

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

? animufag ?
26.03.2018
14:58:37

Leonid
26.03.2018
14:59:35

Alexander
26.03.2018
14:59:44

? animufag ?
26.03.2018
14:59:50
хотелось узнать как жизнь с мисо

Alexander
26.03.2018
15:03:15
а кложуристов на какой фабрике штампуют?
чего-то я всю веселуху пропустил

Google

Leonid
26.03.2018
15:04:28

Alister
26.03.2018
15:05:18

Alexander
26.03.2018
15:05:45
- мама мама, откуда я взялся?
- в хэшмапе нашли

Leonid
26.03.2018
15:06:15
трансдюсер принёс

Alister
26.03.2018
15:06:31
тогда он может найти мертвых братьев в предыдущих копиях структуры

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

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

Leonid
26.03.2018
15:10:27
вертикального спейсу не жалеете?

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

Denis
26.03.2018
15:10:51
Помогите со 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
Что я делаю нет так?

kana
26.03.2018
15:10:54
не, бесплатный неограниченный ресурс, а то плотность кода и так высокая

Leonid
26.03.2018
15:11:33

Denis
26.03.2018
15:11:47

Denis
26.03.2018
15:11:48
Я думал SBT сложно, но stack пока сложней :)

Leonid
26.03.2018
15:12:28

Denis
26.03.2018
15:12:56
а если какая-нибудь стена текста на два экрана, у меня глаза кровоточат

Leonid
26.03.2018
15:13:19
да, главное чтоб не как в postgrest

Andrei
26.03.2018
15:13:27


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