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

[metaclass]

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

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

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

Comments

[isorecursive.livejournal.com]

Осознанием отношений порядка на типах, и, как следствие, присутствием сабтайпинга (как номинативного, так и структурного) и bounded-полиморфизма; первоклассностью модулей, и, как следствие, присутствием концепций, возникающих из косвенности типов относительно содержащих их модульных контекстов - type-members (как в некоторых ml) и path-dependent типов.

@ каким боком последняя ссылка - "использовать хаскель как джаву"?
Ну здесь я, пожалуй, слегка погорячился. Просто Вадлер как-то раз озвучил проблему, сразу же решил её на Java F-bounded полиморфизмом и паттерном Visitor, но с тех пор регулярно пишутся пейперы с какими-то мозговыносящими трюками на тайпклассах, кодированием в них частных случаев сабтайпингов и так далее.

[berezovsky.livejournal.com]

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

[triampurum.livejournal.com]

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

[thedeemon.livejournal.com]

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

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

[isorecursive.livejournal.com]

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

[thesz.livejournal.com]

>Just undefined, Just (fix id).

В Scala они ловятся типизацией?.. 8O

[golikov konstantine (from livejournal.com)]

String with NotNull кстати не даст ли кучу анонимных классов?