Resultados de la búsqueda a petición "functional-programming"

3 la respuesta

¿Por qué no se utiliza @FunctionalInterface en todas las interfaces en el JDK que califican?

Java 8 nos dio muchas formas divertidas de usar interfaces funcionales y con ellas una nueva anotación:@FunctionalInterface [http://docs.oracle.com/javase/8/docs/api/java/lang/FunctionalInterface.html]. Su trabajo es decirle al compilador que nos ...

2 la respuesta

Iterar sobre todas las combinaciones de pares sin repetición en Haskell

En Haskell, dada una lista de elementos,xs, la forma más sencilla de iterar sobre todas las permutaciones de pares con repeticiones es: [(x,y) | x <- xs, y <- xs]Deseo poder hacer lo mismo, pero solo en combinaciones. Si xey fueran comparables, ...

8 la respuesta

Java 8 flujos y mapas vale la pena?

Parece que las secuencias de Java 8 y las funciones de mapeo son tan detalladas que en realidad no son una mejora. Por ejemplo, escribí un código que usa una colección para generar otra colección modificada: private List<DartField> ...

3 la respuesta

Aplicando func a elementos en std :: tuple en el orden natural (no inverso)

Necesito llamar a una función de plantilla o sobrecargada para cada elemento en una tupla arbitraria. Para ser precisos, necesito llamar a esta función en los elementos tal como se especifican en la tupla. Por ejemplo. Tengo una ...

1 la respuesta

¿Por qué un -> a no es un functor?

Refiriéndose específicamente a https://bartoszmilewski.com/2015/04/07/natural-transformations/ [https://bartoszmilewski.com/2015/04/07/natural-transformations/] El autor dice "Esto no es un functor". Puedo definirfmap :: (a -> b) -> (a -> a) -> ...

6 la respuesta

Composición de funciones en C ++

Hay muchas bibliotecas impresionantes de Boost, como Boost.Lambda o Boost.Phoenix, que contribuyen en gran medida a convertir C ++ en un lenguaje verdaderamente funcional. Pero, ¿hay una manera sencilla de crear una función compuesta a partir de ...

3 la respuesta

Restricciones de tipo de miembro estático F #

Estoy tratando de definir una función, factorizar, que utiliza restricciones de tipo estructural (requiere miembros estáticos Cero, Uno, + y /) similar a Seq.sum para que pueda usarse con int, long, bigint, etc. I parece que no puede obtener la ...

4 la respuesta

Problema al determinar cómo ordenar tipos F # debido a referencias circulares

Tengo algunos tipos que extienden un tipo común, y estos son mis modelos. Luego tengo tipos DAO para cada tipo de modelo para operaciones CRUD. Ahora tengo una necesidad de una función que me permita encontrar una identificación dada cualquier ...

2 la respuesta

¿Cómo definir el operador de división en Agda?

Quiero dividir dos números naturales. He hecho una función como esta _/_ : N -> N -> frac m / one = m / one (suc m) / n = ?? I dont know what to write here.Por favor ayuda.

1 la respuesta

Cómo usar Math.max, etc. como funciones de orden superior

En resumen, esto funciona: [1, 2, 3].reduce(function (a, b) { return Math.max(a, b); }); => 3Pero esto no: [1, 2, 3].reduce(Math.max); => NaNPura perplejidad. Esto está en Firefox 3.5.9, que supongo que está usando elimplementación estándar de ...