Boris
Он видео записал - на тубе лежат , я смотрю как раз
Anonymous
а я именно читал
Anonymous
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Anonymous
вот это
Boris
Ага
Anonymous
и Бартош еще не дописал, как я понял
Anonymous
какие-то главы последние
Anonymous
несколько лет он уже это пишет )
Alexander
цель обзорное вводное или почему круто?
Alexander
это разные цели
Alexander
т.к. за вразумительное время дать и то и другое не реально
Boris
https://m.youtube.com/watch?v=I8LbkfSSR58
Alexander
в общем даже ввод нормальный нужно n часов
Alexander
почему это круто обычно hand waving
Boris
Он рассказывает что даже знакомство с фп помогает лучше соображать при прогагье на плюсах и на любом другом языке
Evgeniy
Ребята я тут собрался небольшую прентацию (в основновном для сотрудников компании) сделать. Про ФП в принципе, ну и конечно про Хаскель в т.ч. В основном у нас никто ФП не занимается. Ну и появилась такая идея расширить кругозор сотрудников. У меня уже достаточно большая подборка материалов, ссылок и пр. - на основе чего я хочу сделать презентацию. Но если кто-то знает какой-то ресурс или уже готорвую презентаху на просторах сети, любую статью, откуда можно подчерпнуть идеи для презентации - буду признателен. Это будет не научный доклад, а беглый экскурс для людей которые вообще ничего про это не слышали.
свежая статья из скала мира на эту тему
http://www.lihaoyi.com/post/WhatsFunctionalProgrammingAllAbout.html
Serghei
спасибо
Serghei
толковая статья
Serghei
только я не понял где там скала)
Anonymous
Ребят, что вы бы посоветовали прочесть человеку с математическим бэкграундом?
Evgeniy
только я не понял где там скала)
чувак просто известен своими скала проектами и в основном писал про скалу
Dmitry
Бхагавад-гиту. ну, прсто для разнообразия
Anonymous
Serghei
хахаха
Dmitry
нужен более специфический вопрос. прочитать для того, что бы?
Anonymous
Для того чтобы "въехать" быстрее в ФП и в Хаскель в частности. Положим, если вы бы составляли курс по ФП, на чём бы вы его основывали?
Serhii
SICP
Dmitry
лямбда, типы, типизированная лямбда, ml, haskell
Dmitry
ну и да, sicp
Dmitry
написать свой лисп, потом приделать типы и посмотреть что получится (ml)
Boris
Рома Чепляка в подкасте говорил что два года не работал чтобы монады понять :-)
Dmitry
ну тут вопрос, они тебе нужны со стороны теории групп или просто для работы
Anonymous
Спасибо!
Anonymous
Не-не, никакой работы.
Boris
http://mightybyte.github.io/monad-challenges/
Anonymous
Вопрос не практический абсолютно.
Boris
Эту тему очень советовал
Dmitry
если более практично, то в аппеле (вообще обожаю) есть классификация ЯП и там очень прикольно приходят от разработки языков вообще к тому, что делают один и тот же язык чистым, грязным, ленивым, энергичным, с сильной типизацией и т.п. после этого в принципе понятно почему оно всё такое, какое есть
Dmitry
ну и потом write you a haskell
Dmitry
её чел дописал, кстати?
Mansur
TAPL уже был?
Dmitry
забыли. предполагается, что его придется прочитать при переходе от лиспа к ml
Alexander
Как-то тут хардкорно
Alexander
Хотя наверное правильно
Anonymous
ну TaPL это всё-таки книга для увлекающихся языками и компиляторами
Anonymous
на мой взгляд
Anonymous
ну то есть такой случай, когда ФП замыкается на самом же себе.
а хотелось бы наверно просто самые разные прикладные задачи решать в функциональном стиле и может даже с типами, и может даже с монадами.
Serghei
ну TaPL это всё-таки книга для увлекающихся языками и компиляторами
а я думал на эту роль претендует книга с драконом
Anonymous
перед сообществом по-моему всегда стояла задача не просто показать, что ФП это круто, а что это также и доступно и вообще естественно
Serghei
кстати купил себе )
Anonymous
книга с драконом, насколько я помню, свойства языков не исследует совершенно никак. просто обсуждается как их парсить
Anonymous
ну то есть TaPL именно что про языки, я несколько оговорился
Anonymous
я считаю это всё-таки специальная литература
Dmitry
ну TAPL вообще про теорию типов и её прикладное использование, было бы странно если б он начал рассказывать, как фп просто и круто и всё прочее
Dmitry
выучите хаскелл, потеряйте способность писать на других языках, станьте социальным инвалидом
Serghei
> Лямбда пресс
ох ничего себе
Alexander
перед сообществом по-моему всегда стояла задача не просто показать, что ФП это круто, а что это также и доступно и вообще естественно
Перед каким сообществом стояла такая задача?!
Alexander
Dmitry
@qnikst вот это вот что? не согласен?
Alexander
Наоборот, полностью согласен
Anonymous
Перед каким сообществом стояла такая задача?!
перед функциональным сообществом. уже лет 30 или 40 они говорят "правильные" вещи, но никто не слушает, а кто слушает тот не верит
Quet
выучите хаскел и просто на других языках начнете писать как на хаскеле )
Dmitry
@quetzal я на си пишу теперь так, это боль
Alexander
перед функциональным сообществом. уже лет 30 или 40 они говорят "правильные" вещи, но никто не слушает, а кто слушает тот не верит
Никогда не стояло такой задачи, была задача пилить свои phd
Anonymous
ну ок)
Alexander
Ну если объективно, объяснением что это просто мало кто занимался напрямую
Dmitry
ну хаскел это только два из проектов на текущий момент
Quet
а там где си не смотрели на какой-нибудь раст?
Alexander
@quetzal я на си пишу теперь так, это боль
Мне тут ноду и питон пришлось подпиливать, еще и на винде, вообще ад :)
Dmitry
там где си, там у меня мипс
Quet
генерить си из хаскеля...
Dmitry
короче всё по кругу много раз обдумывали, всё это не работает
Dmitry
у меня есть фунционал-стайл библиотечка контейнеров
Dmitry
а теперь еще и реализация лиспа
Dmitry
как-то вот справляюсь
Dmitry
но всё равно это боль
Alexander
У нас пока на паузе проект где хитрый си из хацкеля будет, специализированный