LINUX.ORG.RU

Linspire и Haskell


0

0

Команда разработчиков Linspire, Inc обявила, что они стандартизируют язык Haskell в качестве основного языка для разработки своей операционной системы.

По их словам в данный момент четверо из них уже используют Haskell и каждый из комманды когда-либо использовал функциональные языки.
В данный момент они заняты тем, что переносят часть ПО c O'Caml и других языков на Haskell.

Freespire - основанный на debian свободный дистрибутив, ориентированный на конечного пользователя.
Linspire (бывший Lindows) - коммерческий дистрибутив Линукса, основанный на Freespire.

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

anonymous

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

Сами знаете кому теперь вендец

Orlangoor ★★★★★
()

Круто, а я думал эти чуваки чисто на пиаре заработывают, торгуя дебианом, а они ещё чё-то сами пишут, да ещё на функциональных языках = молодцы!

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

> Поздравляю всех хаскелляторов!!

Я далек от функциональщины, - объясните кратко, плиз, мне и таким же, есть ли реальный смысл таких переходов с точки зрения программиста? Возможна трансляция кода ocaml->haskell? Есть проблемы в ocaml-компиле или с лицензиями? Или чисто из любви к искусству?

anonymous
()

Похоже на какую-то шутку.

Цитата: "Sean Meiners recently wrote an application for managing his recipe collection and is now hooked." Я плакал.

Хотя Haskell интересный язык... а как у него с привязками к GUI? И какие известные приложения на нем написаны (кроме DARCS) ?

tailgunner ★★★★★
()

LindowOS !!!

Во-первых, не Lindows, а LindowOS (Linux + X window system ~ OS, примерно таков смысл). А во-вторых, какой смысл переписывать велосипед с O'Caml на Haskell? Кроме того, эти языки различаются как кислое и длинное, каждый хорош для своих задач.

Camel ★★★★★
()
Ответ на: LindowOS !!! от Camel

Gtk2HS - отличная привязка gtk к haskell

anonymous
()

Я вот не пойму , они NVU развивают или нет , че-то в нем багов хватает.

szh ★★★★
()

Хаскель, воистину, велик и могуч, но нафига? :) Кто объяснит, чем он лучше для написания всяких ГУЁв, по сравнению с императивными языками?

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

Как они вообще живут?

Что у них есть такого, кроме CNR, который ничем не лучше
linuxpackages.net ?

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

За счет чего они не разоряются?

Lockywolf ★★★
()

4 - это круто! я вот слышал, что микрософт нанял __дополнительно__ 100 программистов для какой-то там херни:)

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

> 4 - это круто! я вот слышал, что микрософт нанял __дополнительно__ 100 программистов для какой-то там херни:)

Зато эти пишут на Хаскеле! Они немерено круче :)

tailgunner ★★★★★
()

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

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

Маленько перепутал Freespire с Linspire, я жду выхода Freespire, хотя может и не жду, посмотрю ещё чего за зверь :^)

los_nikos ★★★★★
()
Ответ на: комментарий от ero-sennin

Довольно странное применение Хаскелла. В GHC 6.4 еще нет поддержки разделяемых библиотек (вроде в 6.6 обещают), сл-но Хаскеллная программа, использующая gtk2hs будет весить не меньше 10-15М. Разве что они Parsec для разбора конфигов хотят использовать :-))

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

Мда...

>> ll ~/devel/work/hs/gtk2hs/demo/* | grep rwx

-rwxr-xr-x 1 al al 20M 2006-02-11 21:18 actionmenu
-rwxr-xr-x 1 al al 21M 2006-02-11 20:10 clock
-rwxr-xr-x 1 al al 20M 2006-02-11 20:10 drawing
-rwxr-xr-x 1 al al 20M 2006-02-11 20:10 drawing2
-rwxr-xr-x 1 al al 7,5M 2006-02-11 20:10 starandring
-rwxr-xr-x 1 al al 7,5M 2006-02-11 20:10 text
-rwxr-xr-x 1 al al 20M 2006-03-09 23:33 calc
-rwxr-xr-x 1 al al 20M 2006-02-11 20:20 progress
-rwxr-xr-x 1 al al 20M 2006-02-11 20:57 fonts
-rwxr-xr-x 1 al al 20M 2006-02-11 20:50 drawing
-rwxr-xr-x 1 al al 34M 2006-02-11 20:54 cube
-rwxr-xr-x 1 al al 26M 2006-02-11 20:44 sourceview

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

Я немного слышал о gui библиотечке Fudgets (www.cs.chalmers.se/Cs/Research/Functional/Fudgets/) - там были действительно оригинальные идеи и прочее, но проект вроде как умер, ни одной версии мне собрать не удалось, а код на gtk2hs действительно мало отличается от императивного, думаю на сях оно будет проще и удобнее.

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

Только не на сях! gtk2hs - это низкоуровневая библиотека, повехр которой может быть построеная fudgets-like библиотека.

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

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

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

Не вижу причин поднимать восторженный вой лишь потому, что они используют ФЯ. Имхо, это фишка тех лорорвцев, которые считают себя местной элитой. Или там скриншот с красивым гномом или кде - фпечь! А как какой-нить убоганький ratposion или (ниц на колени) ион - пена изливается просто в экстазе.

Очень неумно выбирать инстумент на основании того, что он "интересный"

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

> 4 - это круто! я вот слышал, что микрософт нанял __дополнительно__ 100 программистов для какой-то там херни:)

``Мифический человекомесяц'' читал?

stassats ★★★★
()

не понял, они что, /etc/init.d/* на хаскеле делают? что значит "основной язык"? по ссылке сходил, что они управление пакетами на хаскеле переписывают видел. но все равно в упор не понял зачем.

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

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

Ты не понимаешь. Это просто забава :) Как и HURD, который 100 раз переписывают...

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

> Очень неумно выбирать инстумент на основании того, что он "интересный"

"только того, что он интересный" +1. О том и речь, что пока Haskell для GUI не подходит (а надо ли вообще?).

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

Из статьи:

We are redoing a bunch of our infrastructure using Haskell as our common standard language. Our first task is redoing our Debian package builder (aka autobuilder) in Haskell. Other tools such as ISO builders, package dependency checkers are in progress. The goal is to make a really tight simple set of tools that will let developers contribute to Freespire, based on Debian tools whenever possible. Our hardware detector, currently in OCaml, is on the block to be rewritten as well.

А они о GUI и не говорят. И как раз для таких задач Haskell подходит. Вон - adelie как по скорости equery обгоняет.

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

>Вот шелл на Хаскелле напишут - тогда пожалуйста хоть вообще bash из дистра выбрасывайте.

Так h4sh уже написан и работает, к нему readline приделать - и будет шелл ;) Кстати удобная штука.

AiLr ★★
()

ocaml, haskell.. заняться чтоли нечем, кроме как етими бреднями пользоваться...

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

Ну так. Все нормальные люди на vb и delphi сидят, делом занимаются. А этим, видите ли, делать больше нечего.

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

> код на gtk2hs действительно мало отличается от императивного, думаю на сях оно будет проще и удобнее

На всяких экзотических языках очень удобно и красиво пишутся две программы: вычисление факториала и чисел Фибоначчи.

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

Если нужны экзотические языки, то лучше уж смотреть в сторону Aldor например ;) А erlang'ами и haskell'ями, думаю, и на винфаке никого не удивишь.

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

Надо писать на Фортране и Коболе с Алголом.

Самые реальные языки.

Уж получше каких-то там С++, BASIC

Да, еще можно использовать Prolog и PL/1

Lockywolf ★★★
()

Трава в этом году удалась что ли...

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

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

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

>убоганький ratposion

Йад не трож, ибо святое.

Linspire на haskell, linux xp на brainfuck... куда катится мир...

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

> 4 - это круто! я вот слышал, что микрософт нанял __дополнительно__ 100 программистов для какой-то там херни:)

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

bugmaker ★★★★☆
()

> переносят часть ПО c O'Caml и других языков на Haskell

А в чём великая разница? OCaml ведь тоже функциональный язык. Смысл в
переписывании? Чем Haskell лучше OCaml?

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

>>О том и речь, что пока Haskell для GUI не подходит

Исходник читать, видать, лень?

anonymous
()

Чем им OCaml то не угодил? В отличии от Haskell проблем с производительностью у него не наблюдается. Хотя, хозяин - барин. Пусть хоть на Lisp всё перепишут, что с того то?

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

Производительность кстати близкая, а главное отличие - отсутствие побочных эффектов. Может они все распараллелить хотят? ;)

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

> Чем им OCaml то не угодил? В отличии от Haskell проблем с производительностью у него не наблюдается.

Ты видел во что каррит OCaml (+)? A когда этот оператор по нескольку раз в тексте встречается во всяких List.fold_left? Приходится из-за такой мелочи втыкать

let plus = (+);;

Тем более это язык с sequence point'ами (а значит сложно выделить фрагменты кода с side-effect), то бишь, встретив операцию, к-рую он выполнял ранее, не будет подставлять вычисленное значение, а будет заново вычислять.

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

> Может они все распараллелить хотят? ;)

Тогда бы использовали Erlang. Те уже анонсировали выпуск компилятора, порождающего код для SMP-систем.

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

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

> А в чём великая разница? OCaml ведь тоже функциональный язык. Смысл в переписывании? Чем Haskell лучше OCaml?

Хаскель чисто функциональный и гораздо изящнее OCaml'я.

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

>Я немного слышал о gui библиотечке Fudgets (www.cs.chalmers.se/Cs/Research/Functional/Fudgets/) - там были действительно оригинальные идеи и прочее

Вроде извращения на тему названий функций без букав, а все сплош ||=-\?

Ясное дело умер - превращать хаскел в брейнфак.

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

> Может они все распараллелить хотят? ;)

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

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