Привет из 80х годов прошлого века

[metaclass]

Вспомнил один срач на тему однопроходных компиляторов, где Steve Yegge критиковал Clojure за то, что в ней объявления видны не во всем модуле, а только ниже объявления. (Ну, за исключением declare которые что-то вроде forward-объявлений).
Сижу приделываю новую фичу к кодогенератору на F# - и таки внезапно оказывается, что это не только в Clojure, но так же и F#, и, что самое печальное, - в долбаном SQL, который я генерирую.
Сижу вот, сортирую объекты из которых генерируется SQL по зависимостям.

А как с этим дела обстоят в Scala?
Я тут подумываю, что надо бы провести сравнение F# и Scala на моих задачах, все равно уже полная работа JVM и жаб, так может, выводилка типов в Scala для меня окажется более приемлемой, чем дикий ад в F# (теперь я понимаю, почему его thesz критикует). Ну и макросы в скале xeno_by прикрутил вроде уже.
Хотя единственное, что мне приходит в голову на тему приличного использования макросов - это при их выполнении долбится в БД или модель этой БД и генерировать код.

Comments

[theiced.livejournal.com]

а вот вы лучше объясните нахуя скала если есть кложура. ну мне так, интересно.

[metaclass.livejournal.com]

Ломается при рефакторинге. Без типизации в проектах со сложными структурами данных будет жопа.

[nivanych.livejournal.com]

А в зависимо-типовых можно относительно недорого иметь _гарантию_ корректности рефакторинга.

[xeno-by.livejournal.com]

вероятно потому что полезная система типов (аргументы за и против типизации я приводить здесь не буду) + лично мне нравится как сделана модульность. я немного писал в каментах к недавнему посту Димы: http://my-clojure.blogspot.ch/2012/09/clojure-1-2012.html и у себя в ЖЖ.

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

[golikov konstantine (from livejournal.com)]

если правильно понимаю, но того же самого можно достичь используя костыли -- jrebel
но если не прав, поправьте

[xeno-by.livejournal.com]

я если честно jrebel не юзал никогда, поэтому не могу ничего сказать. кстати что он делает с уже существующими в памяти объектами измененных классов? (с надеждой) прозрачно подменяет класс на новый?

[golikov konstantine (from livejournal.com)]

уже инстанциированные объекты ведут себя как старый класс, новые объекты ведут себя как новый подгруженный класс

[anton-arhipov.livejournal.com]

неверно. уже существующие экземпляры получают то же самое поведение, т.е новые методы и константы будут доступны всем.
новые поля в существующих объектах не будут проинизиализированы только, тк jrebel не перезапускает конструктор

[golikov konstantine (from livejournal.com)]

спасибо за исправление

хотел спросить когда можно будет перегружать суперклассы, а вы оказывается уже это поправили в новом jrebel'е
прямо вау-вау

[anton-arhipov.livejournal.com]

супер классы сейчас не перегружаются

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

[theiced.livejournal.com]

я считаю статическую типизацию объективным злом.

[xeno-by.livejournal.com]

а что насчет остального, если есть желание прокомментировать?

[migmit.livejournal.com]

> я считаю ... объективным ...

Взаимоисключающие параграфы.

[blackyblack.livejournal.com]

+1. Но в то же время я считаю кложурь объективным говном.