Resultados de la búsqueda a petición "functional-programming"
Particionar una secuencia Java 8
¿Cómo implementar la operación de "partición" en Java 8 Stream? Por partición quiero decir, dividir una secuencia en subtransmisiones de un tamaño dado. De alguna manera será idéntico a la guayabaIterators.partition ...
¿Qué es el contexto en _.each (list, iterator, [context])?
Soy nuevo en underscore.js. Cual es el proposito de[context] en_.each()? ¿Cómo debe usarse?
Mónada en términos que no son de programación [duplicado]
Posible duplicado: ¿Qué es una mónada? [https://stackoverflow.com/questions/44965/what-is-a-monad] ¿Cómo describirías una mónada en términos que no son de programación? ¿Hay algún concepto / cosa fuera de la programación (fuera de toda la ...
Organización de código chispa y mejores prácticas [cerrado]
Entonces, después de haber pasado muchos años en un mundo orientado a objetos con la reutilización del código, los patrones de diseño y las mejores prácticas siempre tomados en cuenta, me encuentro luchando un poco con la organización del código ...
¿Por qué las funciones F # se evalúan antes de ser llamadas?
Si defino un módulo como tal: module Module1 open System let foo = Console.WriteLine("bar")Luego, en interactivo hacer #load "Library1.fs" //where the module is defined open Module1veo un [Cargando c: \ users \ jj \ documents \ visual studio ...
Haskell: ¿Las variables de tipo están en cláusulas "where" en el mismo espacio de nombres con sus padres?
En el siguiente fragmento (he abstraído todas las otras partes triviales) data T s = T (s -> s) foo :: T s -> s -> s foo (T f) x = bar x where bar :: s -> s bar a = f aRecibí el siguiente error Couldn't match expected type `s1' with actual type ...
Cree un método que acepte longitud variable de argumentos de función con tipos posiblemente diferentes
Supongamos que tengo una cadena:String s = "1,2,3,4,5,6". Me gustaría crear un métodocombineFunctions() eso tomaría una secuencia de longitud variable deFunctions como argumento y aplica todas las operaciones en ese orden. Las funciones pueden ...
¿Entonces cuál es el punto?
¿Cuál es el propósito previsto de laSo [https://github.com/idris-lang/Idris-dev/blob/master/libs/base/Data/So.idr#L14] ¿tipo? Transliterando a Agda: data So : Bool → Set where oh : So trueSo eleva una proposición booleana a una lógica. Documento ...
¿Hay alguna forma eficiente de convertir un número unario en un número binario?
Deje que esos tipos de datos representen números naturales unarios y binarios, respectivamente: data UNat = Succ UNat | Zero data BNat = One BNat | Zero BNat | End u0 = Zero u1 = Succ Zero u2 = Succ (Succ Zero) u3 = Succ (Succ (Succ Zero)) u4 = ...
Análisis de F # XML
Este código C # probablemente no sea el más eficiente, pero obtiene lo que quiero hacer. ¿Cómo logro lo mismo en el código F #? string xml = " <EmailList> " + " <Email>[email protected]</Email> " + " <Email>[email protected]</Email> " + " ...