Anonymous
это все игры в обесценивание. фактической аргументации здесь нет.
A64m
для себя я уже завершил. зато понятно, как вызвать фурор в Х-м чате: сказать, что язык QQQ лучше Х-я. хотя жаль, что люди вместо фактов приводят в качестве аргументации эмоции (это про "смешно").
по числу диалектов хаскеля факты установить легко. Смотрим в условную компиляцию в реальных хаскельных либах и видим что их где-то 3-5 и они соотсветствуют версиям гхц. Но факты эти вам не интересны
Alexander
это все игры в обесценивание. фактической аргументации здесь нет.
ты проигнорировал абслютно все что тебе писали, какое право ты имеешь так говорить?
Alexander
тебе написали почему тебя не проигнорировали, а посчитали то что ты пишешь необоснованным
Alexander
или неверным
Anonymous
Alexander
правда
Нурлан
помоему это троль, зачем ему отвечать вообще?
Alexander
ну или спроси у трех случайных человек на этом канале
Anonymous
сейчас мы начнем выяснять, кто кого больше игнорирвал.
Alexander
кто читал
A64m
а вообще я с нетерпением жду сообщений о "языках лучше хаскеля", но в случае идриса меня не проведешь, я его видел
Alexander
если скажут, что я не прав, то я исправлюсь, мне не сложно, но после совещания
Anonymous
ну это странная идея спрашивать у людей со стороны. Вы сами свои слова объяснить не в состоянии?
Alexander
потому, что у меня отличается восприятие диалога на 100% от вашего
Anonymous
ну Вы же хаскеллист
Нурлан
а что за голосование что пилить?
Alexander
т.е. я считаю почти все, что вы утверждаете невалидным, и частично абсурдным и объясняю почему я это делаю; вы говорите, что вы не игнорируете, а я игнорирую ваши слова
Alexander
очевидно, что выход из этой ситуации только спросить третье лицо?
Anonymous
ну мы больше говорили с господином А64. нет, вывод такой, что надо оставаться при своем мнении. как и после всех бесед в этих ваших интернетах.
A64m
нету такого голосования
Нурлан
а что пилить-то собирались?
Alexander
решили пятничный вечер устроить
A64m
никто ничего не пилит (больше обычного)
Alexander
кто что пилит, тот и пилит, кто не пилит, тот не пилит
Нурлан
😆
Alexander
было много интересных утверждений в чатике
Alexander
например, что лучше пилить идрис, чем haskell с чего все началось
Нурлан
может сделать какой-то запрет на обсуждение "лучшести" языков?
Anonymous
кто-то прочитает, и начнет пилить Идрис. уже хорошо.
Нурлан
хотябы внутренний
a66ath
Но зачем пилить Идрис?
A64m
так не интересно
a66ath
Лучше помогите Grupoid Infinity
Нурлан
с запретами?
a66ath
Да ничего, пилить нужно)
Нурлан
не понял
Нурлан
почитал выглядит красиво
Anonymous
Максим, это Вы? сразу не узнал в гриме.
a66ath
Я не он
Anonymous
о, раздвоение личности?
Кабачок
а вот тут я проиграл
a66ath
Я тоже
a66ath
Меня приняли за Namdak Tonpa
a66ath
Anonymous
кроме него про GI никто не говорит же
Кабачок
ачивмент гет
Anonymous
тут что, какие-то ставки?
Нурлан
а киньте ка ссыль на норм статью по этому GI а то у меня как раз хаскельные задачки кончились
a66ath
Я говорю
Anonymous
ху а ю?
Alexander
лучше уж агду пилить
Alexander
чем идрис
Alexander
а идрис будто яп?
Alexander
он и не яп и не прувер
Евгений
Ну он тьюринг-полный и имеет эффекты, поэтому ЯП
Alexander
лучше конечно в haskell помочь ричарду, но там все равно менее удобно все будет
Anonymous
agda самодостаточна и почти без глюков. а Идрис надо пилить и обкатывать.
a66ath
ATS? F*?
Евгений
Но мне Идрис не нравится тем, что он жадный. Всё-таки граф-редукция это киллер-фича хаскеля
Anonymous
F* пусть майкрософт пилит. ATS самодостаточен. дефолтная ленивость это зло (я знаю, что в хаскельном чате последнее нельзя произность, ибо это хула на их лямбду, поэтому считайте, что я это не произносил).
Алексей
Alexander
потому, что вы слепцы и не видите и вообще!!!1
a66ath
Alexander
@zraffer можно попросить без воззваний к нему про несправедливость
Alexander
@zraffer проще же
Alexander
функции очевидно композятся
Alexander
сложнее рассуждать, о том, как память использоваться будет - да
Alexander
но то, что фунции все равно на свойства, того кого она вызывает и кто её вызывает чего нету в eager strategy это очень много
Anonymous
сложнее рассуждать, о том, как память использоваться будет - да
ну это и есть вычисление, вернее, потребляемые им ресурсы.
Alexander
ну вот время, например, я ничего не могу сказать про eager evaluation
Alexander
функцию если не вижу как её используют
Alexander
вообще никак, даже при 20+ годах опыта
Anonymous
я видел в сети не один диалог про это, поэтому предлагаю не углубляться. хаскеллистов не переубедить, у них стокгольмский синдром. ленивость их взяла в заложники и они ее полюбили.
Евгений
F* пусть майкрософт пилит. ATS самодостаточен. дефолтная ленивость это зло (я знаю, что в хаскельном чате последнее нельзя произность, ибо это хула на их лямбду, поэтому считайте, что я это не произносил).
Ну никто не придумал как сделать недефолтную ленивость нормально. В любых строгих языках один call-by-name, где нужна ленивость. Это ещё большее зло чем граф-редукция по умолчанию
Евгений
Очень смешно смотреть на все эти корутины и илды