информация должна быть православной!

Возникают ещё вопросы.
1. Чё они лыбятся? (в России уже модно?)
2. Почему они смеются над государственными вебсайтами?
3. Почему баба заглядывается на омона (опона), вместо того, чтобы изучать правительственные указания?

понял простую вещь, очевидную для многих

Получив job offer, радоваться надо молча, а вслух - торговаться.

type classes

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

Тьфу. Слово "класс" здесь не в смысле ООП, не в джавном смысле; type class - это просто коллекция типов... обычно параметризованная (типами же, но в принципе не обязательно). В английской википедии написана на эту тему полнейшая чушь. Надо бы поправить.

Итак, если есть тип, хорошо. Если же можно объединить типы по какому-то признаку, то это будет класс типов, type class. В джаве это делается с помощью параметризации.

List<T>

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

Класс типов в том смысле, что List<Integer> и List<String> - это два разных типа, но принадлежат они одному классу типов. Параметризованы они типом элементов; первый пример - тип элементов Integer, второй - String.

Собственно, это и всё, больше городить нечего, но остался ещё тип List, про который в джаве принято думать, что это от общей умственной отсталости.

Не совсем так. Джавный класс List - это экзистенциальный тип, в скале записываемый как List[T] forSome {T} - список элементов определённого типа, для некоторого типа (которого мы не знаем), и это не то, что List<Object> (легко проверяется, если попробуете поприсваивать одно другому).

Это всё, что я хотел сказать; ничего нового.

а вот готовая крыша под кутом

( Read more... )

рекурсия без начала (индукция без основания)

Prelude> let repeat x = x : repeat x
Prelude> take 4 $ repeat "x"
["x","x","x","x"]

шо це за язык?!

Crec que cada any hi participa més gent. Enguany, apart de les cançons de la colla del Vi Bo , sis grups de ball. Si seguim a aquest ritme, tocarà llogar un estadi .

почти всё понятно, кроме одного - шо за язык?!

Drive Back In Time 2.0 - перепст

Originally posted by alzheimer at Drive Back In Time 2.0

Восстановлен веб-сайт DriveBackInTime.com с фотографиями, которые снимались для автомобильных журналов, в основном для "Автопилота", "Trend", Volkswagen Magazine и L'Automobile. Не только восстановлен, но и выглядит куда лучше прежнего. Сейчас загружена большая часть альбомов, ещё штук пять-десять будут загружены позже, как и раздел Collaborations, для которого сейчас вспоминается всё, что было.
Проект прекратился в 2009 году из-за кризиса, но может быть однажды восстановлен, кто знает... Поскольку основной мотив был далёкий от коммерции, то народный ПиАр будет автору не столько полезен, сколько приятен.