Хоп! Появилась hOp

Re: Хоп! Появилась hOp

рановато. до первого апреля еще далеко

Re: Хоп! Появилась hOp

Ну все, теперь человечество спасено!

Shaman007 (14.11.2004 19:51:36)

Re: Хоп! Появилась hOp

LOL http://www.macs.hw.ac.uk/~sebc/hOp/2004-02-19.png

А девелоперы сидят под КДЕ. И ввобще проект что надо ;)

Re: Re: Хоп! Появилась hOp

RTS = run-time system, не подумайте плохого...

Re: Re: Re: Хоп! Появилась hOp

А я дебиан хурд на днях поставил качаться..

Re: Хоп! Появилась hOp

Та не проблема ! Я сейчас за вечер на вижуал васике ось напишу.
Вот правда нужна она будет... ну вообщем так же как это поделие.

Re: Re: Хоп! Появилась hOp

>Та не проблема ! Я сейчас за вечер на вижуал васике ось напишу.

С виндовым ядром?

mikhail (14.11.2004 20:35:37)

Re: Re: Re: Re: Хоп! Появилась hOp

>А я дебиан хурд на днях поставил качаться..

Да... Крутая ось... Понимает только разделы ext2 до 2 гигов, сеть только со статическим IP, виртуальных терминалов нет... Всё ясно.

mikhail (14.11.2004 20:38:20)

Re: Хоп! Появилась hOp

Какие преимущества дает Haskell по сравнению например с C в плане написания системного софта?

Re: Re: Хоп! Появилась hOp

Шире паспальцовка

Pi (14.11.2004 22:09:34)

Re: Re: Хоп! Появилась hOp

>Та не проблема ! Я сейчас за вечер на вижуал васике ось напишу. Вот правда нужна она будет... ну вообщем так же как это поделие.

Умный - афигеть!

Cybem (14.11.2004 22:50:17)

Re: Хоп! Появилась hOp

кто её пускал? сложно ли перейти с емакса?

o1o (14.11.2004 23:10:47)

Re: Re: Хоп! Появилась hOp

пробовал, не сложно, особенно после емакса. Попробуй, не пожалеешь !

Re: Хоп! Появилась hOp

Ещё один мёртворождённый...

linux_newbe (14.11.2004 23:16:48)

Re: Re: Хоп! Появилась hOp

> Ещё один мёртворождённый...

Ох, вумные вы все... почитали бы что-ли описание по ссылке:

"It is meant to enable people to experiment with writing device drivers in Haskell."

Понятно, да? Чисто экспериментальная приблуда, никаких претензий на полноценную рабочую ОС общего назначения тут нет даже.

int19h (15.11.2004 2:31:28)

Re: Re: Re: Хоп! Появилась hOp

для чего драйвера-то, под какую ось?
если под линукс, то логичнее было бы запихнуть поддержку
haskell rts в ядро, как это сделали с C++.
я как-то не вижу особой необходимости в рекурсивых функциях
и pattern-matching внутри драйверов

Re: Хоп! Появилась hOp

fixme, haskel -- ортогональный (чтобы это не значило) и поэтому hop можно доказать. Т.е. возможно появление истинного bugfree.

ugoday (15.11.2004 2:53:11)

Re: Re: Re: Re: Хоп! Появилась hOp

>я как-то не вижу особой необходимости в рекурсивых функциях

Пральна! Машина тьюринга в ядре тоже не нужна. Оно и так раздутое.

ugoday (15.11.2004 2:58:56)

Re: Re: Хоп! Появилась hOp

доказать -- это другое дело, это tight thing

но причем тут драйвера?

Re: Re: Хоп! Появилась hOp

>>>и поэтому hop можно доказать

Доказательство правильности любого нетривиального алгоритма практически невозможно (на данный момент).

V0ID (15.11.2004 5:40:26)

Re: Re: Re: Хоп! Появилась hOp

>Доказательство правильности любого нетривиального алгоритма практически невозможно (на данный момент). Добро пожаловать в мир ФП! Там (для чисто функциональных языков) это возможно, хотя тоже не тривиально. По крайней мере, намного проще, чем для императивных языков.

Re: Re: Re: Re: Хоп! Появилась hOp

Да?

Найдите ошибку в

2+2=4

Re: Re: Re: Re: Re: Хоп! Появилась hOp

2+2=3.999999999999999

Re: Re: Re: Re: Re: Хоп! Появилась hOp

> Найдите ошибку в 2+2=4

invalid lvalue in assignment

int19h (15.11.2004 10:45:20)

Re: Re: Хоп! Появилась hOp

> Какие преимущества дает Haskell по сравнению например с C в плане написания системного софта?

преимущества тут скорее скорее в образе мышления, который диктует Haskell и даже не Haskell сам по себе, а ФП вцелом. хаскелисты говорят "если программа скомпиллировалась правильно, то скорее всего, она не содержит ошибок" и как правило так оно и есть. основных преимуществ, на мой взгляд два: более надёжный код и высокая скорость разработки.

что касается системного софта - один бразильский студент написал на Haskell полноценный компилятор С всего за 2,5 месяца. причём имейте в виду, что на хаскеле AFAIK практически нет такого количества готовых библиотек как н.п. SF или Freshmeat для С или CPAN для перла, когда из готовых модулей можно собрать конструктор. в данном случае этому студенту всё пришлось писать с нуля на голом языке.

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

XYAH (15.11.2004 10:47:21)

Re: Хоп! Появилась hOp

Вот еще ссылка на подобную разработку:

http://www.cs.kun.nl/st/Onderzoek/Projecten/Dynamics/dynamics.html

- группа занимается разработкой ОС на "a lazy, purely functional language" под названием Clean. Для "safety critical systems".

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

hinote (15.11.2004 11:57:40)

Re: Re: Re: Хоп! Появилась hOp

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

ugoday (15.11.2004 12:15:33)

Re: Re: Re: Re: уНО! оНЪБХКЮЯЭ hOp

>...haskel ОПНЦПЮЛЛХЯРС...

"оПНЦПЮЛЛХЯР МЮ ..." == "ЙНДЕП", хлун.

Haskell Х то Б ЖЕКНЛ ЛМЕ ХЛОНМХПСЧР. йЮЙ ЛМЕ ОНЙЮГЮКНЯЭ, hOp ≈ БЕЯЭЛЮ ХМРЕПЕЯМШИ ЩЙЯОЕПХЛЕМР.

Johannes (15.11.2004 14:41:04)

Re: Re: Re: Re: Хоп! Появилась hOp

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

Lumi (15.11.2004 14:57:55)

Re: Re: Re: Re: Re: уНО! оНЪБХКЮЯЭ hOp

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

Re: Re: Re: Re: Хоп! Появилась hOp

> Всё это конечно класно, но к сожалению haskel программисту приходится решать сильно нетривиальную задачу -- найти работу haskel программистом.

это да, но изучение и хаскеля и ФП полезно и само по себе - полученные навыки в новом для себя стиле мышления помогут и при решении задач на традиционных ЯП. я при этом подразумеваю, что под haskel-программистом понимается не человек, просто знающий синтаксис хаскеля :-) вообще идиома "программист на <ЯП>" - это IMHO идиотизм. человек либо программист, либо непрограммист :-)

ну и потом с усложнением проектов, над которыми приходится работать программистам острее встанет вопрос о соответствии кода заданным спецификациям, об автоматическом доказательстве правильности кода. так что ФП ещё себя покажет.

XYAH (15.11.2004 15:43:27)

Re: Re: уНО! оНЪБХКЮЯЭ hOp

>после знакомства с такими языками как lisp, ml и haskell от всего остального мейнстрима начинает подташнивать.

Очень похоже на этот текст: >>Цитата: >Предлагаю радикальный вариант: модифицированый Prolog! Что-нибудь типа Delphi+клей+Prolog. >Самой лучшей характеристикой языков логического (декларативного) программирования типа Prolog является название статьи "Prolog ещё жив". В теории программирования в 80-е годы бытовало мнение, что это самое перспективное направление. Так было до тех пор, пока не стали понятны проблемы этих языков - необходимость усечений для ликвидации бесконечной рекурсии, негарантированность времени отклика, крайне низкая негарантированная надёжность систем. Появление объектного

>Однако на языки программирования они не тянут - соответствующие средства 3D должны быть стандартными в "языке программирования будущего". Очевидно, что это будет а) алгоритмический язык (так что функциональные языки типа Lisp и ML отпадают - их время прошло, как и у декларативных языков) б) язык структурного программирования (так что Java и C# отпадают - они неструктурны. В них совмещены декларация с реализацией.) в) язык объектного программирования

>Самыми перспективными языками являются функциональные языки. Скоро. Очень скоро императивные языки будут побиты функиональными. В числе лидеров функционального программирования идут Prolog, Haskell, ML, Schema. так что их учить надо. Хотя, лучше изучать их все, т.е. парадигму функционального программирования.

Re: Re: Re: Re: Re: Re: уНО! оНЪБХКЮЯЭ hOp

Если уж есть время на изучение экзотики, лучше смотрите в сторону c++. В сторону новых веяний в этом языке. Haskel, ml, lisp... Ну, начните, например, с boost::lambda, boost::spirit (www.boost.org). Вещи, от которых крышу сносит, и при том это вещи, которые компилятся на всех популярных компайлерах c++.

Re: Re: Re: Re: Re: Re: Re: уНО! оНЪБХКЮЯЭ hOp

А в двух словах? Коротенько так, тезисно? От чего сносит крышу?

Re: Re: Хоп! Появилась hOp

Надёжность, возможность автоматического распараллеливания, возможность формального доказательства соответствия реализации и спецификации, высокая скорость разработки, значительно больший code reuse, чем в любом другом языке. Этого мало?

Да, конечно, есть и недостатки - херовый тормозной runtime, поганые компиляторы, недоделанный inference свойств для классов типов... И ведь можно же ленивые языки компилировать эффективно - см. тот же Clean, почему такого никто для Haskell не сделает - dunno.

Re: Re: Re: Re: Хоп! Появилась hOp

Не видишь - потому как тупой и необразованный. Быдло ты. Человеком становись - много чего нового и интересного увидишь.

Re: Re: Re: Хоп! Появилась hOp

При таких пустомудозвонских заявах в приличном обществе принято ставить "IMHO".

Re: Re: Re: Хоп! Появилась hOp

Дык за этот самый высокий начальный порог местное быдло и ненавидит ФП. Больно им, убогим, осознавать своё ничтожество.

Re: Re: Re: Re: Хоп! Появилась hOp

Сколько можно повторять? Не бывает работы "XXX программистом", где XXX - любой язык или технология. Бывают только "XXX кодеры". Программиста же никто не спрашивает, какие инструменты он собирается использовать.

ЗЫ: а найти работу, где от тебя потребуют знание Лиспа, Хаскелля, МЛ-а - довольно легко.

Re: Re: Re: Re: Re: Хоп! Появилась hOp

Да я в принципе согласен. Сам вот окамл ботаю. Вот только потом приходится с окамла на перл переходить и испытывать мерзкие чувсва.

ugoday (15.11.2004 16:30:57)

Re: Re: Re: Re: Re: Re: уНО! оНЪБХКЮЯЭ hOp

А это подташнивание выливается в желание мейнстрим облагородить. От чего и получаются такие проекты, как SISC или JSE (на последнее (искать на свежемясе) - приказываю немедленно смотреть всем, кто программирует на Java).

Да, а на C++ смотреть не так уж и тошно - он позволяет, при некоторой степени изращённости ума, писать очень даже с качественными подходами.

C++ vs Haskell, ML, Lisp

Мда, лоботомия завершилась успешно. Изучаем взамен Лисп, МЛ и Хаскель С++ ;-)) Особенно макры Лиспа хочу посмотреть в этом BOOST ;-)))

Re: Re: Re: Re: Re: Re: Re: уНО! оНЪБХКЮЯЭ hOp

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

HellAngel (15.11.2004 17:00:56)

Re: Re: Re: Re: Хоп! Появилась hOp

flamer если тебе приятно зубы через жопу рвать, то это твои проблемы ;)
пользуй tcl и будет тебе счатье ;)
П.С. лучше бы санки tcl до ума довели, чем это поделие под названием java конючат уже какой год

Re: Re: Re: Re: Re: Re: Re: Re: уНО! оНЪБХКЮЯЭ hOp

Хммм... В двух словах? Нужно было парсер http нарисовать. Знаешь как я его делал? Копировал синтаксис в BNF нотации из rcf2616, чуть правил, согласно реализации boost::spirit. Управился за день. Это просто чудо! Результат: очень понятный код + удобное отлаживание (встроенно в spirit). Имхо, всякие perl'ы и bison'ы просто сосут.

Re: Re: Re: Re: Re: Re: Хоп! Появилась hOp

>> Найдите ошибку в 2+2=4

>invalid lvalue in assignment

>int19h *** (*) (15.11.2004 10:45:20)

Хорошая попытка :) модераторы удвойте этому боту скилл :)

А теперь правильный ответ!

cout<<"Hello World\n!";

И где здесь поможет ФП?

Re: Re: Re: Re: Re: Re: Re: Re: уНО! оНЪБХКЮЯЭ hOp

>знаешь, до антика ты не дотягиваешь... такое ощущение что по бумажке ругаешься. учись, студент, а то в биореактор не пустят :))

>HellAngel *

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

Re: Хорошая попытка

> cout<<"Hello World\n!";
> И где здесь поможет ФП?

Плохая попытка.

$ cat zz.C
cout<<"Hello World\n!";
$ c++ zz.C
zz.C:1: syntax error before `<<' token

$ cat zz.hs
main = print "Hello World!"
$ ghc zz.hs
$

Так что даже hello world на Хаскеле сильно проще.

DonkeyHot (15.11.2004 18:23:26)

Re: Re: Хорошая попытка

Гениально. Компилировать C++ код, как С.

eXOR (15.11.2004 18:57:56)

Re: Re: Re: Хорошая попытка

Почему как C? Просто в сообщении(на которое я отвечал) была _скрыта_ бОльшая часть C++ной "правды" - #include, main, {,}, и что-то с namespace. Без этого cout<<"Hello" _не_ компилируется, что и было показано.

А хаскелевская - компилится. Так что вот так вот:-)

DonkeyHot (15.11.2004 19:13:21)