0
ответов
Как лень Clojure взаимодействует с вызовами Java / нечистым кодом?
Сегодня мы наткнулись на проблему в нашем коде и не смогли ответить на этот вопрос Clojure: оценивает ли Clojure нечистый код (или вызовы Java-кода) строго или лениво? Похоже, что побочные эффекты + ...
вопрос задан: 19 October 2011 16:16
0
ответов
Какой язык функционального программирования самый минимальный?
Какой язык функционального программирования самый минимальный?
вопрос задан: 18 October 2011 13:06
0
ответов
Замыкания как решение идиомы слияния данных
Я пытаюсь осмыслить замыкания и думаю, что нашел случай, когда они могут быть полезны. У меня есть следующие элементы, с которыми нужно работать: Набор регулярных выражений, предназначенных для очистки состояния ...
вопрос задан: 18 October 2011 04:23
0
ответов
Как FRP должен работать на верхнем уровне?
Я экспериментировал с созданием фреймворка функционального реактивного программирования для Scala. На данный момент меня смущает одна вещь: как нынешние реализации имеют дело с представлением ...
вопрос задан: 17 October 2011 17:20
0
ответов
Scala: какова наиболее подходящая структура данных для отсортированных подмножеств?
Учитывая большую коллекцию (назовем ее «а») элементов типа T (скажем, вектор или список) и функцию оценки «f '(скажем, (T) => Double) Я хотел бы получить из' a 'коллекцию результатов' b '...
вопрос задан: 17 October 2011 10:51
0
ответов
Понимание ленивого вычисления в Haskell
Я пытаюсь изучить Haskell, но застрял в понимании ленивого вычисления.
Может кто-нибудь подробно объяснить мне ленивое вычисление и результаты следующих двух случаев [с объяснение] в отношении ...
вопрос задан: 14 October 2011 23:33
0
ответов
Утечки пространства в Haskell
Я много раз читал, что ленивое вычисление в Haskell иногда может приводить к утечкам пространства. Какой код может привести к утечке пространства? Как их обнаружить? И какие меры предосторожности можно предпринять со стороны ...
вопрос задан: 14 October 2011 13:43
0
ответов
Как работает «рэп» в машине SECD?
Я пишу симулятор машины SECD на C #, руководствуясь описанием в Википедии. Я выполнил основные операции, но я не уверен, как реализовать команду rap. В Википедии ...
вопрос задан: 13 October 2011 09:34
0
ответов
некоторая функция, примененная с соотношением, никогда не возвращает
, может кто-нибудь, пожалуйста, объясните, почему (some # (= 3%) (range)) возвращает true, но (some # (= 4 / 3%) (диапазон)) никогда не возвращается?
вопрос задан: 11 October 2011 14:59
0
ответов
Почему на PartialFunction нет метода orElse, принимающего общую функцию?
Почему на классе PartialFunction[A, B] нет метода со следующей сигнатурой? def orElse[A1 <: A, B1 >: B](that: A1 => B1): A1 => B1 Есть ли какая-то логическая причина отсутствия ...
вопрос задан: 11 October 2011 11:37
0
ответов
Зависимые типы для проверки структурированных данных
Прежде всего, я действительно не знаю, что не так с зависимыми типами и почему мы не видим их реализованными в существующих языках для практического программирования, вместо того, чтобы изобретать всевозможные уловки (...
вопрос задан: 10 October 2011 08:24
0
ответов
Можно ли реализовать эту функциональность с помощью системы типов Haskell?
В Scala операции более высокого порядка над коллекциями всегда возвращают наилучший из возможных типов в контексте. Например, в случае BitSet, если вы сопоставляете int с int, вы получаете BitSet, но если вы сопоставляете int ...
вопрос задан: 9 October 2011 17:12
0
ответов
Новичок в OCaml: как мне приступить к реализации исключения Гаусса?
Я новичок в OCaml и хотел бы реализовать исключение Гаусса в качестве упражнения. Я могу легко сделать это с помощью алгоритма с отслеживанием состояния, то есть хранить матрицу в памяти и рекурсивно работать с ней с помощью ...
вопрос задан: 7 October 2011 16:46
0
ответов
Реализовал ли я Y-комбинатор, используя динамический C #, и если нет, то что это?
Мой мозг, кажется, находится в мазохистском режиме, поэтому после того, как он утонул в этом, этом и этом, он захотел возиться с некоторыми DIY в C #. Я придумал следующее, которое, как мне кажется, не является Y -...
вопрос задан: 6 October 2011 04:49
0
ответов
Вызов функции Javascript с неизвестным числом аргументов с исходным контекстом
В настоящее время я использую Function.apply для вызова функции с динамическим числом аргументов, но я не имеют доступа к исходному контексту и не имеют желания устанавливать контекст самостоятельно. Что бы я хотел ...
вопрос задан: 5 October 2011 01:18
0
ответов
Вывод объекта функции шаблона C ++ 0x
Я программист на Scala / Java и хочу снова познакомиться с C ++ и изучить некоторые захватывающие возможности C ++ 0x. Я хотел начать с разработки моей собственной слегка функциональной библиотеки коллекций, основанной на ...
вопрос задан: 2 October 2011 10:29
0
ответов
OCaml: Объявление функции перед ее определением
Есть ли способ объявить функцию перед ее определением в OCaml? Я использую интерпретатор OCaml. У меня есть две функции: let myFunctionA = (* здесь кое-что ..... *) myFunctionB (* кое-что *) ...
вопрос задан: 30 September 2011 19:23
0
ответов
Добавление ограничений типа в контекст объявлений экземпляров в Haskell
Я пытаюсь представить взвешенные ребра. В конечном итоге я хочу, чтобы OutE был экземпляром Eq и Ord, с ограничением, что etype является экземпляром Eq и Ord. Предположим, у меня есть следующий файл ...
вопрос задан: 30 September 2011 19:20
0
ответов
Синтаксис Haskell для 'или' в выражениях case
В F # я могу использовать | группировать случаи при сопоставлении с образцом. Например, пусть rec factorial n = соответствует n с | 0 | 1 -> 1 // как в этой строке | _ -> n * factorial (n - 1) ...
вопрос задан: 29 September 2011 21:19
0
ответов
Изучение Haskell с целью изучения Scala
Я читал несколько вопросов, таких как Scala против Haskell, в которых обсуждались достоинства обоих языков или какие из них следует изучать, но я уже знаю, что хотел бы изучить Scala. Я был программистом на Java в uni, и теперь ...
вопрос задан: 29 September 2011 08:16
0
ответов
Scala - Как использовать функторы для типов, не являющихся функциями?
Читая описание функторов в этом блоге: https://hseeberger.wordpress.com/2010/11/25/introduction-to-category- theory-in-scala / есть общее определение Functor и многое другое ...
вопрос задан: 27 September 2011 18:01
0
ответов
Учебник по C # Lambda и LINQ для опытного функционального программиста [закрыто]
Я хотел бы изучить «функциональные» части C # (.NET 4). Как давний программист на Haskell и Lisp, я бы предпочел не отвлекаться на объяснения основных понятий. Есть ли книга / ...
вопрос задан: 26 September 2011 20:09
0
ответов
Насколько чистой и ленивой может быть Scala?
Это лишь один из тех вопросов типа «мне было интересно ...». Scala имеет неизменяемые структуры данных и (необязательно) ленивые значения и т. Д. Насколько близка программа Scala к полностью чистой (в ...
вопрос задан: 26 September 2011 10:31
0
ответов
Следует ли размещать функции F # в модулях, классах или другой структуре? [closed]
Я начинаю кодировать на F # и вызываю функции из функций с функциями в качестве параметров - в Интернете есть множество учебных ресурсов. Теперь я пытаюсь собрать все воедино в ...
вопрос задан: 26 September 2011 04:24
0
ответов
OCaml: Использование оператора сравнения, переданного в функцию
Я новичок в OCaml. Я пытаюсь понять, как обрабатывать оператор сравнения, переданный в функцию. Моя функция просто пытается передать оператор сравнения (=, <,> и т. Д.) И int. ...
вопрос задан: 26 September 2011 02:44
0
ответов
Лучшая структура данных для неизменяемой постоянной трехмерной сетки
Я экспериментирую с написанием игры в стиле функционального программирования, который подразумевает представление состояния игры с помощью чисто функциональных неизменяемых структур данных. Одна из самых важных данных ...
вопрос задан: 25 September 2011 05:18
0
ответов
OCaml: Сопоставление шаблонов и операторы If/else
Итак, я совсем новичок в OCaml и довольно медленно продвигаюсь в реализации своих первых функций. Одна вещь, которую мне трудно понять, это когда следует использовать способности сопоставления с образцом, такие как let foo =...
вопрос задан: 24 September 2011 02:37
0
ответов
Самый идиоматический способ написания пакетов размера seq в F #
Я пытаюсь изучить F #, переписывая некоторые алгоритмы C #, которые у меня есть, на идиоматический F #. Одна из первых функций, которые я пытаюсь переписать, - это batchesOf where: [1..17] |> batchesOf 5, который разделился бы ...
вопрос задан: 22 September 2011 05:19
0
ответов
Удобный способ использования java-интерфейса Function из scala?
Здесь на работе большинство людей используют Java, а я работаю со Scala. Мы решили собрать несколько общих классов в библиотеке, которая будет написана на Java. Теперь я хочу добавить псевдофункциональность ...
вопрос задан: 20 September 2011 07:26
0
ответов
Как этот фрагмент переведет к Haskell?
Я борюсь с HASKELL, и идею использования рекурсии по поводу случайных вещей. Например, как бы // это может показаться глупо, но мне нужно сделать это
list1 = пустой список
list2 = список номеров
...
вопрос задан: 19 September 2011 21:59