Параметрический полиморфизм как он есть

Предыдущая заметка подтолкнула меня изучить матчасть, какие подходы к параметрической типизации существуют в природе. Не вдаваясь в теорию, параметрическая типизация — это механизм, который позволяет разрабатывать программы (обычно, алгоритмы и структуры данных) безотносительно типов данных, с которыми они работают. На практике применяется два подхода — мономорфизм и параметрический полиморфизм. 

Подробнее

Примитивы и generic’и в Scala

Когда я только знакомился со Scala, я был впечатлён тем, что ребятки разрешили проблему с поддержкой примитивов в generic’ах, или параметризированных типах, как их здесь называют. Это то, чего в Java очень не хватало. Недавно я заинтересовался деталями реализации, как конкретно это работает. И тут мне открылось страшное.

Подробнее

Социальное неравенство и зарплаты чиновников

Моя третья статья на Хабре. На этот раз на острую социально-экономическую тематику. Я случайно наткнулся в интернетах на датасет с зарплатами всех муниципальных чиновников Сан-Франциско за 4 года. Это отличный материал для маленького исследования, в котором можно продемонстрировать базовые экономические закономерности, касающиеся распределения благ в социуме.

Подробнее

Сделай сам: SQL JOIN на Java

Моя вторая статья на хабре вызвала бурю возмущения. Я приближенно описал устройство join-ов в SQL и реализовал примеры джойнов на Java. Несмотря на то, что статья про SQL и про Java, граждан крайне защемил тот факт, что я спрашиваю это на собеседованиях.

Подробнее