Εκπροσωπώντας τον κωδικό αλγεβρικά

Κάτι σαν αυτό το δικτυακό τόπο περιγράφει;

Μπορείτε να ρίξετε μια ματιά σε Haskell. Haskell Μορφές και στο λατέξ, έχει ένα ωραίο αλγεβρικό σύνταξη, και μπορείτε ακόμη και να καταρτίζουν φάκελο latex με Haskell σε αυτό, με την προϋπόθεση ο κωδικός είναι τυλιγμένο σε \begin{code}και \end{code}. Δείτε εδώ: http://www.haskell.org/haskellwiki/Literate_programming . Υπάρχουν πιθανώς παιδεία εργαλεία προγραμματισμού για άλλες γλώσσες.

Θα αντιγράψετε Knuth. Λίγοι ξέρουν πώς να επικοινωνούν καλύτερα από αυτόν σε ένα περιβάλλον επιστήμη των υπολογιστών.

APL ; Το μόνο πρόβλημα είναι ότι λίγοι άνθρωποι μπορούν να το διαβάσουν.

Μην το κάνετε αυτό. Είστε αποκλίνουν από αυτό που οι άνθρωποι περιμένουν να δουν όταν διαβάζουν ένα έγγραφο σχετικά με αλγόριθμους. Θα πρέπει να ακολουθήσετε την αναμενόμενη πρακτικές? οι ιδέες σας είναι πιο πιθανό να πάρει την προσοχή που τους αξίζει. Όταν στη Ρώμη, όπως και οι Ρωμαίοι κάνουν.

Μορφοποίηση του κώδικα (ή ψευδοκώδικα καθώς μπορεί να είναι) σε ένα LaTeXed χαρτί είναι πολύ εύκολη. Βλέπε, για παράδειγμα, διαμόρφωση κώδικα σε LaTeX .

Lisp που ξεκίνησε ως μια μαθηματική σημειογραφία ενός μοντέλου υπολογιστών, έτσι ώστε ο διδάσκων θα έχει καλύτερο εργαλείο από μηχανές turing. Με ατύχημα, αποδεικνύεται ότι μπορεί να εφαρμοστεί σε συγκρότημα - ως εκ τούτου Lisp, η γλώσσα προγραμματισμού γεννήθηκε.

Αλλά δεν νομίζω ότι αυτό είναι πραγματικά αυτό που ψάχνετε, αφού το μοντέλο υπολογιστή που Lisp περιγράφει δεν έχει βρόχους: αναδρομή χρησιμοποιείται αντ 'αυτού. Η σύνταξη προέρχεται από άλγεβρα όπου τιράντες υποδηλώσει αξιολογήσει-αυτό-και-υποκατάστατο-το-αποτέλεσμα. Πράγματι, το μοντέλο ψεύδισμα της computing είναι ουσιαστικά η υποκατάσταση - τι άλγεβρα είναι ουσιαστικά.

Πράγματι, οι περισσότερες λειτουργικές γλώσσες όπως η Lisp, Haskell και Erlang που προέρχονται από τα μαθηματικά. Haskell είναι στην πραγματικότητα ένα αποτέλεσμα που αποδεικνύει ότι λογισμός λάμδα μπορεί να χρησιμοποιηθεί για την υλοποίηση συστημάτων τύπου. Έτσι, Haskell, όπως Lisp γεννήθηκε από καθαρά μαθηματικά. Αλλά και πάλι, η σύνταξη δεν είναι αυτό που θα μπορούσε πιθανότατα να χρησιμοποιηθεί για να.

Μπορείτε βεβαίως να εξηγήσει Lisp και Haskell σύνταξη για τους μαθηματικούς και θα την αντιμετωπίσει ως ένα «παιχνίδι». δομές γλώσσας, όπως θηλιές, αναδρομή και των συνθηκών μπορεί να αποδειχθεί από τους κανόνες του παιχνιδιού και όχι στα τυφλά εφαρμοστεί, όπως και σε άλλες γλώσσες. Αυτό θα σας οδηγήσει στη σφαίρα της combinatronics, άλλο κλάδο των μαθηματικών. Πράγματι, σε combinatronics, ακόμη και η έννοια των αριθμών μπορεί να κατασκευαστεί από τους κανόνες του παιχνιδιού, αντί να είναι ένας ντόπιος μέρος της γλώσσας (google Εκκλησία αριθμητικά).

Έτσι, ρίξτε μια ματιά στο Lisp / Σχέδιο, Erlang και Haskell, αν θέλετε. Erlang έχει ειδικά σύνταξη κοντά σε ό, τι θέλετε:

add(a,b) -> a + b

Αλλά σύστασή μου είναι να γράψω σε C-όπως ψευδοκώδικα. Είναι το είδος του ελάχιστου κοινού παρονομαστή στις γλώσσες προγραμματισμού. Έχει μια σύνταξη που είναι αρκετά εύκολο να κατανοήσουν και καθαρό. Και η σύνταξη της συνάρτησης προέρχεται ακόμη και από λειτουργίες στα μαθηματικά. Να θυμάστε f(x);

Ως συν, οι μαθηματικοί που χρησιμοποιούνται για το γράψιμο C, οι στατιστικολόγοι που χρησιμοποιούνται για το γράψιμο C (αν και γενικά προτιμούν R), οι φυσικοί που χρησιμοποιούνται για την γραφή C, οι προγραμματιστές που χρησιμοποιείται για τουλάχιστον κοιτάζοντας C (Ξέρω λίγα που έχω ποτέ άγγιξε C).

Στην πραγματικότητα, το μηδέν αυτό. Θα αναφέρω ότι το κοινό-στόχο σας είναι στατιστικολόγους. Γράψτε το R

Ένα σύμβολο για γενική βρόχοι δεν υπάρχει? συνήθως θα χρησιμοποιήσετε το συντελεστή άθροισης . «αν» εκπροσωπείται χρήση επιπτώσεις , και να «προσθέσει μια πλειάδα σε μια λίστα» που θα χρησιμοποιήσετε ένωσης .

Ωστόσο , σε γενικές γραμμές, ένα κομμάτι της πολυλογία δεν είναι απαραίτητα κάτι κακό - μερικές φορές, ειδικά για πολύπλοκους αλγόριθμους, το καλύτερο είναι να το διευκρινίσει σε απλά αγγλικά, χρησιμοποιώντας παραδείγματα και διαγράμματα. Αυτό είναι διπλά ισχύει και για μη-προγραμματιστές.

Σκεφτείτε το: όταν διαβάζετε ένα μαθηματικό κείμενο-βιβλίο για τον αλγόριθμο του Ευκλείδη για το ΠΔΠ, ή το κόσκινο του Ερατοσθένη, πώς είναι γραμμένο; Συνήθως, ο ίδιος ο αλγόριθμος είναι σε πεζό λόγο, ενώ η απόδειξη του αλγορίθμου είναι όπου τα μαθηματικά σύμβολα βρίσκονται.