у меня в садочке

о прививках от гриппа

Вся страна, судя по новостям, вповалку, одна промёрзшая как Колыма Калифорния рассекает.

По ящику говорят, что вероятность таки заразиться гриппом после прививки - 38%.
Ещё говорят, что ходят сразу три вида вируса, и после одного можно заболеть другим, а потом третьим. Тут мне непонятно, а прививка от которого? А 62% в кубе - это примерно 24%, так что вероятность заболеть будет 76%, так?

"первая леди"

Что за дебильный термин. Почему "леди"? Жена Медведева - "бывшая первая леди".
А скажите, Н.К.Крупская тоже была первой леди? А Аллилуева? А Нина Хрущёва?

По-моему, чушь. И про Обамину Мишельку такая же чушь; но у Мишельки хотя бы стиль есть (довольно злобный, но неважно).

scala specs online

here

бог есть любовь

"Не знаю степени ожогов и т.д.
Получается, меня тоже надо приговорить к каким-нибудь работам, потому что, прикладывала пальчик дочки к горячему чайнику, чтобы она поняла что такое "кусь" и почему нельзя умываться из чайника.

_________________
Бог есть Любовь."

typeclasses take 2

Сидит Андрей Петрович Ощепков на крутом бережку Енисея и читает книжку "Гильбертовы Пространства в Задачах и Решениях"; подходит мужик, глядит на обложку, и спрашивает Андрея Петровича: "а шо це за параша, Гильбертовы Пространства?" 
/Эпиграф/

Итак, мой предыдущий пост я практически объявляю полной фигнёй.

Кроме одной фразы - type class - это класс типов. Остальное фигня.

Как я понимаю, класс типов можно определить а) параметрически: List[T] - это класс списков с элементами типа T; в хаскеле для этого есть лихой термин type family b) через уравнение:
class Eq a ...; в скале это можно задать приблизительно.

Сегодня Дэвид Анджеевски на скальном митапе вообще задвинул термин type class pattern, и на мой вопрос, не знает ли он формального определения тайпкласса сказал, что нет, не знает.

Вот ещё линки.
typeclassopedia, by John Kodumal, Atlassian - слов и примеров много, определения нет.
что сказал Дебасиш - это типа скорее паттерн тоже
Stackoverflow: какая польза от тайпклассов? ("а сёдла на них есть?")
Moors, Pissens, Oderski, "Generics of Higher Kind" - тут скорее намёки на тему тайпклассов, наряду с техничным рассуждением на тему шо в скале уже таки есть
"oop vs typeclasses" - по мне так скорее философия, с намёками, что, э, может быть таки тайпклассы - это параметризованные типы, не?

gentle haskell - здесь объясняют, что как раз не, объявляем через уравнения, а определяем или параметрически, или адхок.

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

Надеюсь на продуктивную дискуссию.