Знаете ли вы, что

[metaclass]

Scala - это Haskell в жабьей шкуре?

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

Язык знатно безумный, я почти Programming in Scala дочитал. И кое-какие вещи там сильно похожи на решение некоторых проблем с наследованием и зависимостями типов друг от друга, которых мне не хватало в дельфи и дотнетах :)

Comments

[berezovsky.livejournal.com]

сколько можно править ёбаный комментарий

[(Anonymous)]

giter8

[juan-gandhi.livejournal.com]

пять лет назад я поставил на Скалу.

[triampurum.livejournal.com]

Мне понравился подход из BETA к expression problem, 4 странички с примерами и библиографией. Суровые северные люди. http://www.daimi.au.dk/~eernst/tool07/papers/maspeghi04-ernst.pdf

[nealar.livejournal.com]

+1

[harry_claymore (from livejournal.com)]

а sbt такого не умеет ?

[thesz.livejournal.com]

Через год (в конце 98-го) я начал изучать Хаскель.

[permea-kra.livejournal.com]

По сравнению с хаскелем главная проблема в отсутствии гарантированной TCO, только гарантированная оптимизация хвостовой рекурсии. Это сразу налагает довольно много ограничений на код.

[Игорь Петров (from livejournal.com)]

И что это за загадочные "остальные прелести языка"?

[tonsky.livejournal.com]

Да ладно, у нас была часть кложа-проекта на Жабе, о мейвене даже не думали. lein javac все замечательно билдит.

[thedeemon.livejournal.com]

А в соседнем посте вон показывают, что от банальных null'ов избавиться не удается в скале. Some(null) - это ж курам на смех.

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

[thedeemon.livejournal.com]

А надо было джаву, был бы уже уважаемым калифорнийским программистом. :)

[juan-gandhi.livejournal.com]

Вот, ещё мудрое решение... я тогда и не слыхал про него.

[thesz.livejournal.com]

Не быть мне уважаемым калифорнийским программистом. ;)

[thesz.livejournal.com]

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

(доступных на тот момент)

[thesz.livejournal.com]

В ней нет даже типизации эффектов, о каком богатстве может идти речь?

[isorecursive.livejournal.com]

Это, конечно, проблема, но другого уровня, и, во-первых, Null (1 и 2) и NotNull (1 и 2), во-вторых, Just undefined, Just (fix id).

[isorecursive.livejournal.com]

Макросы, implicits, удобный синтаксис (согласитесь, это намного лучше, чем это).

[golikov konstantine (from livejournal.com)]

из коробки нет, с плагином -- да

[golikov konstantine (from livejournal.com)]

а TCO разве не есть "оптимизация хвостовой рекурсии"?

[kurilka.livejournal.com]

case выглядит явно лишним, а помимо этого имхо разница очень косметическая (или речь про записать objec.method(args)?)

[isorecursive.livejournal.com]

Смотря каких. Например, типизация сдвигов в delimited-продолжениях есть.
А IO и ST нету, но если говорить о хаскеле, то такого как там не сильно и хочется.
Неразглаживаемый из выражений (>>=) - это очень и очень неудобно. Ну кому приятно постоянно писать

x <- a n
y <- a k
if (x `op` y)
  a j =: z

вместо

if (a n `op` a k)
  a j =: z

[isorecursive.livejournal.com]

Тем не менее, её хватает, чтобы в хаскеле так никто не писал, а вместо этого выдумывал имя для фунарга и выносил его в where.
Так и получается ... where f ... = ...; g ... = ... и т.д., ведь осмысленные имена не всегда придумываются, и не всегда есть время и желание думать над именованием каждого фунарга.

[thesz.livejournal.com]

>if (a n `op` a k)

Я от такого отказался, когда мне было 23 года. 18 лет тому назад.

Это натурально неудобно при отладке и рассуждениях о программе.

Плюс, вы не знаете про ifThenElse.

[thesz.livejournal.com]

А, и внутри STM можно удалить файл.

Так что нет типизации эффектов в Скале, нету. Нетуточки.