pointfree

5calore

1risposta

La creazione di obiettivi senza punto non digita il controllo

Nella funzione test, ho attraversato un elenco, generato obiettivi dai suoi membri e quindi stampato alcuni dati. Funziona quando uso uno stile di chiamata puntuale. Non riesce a tipografare quando lo

6calore

2risposta

Perché la definizione libera da questo punto non funziona in Haskell?

Ho provato a fare la seguente definizione di funzione: relativelyPrime x y = gcd x y == 1 point-libera: relativelyPrime = (== 1) . gcd Tuttavia, questo mi dà il seguente errore: Couldn't match typ

7calore

3risposta

Aggiungere un'azione senza modificare il risultato alla do-notazione refactor

Desidero comporre sequenzialmente due azioni monad in Haskell, scartando qualsiasi valore prodotto dal secondo e passando l'argomento ad entrambe le azioni. Attualmente sto usando un fai-block come qu

10calore

2risposta

Come funziona l'espressione `ap zip tail`

Mi chiedevo come scrivere f x = zip x (tail x) in punto libero. Quindi ho usato il programma pointfree e il risultato è stato f = ap zip tail. ap è una funzione di Control.Monad Non capisco come funzi

8calore

3risposta

f1 = flip mappa const. Come funziona questa funzione?

Diciamo che abbiamo questa funzione senza punti: f1 = flip const map Sono all'oscuro su come esattamente funziona ea che cosa dovrebbe fare? I.e. So quali sono le funzioni map, const e flip. Ma mett

12calore

5risposta

rendere la funzione con 'se' point-free

Ho un compito in Haskell (no, non sono i miei compiti, sto imparando per l'esame). Il compito è: Write funzione senza punto numocc che conta le occorrenze di elemento in determinati liste. Ad esempio:

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

6calore

3risposta

Quali sono i passaggi per dedurre questo codice pointfree?

stavo rivedendo un po 'di codice e sono imbattuto nel seguente gemma, che scommetto è un copia-incolla di pointfree uscita: (ho pensato che il seguente sarebbe più appropriata rispetto alla solita foo

20calore

2risposta

Qual è la derivazione che mostra Haskell \ x -> (x, x) equivalente a join (,)?

Secondo pointfree: \x -> (x, x) è equivalente a: join (,) Qual è la derivazione che mostra questo?

6calore

1risposta

La versione pointfree non viene compilata, ma quella puntuale?

Voglio scrivere una funzione Haskell che restituisce un elenco aggiunto a se stesso conteggio delle volte (come lst * count in Python). Il mio primo tentativo è: self_append_n :: Int -> [a] -> [a] se