 |
|
Was andere dazu sagen - Rezension schreibenReview: Introduction to Functional Programming using HaskellNutzerbericht - Jim Powers - GoodreadsFor me, this was a great book for learning Haskell. Lots of rigorous proofs and great discussion of things like strictness and bottom values. What was great about the treatment was that each new ... Vollständige Rezension lesen Review: Introduction to Functional Programming using HaskellNutzerbericht - Neverov - GoodreadsNice introduction to Haskell with a lot of exercises. It also taught to prove by induction. Vollständige Rezension lesen Inhalt
11 weitere Abschnitte werden nicht angezeigt. Andere Ausgaben - Alle anzeigenHäufige Begriffe und Wortgruppenabstr apply approx Arblnt argument binary heap binary search tree binary tree Bool Btree calculation Char characters computation concat constructor datatype declaration define a function definition denote digits efficient elements empty eval evaluation example exercise Expr expression False filter finite flatcat flatten foldl foldn foldr Fork xt functional programming functor getChar Haskell height hiext implementation induction infinite list inits insert instance Integer isEmpty iterate laws lazy evaluation Leaf list comprehensions list of length lists xs map f Meertens mkBtree MkOut monad monad transformer natural numbers newtype Node nonempty list Null operations pair parser proof prove putChar qsort queue quicksort recursive reduction representation result reverse scanl Section sequence sortby square steps Stree String subtrees Succ Succ Succ Zero takes takeWhile tuple type class x:xs xmatchlist xs h xt yt Verweise auf dieses BuchAus anderen Büchern
Aus Google ScholarAn Algebra for XML QueryMary Fernandez, Jerome Simeon, Philip Wadler Spatio-Temporal PredicatesMartin Erwig, Markus Schneider - 2002 - IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING Generic Haskell: Practice and TheoryRalf Hinze, Johan Jeuring Bibliografische Informationen
|
