Sign In
Блог Василия Воронкова
О программировании и не только.
Translate This Page
Translate this page
Powered by
Microsoft® Translator
Options
Email Blog Author
RSS for posts
Atom
RSS for comments
OK
Search
Advanced search options...
Search In:
Everything
Blogs
Forums
People
Groups
Places
Pages
Date range:
All Time
Last Year
Last 6 Months
Last 3 Months
Last Month
Last Week
Last Two Days
Tags
C#
Ela
F#
fprog
Haskell
OCaml
Алгебраические типы
Декларативный код
Императивный код
каррирование
Функциональное программирование
частичное применение
Чистота
Archive
Archives
May 2011
(3)
April 2011
(5)
MSDN Blogs
>
Блог Василия Воронкова
Posts
Subscribe via RSS
Sort by:
Most Recent
|
Most Views
|
Most Comments
Excerpt View
|
Full Post View
Блог Василия Воронкова
Алгебраические типы. Часть 3. Полиморфные варианты
Posted
over 1 year ago
by
Василий Воронков
0
Comments
Главный недостаток алгебраических типов явным образом следует из их главного преимущества перед классами в ООП. В прошлой заметке мы обсуждали тот факт, что алгебраические типы являются "закрытыми", и вы не можете добавить новый конструктор, не изменив...
Блог Василия Воронкова
Алгебраические типы. Часть 2. ООП как путь к динамической типизации
Posted
over 1 year ago
by
Василий Воронков
5
Comments
Возможно, вам доводилось слышать такое утверждение о языке программирования Хаскелл - Хаскелл это полностью статически типизированный язык. Строго говоря, это, конечно же, не совсем так, но сейчас речь не об этом. Согласитесь, что это утверждение в каком...
Блог Василия Воронкова
Алгебраические типы. Часть 1
Posted
over 1 year ago
by
Василий Воронков
0
Comments
В теории типов алгебраическим типом данных называют такой тип, который представляет собой объединение различных значений, причем каждое из этих значений является отдельным типом данных. C#-программисту на первый взгляд такая формулировка может показаться...
Блог Василия Воронкова
Чистые функции
Posted
over 1 year ago
by
Василий Воронков
2
Comments
На первый взгляд с чистыми функциями все просто. Функция называется чистой, если она удовлетворяет двум требованиям: Функция всегда возвращает одно и то же значение для одних и тех аргументов. Т.е. если мы один раз вызвали чистую функцию с аргументами...
Блог Василия Воронкова
Эти удивительные каррированные функции
Posted
over 1 year ago
by
Василий Воронков
2
Comments
Имея в языке только каррированные функции и левоассоциативный оператор вызова, вы можете с легкостью имитировать такие возможности как передача неограниченного количества параметров, при этом не вводя в язык какие-либо дополнительные механизмы. К примеру...
Блог Василия Воронкова
Каррирование и частичное применение
Posted
over 1 year ago
by
Василий Воронков
0
Comments
Наверняка вы уже слышали такие термины как каррирование и частичное применение . Термины эти используются достаточно широко, однако несмотря на это существует определенная путаница, из-за которой некоторые даже считают, что каррирование и частичное применение...
Блог Василия Воронкова
Функциональный и императивный
Posted
over 1 year ago
by
Василий Воронков
0
Comments
А какой код, собственно, является императивным? Как ни странно, это не самый тривиальный вопрос. "Императивный" часто противопоставляется "функциональному", когда формально эти понятия не связаны. Правда в том, что функциональный код по идее не является...
Блог Василия Воронкова
Функциональное программирование изменит мир
Posted
over 1 year ago
by
Василий Воронков
1
Comments
Видимо, у каждого в жизни наступает такое время, когда просто не можешь не завести какой-нибудь технический блог. Вот и я не избежал такой участи. Не могу не признать, что существенное влияние тут оказал и тот факт, что с недавнего времени я являюсь...
Page 1 of 1 (8 items)