Описание тега purely-functional
Purely Functional is a term in computer science used to describe algorithms, data structures, or programming languages that do not allow modification of data at run-time.
1
ответ
Возможно ли для чистых функций в Haskell мутировать локальные копии переменных?
Возможно ли, чтобы чистые функции в Haskell мутировали локальные копии переменных, как это может сделать Clojure, как упоминалось в " Функциональном программировании - это афера"! Дэвид Нолен? Если нет, то каковы причины этого, и если да, то есть ли…
13 окт '13 в 12:55
2
ответа
Собирает ли функция чистого и nothrow, которая не передает память, автоматически мусор?
Предположим, у вас есть функция в D, которая pure а также nothrow и его тип возвращаемого значения и типы аргумента не могут пропускать никакую вновь выделенную память. Могу ли я добавить @nogc приписать этой функции тогда? Если нет, есть ли вероятн…
22 дек '15 в 23:38
1
ответ
Как проверить функцию, которая возвращает функции?
Здесь у меня есть функция generateBlocks который принимает в массиве blocks и функция onBlockClick, Возвращает массив объектов, где каждый объект имеет два свойства label а также onClick, function generateBlocks(blocks, onBlockClick){ return blocks.…
19 авг '16 в 11:05
1
ответ
Справиться с побочными эффектами Bacon.js
Я новичок в Bacon.js, обычно пишу программы на Хаскеле. По своему опыту работы с Haskell я хочу описать некоторые ситуации в Bacon.js как чисто функционально-подобный подход. Вот пример ситуации. triggerStream это исходный поток. resultStream пытает…
16 сен '14 в 21:42
1
ответ
React Native Object.freeze не работает
Я пытаюсь заморозить ключи внутри своего объекта, чтобы случайно не обновить их, так как я использую React Native (0.34.0) и Redux, поэтому мне нужно использовать чистые функции. Однако, используя пакет deepFreeze npm, а также пробуя Object.freeze(.…
19 янв '17 в 13:09
2
ответа
Генерация и объединение функций из коллекций
Я хочу составить последовательность функций, которая при наличии строки пропускает ее через все созданные функции и создает измененную строку. например string[] arr = {"po", "ro", "mo", "do"}; var modify = "pomodoroX"; foreach (var token in arr) { m…
06 авг '17 в 10:23
1
ответ
Каковы хорошие оболочки для переноса изменения состояния в haskell?
Я пытаюсь реализовать простой бэкэнд FRP, для моих собственных интересов. Я решил использовать чистые функции: так, нет ввода-вывода в ядре. Реализация основана на преобразователе сигнала. Я уже попробовал два способа: newtype SF a b = SF { listen :…
27 мар '14 в 20:20
2
ответа
Haskell: для каждого (k,v) в Map выполните IO() с помощью k и v
У меня есть Map (Int,Int) Charи я пытаюсь нарисовать каждый CharS в нем в положении, содержащемся в ключе. Мои функции: import qualified Data.Map.Strict as SM data Position = Position !GLint !GLint drawMirrors :: SM.Map (Int,Int) Char -> IO() dra…
09 фев '15 в 10:37
2
ответа
Правильная функциональная реализация на биномиальной куче
Я читаю Binomial Heap в чисто функциональных структурах данных. Реализация insTree функция меня сильно смутила. Вот набор кодов datatype Tree = Node of int * Elem.T * Tree list fun link (t1 as Node (r, x1, c1), t2 as Node (_, x2, c2)) = if Elem.leq …
31 окт '13 в 10:46
2
ответа
Анализ и дизайн для функционального программирования
Как вы справляетесь с этапами анализа и проектирования, когда планируете разработать систему с использованием функционального языка программирования, такого как Haskell? Я имею опыт работы с императивными / объектно-ориентированными языками программ…
12 апр '12 в 17:57
1
ответ
PHP Pure функции
Я пытаюсь определить чистые функции в коде PHP. Чистая функция - это та, в которой выполняются оба этих утверждения о функции: Функция всегда оценивает одно и то же значение результата, учитывая одно и то же значение аргумента. Значение результата ф…
10 окт '14 в 09:37
2
ответа
Обеспечивается ли чистота в Haskell системой типов или реализацией IO?
Всегда говорят, что система типов Haskell предотвращает загрязнение чистого кода нечистым кодом, так как вы всегда должны указывать IO в подписи типа. Однако является ли это следствием самой системы типов, или это действительно так? IO(..) не экспор…
15 мар '16 в 18:46
3
ответа
Может ли `ST`-подобная монада выполняться чисто (без библиотеки` ST`)?
Этот пост грамотный Хаскель. Просто поместите в файл, как "pad.lhs" и ghci сможет запустить его. > {-# LANGUAGE GADTs, Rank2Types #-} > import Control.Monad > import Control.Monad.ST > import Data.STRef Итак, я смог понять, как представи…
28 ноя '15 в 19:04
0
ответов
Как создать back-edge в чисто функциональной манере?
Я практикую чисто функциональный стиль в C++. Один большой вопрос заключается в том, как эффективно построить древовидную структуру данных. Особенно задние края. Подключение к супер-узлу. Это можно подумать, как сделать ссылку. В C++ люди просто исп…
23 июл '13 в 05:05
1
ответ
Статические методы близки к чистым методам?
Исходя из требований чистого метода (метод, который не имеет побочных эффектов для внешнего мира), я обнаружил, что в большинстве случаев статические методы удовлетворяют этому требованию. Мы не можем получить доступ к переменным экземпляра в статич…
23 янв '18 в 11:03
2
ответа
F# PurelyFunctionalDataStructures WeightBiasedLeftistHeap ex 3.4
Я работаю над чисто функциональными структурами данных Окасаки и пытаюсь построить реализацию F# вещей. Я также выполняю упражнения, перечисленные в книге (некоторые довольно сложные). Ну, я застрял в упражнении 3.4, которое вызывает изменение функц…
13 июн '11 в 16:17
5
ответов
Являются ли побочные эффекты всем, что не может быть найдено в чистой функции?
Можно ли с уверенностью сказать, что имеет место следующая дихотомия: Каждая заданная функция либо чистый или имеет побочные эффекты Если это так, побочные эффекты (функции) - это то, что невозможно найти в чистой функции.
01 май '16 в 16:59
3
ответа
Конвейер функции Stateful
Код объясняет сам. val s = Seq(1,1,1) val res: Seq[Int] = s.map(...) .check(count how many 1s, if > 2 throw Exception) .map(...) Я ищу простое решение для этого check функция я могу использовать map а также closure считать и бросать, но я хочу чи…
28 май '16 в 02:27
2
ответа
Как циклы реализованы в функциональных языках
На функциональных языках, таких как Scheme или же Lisp существуют for а также for-all петли. тем не мение for циклы требуют мутации, так как это не новый кадр стека на каждой итерации. Поскольку мутация не доступна в этих языках явно, как эти функци…
13 мар '18 в 23:02
2
ответа
Запуск awk детерминирован
Я ищу способ запуска awk поддающимся проверке детерминированным способом, то есть результат должен определяться только входными данными. Другими словами, учитывая, что у программы есть вывод, я хочу знать, что он повторяется. Это будет означать удал…
12 апр '16 в 18:26