Notazione utilizzata in "Perle dell'algoritmo funzionale"

8

Ho appena acquistato il libro "Perle dell'algoritmo funzionale" di Richard Bird. Sfortunatamente, il libro non ha alcuna sezione che descrive la notazione utilizzata.

Puoi visualizzare il contenuto del libro andando alla pagina di Amazon e facendo clic sulla copertina del libro per ottenere un picco all'interno.

link

Se qualcuno potrebbe darmi un nome e / o un riferimento per comprendere la notazione utilizzata. In questo modo ho potuto effettivamente leggere e capire gli algoritmi.

    
posta Philoxopher 09.11.2011 - 22:30
fonte

1 risposta

10

Egli menziona nella prefazione che i programmi di riferimento sono in Haskell. La formattazione è LaTeX quindi sembra un po 'strano.

Ho fatto ancora un po 'di scavo e si scopre che la notazione matematica usata è chiamata " Notazione Z " dopo il Zermelo -Fraenkel notazione teoria degli insiemi. Ecco una guida , PDF è il secondo link nell'elenco. La notazione fa parte di un più ampio tipo di notazione chiamato Codice Pidgin :

In computer programming, pidgin code is a mixture of several programming languages in the same program, or pseudocode that is a mixture of a programming language with natural language descriptions. Hence the name: the mixture is a programming language analogous to a pidgin in natural languages.

In numerical computation, mathematical style pseudocode is sometimes called pidgin code, for example pidgin ALGOL (the origin of the concept), pidgin Fortran, pidgin BASIC, pidgin Pascal, and pidgin C. It is a compact and often informal notation that blends syntax taken from a conventional programming language with mathematical notation, typically using set theory and matrix operations, and perhaps also natural language descriptions.

It can be understood by a wide range of mathematically trained people, and is used as a way to describe algorithms where the control structure is made explicit at a rather high level of detail, while some data structures are still left at an abstract level, independent of any specific programming language.

Normally non-ASCII typesetting is used for the mathematical equations, for example by means of TeX or MathML markup, or proprietary Formula editor formats.

    
risposta data 09.11.2011 - 23:03
fonte

Leggi altre domande sui tag