lambda-calculus

7calore

6risposta

dovrei prendere questo codice: f x y z = x^3 - g (x + g (y - g z) + g (z^2)) where g x = 2*x^2 + 10*x + 1 e riscrivere senza dove (o lasciare). significano per scriverlo con una funzione lambda (\

9calore

1risposta

Quali sono alcuni tipi e/o termini in system-f che non possono essere espressi in Hindley Milner

Ricordo di aver letto da qualche parte che Hindley Milner era una restrizione sul sistema-f. In questo caso, qualcuno potrebbe fornirmi alcuni termini che possono essere digitati in system-f ma non in

20calore

2risposta

Che cos'è una "variabile libera"?

(Sono sicuro che a questo sito è già stata data risposta, ma la ricerca viene sommersa dal concetto di chiamare free() su una variabile in C.) Mi sono imbattuto nel termine "riduzione di eta" che è st

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

5calore

1risposta

I parametri impliciti sono una difficoltà per l'inlining in GHC?

Sono curioso delle obiezioni a implicit parameters discusse nell'articolo Functional Pearl: Implicit Configurations di Kiselyov e Shan. Non è valido per il codice inline (β-reduce) in presenza di para

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

Combinatore S in Erlang

Sto iniziando a imparare il calcolo lambda e ho bisogno di implementare i combinatori I, S, K in Erlang. Naturalmente, S, K, I significa: S = λxyz.xz(yz) K = λxy.x I = λx.x non ho nessun problema comp

7calore

1risposta

lambda calcolo: passando due valori per un singolo parametro senza currying

non riesco a capire il motivo per cui la seguente riduzione beta è consentito in senza tipo lambda calcolo: (λx.x y) (u v) -> ((u v) y) In particolare non riesco a capire come si possa passare due p

26calore

3risposta

liste Chiesa in Haskell

ho dovuto implementare la funzione Haskell mappa per lavorare con gli elenchi delle chiese che sono definiti come segue: type Churchlist t u = (t->u->u)->u->u In lambda calcolo, le liste sono codifi

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