2
ответа
Оператор различия в списке Haskell в F#
Существует ли эквивалентный оператор к оператору различия в списке Haskell \\в F#?
вопрос задан: 15 September 2012 06:43
2
ответа
Объяснение того, “чтобы жениться”
В чтении Haskell-связанного материала я иногда сталкиваюсь с “женившимся” выражением, я думаю, что понимаю то, что это делает, но не как. Так, там хорошо работают, основные, и простые понять...
вопрос задан: 18 June 2012 13:43
2
ответа
Высокоуровневые абстракции многопоточности/параллелизма для.NET
Я просто задался вопросом, почему, в отличие от Scala, F# или Haskell, основная платформа.NET (как доступная в C# или VB), кажется, имеет очень мало собственной поддержки высокоуровневых шаблонов параллелизма. Там являются основными...
вопрос задан: 5 May 2012 21:51
2
ответа
“Не мог разрешить символ” ошибка
Когда я вставляю этот код в REPL, он хорошо работает: (используйте 'clojure.contrib.seq-utils) (defn-случайная буква [] (символ (+ (интервал рэнда 26) 97))) (defn-случайно-разрядный [] (интервал рэнда 10)) (defn-случайный пароль...
вопрос задан: 3 February 2012 18:28
2
ответа
Монада-трансформер для отслеживания прогресса
Я ищу монаду-трансформер, которую можно использовать для отслеживания прогресса процедуры. Чтобы объяснить, как его можно использовать, рассмотрим следующий код: procedure :: ProgressT IO ()
procedure = task ...
вопрос задан: 19 December 2011 21:06
2
ответа
Пусто в constrast с Единицей
Я хотел бы понять, который является различием между этими двумя концепциями программирования. Первое представляет отсутствие типа данных, и в последнем существует тип, но нет никакой информации...
вопрос задан: 6 December 2011 17:42
2
ответа
Как был бы 'Модель' в веб-приложении типа направляющих быть реализованным на языке функционального программирования?
В платформах веб-разработки MVC, таких как Ruby on Rails, Django и CakePHP, Запросы HTTP направляются к контроллерам, которые выбирают объекты, которые обычно сохраняются к хранилищу базы данных бэкенда...
вопрос задан: 4 October 2011 17:31
2
ответа
Visual Studio 2010 и станд.:: функция
У меня есть этот код: #include <iostream> #include <функциональная> структура {международный оператор () (интервал i) константа {станд.:: суд <<"F": <<я <<станд.:: endl; возвратитесь i +...
вопрос задан: 2 October 2011 10:27
2
ответа
Как работают единицы измерения F #?
У кого-нибудь был шанс разобраться, как работают единицы измерения F #? Является ли это просто chicanery на основе типов, или есть скрытые типы CLR, которые (потенциально) могут быть использованы из других языков .net? ...
вопрос задан: 20 September 2011 10:14
2
ответа
Доменный управляемый дизайн в функциональном программировании?
Существует ли эквивалент DDD в FP? Мне кажется, что DDD только допустим в парадигме ООП.
вопрос задан: 18 September 2011 17:43
2
ответа
Проблемы с использованием чисто функционального программирования для решения повседневных проблем
Я видел этот пост сегодня в хакерских новостях. Я борюсь с теми же проблемами понимания того, как чистое функциональное программирование поможет мне абстрагироваться от реальной проблемы. Я переключился с ...
вопрос задан: 1 June 2011 12:17
2
ответа
Scala, эквивалентный монадам Haskell
У меня был некоторый опыт в Haskell и в настоящее время изучении Scala. Задаюсь вопросом, существует ли что-то эквивалентное Монадам в Scala??
вопрос задан: 18 April 2011 22:40
2
ответа
Какой смысл того, чтобы использовать монады в интерпретаторе?
Я недавно обнаружил этот небольшой scala пример под названием Простой интерпретатор с помощью монад: возразите simpleInterpreter {класс M случая (значение: A) {определение связывают [B] (k: => M [B]): M [B] = k (значение)...
вопрос задан: 20 February 2011 13:22
2
ответа
ветвление if-else в clojure
Я учу себя Clojure. На языке, отличном от FP, я мог бы достаточно легко написать вложенные if, и если бы я специально не поставил else, то управление просто вытекло бы из блока if. Например: ...
вопрос задан: 9 February 2011 10:56
2
ответа
Как заставить неизменные наборы Scala содержать неизменные объекты
Я оцениваю Scala и имею проблему с ее неизменными наборами. Я хочу сделать неизменные наборы, которые являются абсолютно неизменными, правильными вниз через все содержащие в нем объекты...
вопрос задан: 15 December 2010 19:29
2
ответа
Ханойские башни с K-образными опорами
Проблема Ханойских башен - классическая проблема для рекурсии. Вам дается 3 колышка с дисками на одном из них, и вы должны переместить все диски с одного стержня на другой, следуя данным правилам. ...
вопрос задан: 3 September 2010 21:35
2
ответа
Есть ли какие-нибудь принципы Clojure?
Есть ли там какие-либо принципы? какие-либо принципы Clojure? а. Понравились принципы объектно-ориентированного проектирования SOLID для объектно-ориентированных языков, таких как Java? б. или другие, более эвристические, такие как «Скажи, не спрашивай»,
вопрос задан: 31 August 2010 12:09
2
ответа
Реализация интерпретатора с прямой резьбой на функциональном языке, таком как OCaml
В C / C ++ вы можете реализовать прямой потоковый интерпретатор с массивом указателей на функции. Массив представляет вашу программу - массив операций. Каждая из функций операций должна заканчиваться на ...
вопрос задан: 31 August 2010 00:36
2
ответа
Правильное использование изменяемых / неизменяемых списков
В данный момент я пытаюсь понять функциональное программирование в Scala, и я наткнулся на проблема, которую я не могу понять сам. Представьте себе следующую ситуацию: у вас есть два класса: Controller и ...
вопрос задан: 29 August 2010 17:44
2
ответа
Haskell coding-style: map, fmap or <$>?
Is there any reason to prefer one of the following notations over the others or is this simply a matter of preference? map toLower "FOO" fmap toLower "FOO" toLower <$> "FOO" As an aside: I ...
вопрос задан: 20 August 2010 08:55
2
ответа
Каковы практические ограничения полный язык Тьюринга, такой как Coq?
Поскольку существуют полные языки, отличные от тьюринговых, и, учитывая, что я не изучал Comp Sci в университете, может ли кто-нибудь объяснить что-то, что не может сделать неполный по Тьюрингу язык (такой как Coq)? Или ...
вопрос задан: 16 August 2010 10:57
2
ответа
Почему приправляет карри и не приправляет карри не неявный в scala
Если у меня есть функция: f: => B => C я могу определить неявное преобразование, таким образом, что это может использоваться, где функция (A, B) => C ожидается. Это входит в другое направление также. Почему...
вопрос задан: 11 August 2010 11:54
2
ответа
Что эквиваленты R к карте и grep Perl?
Я интересуюсь (функциональным) векторным управлением в R. А именно, что эквиваленты R к карте и grep Perl? Следующий сценарий Perl захватывает ровные элементы массива и умножает их...
вопрос задан: 2 August 2010 15:35
2
ответа
Там какие-либо алгебраические структуры используются в функциональном программировании другой затем моноид?
Я недавно узнающий о функциональном программировании (в Haskell и Scala). Это - возможности, и элегантность довольно очаровательна. Но когда я встретил Монады, который использует алгебраическую структуру...
вопрос задан: 25 July 2010 22:28
2
ответа
Почему может Повышение. Связать функцию быть названными с дополнительными параметрами?
#include <iostream> #include <строка> #include <boost/bind.hpp> освобождают нечто (станд.:: представьте const& макет в виде строки) {станд.:: суд <<"Эй": <<макет <<станд.:: endl;} интервал...
вопрос задан: 23 July 2010 18:26
2
ответа
Быстрый Стандарт компилятор ML или интерпретатор байт-кода, с read-eval-print циклом, для Linux?
Для использования с классом я буду преподавать, я ищу быстрый интерпретатор компилятора или байт-кода для Стандарта ML. Я ищу быстрое время компиляции; любое разумное время выполнения сделает. Премия, если...
вопрос задан: 12 July 2010 03:00
2
ответа
Сделайте макросы, и функции интегрируются больше беспрепятственно
Хорошо, я понимаю вполне прилично, как использовать и функцию и макросы. То, на предмет чего мне любопытно, - то, почему компилятор не может быть немного более умным при интеграции этих двух, например, рассмотреть код Clojure: (...
вопрос задан: 2 July 2010 11:52
2
ответа
Моделирование Typeclasses в C++
Действительно ли возможно реализовать Haskell typeclasses в C++? Если да, то, как?
вопрос задан: 27 June 2010 18:25
2
ответа
Универсальные типом данных библиотеки программирования для Scala
Я ищу библиотеку Scala, допуская универсальное типом данных программирование (как Фрагмент Ваш Шаблон, например). Список библиотек с соответствующими ссылками и краткими описаниями для каждого...
вопрос задан: 13 June 2010 07:38
2
ответа
Существует ли язык программирования, который выполняет приправление карри, когда именованные параметры опущены?
Много языков функционального программирования имеют поддержку параметров с приправой карри. Для поддержки приправляющих карри функций, параметры к функции являются по существу кортежем, где последний параметр может быть опущен...
вопрос задан: 10 June 2010 02:58