Domande taggate «functional-programming»

5
Esistono sistemi di verifica formale con annotazioni per linguaggi di programmazione funzionali puri?
ACSL (Ansi C Specification Language), è una specifica per il codice C, annotata con commenti speciali, che consente di verificare formalmente il codice C. Non ci ho pensato , ma immagino che i metodi formali utilizzati nei verificatori ACSL sarebbero simili a Hoare Logic. Per i linguaggi puramente funzionali, come …
1
Quali sono i problemi pratici con i tipi di intersezione e unione?
Sto progettando un semplice linguaggio di programmazione funzionale tipicamente statico come esperienza di apprendimento. Sembra che il sistema di tipi che ho implementato finora potrebbe (con un po 'di lavoro extra) incorporare tipi di intersezione e unione, ad esempio potresti avere: <Union String Integer> <Union Integer Foo> L'intersezione dei due …
2
È possibile trascurare il costo di GC quando si analizza il tempo di esecuzione delle strutture di dati nel caso peggiore specificate in un linguaggio di programmazione raccolto in modo inutile?
Ho appena capito che ho assunto la risposta alla mia domanda è "sì", ma non ho una buona ragione. Immagino che forse esista un garbage collector che introduce in modo dimostrabile solo il rallentamento del caso peggiore di . C'è un riferimento definitivo che posso citare? Nel mio caso sto …
2
Teoria delle categorie, complessità computazionale e connessioni combinatorie?
Ho cercato di leggere “ Pearls of Functional Algorithm design ”, e successivamente “ The Algebra of Programming ”, e c'è un'ovvia corrispondenza tra tipi di dati definiti ricorsivamente (e polinomialmente) e oggetti combinatori, con la stessa definizione ricorsiva e successivamente leader alle stesse serie di potenze formali (o funzioni …
4
In che modo le lingue imperative sono più diverse l'una dall'altra rispetto alle lingue funzionali?
Sto leggendo L'implementazione dei linguaggi di programmazione funzionale di Simon Peyton Jones e c'è un'affermazione che mi ha sorpreso un po '(a pagina 39): In misura molto maggiore rispetto alle lingue imperative, le lingue funzionali sono in gran parte variazioni sintattiche l'una dell'altra, con relativamente poche differenze semantiche. Ora, questo …
3
Lettore, scrittore monadi
Sia un CCC . Let un bifunctor prodotto su . Dato che Cat è CCC, possiamo curry :CCC(×)(×)(\times)CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B La categoria Functor ha la consueta struttura monoidale. C⇒CC⇒CC \Rightarrow C Un monoide in è una …
2
(Come) Potremmo scoprire / analizzare i problemi NP in assenza del modello di calcolo di Turing?
Da un punto di vista matematico / di ragionamento puramente astratto (come) si potrebbe persino scoprire o ragionare su problemi come 3-SAT, somma dei sottoinsiemi, commesso viaggiatore ecc.? Saremmo ancora in grado di ragionare su di loro in modo significativo con il solo funzionale punto di vista? Sarebbe anche possibile? …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.