reduction

11El calor

2Respuesta

Estoy trabajando en Types and Programming Languages, y Pierce, para la estrategia de reducción de llamadas mediante la llamada, da el ejemplo del término id (id (λz. id z)). El redex interno id (λz. i

19El calor

5Respuesta

¿Es posible hacer una reducción en una matriz con openmp?

¿OpenMP soporta de forma nativa la reducción de una variable que representa una matriz? esto funcionaría algo como lo siguiente ... float* a = (float*) calloc(4*sizeof(float)); omp_set_num_threads(13

5El calor

1Respuesta

reducción segmentada con segmentos dispersos

Tengo que resolver un problema bastante estándar en la GPU, pero soy bastante nuevo en la GPGPU práctica, así que estoy buscando ideas para abordar este problema. Tengo muchos puntos en 3 espacios que

7El calor

1Respuesta

reducción de openCL, y paso 2d array

Aquí está el bucle que quiero convertir a openCL. for(n=0; n < LargeNumber; ++n) { for (n2=0; n2< SmallNumber; ++n2) { A[n]+=B[n2][n]; } Re+=A[n]; } Y esto es l

15El calor

4Respuesta

Función predecesora de cálculo lambda pasos de reducción

Me estoy quedando atrapado con la descripción de Wikipedia de la función predecesora en cálculo lambda. Lo que dice la Wikipedia es la siguiente: PRED: = λnfx.n (λgh.h (gf)) (λu.x) (λu.u) Puede alguie

14El calor

4Respuesta

Ver Pasos de reducción en Haskell

¿Hay alguna manera de ver los pasos de reducción en haskell, es decir, rastrear las llamadas a la función recursiva realizadas? Por ejemplo, el esquema Chez nos proporciona trace-lambda. ¿Hay una form

15El calor

2Respuesta

cálculo lambda

Todo, A continuación se muestra la expresión lambda, que me resulta difícil de reducir, es decir que no soy capaz de entender cómo hacer para este problema. (λm λn λa λb m (NAB) b.) (Λ f x x.) (Λ f x