|
Синонимайзер (Haskell)
Когда я первый раз написал синонимайзер на PyQt4, я и не подозревал, что он станет неким "Hello world" для gui приложений. Следующий вариант реализации синонимайзера был на Java. Кто дальше? Исходя из заголовка, не сложно догадаться, следующим будет — Haskell.
Вторник, Сентябрь 27, 2011 г. Haskell давно не даёт мне покоя. С того самого момента, когда он заинтересовал меня своей необычностью, я неоднократно забрасывал и вновь возвращался к постижению монад, стрелочек и прочих прелестей. Началось всё с интереса функциональному программированию в целом. Я с любопытством исследователя присматривался к достойным представителям этой парадигмы. Даже купил sicp в бумаге. Честно сказать — зацепило. Но что то мне не хватало в Scheme. Я не хочу сказать, что Lisp плох, скорее это была субъективная «не симпатия». В Haskell меня привлекла лаконичность и математическая красота исходного кода. Окрылённый чувствами я практически сразу же схватился за довольно непростую задачу обфускатор js которую так и не решил полностью. Сейчас смотрю на тот пост и многое мне не нравится. Возможно перепишу в будущем с использованием библиотеки parsec и доведу до логического конца. Но это потом, а сейчас — синонимайзер ;). далее... | ||
Теги:
Комментарии: |
Обфускатор JS (Haskell)
Сегодня в моей копилке пополнение. Речь пойдёт о довольно интересном языке программирования — Haskell. Традиционно не буду заострять внимание на самом языке. Описательной информации о нём в рунете вполне достаточно. Приведу лишь краткую выдержку из wikipedia:
Воскресенье, Ноябрь 7, 2010 г. Háskell (русск. Ха́скель, Ха́скелл) — стандартизованный чистый функциональный язык программирования общего назначения. Является одним из самых распространённых языков программирования с поддержкой отложенных вычислений. Типизация в Хаскеле строгая, статическая, с автоматическим выводом типов. Поскольку язык функциональный, то основная управляющая структура — это функция. Серьёзное отношение к типизации — ещё одна отличительная черта Хаскеля. Концепция языка отражает идею математика Хаскелла Карри, писавшего, что «доказательство — это программа, а доказываемая формула — это тип программы». далее... | ||
)
