?

Log in

No account? Create an account
dump -0f - /dev/mind
Я знаю Haskell, OCaml, GSM, эндофункторы и много других страшных слов
Несем опиум в народ :) 
20th-Apr-2007 09:15 am
Написал короткую статью про ФП для developers.org.ua. Читайте, ругайте :)
Comments 
20th-Apr-2007 07:46 am (UTC)
Во-первых, спасибо за общественно-полезное дело.
Согласен с alexott, для того, чтобы заинтересовать, статья в самый раз. Можно было бы собрать большее примеров _практического_ применения - финансовая аналитика на Haskell в банке Credit Suisse, применение в криптографии, security - Galois Connections. Все-таки не всех впечатлит проект Эйлера.

В терминологии, на мой взгляд, есть огрехи, но в такого рода статье это несущественно.

ОО-полиморфизм - это inclusion polymorphism (согласно L.Cardelli), ad-hoc polymorphism - это перегрузка. И каким образом переименование переменных (альфа-конверсия) позволяет оптимизировать программы?

20th-Apr-2007 07:48 am (UTC)
s/большее/больше/
20th-Apr-2007 09:16 am (UTC)
С проектом Эйлера аргумент совсем слабый, во-первых там больше всего C/C++/C#, во-вторых главное там - алгоритм.

И Haskell вверху не потому, что он очень хороший, а потому, что если человек хорошо знает Haskell, то у него и общий уровень выше среднего.

Больше половины тех, кто у меня в ленте написал о смерти John Backus, любит ФП.
20th-Apr-2007 09:39 am (UTC)
Принимается. Но я свой некорректный аргумент в статье все-таки оставлю :)
20th-Apr-2007 02:00 pm (UTC)
В Проекте "Эйлер" главный язык, по-моему, - ассемблер... :о)
20th-Apr-2007 02:05 pm (UTC)
Ну я к первой сотне подошёл на perl :-)
24th-Apr-2007 07:27 pm (UTC)
Чистый перл, без всякий Math::PARI и аналогов? Сильно.
24th-Apr-2007 07:34 pm (UTC)
Math::BigInt в паре примеров (но обошёлся бы и без него).
24th-Apr-2007 07:27 pm (UTC)
Pencil & paper :)
20th-Apr-2007 09:25 am (UTC)
Оба пункта - принимаются. Плохо, когда вычитываешь после написания всего один раз :)
20th-Apr-2007 09:38 am (UTC)
Fixed и терминологию, и примеры.
20th-Apr-2007 09:43 am (UTC)
Я забыл уточнить, что Galois Connections применяют Ocaml ;)
20th-Apr-2007 10:23 am (UTC)
Точнее, Haskell, OCaml и что-то еще. Я это помню абсолютно отчетливо.
This page was loaded Nov 19th 2019, 3:43 pm GMT.