|
15.09.2006
Closure, лямбда, карринг
|
||||||||||||||||||||||||||||||||
|
Аннотация: Beam wrote:<br />
<span class='lineQuote level1'> > P.S. Вообще-то я хотел поговорить именно о терминологии, т.е.получить/найти определения — лямбда, замыкание, карринг. Т.е. объяснение не на примерах, а именно определение терминов. </span><br />
<br />
В таком случае проще прочесть в Википедии.<br />
<br />
Из-за того, что в<br />
[url=<a class="wikipedia m" href="http://en.wikipedia.org/wiki/" target="_blank">http://en.wikipedia.org/wiki/</a>... Ключевые слова: |
|||||||||||||||||||||||||||||||
|
23.12.2010
Ela. Разработка интерпретируемого языка программирования на .NET Framework
|
||||||||||||||||||||||||||||||||
|
Аннотация: Описание проекта, посвященного разработке языка программирования Ela. Ключевые слова: языки программирования; функциональное программирование; .NET |
|||||||||||||||||||||||||||||||
|
26.01.2009
LINQ как шаг к функциональному программированию
|
||||||||||||||||||||||||||||||||
|
Аннотация: Цель данной статьи – объяснить читателю незнакомому с ФП, что такое функциональный подход, какие он дает преимущества, и как его можно использовать с помощью LINQ и C# 3.0.
Кроме того, эта статья дает некоторое понимание того, как работает «LONQ to Object» и на каких принципах он основан. Ключевые слова: LINQ, C#, C# 3.0, ФП, Функциональное программирование, Функциональная парадигма, Функциональный подход, ФВП, Функции высшего порядка, Fold, FoldLeft, FoldRight, Reduce, Aggregate, Map, Convert, ConvertAll, Select, Filter, Where, Rev, Reverse, OrderBy, OrderByDescending, ThenBy, ThenByDescending, Sort. |
|||||||||||||||||||||||||||||||
|
15.02.2010
Linq-провайдер для BLToolkit
|
||||||||||||||||||||||||||||||||
|
Аннотация:
Демонстрационный проект
Ключевые слова: |
|||||||||||||||||||||||||||||||
|
06.06.2005
Императивное и декларативное программирование
|
||||||||||||||||||||||||||||||||
|
Аннотация: Здравствуйте, Adopt, Вы писали:<br />
<span class='lineQuote level1'><br />
A>Что такое Декларативное программирование?</span><br />
<span class='lineQuote level1'>A>В чем различие от ООП допустим или от функционального?</span><br />
<br />
Попробую ответить... хотя плохо во всём этом разбираюсь <img border='0' width='15' height='15' src='../Forum/images/smile.gif' /><br />
<br />
Есть программирование <i>императивное</i> и программирование <i>декларативное</i>. В императивном ... Ключевые слова: |
|||||||||||||||||||||||||||||||
|
13.09.2010
Замыкания в языке C#
|
||||||||||||||||||||||||||||||||
|
Аннотация: В статье рассказывается внутренняя реализация замыканий (closure) в языке C# и описываются основные подводные камни, с которыми может столкнуться разработчик в своей повседневной деятельности. Ключевые слова: C#; замыкания; функциональное программирование |
|||||||||||||||||||||||||||||||
|
20.06.2013
Ключевые возможности Rust
|
||||||||||||||||||||||||||||||||
|
Аннотация: Краткое описание ключевых возможностей нового языка программирования Rust. Основной акцент делается на особенностях Rust, которых не хватает многим системным и сетевым разработчикам в других языках программирования. Ключевые слова: Rust. |
|||||||||||||||||||||||||||||||
|
28.12.2008
Монады
|
||||||||||||||||||||||||||||||||
|
Аннотация: Статья рассказывает о том, что такое монады Haskell, приводятся примеры, иллюстрирующие эту концепцию. Ключевые слова: haskell,monads,хаскелл,монады |
|||||||||||||||||||||||||||||||
|
03.04.2013
Неправильное введение в функциональное программирование
|
||||||||||||||||||||||||||||||||
|
Аннотация: В данном введении я не буду рассказывать об истории функциональных языков программирования. Я не буду писать о лямбда исчислении и комбинаторике. Я даже не буду убеждать читателя в том, что функциональное программирование – это полезно и важно. Наверняка вы уже неоднократно обо всем этом читали. У меня в данном случае несколько иная задача. Я постараюсь действительно ответить на некоторые вопросы, которые могли остаться у вас после прочтения других «введений». Это, конечно, не слишком соответствует традициям – отсюда и подобное название у этой статьи.. Ключевые слова: функциональное программирование; Haskell; Ela; Ocaml; F#; C# |
|||||||||||||||||||||||||||||||
|
16.09.2006
Функциональное программирование для всех
|
||||||||||||||||||||||||||||||||
|
Аннотация: Данная статья достаточно кратко и вполне доступно, используя примеры на Java (!), знакомит читателя с базовыми понятиями функционального программирования. Ключевые слова: функциональное программирование, лямбда-исчисление, функции высшего порядка, карринг, ленивые вычисления, продолжение, сопоставление с образцом, замыкание |
|||||||||||||||||||||||||||||||
|
06.06.2005
Что такое «функциональный язык»
|
||||||||||||||||||||||||||||||||
|
Аннотация: Здравствуйте, Adopt, Вы писали:<br />
<span class='lineQuote level1'><br />
A>Что такое Декларативное программирование?</span><br />
<span class='lineQuote level1'>A>В чем различие от ООП допустим или от функционального?</span><br />
Нельзя сравнивать — совершенно разные вещи. Объясню, что такое "декларативное программирование" на примере "функционального" (благо могу просто скопировать из док... Ключевые слова: |
|||||||||||||||||||||||||||||||
Функциональные языки |
||||||||||||||||||||||||||||||||
Erlang |
||||||||||||||||||||||||||||||||
|
25.09.2006
Erlang
|
||||||||||||||||||||||||||||||||
|
Аннотация: <span class='lineQuote level1'>_>ja seichs na praktike v Germanii, tak chto iyvenite ya translit, i mne dali rabotu na jasike Erlang s ASN.1(chto-to vrode graficheskogo interfeisa).Ja ego ne snau (ranse toliko Prolog uchil)...</span><br />
<span class='lineQuote level1'>_>Esli kto snaet napisite ssilki na russkie uchebniki...budu priynatelen</span><br />
<br />
Русских учебников нет и пок... Ключевые слова: |
|||||||||||||||||||||||||||||||
|
06.12.2006
Начала работы с Erlang
|
||||||||||||||||||||||||||||||||
|
Аннотация: В далеком 1985-м году группа разработчиков из компьтерных лабораторий компании Ericsson решила создать язык, который идеально бы подхо-дил для решения задач в телекоме. Шесть лет спустя, в 1991-м, миру был представлен такой язык – Erlang.
С 1992 года Erlang начал применяться в компании Ericsson для разработки телекомуникационного оборудования. Например, бoльшая часть функцио-нальности флагманского продукта компании, свитча AXD-301, реализована с использованием Erlang-а.
В 1998 году были опубликованы исходные коды языка и его библиотек. С тех пор Erlang стал не просто языком для телекоммуникационных прило-жений, а полноценным языком общего назначения. Ericsson до сих пор развивает Erlang, и его бесплатная версия собирается из тех же исходников, что и коммерческая.
Это – простая обучающая статья, посвященная началам работы с Erlang.
Ключевые слова: Erlang |
|||||||||||||||||||||||||||||||
|
06.12.2006
Обработка ошибок в Erlang
|
||||||||||||||||||||||||||||||||
|
Аннотация: Выполнение функции в Erlang может привести к одному из двух результатов – или функция вернет значение, или же она сгенерирует исключение. Ключевые слова: Erlang |
|||||||||||||||||||||||||||||||
Haskell |
||||||||||||||||||||||||||||||||
|
07.02.2010
Конечные автоматы в чистых функциональных языках программирования.Автоматы и Haskell
|
||||||||||||||||||||||||||||||||
|
Аннотация: В работе рассматриваются вопросы реализации на функциональных языках программирования событийных структурных конечных автоматов, используемых в автоматном программировании. На примерах показаны решения, имеющие преимущества перед реализациями на императивных языках программирования. Ключевые слова: конечные автоматы, автоматное программирование, функциональное программирование, Haskell |
|||||||||||||||||||||||||||||||
|
28.12.2008
Монады
|
||||||||||||||||||||||||||||||||
|
Аннотация: Статья рассказывает о том, что такое монады Haskell, приводятся примеры, иллюстрирующие эту концепцию. Ключевые слова: haskell,monads,хаскелл,монады |
|||||||||||||||||||||||||||||||
|
14.11.2007
Функциональные типы и композиция функций в Хаскелле
|
||||||||||||||||||||||||||||||||
|
Аннотация: Статья знакомит программиста с функциональными типами языка Хаскелл и с системой проверки и вывода типов. В качестве основного примера используется оператор композиции функций. Знание Хаскелла не обязательно, необходимые для изложения элементы синтаксиса языка вводятся по мере необходимости. Предполагается, что читатель имеет представление о понятии типа, а также наличие опыта программирования на типизированном языке. Желательно знакомство с языками C/C++. Ключевые слова: |
|||||||||||||||||||||||||||||||
|
21.08.2010
Функциональный подход к обработке XML на языке Haskell
|
||||||||||||||||||||||||||||||||
|
Аннотация: В статье рассматривается парадигма функциональной обработки XML на примере языка Haskell и библиотеки HaXML Ключевые слова: Haskell; XML; HaXML |
|||||||||||||||||||||||||||||||
Мягкое введение в Haskell |
||||||||||||||||||||||||||||||||
|
03.03.2007
Мягкое введение в Haskell
|
||||||||||||||||||||||||||||||||
|
Аннотация: Задача данного материала – обеспечить «мягкое» введение в программирование на Haskell для имеющих опыт программирования, по крайней мере, на одном языке, желательно функциональном (даже если это «почти функциональный» язык, такой как ML или Scheme). Ключевые слова: haskell |
|||||||||||||||||||||||||||||||
|
24.04.2007
Мягкое введение в Haskell
|
||||||||||||||||||||||||||||||||
|
Аннотация: Данный материал – продолжение начатого в прошлом номере введения в программирование на Haskell для имеющих опыт программирования, по крайней мере, на одном языке, желательно функциональном (даже если это «почти функциональный» язык, такой как ML или Scheme). Ключевые слова: haskell |
|||||||||||||||||||||||||||||||
Nemerle |
||||||||||||||||||||||||||||||||
|
23.05.2006
Nemerle
|
||||||||||||||||||||||||||||||||
|
Аннотация: Производительность труда программиста в основном зависит от самого программиста. Однако даже самый опытный и знающий программист мало что может без подходящего инструмента. Эта статья открывает цикл статей об одном из таких инструментов, еще мало известном среди программистов, но очень многообещающем. Язык Nemerle, о котором пойдет речь в этих статьях, на первый взгляд очень похож на слегка улучшенный C#, но привносит многое из передовых исследовательских языков. Данная статья рассказывает об отличиях Nemerle от C# (как наиболее близкого языка)и является неформальным введением в язык. Ключевые слова: nemerle |
|||||||||||||||||||||||||||||||
|
20.02.2012
Nemerle – вопросы дизайна
|
||||||||||||||||||||||||||||||||
|
Аннотация: Те, кто начинает изучать язык программирования Nemerle после C#, зачастую задаются вопросом, почему при общей похожести языков в Nemerle введены те или иные синтаксические отличия. Эта статься посвящена описанию отличий и объяснению причин их возникновения. Ключевые слова: Язык программирования; Nemerle; C# |
|||||||||||||||||||||||||||||||
|
Nemerle – интеграция с VS 2008
|
||||||||||||||||||||||||||||||||
|
|
Аннотация: Целью проект является интеграцию с Nemerle с Microsoft VS. В данное время поддерживается VS 2008 и Nemerle Studio (бесплатная версия основанная на VS Shell). Предыдущие версии были рассчитаны на VS 2005, но нами было принято решение отказаться от ее поддержки. В будущем будут поддерживаться следующи... Ключевые слова: |
|||||||||||||||||||||||||||||||
|
28.04.2007
Интервью с разработчиками Nemerle
|
||||||||||||||||||||||||||||||||
|
Аннотация: Всем привет. Некоторое время назад (в общем-то, уже с полгода как) мне предложили напечатать в "Компьютерре" небольшое интервью с разработчиками языка Nemerle (интервью о Nemerle, естественно). "КТ" по каким-то причинам (неформат, наверное) интервью публиковать так и не стал, так что публикую его ту... Ключевые слова: |
|||||||||||||||||||||||||||||||
|
23.05.2006
Метапрограммирование в Nemerle
|
||||||||||||||||||||||||||||||||
|
Аннотация: Пример C++ показывает, что индустрии нужны системы метапрограммирования – даже достаточно причудливая система шаблонов широко используется для вычислений во время компиляции. Эта статья является исследованием возможного внедрения техники метапрограммирования в индустриальную среду в более чистой форме. Мы, таким образом, фокусируемся на том, чтобы сделать нашу систему легкой в использовании для программистов, как пишущих, так и использующих макросы. Ключевые слова: nemerle |
|||||||||||||||||||||||||||||||
|
17.07.2008
Разработка простого генератора отчетов с помощью Nemerle и System.Xml.Linq
|
||||||||||||||||||||||||||||||||
|
Аннотация: Статья демонстрирует разработку реального приложения на Nemerle на примере создания простого генератора отчетов. Кроме того, в статье показана работа
с XML средствами LINQ to XML. Ключевые слова: Nemerle |
|||||||||||||||||||||||||||||||
|
24.05.2006
Синтаксический сахар или C++ vs. Nemerle :)
|
||||||||||||||||||||||||||||||||
|
Аннотация: Данная статья явилось плодом размышлений автора над фразами то и дело произносимыми в отношении C++ «Зачем вводить в язык то, что реализуется библиотекой?» и «Язык должен включать только базовые вещи, а весь синтаксический сахар должен реализоваться в виде библиотек». Эта статья является сравнением того как эти фразы реализуются в языке Nemerle и чем эта реализация отличается от того что сделано в C++. Ключевые слова: nemerle vs c++ |
|||||||||||||||||||||||||||||||
|
03.03.2007
Функциональное программирование в Nemerle
|
||||||||||||||||||||||||||||||||
|
Аннотация: Язык программирования Nemerle заинтересовал многих в первую очередь своей мощнейшей подсистемой мак-росов. Однако и без них Nemerle предоставляет ряд су-щественных улучшений по сравнению с традиционными, императивными языками программирования (такими как Java, C# и C++).
Nemerle, кроме традиционного императивного програм-мирования, поддерживает функциональное программи-рование. Это выражается в наличии конструкций, упро-щающих манипуляцию функциями, построение и анализ сложных структур данных и т.п.
К сожалению, если вы не использовали возможности, присущие функциональным языкам ранее, то вам будет трудно оценить, насколько Nemerle может оказаться вам полезным в реальной повседневной работе. Данная статья призвана в неформальной форме продемонс-трировать это. Ключевые слова: nemerle |
|||||||||||||||||||||||||||||||
|
09.12.2006
Макросы в Nemerle
|
||||||||||||||||||||||||||||||||
|
Аннотация: В статье на базе практических примеров разбирается что такое макросы Nemerle, что они могут и как их создавать. Ключевые слова: Nemerle |
|||||||||||||||||||||||||||||||
Макросы Nemerle - расширенный курс |
||||||||||||||||||||||||||||||||
|
24.04.2007
Макросы Nemerle – расширенный курс
|
||||||||||||||||||||||||||||||||
|
Аннотация: Статься задумана как углубленное описание самой малоосвещенной части языка программирования Nemerle – его макросистемы. В первой части статьи будет описан процесс компиляции и освещены его особенности. Рассказано о том, что же такое макросы, каких типов они бывают, и как с ними бороться.
Во второй части будут даны примеры каждого из видов макросов и советы, где и как их применять. Ключевые слова: Nemerle, метапрограммирование, DSL, metaprogramming, макросы, macros |
|||||||||||||||||||||||||||||||
|
18.08.2011
Макросы Nemerle – расширенный курс
|
||||||||||||||||||||||||||||||||
|
Аннотация: Во второй части статьи о макросах Nemerle речь пойдет о макросах уровня выражения, о макросах, изменяющих синтаксис языка, а также о контексте компиляции, доступном в макросах, и тех возможностях, которые он предоставляет (типизации выражений, получении доступа к описанию типов проекта, информации о методах и т.п.). Ключевые слова: Язык программирования; Nemerle; Макросы; Macros |
|||||||||||||||||||||||||||||||
|
05.02.2008
Макросы Nemerle – расширенный курс
|
||||||||||||||||||||||||||||||||
|
Аннотация: В третьей части статьи о макросах Nemerle речь пойдет о разработке метаатрибутов, то есть макросов, которые выглядят как Custom-атрибуты. Ключевые слова: Nemerle, метапрограммирование, DSL, metaprogramming, макросы, macros |
|||||||||||||||||||||||||||||||
|
03.09.2009
Макросы Nemerle – расширенный курс
|
||||||||||||||||||||||||||||||||
|
Аннотация: В данной части статьи рассказывается о том, как работает система вывода типов Nemerle, о том, как с ней могут взаимодействовать макросы Nemerle, и что это дает Ключевые слова: макросы, вывод типов, отложенная типизация, Constraint solver |
|||||||||||||||||||||||||||||||
Язык Nemerle |
||||||||||||||||||||||||||||||||
|
24.09.2009
Язык Nemerle
|
||||||||||||||||||||||||||||||||
|
Аннотация: Эта статья открывает цикл статей, посвященных обучению языку программирования Nemerle. Имеющиеся статьи об этом языке предполагают, что программист хорошо знаком с Microsoft .NET Framework и языком программирования C#. Данный же цикл статей, напротив, рассчитан на людей, не знакомых ни с тем, ни с другим, и может быть даже применен для изучения программирования как такового. Новичкам в программировании может потребоваться помощь людей, уже знающих программирование. Ключевые слова: Nemerle |
|||||||||||||||||||||||||||||||
|
30.06.2010
Язык Nemerle
|
||||||||||||||||||||||||||||||||
|
Аннотация: Неформальное введение в язык программирования Nemerle. В этой части, на базе примера «калькулятор», описываются типы данных variant и class. Ключевые слова: Язык программирования; Nemerle; Введение |
|||||||||||||||||||||||||||||||
|
25.07.2010
Язык Nemerle
|
||||||||||||||||||||||||||||||||
|
Аннотация: Неформальное введение в язык программирования Nemerle. В этой части, на базе примера «калькулятор», описываются типы данных variant и class. Ключевые слова: Язык программирования; Nemerle; Введение |
|||||||||||||||||||||||||||||||
Scala |
||||||||||||||||||||||||||||||||
|
27.04.2007
Десять вопросов Мартину Одерски о Scala
|
||||||||||||||||||||||||||||||||
|
Аннотация: Все это начиналось как мини-интервью для специального номера Компьютерры . Я должен был написать пару слов о Scala, для чего задал пять вопросов Мартину Одерски. Но, поскольку в Компьютерру материалы о Scala не попыли, то я решил задать Мартину еще несколько вопросов. Ключевые слова: scala |
|||||||||||||||||||||||||||||||
|
22.05.2005
Обзор языка программирования Scala
|
||||||||||||||||||||||||||||||||
|
Аннотация: Язык Scala был создан в 2001-2004 гг в лаборатории методов программирования EPFL. Он стал результатом исследований, направленных на разработку более хорошей языковой поддержки компонентного ПО. С помощью Scala мы хотели бы проверить две гипотезы. Во-первых, мы считаем, что язык программирования компонентного ПО должен быть масштабируемым в том смысле, что должна быть возможность с помощью одних и тех же концепций описать как маленькие, так и большие части. Поэтому мы сконцентрировались на механизмах абстракции, композиции и декомпозиции вместо введения большого количества примитивов, которые могут быть полезными только на каком-то одном уровне масштабирования. Во-вторых, мы считаем, что масштабируемая поддержка компонентов может быть предоставлена языком программирования, унифицирующим и обобщающим объектно-ориентированное и функциональное программирование. Ключевые слова: Scala |
|||||||||||||||||||||||||||||||
|
30.07.2007
Первые шаги в Scala
|
||||||||||||||||||||||||||||||||
|
Аннотация: Scala – статически типизированный, объектно-ориентированный язык программирования, в котором смешиваются императивный и функциональный стили программирования. Одна из причин заинтересоваться программированием на Scala, состоит в том, что Scala позволяет увеличить производительность разработчика по сравнению с Java, сохраняя скорость исполнения JVM, существующие инвестиции в Java-код, знания и множество API, имеющихся для JVM. Scala обладает краткостью языков типа Ruby или Python, но при этом статически типизирована, как и Java. Ключевые слова: scala |
|||||||||||||||||||||||||||||||