LINUX.ORG.RU

Вышел новый стандарт Haskell

 ,


0

1

Саймон Марлоу (Simon Marlow) опубликовал анонсированный ранее Haskell 2010 Report (HTML, PDF).

Основные изменения:

  • Добавлен Numeric
  • Добавлено System.IO.Error.{catch,try,ioError}
  • Исправлено множество багов.

Также Саймон указал на то, что чуть позже, в этом году появится новая ревизия Хаскелля, а также что с этого момента он передаёт полномочия главного редактора документа спецификаций главе комитета Хаскелля 2011 года, Малькольму Воллесу (Malcolm Wallace).

>>> Подробности



Проверено: catap ()

Новость хорошая, но обсуждение уныло. Школьники с IQ < 20 задают провокационные на их взгляд вопросы, знатоки Хаскелля и других страшных слов пытаются на них отвечать.

pitekantrop ★★★ ()
Ответ на: комментарий от Macil

>Да нет же! Все намного проще!

да вообще-то модель и не обязана быть сложной. Она просто должна быть и быть вперед всего остального.

Мы «собираем» нашу программу из кусочков

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

Все это обеспечивает матан. матан - основа хаскеля,его фундамент.

AVL2 ★★★★★ ()
Ответ на: комментарий от Macil

Что написано? Самое популярное (после GHC :), наверное, xmonad.

Многое пишется для коммерческого использования - кому интересно, гуглить cufp.

Кто уже впечатлён :), и кому не терпится приступить к изучению Хаскелла, рекомендую начать с http://learnyouahaskell.com/

А выросшим из старшего дошкольного возраста можно начинить с http://book.realworldhaskell.org/

pitekantrop ★★★ ()
Ответ на: комментарий от Macil

В другом, ..., направлении. Снизу-вверх.

Некоторая лажа с проектированием «снизу-вверх» (сокрытие структуры программы) достаточно наглядно описана в статье Дж. Бэкуса про алгебру функциональных программ.

impfp ()
Ответ на: комментарий от anonymous

> Каким образом? Жаба это императивный язык программирвания, нацеленный на мейнстрим, быстроту, стабильность и надежность любой разработки. Те кому хочется научность из жаберов пользуют Скалу, быдлокодеры любящие быстро наговнять килобайты говнокода берут Груви. ЖВМ платформа на сегодня предоставляет широкий выбор языков.

Думаю, почти все, кто пишет на Скале, имеют представление о Хаскелле тоже.

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

pitekantrop ★★★ ()
Ответ на: комментарий от AVL2

> ни разу. у Брина сначала были работы по ранжированию в поисковых системах, а потом уже была реализация. О работах Фицпатрика я ничего не слышал.

Ты математический доклад про систему блогов хочешь?

// покормил, видимо

oh ()
Ответ на: комментарий от anonymous

> Очень жаль, что он начал вылезать из браузеров и очень жаль, что в браузерах ему замены пока не видно.

Очень хорошо, что можно практически на любом компьютере (включая некоторые мобильные телефоны) есть язык программирования который можно использовать.

Как мне кажется, основная заслуга JS в том что он доказал возможность частичной JIT компиляции методов.

Еще в JS интересна концепция малого количества базовых типов. Фактически имеется три основных базовых типа: число с плавающей точкой, массив и ассоциативный массив.

sign ()
Ответ на: комментарий от pitekantrop

> Думаю, почти все, кто пишет на Скале, имеют представление о Хаскелле тоже.

Ага, все два с половиной математика.

anonymous ()

О, как тут, никогда не написавшие ни одной реальной программы, яйцеголовые «теоретики программирования» и «великие математики» в количестве двух штук (т.е. 33% от всех «программирующих» на хаскеле в мире) метанируют, просто загляденье! ЧСВ уже за 9000 перевалило... Мертворожден ваш хаскель, уже загнил весь и покрылся плесенью, смиритесь со свое участью неудачников и успокойтесь уже, некрофилы.

anonymous ()
Ответ на: комментарий от oh

>Ты математический доклад про систему блогов хочешь?

а что? тебя смущает слово математика?

AVL2 ★★★★★ ()
Ответ на: комментарий от sign

> Как мне кажется, основная заслуга JS в том что он доказал возможность частичной JIT компиляции методов.

А как по мне основная заслуга JS в том, что он стал первым массово используемым языком с замыканиями.

Еще в JS интересна концепция малого количества базовых типов.

Lua в этом преуспела намного лучше и немного раньше.

anonymous ()
Ответ на: комментарий от anonymous

>> Думаю, почти все, кто пишет на Скале, имеют представление о Хаскелле тоже.

Ага, все два с половиной математика.

Во-первых, математики там нужно знать не больше, чтобы писать на жабе (я про Скалу).

Во-вторых, я на Scala Days не попал в этом году из-за того, что билеты за месяц раскупили (орги не ожидали такого наплыва).

В-третьих, гуманитарий, ты уроки сделал?

pitekantrop ★★★ ()
Ответ на: комментарий от pitekantrop

> В-третьих, гуманитарий, ты уроки сделал?

у тебя девушка-то хоть раз была, очкарик? )) ах, ну да, ну да, тебе же некогда: все на картинки в учебнике по матану др_чишь :D

anonymous ()

Re: Вышел новый стандарт Haskell

Больно уныл ваш хаскел. Мне всегда казалось, что компилятор ЯП высокого уровня должен уметь разруливать различные проблемы архитектуры. А тут хескелоиды утверждают, что хаскел такой хороший, и, чтобы не сталкиваться со всякими stack overflow, пользуйте одно вместо другого, и ещё over9000 отмазок.

Вопрос: - Зачем изобретать потенциально провальные функции? - Какого хрена я должен задумываться об архитектуре во время использования высокоуровневого ЯП? У меня ассемблер есть для архитектурных хаморочек.

И да, миру нужны не математики, а те, кто будут писать РАБОЧИЙ КОД. Поэтому, пока ЯП не позволяет средненькому погромисту со средним же IQ эффективно писать рабочий код - такой ЯП не нужен.

NIR ()
Ответ на: комментарий от AVL2

Да, и я не понимаю, какое отношение она имеет к блог платформе.

oh ()
Ответ на: комментарий от pitekantrop

> Во-первых, математики там нужно знать не больше, чтобы писать на жабе (я про Скалу).

Быдло-язык, истинно тебе говорю. Сейчас без математического обоснования даже бложик писать постыдно.

билеты за месяц раскупили (орги не ожидали такого наплыва).

Шесть билетов было, на седьмого уже не хватило?

В-третьих, гуманитарий, ты уроки сделал?

Каникулы же.

Расскажи мне, математик, что и в какой организации лично ты официально пишешь на скале и сколько тебе за это платят.

anonymous ()
Ответ на: комментарий от anonymous

> А как по мне основная заслуга JS в том, что он стал первым массово используемым языком с замыканиями.
Угу, которые в нем никто не использует.

oh ()
Ответ на: комментарий от oh

> Угу, которые в нем никто не использует.

Почему же, используют. Просто иногда на JS пишут на чём-то в стиле Java. Может название смущает, а может всё кажется очень уж знакомым на первый взгляд. Но есть и в JS аксакалы, код которых интересен.

AlexKiriukha ★★★★ ()
Ответ на: комментарий от AlexKiriukha

Ну, а где их использую-то? Покажите, реально интересно.

oh ()
Ответ на: Re: Вышел новый стандарт Haskell от NIR

Re: Вышел новый стандарт Haskell

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

NIR ()
Ответ на: Re: Вышел новый стандарт Haskell от NIR

Re: Вышел новый стандарт Haskell

> Поэтому, пока ЯП не позволяет средненькому погромисту со средним же IQ эффективно писать рабочий код - такой ЯП не нужен.

Быдлокодеры не нужны. Нужны те, кому не влом поинтересоваться, что зачем и почему кто-то с этим возится.

anonymous ()
Ответ на: комментарий от Ilshat

>И почему-то кажется, что Ilshat тормоз с таким подходом.

//fixed

Led ★★★☆☆ ()
Ответ на: комментарий от impfp

Нет циклов - учитесь рекурсивно выражать свои мысли.

это, кстати, спорный вопрос:

main = do
    forM_ [1..10] $ \i -> do
        putStrLn $ "Ololo number: " ++ show i

Хотя, да, циклы не нужны :)

Waterlaz ★★★★ ()
Ответ на: комментарий от anonymous

>Как это помогает среднестатистическому кодерку шлепать формочки для говновеба?

Да 90% всех говнокодеров будет Хаскель только до пенсии осваивать и зачем? Чтобы написать одну едиснвтенную программу и умереть?

И че теперь делать? Из-за кретинов самому им становиться? Мы пишем на хаскеле и нам нравится. Как бы это главное.

Waterlaz ★★★★ ()
Ответ на: комментарий от Ilshat

>> Нет циклов - учитесь рекурсивно выражать свои мысли.

Как-то даже пугает :-)

И почему-то кажется, что haskell тормоз с таким подходом.

Когда кажется, креститься надо. :3

И нет, не тормоз. С таким подходом всегда есть хвостовая рекурсия.

Waterlaz ★★★★ ()
Ответ на: комментарий от Waterlaz

> Мы пишем на хаскеле и нам нравится.

В какой организации вы работаете, официально пишете на Хаскелле и какие проекты?

anonymous ()
Ответ на: комментарий от anonymous

>> Мы пишем на хаскеле и нам нравится.

В какой организации вы работаете, официально пишете на Хаскелле и какие проекты?

Официально пишу на хаскел. Потому что работаю в НИИ, и там всем пофиг на чем я проверяю теорию.

Waterlaz ★★★★ ()
Ответ на: комментарий от Waterlaz

> Мы пишем на хаскеле и нам нравится.

Потому что работаю в НИИ

петросян, епте...

anonymous ()
Ответ на: Re: Вышел новый стандарт Haskell от anonymous

Re: Вышел новый стандарт Haskell

> Нужны те, кому не влом поинтересоваться, что зачем и почему кто-то с этим возится.

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

anonymous ()

опять новый формат? то-то я на хаскеле не хочу ничего писать

bernd ★★★★★ ()
Ответ на: Re: Вышел новый стандарт Haskell от anonymous

Re: Вышел новый стандарт Haskell

>если кто-то ковыряется в говне и ему это доставляет удовольствие до поросячьего визга, то теперь все должны бросаться в это дело по уши? ) нет уж, спасибо ))

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

anonymous ()

Катати, Хаскелиная спецификация раза в 3 короче Явской. Т.ч. он таки сильно проще.

DonkeyHot ★★★★★ ()
Ответ на: комментарий от anonymous

>> А как по мне основная заслуга JS в том, что он стал первым массово используемым языком с замыканиями.

Далеко ни первым. Замыкания существовали в массово используемых языках когда еще ни JS, ни мамы его - Netscape в далеких планах не было.

cathode ()

Хаскель подойдет любому проекту и любой команде программистов, если вы - руководитель.

anonymous ()
Ответ на: комментарий от oh

>Да, и я не понимаю, какое отношение она имеет к блог платформе.

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

AVL2 ★★★★★ ()
Ответ на: Re: Вышел новый стандарт Haskell от NIR

Re: Вышел новый стандарт Haskell

>Мне всегда казалось, что компилятор ЯП высокого уровня должен уметь разруливать различные проблемы архитектуры.

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

Зачем изобретать потенциально провальные функции?

они не провальные, а ресурсоемкие.

Какого хрена я должен задумываться об архитектуре во время использования высокоуровневого ЯП?

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

И да, миру нужны не математики, а те, кто будут писать РАБОЧИЙ КОД.

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

AVL2 ★★★★★ ()
Ответ на: комментарий от anonymous

>> Мы пишем на хаскеле и нам нравится.

Потому что работаю в НИИ

петросян, епте...

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

Waterlaz ★★★★ ()
Ответ на: комментарий от pitekantrop

> Кто уже впечатлён :), и кому не терпится приступить к изучению Хаскелла, рекомендую начать с http://learnyouahaskell.com/

Спасибо, почитаю, интересно из-за чего весь шум :-)

Кста, здесь есть перевод неск. глав: http://habrahabr.ru/blogs/Haskell/

А выросшим из старшего дошкольного возраста можно начинить с http://book.realworldhaskell.org/

Вроде тоже понятно написано.

Ilshat ()
Ответ на: комментарий от oh

> Ну, а где их использую-то? Покажите, реально интересно.

Я использую очень широко (скринкаст вчера показывал). Вообще, JS очень интересный язык, который позволяет делать впечатляющие вещи (с точки зрения организации программы) и чего от него по первому впечатлению нельзя было ожидать. И да, ООП там просто отличный.

archimag ★★★ ()
Ответ на: комментарий от r

Хм.. прикольно. Я как-то думал, что это больше к социальным наукам тянется.

oh ()
Ответ на: комментарий от exec0x

> Скажем прямо, хаскель просто г.., а не язык.

ггг :) Ну прямее уже некуда! +2^10.

Просто поражают эти любители факториалов и фибаначей засирать людям моск.

Что такое хелловорлд? Это вот:
print «Hello world»

Всё остальное (включая хацкель) - от лукавого.

Цикл - такая же нормальная алгоритмическая единица, как и goto. Решать задачи через рекурсию может быть и клёво (если ещё и пыхнуть), но абсолютно тупо в плане очевидности алгоритма и его поддержки.

Мэйнстрим не терпит идиотов и клоунов, поэтому там нет Хацкеля.

matumba ★★★★★ ()
Ответ на: комментарий от archimag

Видел скринкст. А ты там чтоли на голом JS пишешь, без библиотек?

А ООП там непонятно зачем, хотя да, есть Joose.

oh ()
Ответ на: комментарий от matumba

Сложение регистров - такая же нормальная алгоритмическая единица, как и goto.

Намек понял?

oh ()
Ответ на: комментарий от pitekantrop

> А тру-жабакодеры ничего, кроме жабы знать не хотят.

зато заказчик спокоен - типа любой жабакодер может там что-нибудь подправить.


Какая-то у вас странная (хацкельская?) логика: вы перечисляете правильные мысли, но вывод делаете достаточно неадекватный.
Вы вообще за деньги работали? А нанимали кого-то? Вот когда из своего дырявого кармана с двадцаткой вы заплатите хотя бы пятёрке «жабокодеров» за годичный проект, тогда и начинайте рассуждать, почему эти ослы никак не хотят изучать «хацкель/скалу/досыпать-говно-по-вкусу». :) Люди РАБОТАЮТ, а для профессионального результата голова должна быть занята 25 часов в сутки, причём не борьба с «почему эта скобка не выдаёт результат», а намного более высокие проблемы - архитектура, оптимизация, тесты... И как и везде, нужно учитывать человеческий фактор (похоже, хацкелянты с трудом различают людей вокруг): кто-то заболел, кто-то уволился, один после ПТУ, другой после косяка, ВСЕ ОНИ должны сесть и писать код. И жаба в этом плане превосходна - проста, поддерживаема, куча либ и прогеров, способных быстро вникнуть в проект. Хацкелянтам об этом продакшене только мечтать. Поспоришь?

matumba ★★★★★ ()
Ответ на: комментарий от oh

> Видел скринкст. А ты там чтоли на голом JS пишешь, без библиотек?

Ну что значит без библиотек? Базовая JQuyer, RTree.js, cl-closure-template для клиентских (JS) шаблонов (как, впрочем, и серверных).

А ООП там непонятно зачем


Хм, а как делать графический интерфейс без ООП? В смысле, зачем так мучаться?

хотя да, есть Joose.


А вот это в топку. Встроенных средств достаточно.

archimag ★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.