Informatica teorica functional-programming

1

Digitare sistemi che impediscono perdite di memoria legate alla pigrizia?

Forse la principale fonte di problemi di prestazioni in Haskell è quando un programma crea inavvertitamente un thunk di profondità illimitata - questo provoca sia una perdita di memoria che un potenziale overflow dello stack durante la valutazione. L'esempio classico sta definendo sum = foldr (+) 0in Haskell. Esistono sistemi …

10 type-theory functional-programming program-verification

1

Algoritmo per determinare l'uguaglianza delle funzioni sul calcolo lambda semplicemente digitato?

Sappiamo che l'uguaglianza beta dei termini lambda semplicemente digitati è decidibile. Dato M, N: σ → τ, è decidibile se per tutti X: σ, MX NX?≃β≃β≃_β

10 ds.algorithms pl.programming-languages type-theory functional-programming

2

Come faccio a scegliere una struttura di dati del dizionario funzionale?

Ho letto un po 'delle seguenti strutture di dati: Bagwell's Ideal Hash Tries Tabelle hash dinamiche di Larson Alberi rosso-neri Alberi Patricia ... e sono sicuro che ce ne sono molti altri là fuori. Ho visto ben poco in termini di ciò che ognuno è più adatto per, o perché …

10 ds.data-structures functional-programming tree hash-function

1

Quali sono i limiti teorici del linguaggio di programmazione Stratego?

Stratego è un linguaggio di trasformazione della programmazione / Riscrittura DSL. Anthony Sloane ha svolto alcuni lavori eseguendo un'implementazione su Scala . Quali sono i limiti teorici di Stratego come linguaggio funzionale? (indipendentemente dall'implementazione). Si potrebbe scrivere un ycombinator di ordine applicativo in Stratego?

10 functional-programming

3

Come rendere forte la normalizzazione del calcolo Lambda senza un sistema di tipi?

Esiste un sistema simile al calcolo lambda che si sta fortemente normalizzando, senza la necessità di aggiungere un sistema di tipi sopra di esso?

9 pl.programming-languages computability lambda-calculus functional-programming

3

La classe di funzionali di ricorsione primitiva è equivalente alla classe di funzioni che Fetus dimostra di terminare?

Feto, se non ne hai sentito parlare, può essere letto qui . Utilizza un sistema di "matrici di chiamata" e "grafici di chiamata" per trovare tutti i "comportamenti ricorsivi" delle chiamate ricorsive in una funzione. Mostrare che una funzione termina mostra che tutti i comportamenti ricorsivi delle chiamate ricorsive fatte …

9 lo.logic computability functional-programming

1

Quali sono le possibili implementazioni delle classi di tipi di Haskell e quali sono i loro (dis) vantaggi?

Per quanto ne so, una funzione di Haskell con vincoli di classi di tipi viene compilata internamente in una funzione con argomenti aggiuntivi che ricevono dizionari con le implementazioni necessarie di ogni particolare classe di tipo. Ci sono altre possibilità come compilare le classi di tipi? In tal caso, quali …

9 pl.programming-languages functional-programming compilers type-systems

Domande taggate «functional-programming»