есть ещё проблема что если включать то нужно формализовать

это сложно, сейчас формализации это статьи

сказать - берите и смотрите статьи нельзя

не будет вообще ничем отличаться от ситуации что сейчас

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

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

ну или как про FC говорят, если это включать, получается, надо весь пейпер про оутсайд-ин включать - кто такой стандарт-то имплементировать будет?

но это, извините, но учет проблем марсиан при проектировании АЭС

ещё я хочу создает ли наличие разных libc, и обёрток над ним разные диалекты си?

т.к. отличия особенностей там на порядок больше, чем от расширений

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

заставляют на 100% согласиться с абсурдной точкой зрения, и ругаются плохими словами если этого не сделать

Потому что люди не PL-теоретики как правило

Как умеют, так и рассуждают

кстати, да, почему-то никто не жалуется на проблемы glibc и привязку софта к особенностям glibc

ладно не абсурдной, доля разумности там есть

кстати, да, почему-то никто не жалуется на проблемы glibc и привязку софта к особенностям glibc

жалуются

поэтому есть musl и другие альтернативы

но это гораздо большая разница, чем очередной FlexibleInstances

или UndecidableSuperClasses

это же совсем разные СИ!!!

я что буду учить миллиард разных СИ?!

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

а если умножить на -std99 -std87 и какие-там ещё?

Чем вам не нравится охулиард языков в одном?

там утверждение, что каждое расширение формирует диалект haskell, из-за этого 100600 диалектов, и это проблема, которых в нормальном языке нет

все "настройки" должны определяться исключительно опцией компилятора

Почему это проблема

Оно же описано

я не знаю почему это проблема

И за границы файлика не протекает вроде

но если этого не признать, то ты слепец не видящий дальше своего носа и привыкший к плохим языкам

как-то так

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

бразиллион диалектов это действительно была бы проблема

похоже я опять всех испугал, и решили с неадекватами не спорить..

когда я буду писать мемуары, я упомяну случай, как однажды мне в Х-м чате пришлось (бесплодно) убеждать браззилион Х-в в том, что их их Х-ь не торт.

Бесплодно убеждать

легко и приятно говорить правду

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

зачем убеждать чатик, в котором почти нет ghc-devs, что ghc-devs что-то делают неправильно?

валидна ль эта критика - другой вопрос

Особенно @A64m_qb0

Он сам что угодно обругает

о как зашевелились

ты здесь ради реакции?

зачем убеждать чатик, в котором почти нет ghc-devs, что ghc-devs что-то делают неправильно?

так речь же шла не про расширения. я просто упомянул, что в выборе между допиливанием зав-типов в Х-е и допиливанием компилятора Идриса я бы выбрал последний. а дальше сообщество расстроилось, почему не Х-ь, и пошло обсуждение.

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

пилят, когда платят или когда из этого получается диссер или просто прикольно

Как на русский перевести thunk адекватно?

задумка

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

Наверное тут где-то пропущено 'не'

А не всё ок

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

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

так речь же шла не про расширения. я просто упомянул, что в выборе между допиливанием зав-типов в Х-е и допиливанием компилятора Идриса я бы выбрал последний. а дальше сообщество расстроилось, почему не Х-ь, и пошло обсуждение.

а, так это даже не просто проблема, а такая, которая делает допиливание идриса более перспективным! ну, это еще смешнее

задумка

в книге «Введение в теорию языков программирования» Леви—Довека переводчики @bravit111 и @ulysses4ever перевели "thunk" как "задумка"

а, так это даже не просто проблема, а такая, которая делает допиливание идриса более перспективным! ну, это еще смешнее

аргументация будет, или как всегда?

как всегда будет

ждем-с

в книге «Введение в теорию языков программирования» Леви—Довека переводчики @bravit111 и @ulysses4ever перевели "thunk" как "задумка"

Хороший перевод, мне нравится. Да и лучше чем санки

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

пишел мой черед говорить смешно

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

т.е слово "смехотворно" Вы используете как аргументацию, да?

нет

но вы кроме смехотворно ничего не прочитали

Вам, конечно, виднее, что я прочитал.

не виднее, конечно, но вы то честно не скажете

у меня такой впечатление, что у нас не получается конструктивная беседа.

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

...и вот опять

идите уже в личку

ведь очень неконструктивно считать, что ждать 25 лет пока имплементация идриса не догонит гхцную по состоянию на сейчас это хуже чем то, что О УЖАС в хаскельных файлах вместе с импортами фичи прописываются

нас уже просят удалиться

/stat@combot

combot.org/chat/-1001043143583

А я за то чтобы вы продолжали. По-моему этот спор завершим

для себя я уже завершил. зато понятно, как вызвать фурор в Х-м чате: сказать, что язык QQQ лучше Х-я. хотя жаль, что люди вместо фактов приводят в качестве аргументации эмоции (это про "смешно").

/stat@combot

combot.org/chat/-1001043143583

легко и приятно говорить правду

легко и приятно верить, что говоришь правду