lambda-calculus

8calore

2risposta

Definizione di una struttura di dati stack e delle sue operazioni principali nel calcolo lambda

Sto provando a definire una struttura dati stack nel calcolo lambda, utilizzando i combinatori a virgola fissa. Sto cercando di definire due operazioni, insertion e removal di elementi, quindi, push e

12calore

2risposta

η-espansione in un linguaggio funzionale puro

In OCaml, è legale avere in .mli: val f : 'a -> 'a val g : 'a -> 'a e .ml: let f x = x let g = f Eppure in F #, questa viene rifiutata: eta_expand.ml(2,5): error FS0034: Module 'Eta_expand' cont

8calore

3risposta

Calcolo di Lambda puro - e funzione

Attualmente sto imparando Haskell e sto anche partecipando a una lezione piuttosto teorica sulla programmazione funzionale all'università. So che questa è una questione puramente teorica/accademica, m

24calore

3risposta

Cosa si intende per "sostituzioni per evitare le catture"?

Durante la lettura del Lambda Calculus in Wiki, si è imbattuto nel termine Sostituzioni da evitare acquisizioni. Qualcuno può spiegare cosa significa perché non sono riuscito a trovare una definizione

6calore

1risposta

In che modo Binary Lambda Calculus codifica parentesi?

In che modo BLC codifica la parentesi? Ad esempio, come sarebbe questo: λa.λb.λc.(a ((b c) d)) Essere codificato in BLC? Nota: l'articolo di Wikipedia non è molto utile in quanto utilizza una notazi

13calore

1risposta

Esempio di Teorema di Church-Rosser in un linguaggio di programmazione funzionale

Ho visto più riferimenti allo Church Rosser theorem, e in particolare al diagramma delle proprietà del diamante, mentre imparavo la programmazione funzionale ma non ho trovato un ottimo esempio di cod

19calore

2risposta

Comprensione dei politipi in un'inferenza di tipo Hindley-Milner

Sto leggendo l'articolo di Wikipedia su Hindley–Milner Type Inference cercando di dare un senso a questo. Finora questo è quello che ho capito: I tipi sono classificati come monotipi o politipi. I mon

6calore

1risposta

Beta riduzione nel calcolo lambda utilizzando Haskell

Ho definito le seguenti funzioni per la riduzione beta ma non sono sicuro di come considerare il caso in cui le variabili libere vengono limitate. data Term = Variable Char | Lambda Char Term | Pair T

5calore

1risposta

come applicare parzialmente l'argomento arbitrario di una funzione?

voglio usare parziale functools di applicare parzialmente secondo argomento di una funzione, so che è facile da fare con lambda non parziale come segue >>> def func1(a,b): ... return a/b ... >>> f

11calore

1risposta

Come trovare l'ordine di elaborazione ottimale?

Ho una domanda interessante, ma non sono sicuro esattamente come frase che ... consideri il lambda calcolo. Per una determinata espressione lambda, ci sono diversi possibili ordini di riduzione. Ma al