Хороший понедельник! Мы продолжаем изучение Erlang для самых маленьких.
В прошлой главе мы разобрались с синтаксисом функций. В этой главе мы познакомимся с системой типов языка.
Список глав
Рубрика «функциональное программирование» - 42
Erlang для самых маленьких. Глава 4: Система типов
2014-07-21 в 9:21, admin, рубрики: erlang, Erlang/OTP, динамическая типизация, для самых маленьких, никакой императивной скверны, Программирование, система типов, функциональное программированиеФункциональный JavaScript, Часть 1: Введение
2014-07-15 в 7:54, admin, рубрики: javascript, перевод, функциональное программирование, языки программированияВведение
JavaScript мощный, но недопонятый язык программирования. Людям нравится говорить, что он является объектно-ориентированным языком программирования или является функциональным языком. Другим нравится говорить, что он не является объектно ориентированным или не является функциональным языком программирования. Некоторые скажут что он относится к обоим парадигмам или ни к одной из них — но, давайте отложим на пока этот спор в сторонку.
Читать полностью »
YaLinqo (LINQ to Objects для PHP) — версия 2.0
2014-07-14 в 8:01, admin, рубрики: functional programming, linq, linq to objects, php, php5, php5.5, похапэ, Программирование, функциональное программирование 
Что-что?
LINQ — это штука, которая позволяет писать запросы, чем-то похожие на SQL, прямо в коде. LINQ to Objects, собственно, позволяет писать запросы к объектам, массивам и всему тому, чем вы оперируете в коде.
Это ещё зачем?
Если у вас есть база, то у вас есть любимый ORM (или любимый голый SQL — кому как по вкусу). Но иногда объекты приходят из веб-сервисов, из файлов, да и вообще тьма тьмущая объектов может требовать нетривиальной обработки: преобразование, фильтрация, сортировка, группировка, агрегация… Применить бы привычный ORM или SQL — но базы-то нет. Тут на помощь приходит LINQ to Objects, в данном случае YaLinqo.
Что умеет?
- Самый полный порт .NET LINQ на PHP, со многими дополнительными методами. Всего реализовано более 70 методов.
- Ленивые вычисления, текст исключений и многое другое, как в оригинальном LINQ.
- Детальная документация PHPDoc к каждому методу. Текст статей адаптирован из MSDN.
- 100% покрытие юнит-тестами.
- Коллбэки можно задавать замыканиями, «указателями на функцию» в виде строк и массивов, строковыми «лямбдами» с поддержкой нескольких синтаксисов.
- Ключам уделяется столько же внимания, сколько значениям: преобразования можно применять и к тем, и к другим; большинство коллбэков принимает на вход и то, и другое; ключи по возможности не теряются при преобразованиях.
- Минимальное изобретение велосипедов: для итерации используются Iterator, IteratorAggregate и др. (и их можно использовать наравне с Enumerable); исключения по возможности используются родные похапэшные и т.п.
- Поддерживается Composer, есть пакет на Packagist.
- Никаких внешних зависимостей.
Что случилось?
Прошёл год, как вышел PHP 5.5 со всякими вкусностями типа генераторов и исправленных итераторов. Так как на моей совести самый полноценный порт LINQ на PHP, то я решил, что настало время его обновить и воспользоваться новыми фичами языка.
Обзор языка Idris
2014-07-07 в 11:26, admin, рубрики: формальная верификация, функциональное программирование«Предвидение»
Материалов о языке Idris на русском практически нет, попробую это исправить кратким обзором. Также постараюсь сделать текст понятным для начинающих, не-функциональных и незнакомых с зависимыми типами программистов, и потому тем, кто знаком с подобными языками, может быть проще отмотать в конец или сразу прочесть официальную документацию. Писать серьёзное введение в язык и теорию не берусь, но надеюсь показать, о чём это вообще.
Итак, Idris — чистый функциональный язык программирования общего назначения с зависимыми типами.
Читать полностью »
Не стоит бояться функционального программирования
2014-07-07 в 3:22, admin, рубрики: javascript, underscore, визуализация, визуализация данных, переводы, функциональное программированиеПредставляю вашему вниманию перевод проскользнувшей недавно в ссылках дайджеста статьи Джонатана Моргана о функциональном программировании на примере JavaScript. Материал рассчитан на начинающих, но тем не менее она достаточно интересна.
Буду признателен за конструктивные замечания и предложения по опечаткам, переводу и/или оформлению. Приятного чтения!
Читать полностью »
Спецификатор constexpr в C++11 и в C++14
2014-07-03 в 19:56, admin, рубрики: c++, c++11, C++14, constexpr, Программирование, функциональное программирование Одна из новых возможностей C++11 — спецификатор constexpr. С помощью него можно создавать переменные, функции и даже объекты, которые будут рассчитаны на этапе компиляции. Это удобно, ведь раньше для таких целей приходилось использовать шаблоны. Но тут все не так просто. У тех, кто не так хорошо знаком с constexpr, может сложиться впечатление, что теперь не будет никаких проблем с расчетами на этапе компиляции. Но на constexpr-выражения наложены серьезные ограничения.
В первой части будет рассказано про constexpr, о том, какие будут изменения в стандарте C++14, а во второй части будет пример использования constexpr: библиотека, которая считает результат математического выражения в строке.
С помощью нее можно будет написать следующий код:
constexpr auto x = "(4^2-9)/8+2/3"_solve;
std::cout << "Answer is " << x;
И ответ в виде дроби будет получен на этапе компиляции:
Answer is 37/24
Сразу предупреждаю, код этой библиотеки сложно понять.
Кому эта тема интересна, добро пожаловать под кат!
Читать полностью »
Механизм фильтров Collection
2014-06-11 в 12:11, admin, рубрики: javascript, node.js, Веб-разработка, итераторы, коллекции, функциональное программирование, метки: javascript, node.js, итераторы, коллекции, функциональное программированиеЭта статья является продолжением "Итерируем всё вместе с Collection" и здесь я расскажу о встроенном механизме Collection — фильтрах.
Итерируем всё вместе с Collection
2014-06-10 в 10:03, admin, рубрики: javascript, node.js, Веб-разработка, итераторы, коллекции, функциональное программирование, метки: javascript, node.js, итераторы, коллекции, функциональное программированиеВ современном JavaScript существует целый пласт различных видов итерируемых структур данных:
- Array
- TypedArrays
- Object
- Map
- Set
- String
А также появились генераторы и универсальный протокол , который позволят итерировать что угодно и как угодно. И в тоже время для некоторых типов данных (в основном для массивов) определены различные методы для удобной функциональной работы и простого итерирования, например, forEach, map или reduce, и всё было бы хорошо, однако:
- Большинство методов определены только для массивов;
- Определяемое API слишком примитивно и не покрывает целый ряд задач;
- До сих пор скорость выполнения нативных итераторов далека от идеала и существенно уступает реализации на циклах.
Клеточные автоматы с помощью комонад
2014-06-06 в 12:21, admin, рубрики: game of life, haskell, жизнь, клеточный автомат, функциональное программирование, метки: game of life, haskell, жизнь, клеточный автоматОдним вечером я наткнулся на статью о реализации одномерного клеточного автомата с помощью комонад, однако материал неполон и немного устарел, в связи с чем решил написать русскоязычную адаптацию (заодно рассмотрев двумерные клеточные автоматы на примере Game of Life)
Новые возможности лямбд в C++14
2014-05-19 в 6:05, admin, рубрики: c++, C++14, лямбда-функции, функциональное программированиеВсем известно, что функциональное программирование распространяется с быстротой огня по современным языкам программирования. Недавние примеры — Java 8 и C++, оба из которых теперь поддерживают лямбда-функции.
Итак, начнём (и да прибудет с нами веселье). Этот текст также доступен в виде слайдов на Slideshare. На написание этой статьи автор был вдохновлён создателем JSON Дугласом Крокфордом.
Функция Identity, которая принимает аргумент и возвращает тот же самый аргумент:
auto Identity = [](auto x) {
return x;
};
Identity(3); // 3
Примечание переводчика: Новой по сравнению с C++11 является возможность не указывать названия типов.
Читать полностью »