combinators

5calore

3risposta

La firma tipo di un combinatore non corrisponde alla firma di tipo della sua funzione lambda equivalente

considerare questo combinatore: S (S K) applicarlo agli argomenti XY: S (S K) X Y Esso si contrae a: X Y Ho convertito S (SK) nei termini Lambda corrispondenti e ottenuto questo risultato: (\x y

11calore

2risposta

Scala: appiattisce il parseresult (~) dal parser dei combinatori in Elenco?

Ho scritto un parser dalla libreria combinatoria. Voglio una funzione generica che trasformi qualsiasi dimensione di nest ~ in una lista. Come fare questo ? Ecco il mio esempio di parser che uso (il m

5calore

1risposta

Che cosa significa questo combinatore do: s (sk)

ora capisco la firma tipo di s (s k): s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1 e posso creare esempi che funzionano senza errori nello strumento Haskell WinGHCi: Esempio: s (s k) (\g -> 2)

5calore

1risposta

È possibile che il clojure valuti una catena di funzioni miste e restituisca una funzione parziale se necessario?

Supponiamo di avere tre funzioni di arità 1, 2 e 3, come di seguito: (defn I [x] x) (defn K [x y] x) (defn S [x y z] (x z (y z))) Ha clojure hanno una funzione di valutazione o di linguaggio per l

29calore

2risposta

Discussione combinatore in "The Little Schemer"

Così, ho passato molto tempo a leggere e rileggere la fine del capitolo 9 in The Little Schemer, dove il combinatore applicativo Y è stato sviluppato per la funzione length . Credo che la mia confusio

26calore

4risposta

Metodo combinatorio come tap, ma in grado di restituire un valore diverso?

Sto attraversando una fase di tentativo di evitare variabili temporanee e l'uso eccessivo di condizionale in cui è possibile utilizzare uno stile di codifica più fluido. Mi è piaciuto molto usare #tap

6calore

1risposta

lambda espressione calcolo applicazione funzione che implementa

Ho appena trovato la seguente espressione lambda calcolo: (((λ f . (λ x . (f x))) (λ a . a)) (λ b . b)) Così che è una funzione che prende un argomento f e restituisce un'altra funzione che prende u

5calore

1risposta

Esprimendo Y in termini di Combinatori SKI in JavaScript

Stavo armeggiando con i Cominator in JavaScript ed ero orgoglioso di (si spera) riuscendo a far funzionare S quando mi sono imbattuto in Wikipedia dicendo: "Il combinatore Y può essere espresso nello

6calore

1risposta

È possibile ottimizzare il caso presentato in un ciclo?

Supponiamo che abbia due funzioni f :: [a] -> b e g :: [a] -> c. Ho le seguenti due domande: Se effettuo (f &&& g) xs dove xs :: [a], e se entrambi f e g coinvolgono loop, è possibile per il compilato

5calore

2risposta

Come creare un combinatore K nella foresta incantata? (Mock a Mockingbird)

Ricordiamo che il combinatore K è una funzione costante. Esso restituisce sempre il suo primo argomento: Kxy = x for all y Nel libro prendere in giro a Mockingbird l'autore presenta un esempio di un