Alexander
хотя у Hask проблемы же с bottom, а не seq в основном? //впрочем тут моих знаний может не хватать
A64m
речь про семантику, как Вы видели, а не про компилятор. теория доменов описывает исходну категорию (допустим, множеств, но можн и типов) и категорию "лифтнутых" доменов. Последняя алгебраична над первой, т.е. там пара сопряженных функторов. Комонада этого сопряжения подходит под описание Lazy.
но без компилятора-то это все не интересно
Anonymous
c seq проблемы настолько тяжкие, что обычно сразу говорят, что все делается без нее
A64m
из-за seq и проблемы
Alexander
я обычно видел, что все без bottom делается, ну ладно
Alexander
возможно они связаны
Anonymous
но без компилятора-то это все не интересно
тут вопрос - кому что интересно. сейчас весь мир сидит с eager. хаскелль вроде плейграунда. не видно, чтобы результаты обкатки ленивости нравились кому-то, кроме самих хаскеллистов.
Alexander
миру нравится go
Alexander
и иногда c#
Alexander
ещё не нравится javascript но им пользуется большинство
Anonymous
да ладно. go нравится кучке отщепенцев. такой же как... oh shi...
Alexander
whatever it means
Alexander
не понял шутки
Anonymous
это самоирония
A64m
тут вопрос - кому что интересно. сейчас весь мир сидит с eager. хаскелль вроде плейграунда. не видно, чтобы результаты обкатки ленивости нравились кому-то, кроме самих хаскеллистов.
что так много ФЯ появилось после хаскеля, чтоб можно было такой вывод делать?
Alexander
большинство языков, школ и обучения идёт про eager языки
Alexander
я не представляю, что должна дать ленивость, чтобы было разумно на неё метаться из mainstream
Anonymous
если будет прозрачная семантика, я бы не возражал. но пока ее нет.
A64m
людям нравятся яваскрипт, ява, питон. Го язык маргинальный, типа скалы раста и хаскеля. Просто в его ужасности обычно видят хорошую заявку на грядущий успех
Anonymous
есть замечательная теория из лямбда-исчисления, про редукцию. это да.
Anonymous
но ее никуда не приложишь.
Евгений
справедливости ради, не во всех языках опциональная ленивость кол бай нейм, но вот в идрисе да, как раз это
А где не колл-бай-нейм? Я видел ещё насильственную "линейризацию", из-за которой call-by-name начинает вести себя как call-by-need.
Но между call-by-name с запретом на копирование и грвф-редукцией пропасть целая
A64m
А где не колл-бай-нейм? Я видел ещё насильственную "линейризацию", из-за которой call-by-name начинает вести себя как call-by-need.
Но между call-by-name с запретом на копирование и грвф-редукцией пропасть целая
все мутабельные имплементации которые кешируют вычисленное значение - кол бай нид. Там где смп нету, они даже не очень тормозят, в окамле, например, где-то раза в два тормознее хаскеля только
кана
людям нравятся яваскрипт, ява, питон. Го язык маргинальный, типа скалы раста и хаскеля. Просто в его ужасности обычно видят хорошую заявку на грядущий успех
ну я должен сказать, что в отличии от раста, работы по го завались
A64m
ну я должен сказать, что в отличии от раста, работы по го завались
ну может по сравнению с растом только
Alexander
кстати с категорностью проблема же в seq+undefined, а не в этих ребятах по отдельности?
Alexander
@zraffer @A64m_qb0 ^
Евгений
ну может по сравнению с растом только
Ну, у нас в конторе переписывают постепенно пыхпых на го. Это при ьом, что это хостинг)
Anonymous
да нет
Anonymous
seq не имеет смысла без
кана
Я оцениваю маргинальность по тому фактору, есть ли язык в энтерпрайз компаниях типа Епама. И да, он есть, иногда приходят рассылки, что мы ищем гоферов, дайте нам линк на гофера и мы вам заплатим, если он устроится
Имхо, го сейчас довольно попсовый язык, новый пхп
Anonymous
...undefined
Anonymous
Alexander
@zraffer в общем-то имеет
Alexander
если не только о семантике говорить
Anonymous
ну в операциональном плане
Anonymous
а споры идет про денотационную семантику
A64m
да это все анекдотические сведетельства. Маргинальность видна по кол-ву пакетов, изменяемым строкам на гитхабе, вопросам на стековерфлоу и прочему, по этим всем показателям го все равно что нет
A64m
отрыв от всяких яваскриптов такойже как у всякой прочей маргинальщины
кана
кана
эээ, прямо за шарпом
Anonymous
глядя на часы - неожиданно полдня провел в чате. за сим откланиваюсь.
A64m
вроде я шарп в числе мегапопулярных и не перечислял, отрыв от тройки лидеров, которе я назвал хорошо заметен
кана
то есть ты называешь ВСЕ языки маргинальными, кроме тройки лидеров? Это что-то лол
andrei
Все языки маргинальны, кроме жс
A64m
так тут он приводился в пример как некий мегапопулярный язык
A64m
ну и гитхаб назывался в числе прочих метрик, т.е. на гитхабе он близок сишарпу, а по числу пакетов и вопросов на СО, например будет сильно отставать
кана
я сравнил госерч и нугет, у го пакетов больше на порядок)
кана
Я правда, открыл первые ссылки по го и по шарпу и взял первые цифры оттуда, может это все не так реально
Зигохистоморфный
но качество этих пакетов...
Quet
на го кстати норм с качеством
Quet
по сравнению с х-ем тем же где большую часть пакетов надо допиливать напильником в проде
Ignat
то ли дело кайфовать с полиморфизмом уровня interface{}
кана
да какая разница, какое качество пакетов, когда такой язык
тут сам факт - го сейчас один из популярнейших языков, как по пакетам, так и по опенсорсу. Сотни тулз для рабочих сред и прочее говно. Он за последние годы неслабо поднялся
A64m
вроде нюгет это ~100K а gopm ~20K
кана
ну я брал эти цифры, я других не знаю
кана
кана
Quet
еще такое сравнение -- на го довольно быстро смогли написать много софта который вполне себе в продакшене у людей
на хаскеле ну pandoc, ну postgrest
что-то еще есть на слуху?
кана
про postgrest я не слышал...
кана
xmonad
Quet
да, xmonad еще (хотя это очень нишевая штука)
A64m
а это https://gopm.io/ что тако тогда?
Anatolii
ну джаве тоже много написали, с либами там все в разы лучше чем в гошечке.
andrei
У го нет пакетного менеджера)
andrei
Можно ставить прямо из гита
Quet
как-то мало для языка которому 30 лет
кана
а это https://gopm.io/ что тако тогда?
да я без понятия, я не гофер давно, открыл первое из гугла
A64m
да до явы и яваскрипта нюгету ка до луны
Anatolii
у гошечки пакетный менеджер - это github master )
Dmitry
@quetzal я бы годы хаскелла отсчитывал бы с ghc 6.12
A64m
в нюгете пакетов грубо говоря, всего в 10 раз больше чем на хекедже
Quet
с 6.12 уже лет 10 прошло?
Dmitry
не уверен
Quet
ну 8
Dmitry
мне кажется, это где-нибудь 2009
Dmitry
ну да.
A64m
лучше где-то с 7.0
Dmitry
но количество либ это функция от числа людей и количество вваленых денег