Haskell
Η Haskell είναι μια πρότυπη αμιγώς συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης με μη-αυστηρή σημασιολογία και ισχυρούς τύπους. Πήρε το όνομά της από τον επιστήμονα της λογικής Haskell Curry. Στη Haskell, "μια συνάρτηση είναι μέλος πρώτης τάξης" της γλώσσας προγραμματισμού. Ως συναρτησιακή γλώσσα προγραμματισμού, χρησιμοποιεί σαν κύρια δομή ελέγχου τη συνάρτηση. Η γλώσσα βασίζεται στις παρατηρήσεις του Haskell Curry (1934, 1958) και των πνευματικών του απογόνων, ότι "μια απόδειξη είναι ένα πρόγραμμα και ο μαθηματικός τύπος που αποδεικνύει είναι ο τύπος του προγράμματος".
Q193076
συναρτησιακή
Concept
Q9143
γλώσσα προγραμματισμού
Concept
Q8078
λογική
Concept
Q11538
απόδειξη
Concept
Q40056
πρόγραμμα
Concept
Q34010
Haskell
MEDIA
Q34010
Haskell
MEDIA
Q34010
Haskell
MEDIA
Q34010
Haskell
MEDIA
1934-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1934
DATE
1958-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1958
DATE
+1934^^http://www.w3.org/2001/XMLSchema#decimal
1934
NUMBER
instance of
instance of