Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.
Haskell
 | |
| Γενικά | |
|---|---|
| Ημερ. Δημιουργίας | 1990 |
| Είδος | διερμηνευμένη γλώσσα, γλώσσα προγραμματισμού |
| Διανομή | |
| Λειτουργικά | Microsoft Windows, στυλ Unix |
| Ανάπτυξη | |
| Σύνδεσμοι | |
| Επίσημος ιστότοπος | |
| https://www.haskell.org | |
Η Haskell [1][2] είναι μια πρότυπη αμιγώς συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης με μη-αυστηρή σημασιολογία και ισχυρούς τύπους. Πήρε το όνομά της από τον επιστήμονα της λογικής Haskell Curry. Στη Haskell, "μια συνάρτηση είναι μέλος πρώτης τάξης"[3] της γλώσσας προγραμματισμού. Ως συναρτησιακή γλώσσα προγραμματισμού, χρησιμοποιεί σαν κύρια δομή ελέγχου τη συνάρτηση. Η γλώσσα βασίζεται στις παρατηρήσεις του Haskell Curry (1934[4], 1958) και των πνευματικών του απογόνων[5][6], ότι "μια απόδειξη είναι ένα πρόγραμμα και ο μαθηματικός τύπος που αποδεικνύει είναι ο τύπος του προγράμματος".
- ↑ http://www.haskell.org/pipermail/haskell-cafe/2008-January/038756.html
- ↑ http://www.haskell.org/pipermail/haskell-cafe/2008-January/038758.html
- ↑ Rod Burstall, "Christopher Strachey—Understanding Programming Languages", Higher-Order and Symbolic Computation 13:52 (2000)
- ↑ Curry, Haskell (1934), «Functionality in Combinatory Logic», Proceedings of the National Academy of Sciences, 20, σελ. 584–590
- ↑ De Bruijn, Nicolaas (1968), Automath, a language for mathematics, Department of Mathematics, Eindhoven University of Technology, TH-report 68-WSK-05. Αναθεωρημένη επανεκτύπωση, με δύο σελίδες σχόλια, στο: Automation and Reasoning, vol 2, Classical papers on computational logic 1967-1970, Springer Verlag, 1983, pp. 159-200.
- ↑ Howard, William A. (1980), «The formulae-as-types notion of construction», στο: Seldin, Jonathan P.; Hindley, J. Roger, επιμ., To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, Boston, MA: Academic Press, σελ. 479–490, ISBN 978-0-12-349050-6.
Previous Page Next Page
