LINUX.ORG.RU

Вышел пятый выпуск Haskell Platform

 , , , ,


2

5

Вчера, 3 июня, спустя примерно полгода со времени предыдущего релиза, вышел пятый (за номером 2012.2.0.0) выпуск Haskell Platform — простого в установке окружения разработки для языка Haskell.

Данный выпуск включает в себя:

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

★★★★

Проверено: mono ()
Последнее исправление: Silent (всего исправлений: 1)
Ответ на: комментарий от Macil

Я говорил конкретно о том что применяют в Deutsche Bank, а не про вашу конюшню сферических поделий. Читайте тред же.

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

На лиспе, кстати, в отличие от сабжа очень просто писать в императивном стиле.

В функциональном стиле, кстати, тоже.

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

Почему ты так думаешь? Просто это не так афишируется.

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

Хаскель, вне сомнения, хороший язык, но вот только слишком он уж вундервафля. Ъ-языки — маленькие языки с элементарным ядром.

buddhist ★★★★★
()
Ответ на: комментарий от I-Love-Microsoft

На входе - программа на своём DSL (высокоуровневую логику на HDL очень печально писать), на выходе - машинносгенерированный VHDL. ПЛИС Altera. У компилятора есть два фронтэнда: Си-подобный для начинающих любителей и лисповый для гуру, с макросами и т.п.

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

ваще фантастика - если оно настолько эффективно - не хотите ли вы продавать такой софт? :)

тем более говорите что чуть ли не Си-подобный код на входе - ну это просто улёт

I-Love-Microsoft ★★★★★
()
Ответ на: комментарий от I-Love-Microsoft

Конечно, можно было бы в отдельный коммерчески успешный продукт развить, но это хоть отдельную контору делай, ибо в его существующей это всего лишь часть вещей особой интересности :)

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

На текущий момент хаскель - это конкуретное преимущество

Это в какой Вселенной?

import NET

upload :: String -> String -> String -> IO (Int)
upload user passed file = 
   invokeStatic "[GoogleDoc.dll]GoogleDoc" "Upload" (user, passed, file)

<blablabla>

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

Ну ладно, хрен с ними, гуглдоками. Обратимся к ПДФ. Задача простая - распарсить .PDF-файл (заполненный XFA). Конкурентный максимум хаскеля на данной задаче - это вычленить лысый текст. Без богомерзкого неповоротливого мейнстрима, на этот раз в лице С/С++ - никак.

Нах нах такое конкурентное преимущество.

malbolge ★★
()

Ну что, «умные» люди сидят на мейнстриме с хорошими библиотеками? Тогда должны быть и «рисковые» люди, которые попробуют вычленить конкурентное преимущество. Я записываюсь во вторые, мой проект на сабже живёт и развивается.

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

в gentoo поддерживаются последние совместимые версии библиотек, т.е. если что не работает, то оно правится и репортится, полёт весьма успешный.

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

Ты одного штангиста за дюжину посчитал?

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

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

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

Но в лиспе нет четкого разграничения, где какой стиль. Например, циклы там очень декларативны, отвечая больше на вопрос «что сделать?» нежели «как?», хотя циклы и реализуются внутри через императивные конструкции на уровне самого языка с помощью макросов.

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

Видел недавно одну вакансию на Хаскеле.

дада. в нерезиновой и за 40к ))

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

в лиспе нет четкого разграничения, где какой стиль

Сколько лисп-диалектов — столько и стилей.

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

но у меня такое ощущение что изначально код, который вы сократили и пример которого привели, был написан вкривь вкось, не может быть нормально написанный HDL-код быть в разы неэффективен, стандартные альтеровские и xilinx-овские синтезаторы производят довольно оптимальный результат, не говоря о том что специализированные коммерческие могут еще немного более выжать

можете привести пример простого 128-битного счетчика на вашем «Си-подобный для начинающих любителей» и его вывод в VHDL? это если не затруднит или если это вообще не супер секретная тайна :) реально интересно

I-Love-Microsoft ★★★★★
()

Товарищи, я в восторге. Уря!!! Уря!!! Уря!!! Слава тем кто платформу пилит. Я и не надеялся увидеть ghc7.4.1 в платформе в этом году, думал придётся заботится о совместимости со старым 7.0.4 хаскелем. А тут такой подарок. Всё, жизнь удалась. Люблю всех челавекаф!!!

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

Любопытно, что из новых плюшек ты используешь, что так радуешься возможности отказаться от совместимости с 7.0.4?

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

в библиотеках месиво было же, а сейчас всё просто работает

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

По раздутости и попыткам все объять, очевидно же.

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

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

+100500

Причем несколькими способами. Надо только «продать» эту мысль конкурентам.

1. Сначала их разработчики прифигеют от синтаксиса, а в особенности от его «унифицированности».

2. Потом они на пол года уйдут изучать комонады и бифункторы.

3. В результате, подавляющее их большинство отправится в дурку.

4. Остальные постигнут Дао и попробуют наконец понять, как со всем этим хозяйством написать хотя бы текстовый редактор.

5. Но не тут-то было! К тому времени связь с реальностью они уже потеряют. Поэтому большинство просто сопьётся.

6. Трезвенники все-таки попробуют написать хоть какой-то код. Но у них возникнет проблема: писать нормальный код или literate haskell.

7. Выберут literate haskell, т.к. это самый чёткий подход. Дальше будет вопрос: bird tracks или TeX.

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

9. Далее все поймут, что нехрен связываться с literate haskell т.к. все равно он ничем нормально не поддерживается.

10. Соберутся с мыслями и попробуют выразить идею, что есть текст, который нужно изменять, и координаты курсора. Сразу же возникнет проблема: все значения - неизменяемые. ОК, нет проблем. Всобачат монаду и попробуют реализовать zipper.

11. Реализовывая zipper для курсора на тексте осознают, что кода очень много и он стал нечитабельным. Попробуют template haskell и generic programming. Кода станет меньше, но он станет ну просто абсолютно нечитабельным. Команда заметит, что проходящие мимо пэхэпэшники, что имеют неосторожность глянуть на экран с кодом, сразу же блюют кровью и падают без сознания. Будет решено, что это - хороший знак, т.к. код явно слишком хорош для обычных программистов.

12. Дальше у них будет еще очень много приключений с

* ленивостью и утечками памяти

* кодом, что использует DPH и «стратегии», и при этом на многопроцессорных машинах он в целых 1e-2 раза быстрее чем однопоточный.

* чудесными библиотеками с hackage

* и много чем еще

Пока наконец эти чуваки не обанкротятся и не наступит счастье.

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

Ну что, «умные» люди сидят на мейнстриме с хорошими библиотеками? Тогда должны быть и «рисковые» люди, которые попробуют вычленить конкурентное преимущество. Я записываюсь во вторые, мой проект на сабже живёт и развивается.

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

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

Ну ладно, хрен с ними, гуглдоками. Обратимся к ПДФ. Задача простая - распарсить >.PDF-файл (заполненный XFA). Конкурентный максимум хаскеля на данной задаче - >это вычленить лысый текст. Без богомерзкого неповоротливого мейнстрима, на этот >раз в лице С/С++ - никак.

http://hackage.haskell.org/package/HPDF-1.4.2, не?

Да и вообще зачем пилить свой велосипед на каждый чих, когда FFI позволяет просто сделать интерфейс к уже существующему, отлаженному и поддерживаемому решению? Синдром NIH?

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

Всего 20 хаскелистов да?

Тут http://www.haskellers.com/ далеко не 20 (не бейте за баян плиз). Канал #haskell на freenode очень даже популярен и при мне там высказывались что юзают хаскель на работе. Правда лично я буду использовать его пока только в вебе. Все другие задачки как назло числодробильные придумываются. А я даже сортировку, вменяемую по ресурсам, не осилил написать, сколько не выёживался.

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

Как по вашему galois выживает?

Не знаю. Тайна веков.

А еще большая тайна - почему я сам иногда пишу на Haskell. Причём добровольно. :-)

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

http://hackage.haskell.org/package/HPDF-1.4.2, не?

Не.

HPDF для генерации pdf'ок, парсить их он не умеет. Собственно, как и со всеми сложными форматами, довольно легко создать валидный файл. А вот разобрать любой соответствующий спецификации файл — уже проблемма с большой буквы Ж. Для разбора того же pdf'а свободных библиотек ровно одна, libpoppler. gnupdf благополучно умер, так и не родясь толком.

kemm
()
Ответ на: комментарий от I-Love-Microsoft

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

Изначально код был написан на том же DSL, но компилятор не делал редукцию типов. Компилятор возник из-за того, что железячники руками на VHDL написать нормально работающий продукт за два года не смогли.

можете привести пример простого 128-битного счетчика на вашем «Си-подобный для начинающих любителей» и его вывод в VHDL? это если не затруднит или если это вообще не супер секретная тайна :) реально интересно

Вопрос типа: «Ну покажи, как на вашем C++ машинное слово со стэка снять?». DSL предназначен для разработки высокоуровневой логики (обработка биржевых данных), а не счётчики клепать.

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

Тут я не спорю, просто Хаскель пока - это язык одиночек и/или задротов. Я, лично, не представляю как можно собрать команду адекватных (в человеческом смысле ) хаскелистов сейчас на постсовке, т.е. отдельных разработчиков найдешь, а много - вряд ли. С другой стороны, разработчики, думаю, будут хорошие, потому как быдлокодерам Хаскель нафиг не нужен.

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

А Deutsche Bank и не знает. Надо бы им рассказать.

У них Haskell? Что именно? (Не из троллинга ради спрашиваю, честное слово).

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

Как платформа, хаскель еще не родился. А жаль, амбициозный был проект.

Спасибо, что просветили, а то мужики не знали (ц)

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

А Deutsche Bank и не знает. Надо бы им рассказать.

Не только Дойче, но и Barklays в UK.

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

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

А масло - ни что иное, как какой-то неправильный маргарин, ага.

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

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

Дай знать, когда твой плюсовый проект принесет тебе первый миллион :-D Подозреваю, что вероятность этого стремится к 0.

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

А если просто взять сильных программистов и попросить их выучить хаскель? Насколько велики шансы на успех?

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