Domande taggate «programming-languages»

Domande relative alla progettazione, all'implementazione e all'analisi dei linguaggi di programmazione. NON per domande su come programmare, che sono fuori tema su questo sito.

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

Descrivere formalmente un nuovo linguaggio di programmazione specifico per il dominio

Sto per implementare un linguaggio specifico di dominio per la rappresentazione delle convenzioni di apprendimento sociale. Parte dell'implementazione è una descrizione formale di un linguaggio: il suo "calcolo", i simboli e le espressioni logiche. Il mio approccio sarebbe quello di descrivere il linguaggio descrivendone la grammatica ma ci sono anche …

8 formal-languages programming-languages semantics

Formalismo simile a una macchina di Turing per The Actor Model

Le macchine di Turing hanno un alfabeto simbolico formale, una descrizione basata su regole di transizione e stato di come viene fatto un calcolo. Il modello di attore è talvolta menzionato come un modello computazionale più potente rispetto alle macchine di Turing (non in ciò che può calcolare, ma in …

8 terminology computability reference-request programming-languages computation-models

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

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.