Scienza del computer functional-programming

1

Logica combinatoria tipizzata semplicemente?

Poiché esiste un calcolo lambda non tipizzato e un calcolo lambda tipicamente semplice (come descritto, ad esempio, nel libro Tipi e linguaggi di programmazione di Benjamin Pierce), esiste una logica combinatoria tipizzata semplicemente? Ad esempio, sembrerebbe che sarebbero i tipi naturali per i combinatori S, K e io S : …

8 logic lambda-calculus functional-programming combinatory-logic

2

Qual è lo stato dell'arte nella ricerca incapsulata nella programmazione logica funzionale?

Sono particolarmente interessato a soluzioni al problema che la ricerca incapsulata può dipendere dall'ordine di valutazione. Secondo [1], la ricerca incapsulata in PAKCS dipende dall'ordine di valutazione, mentre in MCC non lo fa, ma il suo utilizzo richiede la conoscenza dell'implementazione del compilatore e non segue le specifiche del linguaggio …

8 reference-request functional-programming nondeterminism logic-programming

4

Cosa significa "argomento fittizio"?

Cosa significa quando un argomento di una funzione è chiamato argomento fittizio ? Non ho incontrato questo termine al di fuori di Fortran, è un termine generale in informatica? Quali sarebbero esempi di argomenti passati come fittizi e non passati come fittizi? Ho trovato questa definizione , che non sono …

8 terminology programming-languages functional-programming

3

Funzioni ML da liste polimorfiche a liste polimorfiche

Sto imparando la programmazione in ML (OCaml) e in precedenza ho chiesto informazioni sulle funzioni di tipo ML'a -> 'b . Ora sto sperimentando un po 'con funzioni di tipo 'a list -> 'b list. Ci sono alcuni semplici esempi ovvi: let rec loop l = loop l let return_empty …

8 programming-languages typing functional-programming

Domande taggate «functional-programming»