Создатель Qi сворачивает проект

Семантический рефакторинг средствами ide - вещь приятная. Но, судя по популярности vim, навороты эти никому особо не нужны.

> В дянном случае FOSS -- это добрая воля компаний, а не заслуга разработчиков.

FOSS - это выгодная для крупных компаний бизнес-модель.

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

Важно, что если твой труд востребован - вполне реально добиться его оплаты. И опенсорс этому совершенно не мешает.

> FOSS - это выгодная для крупных компаний бизнес-модель.

Только тогда это не FOSS в понимании автора статьи. А про бизнес модели и open source спорить не хочется.

> И опенсорс этому совершенно не мешает.

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

> Для чего ведь написали PyPy? Чтобы непринужденно экспериментировать с реализациями разных фич языка Python.

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

> Лев Валкин рассказывал, что они в Cisco вовсю использовали Haskell/OCaml при разработке встроенных систем

А можно линк на его рассказ?

>>Такое впечатление, что его кто-то обидел и мужик впал в депрессию.

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

+500

ну не знаю, мне пока так не кажется... есть какой-то элемент романтики :)

http://lionet.livejournal.com/28362.html?thread=262346#t262346

>Походу, в ашрам собрался :/

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

+1 Согласен :)

> +1 Согласен :)

Ну ещё бы человек с лотосом на аватарке со мной не согласился! :)

>медитировать поехал, о спасении задумался.

спасении чего?

>Но, судя по популярности vim, навороты эти никому особо не нужны.

ДА уж - вим по поулярности делает все IDE вместе взятые...

> спасении чего?

души же, ёпть! :)

>души же, ёпть! :)

а от чего её спасать таким образом? от возможности неудачной реинкарнации что ли?

> а от чего её спасать таким образом? от возможности неудачной реинкарнации что ли?

"неудачных реинкарнаций" не бывает :) Все инкарнации полностью заслужены. А под "спасением души" можно подразумевать выход вообще из круговорота рождений-смертей, т.е. из круга сансары.

Души и тела.

Колеса Сансары уже нет. А на аватарке у тебя щит Тамерлана?

> Души и тела.

по большому счёту и душа и тело смертны, бессмертен только дух, вот о нём и стоит беспокоиться :)

> А на аватарке у тебя щит Тамерлана?

Мадонна Орифлама. Н.Рериха.

> Колеса Сансары уже нет.

Что значит "уже"? :) Оно было, есть и будет.

>выход вообще из круговорота рождений-смертей

выход - куда? в бессмертие? в несуществование?

>Что значит "уже"? :) Оно было, есть и будет.

У Вас устаревшие данные: Колесо Сансарры ранее было кристаллом Амриты, к которому был подключен каждый человек и имел вечную жизнь в физическом теле. Теперь всё вернули как было: колеса Сансарры нет и по желанию можно быть вечным в т.ч. в физическом теле.

>Мадонна Орифлама. Н.Рериха.

Правильно, а на платке у неё эмблема Тамерлана: Знать, Любить, Созидать.

Реальный чувак. Послал все, и под фикус, будить кундалини.

> В Индии тепло и дешево, почему бы там и не жить на пенсии... :)

Там кое-где летом 45 жары и ещё влажно. Чтобы мои недруги проводили там пенсию!

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

Учёные -- заменяемые рабсила. Не знал?

>Это F# ML-подобный?

А какой же он? F# - прямой наследник Ocaml, Ocaml - прямой наследник ML.

>Ского грядет Scala да и нативные языки никуда не денутся.

У скалы синтаксис питоновский. Мне лично очень питон нравится, но после ML я уже не могу писать fun(x, y) вместо fun x y и пользоваться нафиг не нужными операторными скобками. В скале нет просто типизации, без чертового "класс-как-тип".

>которая практически полностью работает на OCaml'е

А F# ничем от окамла не отличается. Наоборот, оттуда убрали маразмы типа операторов +. и #, и несколько интересных вещей добавили. Так что на винде F# Ocaml убьет. Я уж молчу про Visual Studio, и свободную интеграцию c любыми .NET технологиями.

Я за пять минут в fsi.exe, только за счет встроенного autocompletion'а набросал формочку на WinForms, учитывая тот факт, что этим самым WinForms я пользовался первый раз в жизни. А уж в VS... Правда я ее ставить не рискнул, побоялся что ноутбук такого не перенесет.

А еще есть агенты влияния, типа Дмитрия Сошникова, ага академический евангелист, щас. Так что студентам будут мозги дурить. В уже сейчас сложно найти нормальную документацию по F#. Ее наверно и в природе-то нет, кроме нескольких "илитных" книжек. Так что появится новое поколение F#-быдлокодеров, нихрена в ФП не понимающее.

>F# is good but its GC is not made with FP in mind

Ха! А в окамле сборщик мусора не параллельный. Каково, да? Вообще, в F# нет своего: достался в наследство от платформы. Зато поддержка параллельных программ в F# реализована легко и просто, как в хаскеле, только императивно. Зато компилятор намного проще получился, без сборщика мусора-то... Ничего, поправят в какой-нибудь следующей версии.

>Заодно привет Биореактору с его джавой

Без явы, как патформы, ну никуда... Только .NET в виде глючного Mono.

>Учёные -- заменяемые рабсила.

Ученые? Вот уж не думал. Менеджеры да, заменяемая раб сила, а ученые это штучный продукт

Спасибо, знаю. Тут уж -- кому как.

> Ученые? Вот уж не думал. Менеджеры да, заменяемая раб сила, а ученые это штучный продукт

Ну это гении -- штучный, а современные учёные -- вполне массовый.

Тогда получается любого вьетнамца можно натаскать, и он займет место Петона-Джонса?

> Тогда получается любого вьетнамца можно натаскать, и он займет место Петона-Джонса?

Не надо заниматься подменой понятий, никто не говорил "любой". Есть кастинг. После кастинга хороших вьетнамских школьников наши преподы говорили "КАКИЕ там будущие студенты! И как жаль, что они поедут в Штаты учиться, а не к нам на кафедру!"

> Правильно, а на платке у неё эмблема Тамерлана:

Вообщето это не платок а Знамя Мира

> У Вас устаревшие данные:

А у Вас видимо самые Ньюэйджевые? :)

> и по желанию можно быть вечным в т.ч. в физическом теле.

Ужас, какой бред :(

> Ужас, какой бред :(

да брось, типичная религия ;)

> да брось, типичная религия ;)

не хочу тебя огорчать но моя "религия" говорит о том что тело всё-таки смертно, как физическое так и несколько тонких, а бессмертна только монада или дух.

> не хочу тебя огорчать но моя "религия" говорит о том что тело всё-таки смертно, как физическое так и несколько тонких, а бессмертна только монада или дух.

банальщина

> Без явы, как патформы, ну никуда...
Есть http://ocamljava.x9c.fr/ http://le-gall.net/sylvain+violaine/download/ocamljave-OCamlMeetingParis2008.pdf

А Mono ну что же, припрет, будем использовать и моно, тем более, что плагин к F# уже есть http://artwild.blogspot.com/2008/08/f-addin-for-monodevelop.html

> бессмертна только монада

монада -- да... io -- она такая...

> А вот что говорит Yaron Minsky, программист из финансовой компании Jane Street Capital, которая практически полностью работает на OCaml'е. У них принят тотальный код-ревью, потому что речь идёт об автоматической торговле на миллиарды долларов в день, отсюда необходимость выбора правильного языка:

По-моему, в такой ситуации нужен язык, в котором нет переполнения интегральных типов. Или в Окамле уже не переполняется?

> банальщина

Это и есть то истинное знание, которое было дано нам Богами и дошло из глубины веков. Сейчас оно очень сильно искажается армиями новых "пророков", многое допридумывается и выворачивается наизнанку. В результате откопать зерно истины крайне трудно. Но под силу :)

>> А вот что говорит Yaron Minsky, программист из финансовой компании Jane Street Capital, которая практически полностью работает на OCaml'е. У них принят тотальный код-ревью, потому что речь идёт об автоматической торговле на миллиарды долларов в день, отсюда необходимость выбора правильного языка:

>По-моему, в такой ситуации нужен язык, в котором нет переполнения интегральных типов. Или в Окамле уже не переполняется?

Была цитата в HUMOR.FILTERED от некоей еврейской супружеской четы на тему переполнения sqlcurrency: "Нужно все золото в нашей галактике или бриллиант размером c Солнечную систему. Каким образом вы таки предполагаете доставить такой кэш?"

> У скалы синтаксис питоновский. Мне лично очень питон нравится, но после ML я уже не могу писать fun(x, y) вместо fun x y и пользоваться нафиг не нужными операторными скобками.

Не знаю, почему Одерский оставил скобочки. Но синтаксис - фигня, писать можно. :)

> В скале нет просто типизации, без чертового "класс-как-тип".

По-другому оно нормально на JVM не легло бы, думаю.

>Есть http://ocamljava.x9c.fr/

Видел. Но пока давать характеристику проекту сложно. Пусть сначала выберется из детских болезней.

>плагин к F# уже есть

Не знаю какой там плагин. Интерпретатор и компилятор запускаются под линуксом mono fsc.exe и mono fsi.exe. Работают, только шелл у fsi под mono не очень хороший и сам F# в нативный код не компилируется. (Но может это дело кривых рук.) Насчет того, компилируются ли в нативный код программы скомпилированные F#, не знаю, не пробовал.

>Но синтаксис - фигня, писать можно. :)

Если ПлатятМногоДенег Тогда MoжноПисатьИНаЯзыке1С() КонецЕсли;

А вот для души...

>Есть http://ocamljava.x9c.fr/

Скорее нет чем есть - интеграция с самой жабой через никель - это как гланды через ж.

>А Mono ну что же, припрет, будем использовать и моно, тем более, что плагин к F# уже есть http://artwild.blogspot.com/2008/08/f-addin-for-monodevelop.html


Лицензия на рантайм плохая.

>>Но синтаксис - фигня, писать можно. :)

>Если ПлатятМногоДенег Тогда MoжноПисатьИНаЯзыке1С() КонецЕсли;

>А вот для души...

Аналогия непонятна. Или для тебя языки отличаются по синаксису передачи параметров - со скобочками и без?

>Не знаю, почему Одерский оставил скобочки.

Потому что

class A {
def b(i:Int) = i
}

a b 5 => a.b(5)

Это только сахар для методов с одним параметром.

>Это только сахар для методов с одним параметром.

Этот сахар нужен для EDSL: http://blog.fogus.me/2009/03/26/baysick-a-scala-dsl-implementing-basic/

Забавное применение. :) Но думаю, изначальн это делалось для операторов.

Кстати, ты вроде говорил, что рассматриваешь Скалу для реальных проектов в своей конторе. Ещё не начали применять?