(no subject)

Эссе Стива Yegge совершенно мимо. Он там делит людей на IT-conservative и IT-liberal. В т.ч. по языкам. Из списка я больше всего люблю Perl (Extremist liberal) и Scala (Hardcore conservative). Он относит мои любимые метапрограммирование, DSLи, макросы и имплиситы в ультралевый лагерь, а всё остальное дорогое моему сердцу, вроде моделлирования, интерфейсов, контрактов, теорий типов и чётко определённой семантики языка, в ультраконсервативный лагерь. Меня бы по логике должно было разорвать.

Не разрывает. А штука в том, что люблю я в языках программирования прежде всего выразительность! Именно выразительность объединяет Перл и Скалу.
Что такое для меня выразительность? Это когда можно писать код согласно твоим внутренним представлениям о нём, без кастрации идеи в рамки прокрустова ложа языка. И по возможности, с минимумом boilerplate. Перл и Скала это как раз языки, которые прокрустовым ложем не являются. Хочешь сделать там Actor model, пиши на здоровье, хочешь софтину по манипуляции формулами — сделай удобную абстрацию (соответствующую тому, что у тебя в голове) и работай. Меня как-то недавно sorhed спрашивал, зачем я компьютерную алгебру пишу на Скале, а не не каком-нибудь лиспохаскелле, которые для этого больше предназначены. Так всё просто! На Лисп или Хаскелл мне надо «переводить», а на Скале я беру и пишу «как думаю», попутно «обучая» компилятор, как это интерпретировать.

Upd: А вот follow-up эссэ прекрасное! http://www.yosefk.com/blog/what-worse-is-better-vs-the-right-thing-is-really-about.html

(no subject)

Алсо, этой ночью ездили на Плессебург смотреть на персеиды. Метеоров было достаточно, с одним вообще повезло — крупный, пролетал через всё небо и настолько низко, что оставил инверсионный след. Под конец взорвался синим прямо в небе.

Effect typing in short

( Read more... )