В.А.Крюков
Догмы спокойного прошлого не годятся для бурного настоящего.
А. Линкольн
Введение
«Предлагаемый труд вовсе не есть плод какого–нибудь «внутреннего побуждения»[1]Читать полностью »
Рубрика «функциональное программирование» - 3
Анти–Тьюринг
2021-12-04 в 4:31, admin, рубрики: Erlang/OTP, гонка данных, параллельное программирование, польская запись, распределённые вычисления, функциональное программированиеЯзык программирования Ficus для вычислений и не только
2021-12-02 в 21:23, admin, рубрики: c++, ficus, opencv, искусственный интеллект, Компиляторы, Компьютерное зрение, функциональное программирование, языки программирования"Наш путь извилист, но перспективы светлые" Мао Цзедун
Здравствуйте, уважаемыее. Меня зовут Вадим Писаревский, я являлся лидером OpenCV (Open Source Computer Vision Library) на протяжении примерно 20 лет, и продолжаю участие в этом замечательном проекте. В этой статье я рад представить вашему вниманию результат другого своего проекта, над которым в фоне работаю уже много лет, а последние пару лет как минимум половину своего рабочего времени.
Краткая информация о языке
Какой вклад внесло функциональное программирование в современные языки?
2021-11-15 в 15:27, admin, рубрики: functional programming, haskell, programming, Блог компании Typeable, парадигмы, парадигмы программирования, Программирование, ФП, функциональное программирование, языки программирования, ЯПСовременные языки программирования обладают большим набором разнообразных средств и удобных фишек, что позволяет писать совершенно разный код на одном и том же языке для одной и той же задачи.
Парадигма программирования — это в первую очередь стиль мышления: то, как программист думает о представлении данных и процессе их обработки. Другими словами, парадигма живёт в голове программиста, а не является свойством языка. Разные языки могут в той или иной степени поддерживать определённую парадигму. Если сейчас зайти на Википедию и начать читать про самые популярные ЯП, мы увидим, что многие из них заявлены как "мультипарадигменные": на них можно писать в разных стилях, но какие-то из них использовать будет удобнее.
В своей недавней статье мы рассказывали о практических применениях Лиспа и упомянули, что он сильно повлиял на развитие других языков программирования, но не стали вдаваться в детали. Пришло время более подробно раскрыть эту тему и разобраться, какой вклад функциональное программирование в целом (не только Лисп!) внесло в развитие других языков. Поскольку мы используем Haskell как основной язык разработки, и наша команда разработчиков состоит из ФП-энтузиастов, мы не смогли пройти мимо такой темы.
В этом посте рассмотрим несколько механизмов, которые либо зародились в ФП-языках, либо нашли в них наибольшее применение и были ими популяризованы, и в итоге появились в языках, изначально не функциональных.Читать полностью »
Создаем облако на Elixir
2021-10-23 в 6:23, admin, рубрики: Elixir, Elixir/Phoenix, functional programming, phoenix, облачные сервисы, Разработка веб-сайтов, функциональное программирование
А вы знаете, где сейчас используется Лисп?
2021-10-04 в 15:05, admin, рубрики: clojure, common lisp, functional programming, Racket, Scheme, Блог компании Typeable, Лисп, Программирование, ФП, функциональное программированиеВведение
Лисп — второй по старшинству из ныне живых высокоуровневых языков программирования (после Fortran) и первый функциональный язык. Он был разработан в 1958 году и сильно изменился с тех пор, породив множество диалектов и оказав значительное влияние на развитие других языков. На данный момент наиболее известные диалекты: Common Lisp, Scheme, Racket и Clojure.
Слева: Лисп-машина в музее MIT.
Справа: Лисп-машина Symbolics 3640, фото Michael L. Umbricht и Carl R. Friend (Retro-Computing Society of RI)
Лисп стал “первооткрывателем” многих идей, нашедших применение в современных языках программирования: древовидные структуры, динамическая типизация, функции высшего порядка и многое другое. В этом посте мы не будем углубляться во вклад Лиспа в теорию, а сосредоточимся на практической пользе.
Изначально Лисп предназначался для работ в области искусственного интеллекта, в частности как представление математической нотации для символьных вычислений. Но насколько широко диалекты Лиспа используются сейчас и в каких областях применяются?
Мы в Typeable любим и применяем функциональное программирование, а влияние Лиспа на функциональные языки всё ещё сильно, поэтому нам стало интересно разобраться в этом вопросе.
Refined типы в Scala
2021-08-22 в 18:28, admin, рубрики: functional programming, scala, typelevel, функциональное программирование
В процессе написания программ мы часто сталкиваемся с данными, для которых возможен только ограниченный набор значений. Например, возраст, который не может быть отрицательным или email, который может иметь только определенный формат строки. При использовании примитивных типов (Int, String) приходится писать различные валидаторы, поскольку такие типы:
-
могут представлять все что угодно
Иммутабельная архитектура
2021-08-08 в 6:43, admin, рубрики: Анализ и проектирование систем, иммутабельность, Программирование, проектирование, Проектирование и рефакторинг, рефакторинг, Совершенный код, функциональное программированиеЭта статья является переводом материала «Immutable architecture».
В этом посте автор оригинала хотел бы показать общий подход к внедрению иммутабельности в кодовую базу на архитектурном уровне.
Иммутабельность, состояние и побочные эффекты
Прежде чем мы начнем, давайте определим термины. Скорее всего, вы уже сталкивались с ними.
Что такое функциональное программирование?
2021-08-01 в 6:43, admin, рубрики: Анализ и проектирование систем, Программирование, проектирование, Совершенный код, функциональное программированиеЭта статья является переводом материала «What is functional programming?».
В этой статье Владимир Хориков попытается ответить на вопрос: что такое функциональное программирование?
Функциональное программирование
Итак, что такое функциональное программирование? Этот термин возникает довольно часто, и каждый автор, пишущий о нем, дает собственное объяснение. На взгляд автора оригинала, самым простым и в то же время точным определением является следующее: функциональное программирование - это программирование с математическими функциями.
Функциональный Kotlin. Во имя добра, радуги и всего такого
2021-01-29 в 21:15, admin, рубрики: inline, kotlin, расширения, рефакторинг, ссылки на фукнции, функции, функции высшего порядка, функциональное программированиеВведение
Сам по себе Kotlin очень мощный инструмент, но многие часто используют его не на полную мощность, превращая его в какую-то... Java 6. Попробую рассказать почему так делать не надо и как использовать функциональные фичи языка на полную.
Функции высшего порядка
Начну с них. И, заодно, расскажу что это вообще такое: когда функция принимает другую функцию как параметр или возвращает ее - это функция высшего порядка. Просто, не правда ли? Но как этим пользоваться?
То, что функции в Котлине могут получать и возвращать другие функции для нас должно означать то, что мы можем записать их в переменную. Выглядеть это будет как-то так:
Читать полностью »
Lens JS как менеджер состояния приложения
2021-01-23 в 10:54, admin, рубрики: javascript, lens, React, state management, TypeScript, линзы, функциональное программированиеОбзор библиотеки lens-js и эксперименты с котиками.
Данные — это, в действительности, важная часть Вашего будущего приложения или отдельной библиотеки. Важна их структура, целостность, а также и подходы к организации их хранения и обработки. Задача, прямо скажем, не тривиальна, особенно в масштабах корпоративных проектов. Одно из решений — использование менеджера состояния, об одном из которых, тут пойдёт речь.
Линзы
И так, что же такое «Линзы»? Проще всего ответить тезисно - линзы это: