Дата рождения: 17.01.1984
айтишнег, веллер
rion
а что вообще хорошего в хаскеле есть? объясните человеку привыкшему писать на c/c++/python/php/js
mva
rion, cast 0xd34df00d
postman
Мощная система типов.
snackbar
rion
в общем я понял, что надо таки самому посмотреть :)
хотя комент дедфута наверное наиболее четко и кратко описывает всё, что мне запомнилось из других источников =)
qnikst
postman
qnikst
вопрос - список ответов - ок сам посмотрю, т.е. не уточнения или что заинтересовало или не понятно, а нечто близкое к полному игнорированию данной информации, тем самым нулевой толк с треда. Примерно так
postman
qnikst, может, он ничего не понял.
snackbar
postman, хули там непонятного, это не монадками списки генерировать.
rion
ну я же просил "объясните для тупого быдла", а получил ответ для "доктора наук" в соответствующих терминах =)
snackbar
qnikst
ну простого ответа нет. В общем это был список базовых вещей, которые если знакомы, то стоит посмотреть. Если не знакомы то уточнить хочется ли знакомиться и вперёд. Т.е. тут после пары тройки вопросов можно получить вектор изучения (если есть цель использовать его)
snackbar
В этом ИТТ треде был список базовых вещей?
postman
qnikst
сорь, с /4 промазал, тот точно не нужен.
snackbar
Зачем удалять комменты?
qnikst
повторюсь, компилируемый язык, в результате получается программа очень качественной рантайм системой со сборщиком мусора, и простой возможностью вызова внешних (читай сишных) функций. Выразительная система типов (слабее чем в proof caring языках), но при этом не мешающая рефакторингу, синтаксис позволяющий удрбное написания встраиваемых ЯП, поддержка software transactional memory, разделение чистого кода и кода с эффектами, компилятор с широкими возможностями оптимизации
qnikst
в общем приятный язык, но с либами есть некоторые проблемы, обычно вендоры не рвутся байндинги и т.п. писать, да и интырпрайз либ мало
rion
сеньк =)
snackbar
qnikst, > не мешающая рефакторингу
Обесни для тупых, как сильная Х-М может мешать рефакторингу?
компилятор с широкими возможностями оптимизации
Векторизовать без пердолинга в блидинг-едже-папиры научился уже?
postman
векторизовать
ссылки ссылками погоняют и просят еще лени для бога лени
snackbar
postman, чё.
Берёшь кароч выводишь, что аргумент всегда используется, делаешь анбоксинг сразу и векторизуешь операции с ним, хуль.
qnikst
strictness анализатор и анбоксинг будут, а векторизация только если llvm догонит, хотя это при картера, он чето делал в этом направлении, может даже с newcode-gen все хорошо.
qnikst
а вот это уже в отличии от почившего /3 не так очевидно. Хотя нигде кроме числодробилок и прочего high performance не нужно :)
postman
qnikst, притом числодробилки на хачкиле не нужны, зачем там сборка мусора и мощные типы?
qnikst
извини, я не знаю откуда взялось утверждение, что "числодробилки на хацкеле не нужны" и считаю его неверным. Так же если предположить, что оно верное, то я не понимаю как из него вытекли эти два вопроса. Итого я не понимаю, как тут модно что-либо вразумительное ответить :/
postman
qnikst, все наоборот, из вопросов вытекает утверждение.
qnikst
из вопросов "зачем gc" и "зачем система типов" вытекает, что число дробилки не нужны?.. Давай ты их разделишь и аккуратнее сформулируешь, а я уже попробую ответить.
postman
qnikst, вопрос подразумевает то, что я считаю, что они не нужны в дробилках.
qnikst
чем система типов то помешала? Она помогает оптимизировать. С GC тоже все не очевидно, т.к. зачастую от него может быть положительный эффект, у меня на работе напр. делали обработку графов, так хацкельная программа (не особо оптимизированная) уделывала STINGER (жутко оптимизированная сишная библиотека), именно за счет наличия ГЦ. Во многих дробилках тебе на гц плевать, а больше будет заботить наличие fusion (грубо говоря, компилятор будет удалять аллокации промежуточных структур в принципе)
postman
qnikst, ну графы - это не дробилка, я имел в виду именно всякое ПО для расчета турбулентности мочи в унитазе и прочее.
qnikst
х.з. имхо вычисление всяких компонент связности и т.п. коэффициентов попадают под дробилку, с турбулентностями, я честно не связывался. Но там же проще сгенерить сишку, как например в MetaOCAML (хз кстати почему не хацкель, могу потом спросить)
qnikst
а если ты генеришь сишку при этом на ходу оптимизируешь представление и коммуникации под железо (см. telescoping compiler напр.) то система типов тебе очень нужна.
qnikst
берёшь агду, а потом меняешь понимаешь, что нужно поправить алгортитм. Векторизовать это в dph, Vectors но там чет затормозилось все как Лещинский дописал свои диссеры и т.п
snackbar
qnikst, тратить время на объяснения чего-то там другим людям вообще не имеет смысла // только если не ради троллинга.
почитал пока вот это http://habrahabr.ru/post/124270/
Yachoo! Пишет человек, который не удосужился прочитать спецификации языка, многострочные строковые литералы не поддерживаются у него ..