7
ответов

Есть ли какие-либо чисто функциональные Схемы, или Шепелявит?

Я играл вокруг с несколькими языками функционального программирования и действительно наслаждаюсь s-expr синтаксисом, используемым, Шепелявит (Схема в особенности). Я также вижу преимущества работы в чисто функциональном...
вопрос задан: 16 April 2011 20:35
6
ответов

Действительно ли Haskell чист (какой-нибудь язык, который имеет дело с вводом и выводом вне системы)?

После касания Monads в отношении функционального программирования, делает ли функция на самом деле язык чистым, или это просто еще одна «карта выхода из тюрьмы» для рассуждения компьютерных систем в ...
вопрос задан: 5 June 2012 16:00
5
ответов

У Haskell есть переменные?

Я часто слышал заявления, что у Haskell нет переменных; в частности, этот ответ утверждает, что не делает, и это было upvoted по крайней мере девять раз и приняло. Делает это имеет переменные или...
вопрос задан: 23 May 2017 12:34
5
ответов

Haskell является действительно чисто функциональным языком, рассматривая unsafePerformIO?

На Haskell обычно ссылаются как пример чисто функционального языка. Как это может быть выровнено по ширине, учитывая существование Системы. IO.Unsafe.unsafePerformIO?Править: Я думал с "просто...
вопрос задан: 25 May 2011 16:36
5
ответов

понимание ссылочной прозрачности

Обычно у меня болит голова, потому что что-то неправильно с моим обоснованием: Для 1 набора аргументов справочная прозрачная функция будет всегда возвращать 1 набор выходных значений. это означает что такой...
вопрос задан: 16 July 2010 23:12
4
ответа

Что назвать эквивалент ООП “ссылочной прозрачности”?

Мое понимание - то, что термин "ссылочная прозрачность" может действительно только быть применен к функциональному коду. Однако вызов метода на объекте в объектно-ориентированном коде может иметь подобное свойство...
вопрос задан: 5 July 2010 09:57
3
ответа

Выборка последовательностей случайных чисел в Хаскелле

Мне нужны маленькие списки гауссовских случайных чисел для моделирования и таким образом, я попробовал следующее: Система импорта. Случайное семя = 10 101 генерал = mkStdGen отбирает сигму boxMuller mu (r1, r2) = mu + сигма * sqrt (-...
вопрос задан: 21 January 2010 15:44
2
ответа

Структура данных типа «застежка-молния» с более чем одним курсором

Структура данных «застежка-молния» отлично подходит для тех, кто хочет чтобы пройти по дереву и сохранить текущую позицию, но какую структуру данных следует использовать, если они хотят отслеживать более одной позиции? Позвольте мне объяснить ...
вопрос задан: 13 June 2013 22:27
2
ответа

Нахождение кратчайшего пути между двумя точками на сетке, использование Haskell

Это - проблема, которую я могу легко достаточно решить нефункциональным способом. Но решение его в Haskell дает мне большие проблемы. Так как меня неопытен когда дело доходит до функционального программирования...
вопрос задан: 16 April 2011 20:35
1
ответ

Оптимизация вызовов функций в Haskell

Не уверен, что именно искать в Google этот вопрос, поэтому я отправлю его прямо в SO: переменные в Haskell неизменяемы Чистые функции должны приводить к одинаковым значениям для тех же аргументов. Из этих двух ...
вопрос задан: 22 May 2011 18:46
1
ответ

Как поймать (и игнорировать) вызов функция ошибки?

Я удивлен, что нигде не нашел ответа на этот вопрос. Я пишу roguelike и использую библиотеку ncurses от hackage, которая является довольно хорошей оболочкой для библиотеки ncurses. Теперь ...
вопрос задан: 9 May 2011 01:49
1
ответ

Что такое ссылочная прозрачность?

Что означает термин ссылочная прозрачность? Я услышал, что это описало как, "это означает, что можно заменить, равняется с, равняется", но это походит на несоответствующее объяснение.
вопрос задан: 16 October 2008 15:02
0
ответов

Что произойдет, если скомпилировать программу, которая не принимает никаких входных данных? (Вопросы чистоты IO в Haskell (снова))

putStrLn при вызове с любыми аргументами всегда будет возвращать значение типа IO (). Я согласен, что это чисто, я могу с этим справиться. Но прозрачно ли это ссылочно? Я думаю, да, потому что для любого заданного ввода ...
вопрос задан: 15 April 2013 03:14
0
ответов

Чистота и ссылочная прозрачность

Кажется, что термины определяются по-разному, но я всегда думал, что одно подразумевает другое; Я не могу придумать ни одного случая, когда выражение было бы ссылочно прозрачным, но не чистым, или наоборот ....
вопрос задан: 14 March 2013 03:07
0
ответов

Использование ссылочной-прозрачности для предварительного-вычисления значений в haskell

Допустим, у нас есть такая программа :list = [1..10000000] main = print $sum list Я хочу, чтобы это быть скомпилирована таким образом, чтобы исполняемый файл просто печатал 50000005000000, не занимая столько времени и...
вопрос задан: 10 April 2012 19:00
0
ответов

How to write a haskell function without IO in type sig by hiding 'state' changes

I wrote a function in haskell that takes a few parameters like Word32, String (ignore currying) and outputs IO Word32. Now, this is a function in the true sense: for the same inputs, the output will ...
вопрос задан: 20 May 2011 18:26
0
ответов

Каков наиболее элегантный способ работы с внешней библиотекой с внутренним состоянием с помощью языка программирования функций?

В настоящее время я играю с разработкой Scala, но мне нужно интегрироваться с такими библиотеками, как box2d, для обработки физики . Проблема в том, что это требует зависимости от внешней библиотеки, которая ...
вопрос задан: 22 April 2011 21:23
0
ответов

Существует ли двунаправленная постоянная структура данных с несколькими картами?

Другими словами, можем ли мы эффективно смоделировать отношения "многие ко многим" в постоянной структуре данных? Была предложена пара однонаправленных мультиотображений. Однако я не уверен, как это будет работать хорошо ...
вопрос задан: 18 April 2011 06:49
0
ответов

Ссылочная прозрачность

Что означает термин «ненаблюдаемый» в контексте термина «ссылочно прозрачный» в функциональном программировании?
вопрос задан: 31 January 2011 05:11
0
ответов

Как функциональные языки моделируют побочные эффекты?

Поскольку побочные эффекты нарушают ссылочную прозрачность, разве они не идут вразрез с функциональными языками?
вопрос задан: 3 October 2010 05:17