Сообщество любителей есть макароны с кетчупом совсем не думает о своём visibility
у них нет общества
Aliester
Oleksandr
это тоже)
Alexander
Сообщество любителей есть макароны с кетчупом совсем не думает о своём visibility
У них простая идея, которая ложится на благодатную почву. У нас идея не такая простая, и с такой же легкостью войти в головы не может. Значит, нужно прилагать больше усилий.
кана
Сообщество любителей есть макароны с кетчупом совсем не думает о своём visibility
- ну так они не сообщаются
- от того, как много людей будет есть макароны с кетчупом, для них ничего не зависит
Aliester
это не сообщество, а множество
Oleksandr
Это тоже хорошо, но либы - они для внутренних нужд. Писать нужно приложения, и рассказывать о приложениях.
угу, какие-то офигительные истории "как мы daily пишем на хаскеле", практическое набивание шишек, то-се — это было бы прикольно
Leonid 🦇
parket
Мир состоит из идиотов, не способных мыслить. Научиться чисто механически там что-то делать - это пожалуйста. Поэтому языки типа Haskell никогда не будут мейнстримом. Слишком серьезный бэкграунд нужен. А вот какой-нибуть *any_mainstream_lang* - пожалуйста. Кому-то надо ехать, а кому-то шашечку. Бизнесу надо ехать. Посадил дебилов, и пусть педалят. Дешево и сердито.
Alexander
Мир состоит из идиотов, не способных мыслить. Научиться чисто механически там что-то делать - это пожалуйста. Поэтому языки типа Haskell никогда не будут мейнстримом. Слишком серьезный бэкграунд нужен. А вот какой-нибуть *any_mainstream_lang* - пожалуйста. Кому-то надо ехать, а кому-то шашечку. Бизнесу надо ехать. Посадил дебилов, и пусть педалят. Дешево и сердито.
Опыт Скалы и С++ показывает иное. Или вы считаете, что это простые языки?
parket
Не знаю, как Скала, но Си++ - простой концептуально.
Aliester
в хаскеле надо думать
Andrei
Опыт Скалы и С++ показывает иное. Или вы считаете, что это простые языки?
эти относятся к обманчиво простым
Aliester
в С++ надо страдать
Leonid 🦇
Интересно, а у меня какой такой серьёзный бэкграунд...
Alexander
Я не знаю, что вы имеете в виду под "концептуально", но на всякий случай не соглашусь.
Aliester
просто страдать достаточно чтобы пораниться обо все с чем ты можешь столкнуться
Alexander
P.S. Ребят, лучше будет, если я на "ты" стану обращаться?
кана
да
Alexander
Окей, спасибо
parket
Я не знаю, что вы имеете в виду под "концептуально", но на всякий случай не соглашусь.
О том, что я не говорю про реализацию. Ничего нового. Был процедурный Си. Стал ООП-шный C++. То, что можно отстрелить себе ноги - вопрос 10.
Alexander
У С++ философия поменялась, как минимум, 1 раз (приход С++11), а подозреваю, что и больше, просто я не застал.
Alexander
Плюсы десять лет назад и сейчас - два очень разных языка.
parket
Плюсы десять лет назад и сейчас - два очень разных языка.
Я скорее про те, которые 10 лет назад. Что там сейчас, вообще не в теме.
Alexander
Сейчас это один из самых сложных промышленных языков, а я думаю, что самый.
Влод
10 лет назад тоже
Влод
да и не то что бы особо поменялись
parket
Сложный в каком смысле? Легко ошибиться, и потом годами искать откуда течет память? Это да. Но я не про это говорил.
Влод
сложно компилятор написать
Alexander
Очень поменялись. На хадркорных плюсовых конференциях (вроде той, на которую я собираюсь в апреле с докладом) рассказывают о вещах, которые в сложности легко потягаются с самыми сложными вещами в Haskell
Влод
например
кана
а че кстати самое сложное в хаскеле?
Влод
(я тебе верю, просто интересно про что именно речь)
Влод
алсо говорите "сложное в хаскеле" как будто это что-то к чему надо стремиться
Влод
о чём говорят
Alexander
Очень много говорят о метапрограммировании, для которого начиная с С++11 появились пара десятков языковых фич
кана
Day Convolution — это всего-навсего тензорное произведение в категории естественного преобразования [C, Set].
(цитата)
Alexander
Много обсуждают параллельное программирование и все с ним связанное.
Alexander
Много обсуждают модели памяти (с С++11 модель памяти, наконец-то, определена в стандарте)
parket
Очень много говорят о метапрограммировании, для которого начиная с С++11 появились пара десятков языковых фич
Ага. У лиспа есть фатальный недостаток, очевидно.
Alexander
Влод
Очень много говорят о метапрограммировании, для которого начиная с С++11 появились пара десятков языковых фич
наверное уже может джсонку сериализовать/десериализовать по определению класса?
Alexander
а че кстати самое сложное в хаскеле?
У всех по-разному. Но у 99%, вероятно, будут сложности с кметтизмами
Alexander
наверное уже может джсонку сериализовать/десериализовать по определению класса?
Не в курсе.
Замечу, что сами концепции, которые пришли в С++, не новы и существуют в других местах по десять и более лет. Просто в этом языке, сложном в своем ествестве, и концепции реализуются сложно, что и приводит к трудностям, о которых можно говорить на конференциях.
Andrei
я попрошу! героически преодолеваемым трудностям!
Влод
о
Влод
я могу дать тебе суперсложный квест
Влод
для него потребуется глубокие знания в с++ метапрограммировании
Alexander
У меня поверхностные знания в С++. Тем более, в метапрограммировании.
Влод
ээх
Влод
а так рекламировал
Alexander
Но что прикольно, ряд топовых плюсовиков - нескрывающие сей факт хаскеллисты. И они несут из Haskell разного рода годноту.
Влод
да мало что там можно перенести
Влод
во всех языках упираешься в отсутствие НКТ
Alexander
И они на конференциях об этом рассказывают :)
Ю ли я? 🤔
В плюсах есть сорт оф HKT! Там параметром шаблона другой шаблон (неинстанцированный) может быть.
Alexander
HKT == Higher kinded types?
Ю ли я? 🤔
Ага
Andrey
(выходя из телефонной будки) - а напомните ссылку на разбор Клапауциусом реализации мапов (функторных) на разных языках?
кана
во всех языках упираешься в отсутствие НКТ
шаблоны в плюсах могут быть аргументами для шаблонов
кана
о, уже написали
Alexander
Да, темплит-темплитные параметры
Влод
типа можно <F<A>, F<B>> ?
Alexander
В свое время я запилил простейшие линзы на С++. Пришлось использовать метапрограммную магию с вот этим вот всем. Сейчас не могу понять код
Влод
хотя не так записывалось бы
кана
template <template <typename> class m>
struct Monad {
template <typename a>
static m<a> mreturn(const a&);
template <typename a, typename b>
static m<b> mbind(const m<a>&, m<b>(*)(const a&));
};
Влод
там вообще можно сказать что f<A, B, F> и что F :: * -> *
Влод
я так вспоминаю - там констрейнты особо не повыставлять
Alexander
template <template <typename> class m>
struct Monad {
template <typename a>
static m<a> mreturn(const a&);
template <typename a, typename b>
static m<b> mbind(const m<a>&, m<b>(*)(const a&));
};
Да. А скоро обещают и концепты завести (== классы типов)
Влод
ну не скоро же
Alexander
Не - в смысле, не скоро?
Alexander
Ну окей. Пусть будет не скоро.
Mikhailъ⃞
c++20 или -fconcepts
кана
я почему-то думал что уже завезли, год назад видел какой-то пост про сравнение концптов, тайпклассов и трейтов
Влод
template <template <typename> class m>
struct Monad {
template <typename a>
static m<a> mreturn(const a&);
template <typename a, typename b>
static m<b> mbind(const m<a>&, m<b>(*)(const a&));
};
<template <typename> class m>
да чёт такого раньше не видел
Mikhailъ⃞
они очхотели, но перед релизом передумали и не вклеили тску