Thank you for sending your enquiry! One of our team members will contact you shortly.
Thank you for sending your booking! One of our team members will contact you shortly.
Course Outline
Basic Typeclassopedia
- Functor Applicative Foldable, Transversable Monads Other (βέλος, κ.λπ.)
Προηγμένοι τύποι
- Αλγεβρικοί τύποι δεδομένων σε βάθος Κατηγορίες προηγμένων τύπων Οικογένειες τύπων GADT
Εντοπισμός σφαλμάτων και βελτιστοποίηση κώδικα
- Αυστηρότητα στους τύπους και τις λειτουργίες δεδομένων Μνήμη και προφίλ CPU Αποτελεσματικές δομές δεδομένων (bytestring, κείμενο, διάνυσμα και συν.) Σημείωση για "μη ασφαλή"
Κατανόηση του συστήματος χρόνου εκτέλεσης
- Διάταξη μνήμης στο GHC Αποσυσκευασία αυστηρών πεδίων Κατανόηση και ανάγνωση του πυρήνα
Συγχρονισμός σε Haskell
- Haskell νήματα MVars and co. Παραλληλισμός STM
Διεπαφή ξένης λειτουργίας
- Βασικά στοιχεία του FFI Ασφαλή εναντίον μη ασφαλών Παγκόσμια σε Haskell
Πρότυπο Haskell
- Συναρμολόγηση και παράθεση The Q monad Reification
Requirements
Βασικές γνώσεις Haskell γλώσσας προγραμματισμού και κάποια εμπειρία στον προγραμματισμό Haskell.
14 Hours
Testimonials (1)
In genera; learning about the concept of Haskell and FP