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

> a b 5 => a.b(5)

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

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

Ага.

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

Тот проект для которого я ее рассмотрел пока отдыхает (mpeg preflight) - но как только там надо будет хоть что-нить там крутить - сразу пойдет в полный рост применю (включая EDSL для описания мпеговских последовательностей). А остальные сильно здоровые, их переписывать никто не будет. Если будет еще отдельный модуль или небольшой проект - то буду на скале. А то что-то последний год сожрала рутина очень сильно :(((((. Я уж даже саботажными методами скалу всунуть хочу - напишу на скале и никому не скажу что не на жабе ;)

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

Просто тут сильный упор на объектность, даже алгебраические типы через классы сделаны, и Мартин на это сильно упирает.

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

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

> Лицензия на рантайм плохая.
его нельзя распространять клиентам?

>Просто тут сильный упор на объектность, даже алгебраические типы через классы сделаны, и Мартин на это сильно упирает.

Да понятно. Оно ж должно на JVM работать и с жабой быть совместимо.

Но там, где мог быть partial application в других языках, вместо него лямбду можно написать.

>его нельзя распространять клиентам?

Можно. Но она клосед соурс - нельзя делать опенсорсные проекты.

>Но там, где мог быть partial application в других языках, вместо него лямбду можно написать.

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

вот к стати экстеншен к окамлу реализующий скальный pa: http://y-node.com/blog/2008/jul/09/ocamlpartial/

А, да, гоню, про скаловские андерскоры забыл.

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

Из "Why I am Not a Professor" за 2007-й год:

After a few years of this system, the results percolated through to my office. I could see the results in the lecture hall, but the procession of students who walked into my office and said "Dr Tarver, I need to do a final year project but I can't do any programming"... well, they are more than I can remember or even want to remember.

Странно, что это все не достало его раньше. Крепкий однако мужик!

Хотя не, не сбивай. :) Концептуально андерскоры - это просто синтаксический сахар для лямбда-выражений. Ты же можешь их применять и без partial application.

>Концептуально андерскоры - это просто синтаксический сахар для 
>лямбда-выражений. Ты же можешь их применять и без partial application.

Ээээ - скорее шорткаты для лямбдавыражеий реализованы через PA.

scala> def f(x:Int, y:Int) = x + y
f: (Int,Int)Int

scala> val fx = f(_:Int, 5)
fx: (Int) => Int = <function>

scala> val l = 1::2::3::Nil
l: List[Int] = List(1, 2, 3)

scala> l.map(fx(_))
res0: List[Int] = List(6, 7, 8)

=============

# let f x y = x + y;;
val f : int -> int -> int = <fun>

# let fx = f 5;;
val fx : int -> int = <fun>

# let l = 1::2::3::[];;
val l : int list = [1; 2; 3]

# open List;;
# List.map fx l;;
- : int list = [6; 7; 8]

===================
Looks like same shit. Кроме того что в скале надо указывать позиции аргументов подчеркиванием, 
в связи с тем, что можно указывать любые позиции, а в окамле только левые.

>Ээээ - скорее шорткаты для лямбдавыражеий реализованы через PA.

Проверил по генерированному коду - для fx и аргумента map генерируются идентичные функции.

 def f(x:String,y:String) = x + y
 val fx = f(_:String, "aaa")
 val l = "1"::"2"::"3"::Nil map (f(_, "aaa"))

> Но она клосед соурс - нельзя делать опенсорсные проекты.

Почему нельзя, там что, это прямо оговорено? По-моему, исходники можно писать под любой лицензией. Другое дело, что рантайм F# в ряд дистрибутивов не запихнут, однако ничего не мешает, при нужде его доставить отдельно. Такая же ситуация и с Java была, однако это не помешало распространению опен соурс решений, на ней написанных.

>Другое дело, что рантайм F# в ряд дистрибутивов не запихнут,

Под mssrl вообще не запихнут -там прямо запрещено коммерческое распространение.

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

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

> Стыдно, товарищ.. "Для души не существует ни рождения, ни смерти. Она никогда не возникала, не возникает и не возникнет. Она - нерожденная, вечная, всегда существующая и изначальная. Она не гибнет, когда гибнет тело". Бхагавад-гита 2.20

Ты ошибся в моей религиозно-философской принадлежности. Я придерживаюсь представлений о теле, душе и духе которые постулируются Агни Йогой. Ну вобщем то ты мог бы и сам это понять из моей аватарки и профиля :) Что касается Гиты, то да, это канешно же авторитетный источник как и все Веды. И то что ты привёл я понимаю так: это определение "души" относится только к одному из семи тел верхней триады - атме.

> Ты ошибся в моей религиозно-философской принадлежности. Я придерживаюсь представлений о теле, душе и духе которые постулируются Агни Йогой. Ну вобщем то ты мог бы и сам это понять из моей аватарки и профиля :) не удивительно что ошибся ) очень похоже.

Строго говоря иначе как "аатма" душа не называется в Ведах. Насколько я могу судить. Все остальное относится к материальному миру.

> Строго говоря иначе как "аатма" душа не называется в Ведах. Насколько я могу судить. Все остальное относится к материальному миру.

На мой взгляд это немного упрощённое представление и сути особо не меняет. Точно так же как и христиане не делят душу на отдельные тела, а зачастую даже путают понятия души и духа. Поэтому я и сторонник Агни Йоги & Теософии как более прогрессивного и современного Учения :)

> Под mssrl вообще не запихнут -там прямо запрещено коммерческое распространение.

Запрещено коммерческое распространение чего - самого F# или еще чего? А некоммерческое, ведь распросраняются же закрытые пакеты в некоммерческих дистрах, например non free в debian?

>Запрещено коммерческое распространение чего - самого F# или еще чего?

Самого.

>А некоммерческое, ведь распросраняются же закрытые пакеты в некоммерческих дистрах, например non free в debian?

закрытые != запрещенные к коммерческому распространению.

> закрытые != запрещенные к коммерческому распространению.
Можно сделать пакет, который будет скачивать F# с сайта МС.

>Можно сделать пакет, который будет скачивать F# с сайта МС.

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

Это не решит лицензионных проблем. Надо чистый моно F# делать.

> Надо чистый моно F# делать.
Может и сделают, не МС то моновцы, когда припрет или когда F# взлетит. Хуже, что на жабу такое не натянут. Хотя, может Scala и адекватным ответом будет. Поживем - увидим.

>Хотя, может Scala и адекватным ответом будет. Поживем - увидим.

Уже есть. Скалу использует:
Twitter, Électricité de France (большая энергокомпания во франции), Reaktor (финская галера), Siemens+"SAP Community" (Scala + Lift), Sony Pictures, Managed Gaming Solutions, Sygneca(4 UK Government), AD Holdings(CCTV системы), SAIC (4 US Government), WattzOn и куча мелких компаний.

То есть крутые игроки уже втянулись - вплоть до правительственных контрактов.

К стати Twitter слил руби в пользу скалы, а создатель груви написал, что если бы он увидел скалу в 2003 он никогда бы не сел писать груви.

> К стати Twitter слил руби в пользу скалы

Не слил. Использует и то, и другое.

Срасибо. Кстати, недавно узнал, что создатель фреймфорка Lift на Scala и автор книги Beginning Scala с уважением смотрит на Эрланг, и особенно на его межнодовое IPC.
Хотя это все-таки разные платформы. Но просто интересный факт.

>уважением смотрит на Эрланг

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

>Не слил. Использует и то, и другое.

Ну он занялся переписыванием с руби на скалу. Еще не все переписал. Может никогда все и не перепишет.