Вопросы по теме 'purely-functional'

Действительно ли чисто функциональные языки гарантируют неизменность?
На чисто функциональном языке нельзя было еще определить оператор «присваивания», скажем «‹ - », так, чтобы команда, скажем,« i ‹- 3», вместо прямого присвоения неизменяемой переменной i, создавала копию всего текущего стека вызовов, за исключением...
691 просмотров

Правильно обрабатывать WebExceptions?
У меня есть следующая программа F#, которая извлекает веб-страницу из Интернета: open System.Net [<EntryPoint>] let main argv = let mutable pageData : byte[] = [| |] let fullURI = "http://www.badaddress.xyz" let wc = new...
173 просмотров

Scala создает список, читает со стандартного ввода, выводит на стандартный вывод
Я пытаюсь прочитать форматированные входные данные из стандартного ввода с помощью Scala: Эквивалентный код C++ находится здесь: int main() { int t, n, m, p; cin >> t; for (int i = 0; i < t; ++i) { cin >> n >> m...
1543 просмотров

Чистота Фобоса уменьшить
Почему std.algorithm.reduce на Фобосе не чисто? Это нерешенная проблема или есть причина, по которой этого не может быть? Имеет ли это какое-то отношение к вопросу: "Как выглядит чистая функция" , — задал Андрей в заключительной лекции на DConf...
104 просмотров
schedule 21.10.2022

Избегайте изменяемого состояния, когда мне нужно хранить (текущие секунды) несколько раз
Я собрал следующий простейший секундомер в Racket (только сейчас изучаю, конечная цель — таймер-помодоро). #lang racket (define start-time 0) (define end-times '()) (define (start);; stores start-time (set! start-time (current-seconds)))...
111 просмотров

Чистая и неотключающая функция, которая не выдает память, автоматически собирает мусор?
Предположим, у вас есть функция в D, которая является pure и nothrow и по типу возвращаемого значения и типам аргументов не может выдать какую-либо вновь выделенную память. Могу ли я тогда добавить к этой функции атрибут @nogc ? Если нет, есть...
118 просмотров
schedule 24.02.2023

Является ли наличие `(a -› b) - ›b` эквивалентом` a`?
На чисто функциональном языке единственное, что вы можете сделать со значением, - это применить к нему функцию. Другими словами, если вы хотите сделать что-нибудь интересное со значением типа a , вам понадобится функция (например) с типом f :: a...
3812 просмотров

Функция F# UnitTesting с побочным эффектом
Я разработчик C#, который только начинает изучать F#, и у меня есть несколько вопросов о модульном тестировании. Допустим, я хочу следующий код: let input () = Console.In.ReadLine() type MyType= {Name:string; Coordinate:Coordinate} let...
303 просмотров

Как избежать вложенных тернарных выражений в моем коде?
У меня есть такой код. Как я могу написать это чище и элегантнее, используя функциональное программирование на JavaScript? Я хочу избавиться от вложенных тернарных выражений. Любые идеи? props => ({ iconColor: props.isPriority ?...
15612 просмотров

scala coursera функциональное задание по программированию FunSets
Я прохожу курс функционального программирования Мартина Одерски в scala на Coursera. Однако я не могу понять решения 2-го задания Funsets.scala. type Set = Int => Boolean /** * Indicates whether a set contains a given element. */...
1573 просмотров

Как реализованы циклы в функциональных языках
В функциональных языках, таких как Scheme или Lisp , существуют циклы for и for-all . Однако циклы for требуют мутации, поскольку это не новый кадр стека на каждой итерации. Поскольку мутация недоступна в этих языках явно, как эти...
710 просмотров

Что значит работать внутри монады?
Просматривая главы учебника Haskell, посвященные различным монадам, я постоянно теряюсь, когда авторы переходят от объяснения деталей bind и законов монад к фактическому использованию монад. Внезапно всплывают такие выражения, как «запуск функции в...
408 просмотров

Клейсли против flapMap Sequencing
Проверяя определение Клейсли, у кошек и моделирование функциональных и реактивных доменов Однако я еще не могу понять, насколько это полезно. Если мы говорим о случае создания монадической функции, например, о функции, возвращающей монаду, то...
170 просмотров

Является ли эта функция JavaScript, принимающая изменяемый ссылочный аргумент, чистой функцией?
У меня тот же вопрос, что и у этого , но в контексте JavaScript. Из Википедии : возвращаемое значение [чистой функции] одинаково для одинаковых аргументов Там также утверждается, что чистая функция не может иметь изменение возвращаемого...
129 просмотров