Informatica teorica pl.programming-languages

7

Applicazioni solide della teoria delle categorie in TCS?

Ho imparato alcuni frammenti di teoria delle categorie. Certamente è un modo diverso di vedere le cose. (Riepilogo molto approssimativo per coloro che non l'hanno visto: la teoria delle categorie offre modi di esprimere tutti i tipi di comportamento matematico esclusivamente in termini di relazioni funzionali tra oggetti. Ad esempio, …

103 pl.programming-languages lo.logic ct.category-theory

7

Quali teoremi interessanti in TCS si basano sull'assioma della scelta? (O in alternativa, l'assioma della determinazione?)

I matematici a volte si preoccupano dell'Assioma della Scelta (CA) e dell'Assioma della Determinazione (AD). Assioma della scelta : Dato un insieme di insiemi non vuoti, c'è una funzione che, dato un insieme in , restituisce un membro di . f S C SCC{\cal C}fffSSSCC{\cal C}SSS Assioma della determinazione : …

67 cc.complexity-theory lo.logic pl.programming-languages big-picture set-theory

12

Qual è la base teorica della programmazione imperativa?

La programmazione funzionale ha una base teorica nel calcolo lambda e nella logica combinatoria . Come qualcuno coinvolto nel calcolo statistico, trovo che questi concetti siano molto utili per la modellazione. Esiste una base matematica equivalente della programmazione imperativa o è semplicemente nata dall'applicazione pratica dell'hardware nel linguaggio macchina e …

48 imperative-programming pl.programming-languages

7

Cosa costituisce la semantica denotazionale?

Su un thread diverso , Andrej Bauer ha definito la semantica denotazionale come: il significato di un programma è una funzione dei significati delle sue parti. Ciò che mi preoccupa di questa definizione è che non sembra distinguere ciò che viene comunemente pensato come semantica denotazionale da quella che viene …

45 pl.programming-languages big-picture semantics denotational-semantics

7

Usando il calcolo lambda per derivare la complessità del tempo?

Ci sono dei vantaggi nel calcolare la complessità temporale di un algoritmo usando il calcolo lambda? O esiste un altro sistema progettato per questo scopo? Eventuali riferimenti sarebbero apprezzati.

43 lambda-calculus pl.programming-languages time-complexity

7

Cosa sappiamo dei programmi dimostrabilmente corretti?

La sempre crescente complessità dei programmi per computer e la posizione sempre più cruciale che i computer hanno nella nostra società mi lascia chiedermi perché non utilizziamo ancora collettivamente linguaggi di programmazione in cui è necessario fornire una prova formale del corretto funzionamento del codice. Credo che il termine sia …

37 reference-request complexity-classes computability pl.programming-languages

6

Le espressioni regolari non lo sono

Chiedi anche a qualcuno con un background nell'informatica quale sia un'espressione regolare e la risposta probabilmente andrà oltre il vincolo di essere alla portata di un automa a stati finiti. Ad esempio, l '"espressione regolare" /^1?$|^(11+?)\1+$/ creato dalla nota personalità del Perl Abigail (e parte della suite di test del …

36 automata-theory pl.programming-languages fl.formal-languages regular-expressions terminology

8

Algoritmi di ordine superiore

La maggior parte degli algoritmi noti sono di primo ordine, nel senso che i loro input e output sono dati "semplici". Alcuni sono di secondo ordine in modo banale, ad esempio ordinamento, hashtable o funzioni map e fold: sono parametrizzati da una funzione, ma in realtà non fanno nulla di …

35 ds.algorithms functional-programming ds.data-structures pl.programming-languages

3

Digitare class vs interfacce oggetto

Non credo di capire le classi di tipi. Ho letto da qualche parte che pensare alle classi di tipi come "interfacce" (da OO) che un tipo implementa è sbagliato e fuorviante. Il problema è che sto avendo problemi a vederli come qualcosa di diverso e come ciò sia sbagliato. Ad …

33 pl.programming-languages type-theory type-systems

4

Ricerca e sfide aperte nella teoria dei linguaggi di programmazione

Nello spirito di alcune discussioni generali come questa , sto aprendo questa discussione con l'intenzione di raccogliere opinioni su quali siano le sfide aperte e gli argomenti caldi nella ricerca sui linguaggi di programmazione . Spero che la discussione possa anche far emergere opinioni sul futuro della ricerca nei linguaggi …

32 pl.programming-languages open-problem research-practice

5

Linguaggi di programmazione per un calcolo efficiente

È impossibile scrivere un linguaggio di programmazione che consenta a tutte le macchine che si fermano su tutti gli input e nessun altro. Tuttavia, sembra facile definire un tale linguaggio di programmazione per qualsiasi classe di complessità standard. In particolare, possiamo definire un linguaggio in cui possiamo esprimere tutti i …

32 cc.complexity-theory computability pl.programming-languages

4

Rapporto tra contratti e tipizzazione dipendente

Ho letto alcuni articoli su tipi dipendenti e contratti di programmazione. Dalla maggior parte di ciò che ho letto, sembra che i contratti siano controllati dinamicamente i vincoli e che i tipi dipendenti siano controllati staticamente. Ci sono stati alcuni documenti che mi hanno fatto pensare che sia possibile avere …

31 pl.programming-languages type-theory program-verification dependent-type

7

Libri sulla semantica del linguaggio di programmazione

Ho letto " Semantics with Applications " di Nielson & Nielson e mi piace molto l'argomento. Mi piacerebbe avere un altro libro sulla semantica del linguaggio di programmazione, ma posso davvero ottenerne solo uno. Ho dato un'occhiata al libro Turbak / Gifford , ma è troppo lungo; Pensavo che Winskel …

31 reference-request pl.programming-languages semantics denotational-semantics books

1

Linguaggi di programmazione con funzioni canoniche

Esistono linguaggi di programmazione (funzionali?) In cui tutte le funzioni hanno una forma canonica? Cioè, ogni due funzioni che restituiscono gli stessi valori per tutto l'insieme di input è rappresentata allo stesso modo, ad esempio se f (x) restituisce x + 1 e g (x) restituisce x + 2, quindi …

29 computability pl.programming-languages functional-programming function

4

Quali sono le differenze tra relazioni logiche e simulazioni?

Sono un principiante che lavora su metodi che dimostrano l'equivalenza del programma. Ho letto alcuni articoli sulla definizione di relazioni logiche o simulazioni per dimostrare che due programmi sono equivalenti. Ma sono abbastanza confuso su queste due tecniche. So solo che le relazioni logiche sono definite induttivamente mentre le simulazioni …

29 lo.logic pl.programming-languages logical-relations parametricity

Domande taggate «pl.programming-languages»