Domande taggate «pl.programming-languages»

I linguaggi di programmazione, in particolare, si concentrano sulla loro semantica.

2
Elenchi di differenze nella programmazione funzionale
La domanda Cosa c'è di nuovo nelle strutture di dati puramente funzionali da Okasaki? e l'epica risposta di jbapple, menzionata usando liste di differenze nella programmazione funzionale (al contrario della programmazione logica), che è qualcosa che mi ha interessato di recente. Questo mi ha portato a trovare l' implementazione delle …
6
Le funzioni che hanno digitato il calcolo lambda non possono essere calcolate
Voglio solo conoscere alcuni esempi delle funzioni che possono essere calcolate dal calcolo lambda non tipizzato ma non dai calcoli lambda digitati. Dato che sono un principiante, una certa reiterazione delle informazioni di base sarebbe apprezzata. Grazie. Modifica: con i calcoli lambda digitati, avevo intenzione di conoscere il sistema F …
2
Esiste un sondaggio sulla semantica delle varie funzioni del linguaggio di programmazione?
Esiste un sondaggio (dall'articolo, capitolo del libro, tutorial, collegamenti, ...) della semantica delle varie funzionalità del linguaggio di programmazione? Inizialmente sono stato sopraffatto dalle funzionalità di D qui http://www.digitalmars.com/d/2.0/comparison.html Mi piacerebbe vedere cosa potrei ottenere da qui, anche se ho fatto una domanda simile su StackOverflow e capire che questi …
1
Un esempio in cui il termine lambda normale più piccolo non è il più veloce
Lasciare la di λ Capitolato essere definita come segue:sizesizesizeλλ\lambda ,size(x)=1size(x)=1size(x) = 1 ,size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 .size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 Lasciare la complessità di un -term t essere definito come il numero di riduzioni beta parallele da t x alla sua forma normale (usando un …
2
Sostituzione ereditaria con una gerarchia dell'universo
Ho letto della sostituzione ereditaria del Simple Lambda Calculus e del Logical Framework con termini e tipi distinti. Mi chiedo, ci sono esempi di sostituzione ereditaria in un sistema tipicamente dipendente con una gerarchia dell'universo? ovvero dove ecc.True:Set0:Set1:Set2True:Set0:Set1:Set2 True : Set_0 : Set_1:Set_2 Mi chiedo in particolare come stabilire una …
2
Riferimenti a linguaggi di programmazione basati su logiche condizionali
Le logiche condizionali sono logiche che aumentano la tradizionale implicazione logica con operatori modali corrispondenti ad altre nozioni di condizione (ad esempio, la condizionale causale To recita " cause" B ", oppure condizionamento probabilistico " ", che recita " dato ").A A | B A BA□→BA◻→BA\; \square\!\!\!\!\to BUNAAA|BA|BA|BAAABBB Tipicamente queste …
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.