@haskellru
Alexander26.01.2017
11:35:45
11:35:45
в общем даже ввод нормальный нужно n часов
почему это круто обычно hand waving
Boris26.01.2017
11:37:06
11:37:06
Он рассказывает что даже знакомство с фп помогает лучше соображать при прогагье на плюсах и на любом другом языке
Evgeniy26.01.2017
12:52:44
12:52:44
Ребята я тут собрался небольшую прентацию (в основновном для сотрудников компании) сделать. Про ФП в принципе, ну и конечно про Хаскель в т.ч. В основном у нас никто ФП не занимается. Ну и появилась такая идея расширить кругозор сотрудников. У меня уже достаточно большая подборка материалов, ссылок и пр. - на основе чего я хочу сделать презентацию. Но если кто-то знает какой-то ресурс или уже готорвую презентаху на просторах сети, любую статью, откуда можно подчерпнуть идеи для презентации - буду признателен. Это будет не научный доклад, а беглый экскурс для людей которые вообще ничего про это не слышали.
свежая статья из скала мира на эту тему
http://www.lihaoyi.com/post/WhatsFunctionalProgrammingAllAbout.htmlGoogle
Тёма26.01.2017
14:02:05
14:02:05
Ребят, что вы бы посоветовали прочесть человеку с математическим бэкграундом?
Evgeniy26.01.2017
14:02:26
14:02:26
только я не понял где там скала)
чувак просто известен своими скала проектами и в основном писал про скалуDmitry26.01.2017
14:02:37
14:02:37
Бхагавад-гиту. ну, прсто для разнообразия
Serghei26.01.2017
14:03:02
14:03:02
хахаха
Dmitry26.01.2017
14:04:04
14:04:04
нужен более специфический вопрос. прочитать для того, что бы?
Тёма26.01.2017
14:05:33
14:05:33
Для того чтобы "въехать" быстрее в ФП и в Хаскель в частности. Положим, если вы бы составляли курс по ФП, на чём бы вы его основывали?
Serhii26.01.2017
14:08:32
14:08:32
SICP
Dmitry26.01.2017
14:08:46
14:08:46
лямбда, типы, типизированная лямбда, ml, haskell
ну и да, sicp
написать свой лисп, потом приделать типы и посмотреть что получится (ml)
GoogleBoris26.01.2017
14:09:16
14:09:16
Рома Чепляка в подкасте говорил что два года не работал чтобы монады понять :-)
Dmitry26.01.2017
14:10:01
14:10:01
ну тут вопрос, они тебе нужны со стороны теории групп или просто для работы
Boris26.01.2017
14:10:17
14:10:17
http://mightybyte.github.io/monad-challenges/
Тёма26.01.2017
14:10:25
14:10:25
Вопрос не практический абсолютно.
Boris26.01.2017
14:10:55
14:10:55
Эту тему очень советовал
Dmitry26.01.2017
14:11:48
14:11:48
если более практично, то в аппеле (вообще обожаю) есть классификация ЯП и там очень прикольно приходят от разработки языков вообще к тому, что делают один и тот же язык чистым, грязным, ленивым, энергичным, с сильной типизацией и т.п. после этого в принципе понятно почему оно всё такое, какое есть
ну и потом write you a haskell
её чел дописал, кстати?
eugeneMansur26.01.2017
14:14:58
14:14:58
TAPL уже был?
Dmitry26.01.2017
14:15:29
14:15:29
забыли. предполагается, что его придется прочитать при переходе от лиспа к ml
Vladimir26.01.2017
14:39:13
14:39:13
ну TaPL это всё-таки книга для увлекающихся языками и компиляторами
на мой взгляд
ну то есть такой случай, когда ФП замыкается на самом же себе.
а хотелось бы наверно просто самые разные прикладные задачи решать в функциональном стиле и может даже с типами, и может даже с монадами.
Serghei26.01.2017
14:43:11
14:43:11
ну TaPL это всё-таки книга для увлекающихся языками и компиляторами
а я думал на эту роль претендует книга с дракономVladimir26.01.2017
14:43:17
14:43:17
перед сообществом по-моему всегда стояла задача не просто показать, что ФП это круто, а что это также и доступно и вообще естественно
GoogleSerghei26.01.2017
14:43:23
14:43:23
кстати купил себе )
Vladimir26.01.2017
14:44:20
14:44:20
книга с драконом, насколько я помню, свойства языков не исследует совершенно никак. просто обсуждается как их парсить
ну то есть TaPL именно что про языки, я несколько оговорился
я считаю это всё-таки специальная литература
Dmitry26.01.2017
14:47:12
14:47:12
ну TAPL вообще про теорию типов и её прикладное использование, было бы странно если б он начал рассказывать, как фп просто и круто и всё прочее
выучите хаскелл, потеряйте способность писать на других языках, станьте социальным инвалидом
Serghei26.01.2017
14:47:44
14:47:44
> Лямбда пресс
ох ничего себе
Alexander26.01.2017
14:49:16
14:49:16
перед сообществом по-моему всегда стояла задача не просто показать, что ФП это круто, а что это также и доступно и вообще естественно
Перед каким сообществом стояла такая задача?!Dmitry26.01.2017
14:51:10
14:51:10
@qnikst вот это вот что? не согласен?
Alexander26.01.2017
14:51:25
14:51:25
Наоборот, полностью согласен
Vladimir26.01.2017
14:52:05
14:52:05
Перед каким сообществом стояла такая задача?!
перед функциональным сообществом. уже лет 30 или 40 они говорят "правильные" вещи, но никто не слушает, а кто слушает тот не верит
Quet26.01.2017
14:52:07
14:52:07
выучите хаскел и просто на других языках начнете писать как на хаскеле )
Dmitry26.01.2017
14:52:25
14:52:25
@quetzal я на си пишу теперь так, это боль
Alexander26.01.2017
14:52:33
14:52:33
перед функциональным сообществом. уже лет 30 или 40 они говорят "правильные" вещи, но никто не слушает, а кто слушает тот не верит
Никогда не стояло такой задачи, была задача пилить свои phdVladimir26.01.2017
14:52:42
14:52:42
ну ок)
Quet26.01.2017
14:52:53
14:52:53
Alexander26.01.2017
14:53:10
14:53:10
Ну если объективно, объяснением что это просто мало кто занимался напрямую
Dmitry26.01.2017
14:53:16
14:53:16
ну хаскел это только два из проектов на текущий момент
Quet26.01.2017
14:53:30
14:53:30
а там где си не смотрели на какой-нибудь раст?
GoogleAlexander26.01.2017
14:53:42
14:53:42
@quetzal я на си пишу теперь так, это боль
Мне тут ноду и питон пришлось подпиливать, еще и на винде, вообще ад :)Dmitry26.01.2017
14:53:48
14:53:48
там где си, там у меня мипс
Quet26.01.2017
14:54:01
14:54:01
генерить си из хаскеля...
Dmitry26.01.2017
14:54:20
14:54:20
короче всё по кругу много раз обдумывали, всё это не работает
у меня есть фунционал-стайл библиотечка контейнеров
а теперь еще и реализация лиспа
AdminERROR: S client not available
Alexander26.01.2017
14:55:04
14:55:04
У нас пока на паузе проект где хитрый си из хацкеля будет, специализированный
Quet26.01.2017
14:55:13
14:55:13
а теперь еще и реализация лиспа
все как положено “… an ad-hoc, informally-specified, bug-ridden, slow implementation of half of Common Lisp” ?Alexander26.01.2017
14:55:28
14:55:28
Точнее сначала попробуем чистый haskell но боюсь в констрейнты не удожимся
Специализированный = не generic purpose а под задачу
но всё равно это боль
Там всякие ivory тоже не работают? (Хотя вроде ты им не впечатлен был и вроде он вам бесполезен)Dmitry26.01.2017
14:57:40
14:57:40
ну напиши например DNS прокси на ивори
думаю это будет очень увлекательное занятие
Alexander26.01.2017
14:58:29
14:58:29
Я не опытен в ivory это к касперским :)
Слушай а есть какой-нибудь минимальный кусок который мог бы быть интересен и который за короткое время запилить можно? Мне тут вскоре нужно будет поэкспериментировать с haskell, ivory и т.п. вещами
GoogleDmitry26.01.2017
15:00:31
15:00:31
интересен кому, погоди?
Alexander26.01.2017
15:00:34
15:00:34
А задачи подходящей нет, точнее есть та что заморожена, но там я боюсь часть по NDA попадает, а мне по этому пост
Alexander26.01.2017
15:01:06
15:01:06
Т.е. если увидеть пост making fast dns proxy in haskell
Dmitry26.01.2017
15:01:07
15:01:07
а вот этот гребаный мипс используется китайцами из за халявности
и никому больше не нужен
Quet26.01.2017
15:01:17
15:01:17
мипс64 он умеет кстати
Quet26.01.2017
15:01:28
15:01:28
но я думаю у тебя конечно не такой мипс )
Dmitry26.01.2017
15:01:31
15:01:31
там кстати машинная обучалка на хаскеле
как раз генерится код всё как мы любим
серверная часть везде на хскеле
но в железках мипс и си. ну есть выбор - покоцанные плюсы или си
Alexander26.01.2017
15:02:05
15:02:05
Мне просто нужно что-то достаточно мелкое и со стейтом и для чего важно latency
Dmitry26.01.2017
15:02:12
15:02:12
я выбираю на си писать в таких услових
Quet26.01.2017
15:02:53
15:02:53
раст вроде умеет мипс32 еще
Dmitry26.01.2017
15:03:02
15:03:02
"умеет"
Открыть в Telegram