May 3rd, 2009

with Cat The Cat

Ха!

The financial markets have crashed. One important reason seems to be the trading in financial derivatives. These derivatives can be so complex that it’s very hard to estimate their value. Now if only there was a domain specific language for describing and evaluating such financial contracts...

A few weeks ago, GMail had a major outage. Edwin Brady pointed out a press release by Google that blamed ‘unexpected side effects of some new code’ – now if only there was some way to ensure code doesn’t have side effects...

This leads me to believe that Haskell is currently solving problems that will affect society in ten years or so. I predict there’s a major telecom blackout because Erlang fails to do parallel garbage collection. Maybe major bank systems will crash because of a mistake in taking the wrong locks during transactions. Or perhaps an epic fail of Amazon’s databases after an incorrect type cast.

http://www.haskell.org/sitewiki/images/8/85/TMR-Issue13.pdf

Ха! ;)

Из комментария lionet у metaclass.
with Cat The Cat

История, как она известна мне.

Забыл, как наркомат точно назывался, а сейчас первоисточник найти не могу.

Тем не менее.

Сталину принесли на подписание проект Наркомата Новых Средств Труда. Сталин долго думал, листал проект, мусолил карандаш. Потом сказал:
- Не всё новое хорошее, не всё старое плохое.
Зачеркнул название и написал "Передовых Средств Труда".

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

Кстати, академик Лысенко, что прославился своей антинаучной деятельностью, был в фаворитах Сталина потому, что регулярно выдавал полезное для экономики.

Это моё мнение.
with Cat The Cat

Про Intentional.

Не так давно было у меня.

Там есть ссылка, где lionet поделился видео и презентацией, переложив их с download.microsoft.com.

Рассматриваю видео, часть с демонстрациями.

Преобразования написаны на C#. Ужас, ужас.

В общем и целом, очень интересно, но выбор основного языка многое портит, по-моему.

По-моему, у них получилось слишком сложно. Но круто.

PS
Из мнений экспертов прикладных областей о самой программе: This is the stuff I had to do mentally and keep consistent in my head all the time. It’s great to finally have tools for it.

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