functional-programming

5calore

2risposta

Haskell: le variabili di tipo nelle clausole "where" nello stesso spazio dei nomi con i loro genitori?

Nel seguente frammento di codice (ho sottratto tutte le altre parti banali) data T s = T (s -> s) foo :: T s -> s -> s foo (T f) x = bar x where bar :: s -> s bar a = f a mi sono seguen

5calore

3risposta

Combinatore di mappe C++ funzionale con auto

Sto cercando di utilizzare fancy -std = C++ 14 caratteristiche per implementare il combinatore "mappa" che vedi nei linguaggi funzionali (da non confondere con std :: map). Il mio obiettivo finale è s

7calore

2risposta

Generalizzazione schemi di ricorsione di `code '

Ho una struttura in stile schema di ricorsione e vorrei ottenere un elenco di tutte le sottostrutture inclusa la struttura completa, ovvero l'equivalente di ciò che fa la funzione tails su un List . P

8calore

3risposta

Esiste un modo efficace per convertire un numero unario in un numero binario?

lasciare che quei tipi di dati rappresentano numeri naturali unarie e binari rispettivamente: data UNat = Succ UNat | Zero data BNat = One BNat | Zero BNat | End u0 = Zero u1 = Succ Zero u2 = Suc

8calore

2risposta

Creare un metodo che accetta la lunghezza variabile di argomenti Function con tipi possibilmente diversi

Supponiamo che abbia una stringa: String s = "1,2,3,4,5,6". Vorrei creare un metodo combineFunctions() che prendesse una sequenza di lunghezza variabile di Function s come argomento e applicasse tutte

12calore

2risposta

scegliendo tra i metodi di overload se il parametro attuale è un lambda

In Java 1.8, la seguente espressione lambda conforme ad entrambe le interfacce funzionali Runnable e Callable: () -> { throw new RuntimeException("FIXME"); } Tuttavia, se presento a un utilizz

23calore

1risposta

Quindi: qual è il punto?

Qual è lo scopo previsto per il tipo So? Traslitterazione in Agda: data So : Bool → Set where oh : So true So solleva una proposta booleano fino ad un uno logico. Il documento introduttivo di O

12calore

1risposta

Esiste un metodo comodo per creare un predicato che verifica se un campo è uguale a un determinato valore?

Spesso mi trovo nella necessità di filtrare uno Stream o di utilizzare un predicato che controlla se un determinato campo ha un determinato valore. Dire per esempio ho questa POJO: public class A {

13calore

2risposta

Capire `ap` in una funzione priva di punti in Haskell

sono in grado di capire le basi di funzioni senza punto in Haskell: addOne x = 1 + x Come si vede x su entrambi i lati dell'equazione, semplifichiamo iT: addOne = (+ 1) Incredibilmente si scopre c

8calore

3risposta

Mapping su una serie di attività in Javascript

Così ho iniziato a guardare Ramda/Folktale. Sto riscontrando un problema nel tentativo di mappare su una serie di attività provenienti da una directory. Sto cercando di analizzare il contenuto del fil