Результаты поиска по запросу "functional-programming"

2 ответа

Монадическая складка с Государственной монадой в постоянном пространстве (куча и стек)?

Можно ли выполнить складывание в монаде состояния в постоянном стеке и пространстве кучи? Или другая функциональная техника лучше подходит для моей проблемы? В следующих разделах описывается проблема и мотивирующий сценарий использования. Я ...

3 ответа

Это удивительно, спасибо (и Тим)!

некоторые действительно простые и понятные объяснения схем рекурсии и схем corecursion (катаморфизмы, анаморфизмы, hylomorphisms и т. Д.), Которые не требуют много ссылок или открытия учебника по теории категорий. Я уверен, что я неосознанно ...

4 ответа

Конструкторы и функторы высших порядков в Окамле

Могут ли следующие полиморфные функции let id x = x;; let compose f g x = f (g x);; let rec fix f = f (fix f);; (*laziness aside*)быть написано для типов / конструкторов типов или модулей / функторов? Я пытался type 'x id = Id of 'x;; type 'f ...

ТОП публикаций

6 ответов

@mins ответ дает Ронак. Я просто хотел сказать, что пересечение двух множеств является подмножеством любого из этих двух множеств. Я также добавляю точный ответ.

рсе Стэнфордского Скала я наткнулся на следующее задание: Упражнение 1 - Устанавливает в функции: В этом упражнении мы представим множества как функции от Ints до Booleans: type Set = Int => Booleana) Напишите функцию "set", которая принимает ...

5 ответов

Поэтому, учитывая это, я не думаю, что кто-либо может порекомендовать полную замену c #, пока все эти инструменты не будут готовы для f #. Хороший компромисс - использовать f # в библиотеках классов и продолжать использовать c # на внешнем интерфейсе.

айм в своем выступлении на SPLASH говорит, что F # НЕ предназначен для замены C #, хотя у него есть общие возможности. Далее он говорит, что есть области, в которых использование F # не имеет смысла, но не расширяет тезис. Может кто-нибудь ...

4 ответа

Можно определить бинарные операторы для идентификации первого / последнего, который не зависит от реализации левого / правого сгиба.

чередной вопрос после Как хранить данные функциональной цепочки Monoidal List? [https://stackoverflow.com/questions/51297054/how-to-store-data-of-a-functional-chain-of-monoidal-list] а также Извлечение данных из цепочки функций без ...

3 ответа

Реализация списка # flatMap

Есть ли лучший функциональный способ записиflatMap? def flatMap[A,B](list: List[A])(f: A => List[B]): List[B] = list.map(x => f(x)).flattenКонцептуально я понимаюflatMap с точки зренияflatten.

6 ответов

Bind Vs Lambda?

У меня есть вопрос о том, какой стиль предпочтительнее: std :: bind Vs лямбда в C ++ 0x. Я знаю, что они служат - как-то - различным целям, но давайте рассмотрим пример пересекающихся функций. С помощьюlambda: uniform_int<> distribution(1, 6); ...

2 ответа

Когда и почему следует использовать Аппликативные Функторы в Scala

я знаю этоMonad можно выразить в Scala следующим образом: trait Monad[F[_]] { def flatMap[A, B](f: A => F[B]): F[A] => F[B] }Я понимаю, почему это полезно. Например, даны две функции: getUserById(userId: Int): Option[User] = ... getPhone(user: ...

5 ответов

Это потому, что, используя термин Applicative и тег haskell, это вопрос о haskell, но с ответом в другой записи.

кативные сочинения, монады нет. Что означает приведенное выше утверждение? А когда один предпочтительнее другого?