Просмотр сообщений

В этом разделе можно просмотреть все сообщения, сделанные этим пользователем.


Сообщения - Geniepro

Страницы: 1 ... 126 127 [128] 129 130 131
1906
Сам автор языка Саймон Пейтон Джонс говорит следующее:
"Чтобы писать поистине функциональные, а не императивные программы, действительно необходимо в некоторой степени перестроить мозги. И не слегка. Это очень существенная перестройка."
"Он [Haskell] сложный."
"У Haskell особый подход к программированию. Если он вам незнаком, то изучить его с нуля довольно трудно."

Из этого и надо исходить. А всякие высказывания типа "не вижу проблем" только дизориентируют и вредят делу.
Почитайте статью "Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in Software Prototyping Productivity" -- там упоминалось, как студенту ВУЗа понадобилась пара недель для ознакомления с Хаскеллем, после чего он смог написать вполне конкурентоспособное решение для задачи из этого эксперимента.

1907
2GeniePro... , блин - вынужден признать... жесткая позиция оберонцев мне представляется обоснованной. (таки, в некоторой степени).. В моем представлении "черные боксеры" и за меньшее могут вполне, закопать заживо... а после на месте захоронения сплясать ХИП-ХОП всем "племенем".  ;D
Да, кстати, я, походу, выпал из контекста.
В чём там заключается "жесткая позиция оберонцев" и чем именно она обоснована? А то они много чего говорят, но как дойдёт до обоснования, так сразу в ответ: "Свои "обоснуи" оставьте при себе."

1908
2GeniePro... , блин - вынужден признать... жесткая позиция оберонцев мне представляется обоснованной. (таки, в некоторой степени)

Ну а мне не кажется.

ЗЫ. Ну, раз Вас тянет в сон от введения в Хаскелл, значит Вы уже и так всё в ФП знаете и понимаете, рад за Вас. ;D

1909
через чур много работы для анализа (и синтаксис непривычный, и сущности его (Дмитрия Астапова) анализировать, и соотносить со своим опытом, короче удовольствие еще то  :-\\ ).

Без труда не выловишь и рыбку из пруда... ;D

1910
Извините,  не хотелось бы обвинять вас в расовой нетерпимости....но если бы они были whiteboxer'ами - вы бы к ним были более терпимы?  ;)
Если бы они вели себя так же -- то нет, конечно.

1911
А... так вы из хэтого принципа рекламировали уродства...
о_О Это какие, интересно? Приведите примеры уродств, а то я что-то не догоняю...

хитрый ход, однако,  я уж думал что вы убежденный мазохист- и делаете это что бы получить очередной пистон от oberoncor'ных.... :)
Оберонщики делятся на две категории -- на оберонщиков (Р. Богатырёв, А. Ильин -- вполне вменяемые и адекватные люди) и на блэкбоксёров (которых прокомментировать я могу только матом).
Но ничего, у блекбоксёров руки коротки, здесь им меня не достать... ;D

1912
Нужно конкретно предметно смотреть какие именно возможности не пошли и что это были за возможности такие. Иначе имеем ситуацию не много лучше чем "одна бабка сказала".

Потому как в промышленности тот же SPARK например востребован. И в отличае от Sig# он уже в боингах.
Верно, кто знает, не вышло ли у них как с транзакционной памятью -- в Хаскелле супер, а в дотнете провал полный, ибо сплошная мутабельность везде...

1913
2Geniepro - Учитесь пиарить ЯП!!!   :) - Это действительно может быть веской причиной для перехода на Хаскель- если это дейвтвительно так...
Ненене, я послушный мальчик!
Партия сказала "Avoid success at all costs!" -- я отвечаю "Ok!"

1914
Ну экран-то всё же нужен: те же контакты без экрана -- это как? Помнить все номера? Да нафик надо? Не я для телефона, а телефон для меня.

Просто телефону кроме фонарика больше ничего не нужно, да и фонарик -- просто опция, что бы не таскать отдельно.

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

1915
А ощутимость эффекта от статических проверок тем меньше, чем выше уровень семантики мы пытаемся проверить - и тем сложнее это статически проверить.
Возможно, это и так в языках со слабой системой типов. Однако хаскеллеры утверждают, что система типов им как раз помогает при разработке высокуровневой части кода -- типы помогают понять, а то ли они вообще пытаются сделать, по верной ли дороге вообще идут.

1916
Общий раздел / Re:Идеальный ЯП
« : Март 02, 2011, 05:44:41 pm »
И каждый начнёт громоздить свою нотацию. И каждому надо будет разбираться и привыкать к чужой.
Естественно, ведь идеала нет, а значит нет и удобной для всех нотации.

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

1917
Общий раздел / Re:Идеальный ЯП
« : Март 01, 2011, 04:21:28 pm »
Тогда получается язык под задачу, под каждую задачу/систему (или класс задач) пишется свой DSL. И вот тут то и всплывает призрак лиспа… :-)
Вот-вот.
Осталось только сделать для него возможность менять синтаксис так, как будет удобно для решаемой задачи, не теряя при этом возможности удобной манипуляций с AST...

1918
Кстати, господа для меня лично польза от конкретно этого обсуждения есть - я ТОЧНО понял, что одно только стремление к чистоте НИКОГДА не заставит меня подсесть на Хаскель  :)
А что заставит? :)

Лично меня заставил синтаксис... ;D

1919
1) Когда будут выполняться эти проверки?
1 Во время выполнения
Динамические проверки малополезны.

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

1920
Какую задачку – не знаю. Любую реальную, достаточно большую для того, чтобы имело смысл архитектуру разводить. У меня в голове вертятся либо какие-то телекомные задачки, или какой-нибудь гуй. Важно чтобы эту задачу понимали все участвующие в дискуссии.
Вот на примере GUI-фрэймворка было бы интересно (для меня, по крайней мере).
Сейчас эти задачи решаются в основном в ООП-стиле -- довольно удобен он для этого.
Было бы интересно, какие ещё принципиальные решения могут быть.

Например -- некий GUI-engine предоставляет взаимодействие с пользователем в виде:

Мир (экран, клавиатура, мышь, аудио) => Программа => Мир (экран, клавиатура, мышь, аудио)

Если не вдаваться в низкоуровневые подробности этого GUI-engine, то Программа становится вполне функционально чистой. Насколько это реально удобно, какие могут быть недостатки?

Как можно реализовать этот GUI-engine?

Страницы: 1 ... 126 127 [128] 129 130 131