Haskell

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 .

[1] ttp://www.haskell.org/pipermail/haskell-cafe/2008-January/038756.html

[2] ttp://www.haskell.org/pipermail/haskell-cafe/2008-January/038758.html

[3] Rod Burstall, "Christopher Strachey—Understanding Programming Languages", Higher-Order and Symbolic Computation 13:52 (2000)

[4] Curry, Haskell (1934), «Functionality in Combinatory Logic», Proceedings of the National Academy of Sciences, 20, σελ. 584–590

[5] 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.

[6] 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 .

[1]

[2]

[3]

[4]

[5]

[6]