Rappresentare il codice algebricamente

Qualcosa di simile a questo sito web descrive?

Si potrebbe dare un'occhiata a Haskell. Haskell formatta bene in lattice, ha un bel sintassi algebrica, e si può anche compilare un file di lattice con Haskell in essa, a condizione che il codice è avvolto in \begin{code}e \end{code}. Vedi qui: http://www.haskell.org/haskellwiki/Literate_programming . Probabilmente ci sono strumenti di programmazione alfabetizzati per altre lingue.

Mi piacerebbe copiare Knuth. Pochi sanno come comunicare meglio di lui in un ambiente di informatica.

APL ? L'unico problema è che poche persone possono leggerlo.

Non fare questo. Si deviazione da ciò che la gente si aspetta di vedere quando leggono un giornale su algoritmi. Si dovrebbe seguire le pratiche attesi; le tue idee sono più probabilità di ottenere l'attenzione che meritano. Paese che vai, usanze che trovi.

Formattazione codice (o pseudocodice come può essere) in un documento LaTeXed è molto semplice. Si veda, ad esempio, la formattazione del codice in LaTeX .

Lisp iniziato come una notazione matematica di un modello di calcolo in modo che il docente avrebbe uno strumento migliore rispetto alle macchine di Turing. Per caso, si scopre che esso può essere implementato in assemblea - in tal modo Lisp, il linguaggio di programmazione è nato.

Ma io non credo che questo è davvero quello che state cercando in quanto il modello di calcolo che Lisp descrive non ha cicli: la ricorsione è usato al posto. La sintassi deriva dal algebra dove parentesi indicano valutare-questo-e-sostituto-il-risultato. In effetti, il modello di lisca di computing è fondamentalmente di sostituzione - ciò che l'algebra è essenzialmente.

Infatti, lingue più funzionali come il Lisp, Haskell e Erlang derivano dalla matematica. Haskell è in realtà un risultato di dimostrare che lambda calcolo può essere utilizzato per implementare sistemi di tipo. Così Haskell, come Lisp è nato fuori della matematica pura. Ma ancora una volta, la sintassi non è quello che si sarebbe probabilmente abituati.

Si può certamente spiegare la sintassi Lisp e Haskell ai matematici e avrebbero trattarlo come un "gioco". costrutti del linguaggio come i cicli, la ricorsione e condizionali può essere provata fuori dalle regole del gioco, piuttosto che alla cieca implementato come in altre lingue. Ciò porterebbe nei regni di combinatronics, un altro ramo della matematica. Infatti, in combinatronics, anche il concetto di numeri può essere costruito fuori dalle regole del gioco, piuttosto che essere una parte nativa del linguaggio (Google Chiesa numeri).

Quindi, dare un'occhiata a Lisp / Scheme, Erlang e Haskell, se si desidera. Erlang ha in particolare sintassi vicino a quello che si vuole:

add(a,b) -> a + b

Ma la mia raccomandazione è quella di scrivere in C-come pseudocodice. E 'una sorta di minimo comune denominatore nei linguaggi di programmazione. Ha una sintassi che è abbastanza facile da capire e pulito. E la sintassi della funzione deriva anche da funzioni in matematica. Ricordate f(x)?

Come un plus, i matematici sono utilizzati per la scrittura C, statistici vengono utilizzati per la scrittura C (anche se generalmente preferiscono R), i fisici sono utilizzati per la scrittura C, i programmatori sono utilizzati per almeno guardando C (lo so pochi che non hai mai toccato C).

In realtà, graffio che. Si menziona che il pubblico di destinazione sono gli statistici. Scrivere in R

Un simbolo per i cicli generali non esiste; di solito si utilizzerà l'operatore di sommatoria . "se" è rappresentato con implicazioni , e di "aggiungere una tupla a un elenco" si usa l'unione .

Tuttavia , in generale, un po 'di prolissità non è necessariamente una cosa negativa - a volte, soprattutto per i complessi algoritmi, è meglio chiarirne il significato in parole povere, usando esempi e schemi. Questo è doppiamente vero per i non programmatori.

Pensateci: quando si legge un libro di testo di matematica su un algoritmo di Euclide per GCD, o il crivello di Eratostene, come sta scritto? Di solito, lo stesso algoritmo è in prosa, mentre la prova dell'algoritmo è dove i simboli matematici si trovano.