Reprezentarea cod algebric

Ceva de genul acest site descrie?

S-ar putea să ia o privire la Haskell. Haskell formate bine în latex, are o sintaxă algebrice frumos, și puteți chiar compila un fișier de latex cu Haskell în ea, cu condiția codul este învelit în \begin{code}și \end{code}. Vezi aici: http://www.haskell.org/haskellwiki/Literate_programming . Există , probabil , instrumente de programare știință de carte pentru alte limbi.

Aș copia Knuth. Puțini știu cum să comunice mai bine decât să-l într-un cadru informatică.

APL ? Singura problemă este că puțini oameni pot citi.

Nu face asta. Vi se abat de la ceea ce oamenii așteaptă să vadă atunci când citesc o lucrare despre algoritmi. Ar trebui să urmeze practicile așteptate; ideile tale sunt mai susceptibile de a obține atenția pe care îl merită. Cand esti in Roma fa ca romanii.

Formatarea cod (sau pseudocod ca poate fi) într - o hârtie LaTeXed este foarte ușor. A se vedea, de exemplu, formatarea codului în LaTeX .

Lisp a început ca o notație matematică a unui model de calcul, astfel încât lectorul ar avea un instrument mai bun decât mașinile Turing. Prin accident, se dovedește că acesta poate fi pus în aplicare în asamblare - astfel Lisp, sa născut limbajul de programare.

Dar eu nu cred că acest lucru este cu adevărat ceea ce căutați, deoarece modelul de calcul care descrie bâlbâi nu are bucle: recursie este folosit în loc. Sintaxa derivă din algebra în cazul în care aparatul dentar reprezintă evaluarea-această-și-substitut-the-rezultat. Într-adevăr, modelul Lisp de calcul este, în principiu de substituție - ceea ce algebra este, în esență.

Într-adevăr, cele mai multe limbaje funcționale, cum ar fi Lisp, Haskell și Erlang sunt derivate din matematică. Haskell este de fapt un rezultat de a dovedi că lambda calcul poate fi utilizat pentru a implementa sisteme de tip. Deci Haskell, cum ar fi Lisp sa născut din matematică pură. Dar, din nou, sintaxa nu este ceea ce ar fi folosit, probabil, la.

Puteți explica cu siguranță sintaxa Lisp și Haskell matematicienilor și le-ar trata ca pe un „joc“. constructe de limbi străine, cum ar fi buclele, recurențe și condiționale poate fi dovedită din regulile jocului, mai degrabă decât orbește pus în aplicare ca și în alte limbi. Acest lucru te va duce in taramurile combinatronics, o altă ramură a matematicii. Într-adevăr, în combinatronics, chiar și conceptul de numere pot fi construite din regulile jocului, mai degrabă decât să fie o parte nativ al limbii (Google Biserica numerale).

Deci, au o privire la Lisp / schema, Erlang și Haskell, dacă doriți. Erlang are în special sintaxa aproape de ceea ce doriți:

add(a,b) -> a + b

Dar recomandarea mea este de a scrie în pseudocod ca-C. Este un fel de cel mai mic numitor comun în limbaje de programare. Are o sintaxă care este destul de ușor de înțeles și de curat. Iar sintaxa funcției derivă chiar din funcții în matematică. Amintiți - vă f(x)?

Ca un plus, matematicieni sunt folosite pentru a scrie C, statisticieni sunt folosite pentru scrierea C (deși, în general, ei preferă R), fizicienii sunt utilizate pentru a scrie C, programatorii sunt utilizate cel puțin pentru uita la C (știu câțiva care au niciodată atins C).

De fapt, zgâria asta. Ați menționat că publicul țintă sunt statisticieni. Scrieți R

Un simbol pentru bucle generale nu există; de obicei , se va utiliza operatorul însumare . „ în cazul în care “ este reprezentat folosind implicații și pentru a „adăuga un tuplu la o listă“ ar trebui să utilizați uniunea .

Cu toate acestea , în general, un pic de limbuție nu este neapărat un lucru rău - uneori, mai ales pentru algoritmi complecși, cel mai bine este să se scrie în limba engleză simplu, folosind exemple și diagrame. Acest lucru este valabil și pentru dublu-non-codificatori.

Gandeste-te: atunci când ai citit un text matematica carte despre algoritmul lui Euclid pentru GCD, sau sita de Eratostene, după cum este scris? De obicei, algoritmul în sine este în proză, în timp ce dovada a algoritmului este în cazul în care simbolurile matematice mint.