rion, cast 0xd34df00d

почитал пока вот это http://habrahabr.ru/post/124270/

Yachoo! Пишет человек, который не удосужился прочитать спецификации языка, многострочные строковые литералы не поддерживаются у него ..

Мощная система типов.

rion, он выразительный.

в общем я понял, что надо таки самому посмотреть :)
хотя комент дедфута наверное наиболее четко и кратко описывает всё, что мне запомнилось из других источников =)

в общем понял, тратить время на rion не имеет смысла.

qnikst, огласи алгоритм принятия решений.

qnikst, тратить время на объяснения чего-то там другим людям вообще не имеет смысла // только если не ради троллинга.

вопрос - список ответов - ок сам посмотрю, т.е. не уточнения или что заинтересовало или не понятно, а нечто близкое к полному игнорированию данной информации, тем самым нулевой толк с треда. Примерно так

qnikst, может, он ничего не понял.

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

ну я же просил "объясните для тупого быдла", а получил ответ для "доктора наук" в соответствующих терминах =)

rion, /13

qnikst, погоди, /3 был твоим комментом, и ты от бугурта еще и удалил его?
Фи.

ну простого ответа нет. В общем это был список базовых вещей, которые если знакомы, то стоит посмотреть. Если не знакомы то уточнить хочется ли знакомиться и вперёд. Т.е. тут после пары тройки вопросов можно получить вектор изучения (если есть цель использовать его)

В этом ИТТ треде был список базовых вещей?

сорь, с /4 промазал, тот точно не нужен.

Зачем удалять комменты?

повторюсь, компилируемый язык, в результате получается программа очень качественной рантайм системой со сборщиком мусора, и простой возможностью вызова внешних (читай сишных) функций. Выразительная система типов (слабее чем в proof caring языках), но при этом не мешающая рефакторингу, синтаксис позволяющий удрбное написания встраиваемых ЯП, поддержка software transactional memory, разделение чистого кода и кода с эффектами, компилятор с широкими возможностями оптимизации

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

qnikst, > не мешающая рефакторингу
Обесни для тупых, как сильная Х-М может мешать рефакторингу?

компилятор с широкими возможностями оптимизации

Векторизовать без пердолинга в блидинг-едже-папиры научился уже?

векторизовать

ссылки ссылками погоняют и просят еще лени для бога лени

postman, чё.

Берёшь кароч выводишь, что аргумент всегда используется, делаешь анбоксинг сразу и векторизуешь операции с ним, хуль.

берёшь агду, а потом меняешь понимаешь, что нужно поправить алгортитм. Векторизовать это в dph, Vectors но там чет затормозилось все как Лещинский дописал свои диссеры и т.п

сеньк =)

strictness анализатор и анбоксинг будут, а векторизация только если llvm догонит, хотя это при картера, он чето делал в этом направлении, может даже с newcode-gen все хорошо.

а вот это уже в отличии от почившего /3 не так очевидно. Хотя нигде кроме числодробилок и прочего high performance не нужно :)

qnikst, притом числодробилки на хачкиле не нужны, зачем там сборка мусора и мощные типы?

извини, я не знаю откуда взялось утверждение, что "числодробилки на хацкеле не нужны" и считаю его неверным. Так же если предположить, что оно верное, то я не понимаю как из него вытекли эти два вопроса. Итого я не понимаю, как тут модно что-либо вразумительное ответить :/

qnikst, все наоборот, из вопросов вытекает утверждение.

из вопросов "зачем gc" и "зачем система типов" вытекает, что число дробилки не нужны?.. Давай ты их разделишь и аккуратнее сформулируешь, а я уже попробую ответить.

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

чем система типов то помешала? Она помогает оптимизировать. С GC тоже все не очевидно, т.к. зачастую от него может быть положительный эффект, у меня на работе напр. делали обработку графов, так хацкельная программа (не особо оптимизированная) уделывала STINGER (жутко оптимизированная сишная библиотека), именно за счет наличия ГЦ. Во многих дробилках тебе на гц плевать, а больше будет заботить наличие fusion (грубо говоря, компилятор будет удалять аллокации промежуточных структур в принципе)

qnikst, ну графы - это не дробилка, я имел в виду именно всякое ПО для расчета турбулентности мочи в унитазе и прочее.

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

а если ты генеришь сишку при этом на ходу оптимизируешь представление и коммуникации под железо (см. telescoping compiler напр.) то система типов тебе очень нужна.