Thompson S. — Haskell: the craft of functional programming :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Thompson S. — Haskell: the craft of functional programming

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Haskell: the craft of functional programming

Автор: Thompson S.

Аннотация:

Over the last fifteen years, functional programming has come of age. Ii has been used successfully on a number of substantial projects. A variety of robust and efficient implementations of functional languages have been developed. A functional language is taught as the first programming language in many university Computing courses, and at a later stage in most others. Before examining the reasons for its popularity, we give a short overview of functional programming.

Язык:

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1996

Количество страниц: 502

Добавлена в каталог: 20.10.2012

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$\verb"abs"$       24
$\verb"addPair"$       55 56
$\verb"addPairs"$       112
$\verb"addTwo"$       56
$\verb"allEqual"$       10 18
$\verb"alt"$       369
$\verb"and"$       96 162 489
$\verb"any"$       489
$\verb"apply"$       411
$\verb"bEval"$       256
$\verb"BExp"$       255
$\verb"books"$       107 113 165 184 206
$\verb"Bool"$       7 38 241
$\verb"borrowed"$       107 207
$\verb"borrowers"$       107
$\verb"breadthFirst"$       340
$\verb"build"$       370
$\verb"capitalize"$       43
$\verb"case"$       102
$\verb"char"$       8 42
$\verb"chr"$       43
$\verb"cJustify"$       64
$\verb"class"$       205 209 234
$\verb"classes"$       338
$\verb"clause"$       11 32 466
$\verb"collapse"$       257 276
$\verb"concat"$       138 159 162 486
$\verb"connect"$       338
$\verb"convert"$       299
$\verb"cost"$       268
$\verb"curry"$       185
$\verb"data"$       240
$\verb"Database"$       106
$\verb"decodeMessage"$       292
$\verb"depth"$       250 257
$\verb"depthSearch"$       341
$\verb"deriving"$       245 266
$\verb"diff"$       446
$\verb"digits"$       100 113 126
$\verb"div"$       16
$\verb"double"$       93 113 125 133 148 183 196
$\verb"doubleList"$       179
$\verb"drop"$       167 488
$\verb"dropLine"$       123
$\verb"dropSpace"$       121 182
$\verb"dropWhile"$       168
$\verb"dropWord"$       121 182
$\verb"Edit"$       266
$\verb"elem"$       489
$\verb"enum"$       215
$\verb"Eq"$       204 209 214 219 234
$\verb"Err"$       262 264 277 417
$\verb"error"$       67 260
$\verb"Eval"$       441
$\verb"Expr"$       248 254 255 304 365 371 404
$\verb"fac"$       79 392 431 440
$\verb"False"$       7 38
$\verb"fib"$       37
$\verb"Figure"$       270
$\verb"fill"$       123 172
$\verb"filter"$       163 198
$\verb"filterString"$       153
$\verb"flatten"$       96
$\verb"flip"$       185 487
$\verb"float"$       46 216
$\verb"foldl"$       487
$\verb"foldl'"$       442 487
$\verb"foldl1'"$       487
$\verb"foldlnt"$       152
$\verb"foldr"$       162 196 440 487
$\verb"formatBill"$       115 117
$\verb"frequency"$       297
$\verb"fromEnum"$       43
$\verb"fromlnt"$       47
$\verb"fromlnteger"$       47
$\verb"fst"$       56 103 158
$\verb"getLine"$       122 408
$\verb"getUntil"$       168
$\verb"getWord"$       120 126 168 182 184
$\verb"GTree"$       260
$\verb"Haskell"$ $\verb"Stores"$       115
$\verb"hcf"$       58
$\verb"head"$       158 485
$\verb"hiding"$       284
$\verb"id"$       157
$\verb"if..then..else"$       62
$\verb"import"$       283 284 467
$\verb"init"$       485
$\verb"Inmess"$       267
$\verb"Input"$       398
$\verb"ins"$       97 361
$\verb"instance"$       209
$\verb"int"$       8 24 216
$\verb"interact"$       400 411
$\verb"IO"$       398 408
$\verb"iSort"$       97 126 139 212 361 431
$\verb"isZeroWeek"$       39
$\verb"iter"$       175
$\verb"iterate"$       378 486
$\verb"last"$       485
$\verb"length"$       44 94 154 156
$\verb"let"$       59
$\verb"lift"$       262
$\verb"lines"$       399 488
$\verb"Main"$       283
$\verb"makeBill"$       115 118
$\verb"makeFunction"$       381
$\verb"makeIndex"$       186
$\verb"makeLoan"$       107 109
$\verb"makeTree"$       297
$\verb"map"$       160 196-8 232 276
$\verb"mapInt"$       149
$\verb"mapSide"$       407
$\verb"mapTree"$       258 276
$\verb"mapWhile"$       471
$\verb"Matrix"$       358
$\verb"maxFun"$       151
$\verb"maxi"$       10 27 75
$\verb"maximum"$       489
$\verb"maxInt"$       24
$\verb"maxSales"$       26 76 84
$\verb"maxsq"$       60
$\verb"member"$       99 136 207 233 391
$\verb"mergeSort"$       296
$\verb"minimum"$       489
$\verb"mod"$       16
$\verb"module"$       282 284 303
$\verb"Movable"$       270
$\verb"multiply"$       178 181
$\verb"Name"$       272
$\verb"Named"$       272
$\verb"NamedMovable"$       274
$\verb"negate"$       24
$\verb"not"$       38
$\verb"notElem"$       489
$\verb"NTree"$       248 250
$\verb"nub"$       340 486
$\verb"numBorrowed"$       107 207
$\verb"Ops"$       254 365 404
$\verb"or"$       489
$\verb"Ord"$       214 234
$\verb"otherwise"$       12
$\verb"Outmess"$       267
$\verb"Output"$       398
$\verb"Pairs"$       256
$\verb"Parse"$       365 375
$\verb"parser"$       372
$\verb"partition"$       486
$\verb"Point"$       270
$\verb"printBill"$       115

$\verb"product"$       489
$\verb"putLine"$       408
$\verb"putStr"$       408
$\verb"qSort"$       433
$\verb"qualified"$       285
$\verb"Queue"$       309
$\verb"QueueState"$       316 318
$\verb"queueStep"$       319
$\verb"randomSequence"$       380
$\verb"randomTimes"$       387
$\verb"read"$       47 48 215 400
$\verb"Relation"$       334 362
$\verb"rep"$       157 158
$\verb"return"$       411
$\verb"returnLoan"$       107 108 166
$\verb"rev"$       140 156 162
$\verb"reverse"$       487
$\verb"rJustify"$       50
$\verb"sales"$       25 41
$\verb"scanl1"$       386
$\verb"scanl1'"$       386 403
$\verb"Season"$       240
$\verb"ServerState"$       317 319
$\verb"serverStep"$       320
$\verb"set"$       329 435
$\verb"setLimit"$       332 337
$\verb"Shape"$       243
$\verb"show"$       47 48 215
$\verb"showExpr"$       249
$\verb"shunt"$       140 391
$\verb"signum"$       47
$\verb"simulationlnput"$       387
$\verb"simulationStep"$       320
$\verb"size"$       315
$\verb"snd"$       56 103 158
$\verb"sort"$       193
$\verb"sortLs"$       189 193
$\verb"span"$       488
$\verb"splitAt"$       488
$\verb"splitLines"$       123
$\verb"splitWords"$       121
$\verb"sqrt"$       47
$\verb"square"$       10
$\verb"State"$       420
$\verb"Store"$       304 305 307 365 404
$\verb"StoreT"$       312
$\verb"strict"$       441
$\verb"String"$       44 90
$\verb"sum"$       489
$\verb"sumList"$       91 125 133 152 391
$\verb"sumPairs"$       103 108
$\verb"sums"$       489
$\verb"sumSquares"$       58
$\verb"sumTree"$       250 418
$\verb"swap"$       74
$\verb"Table"$       290
$\verb"tail"$       158 261 485
$\verb"take"$       167 488
$\verb"takeWhile"$       168 488
$\verb"tClosure"$       336 338
$\verb"tl"$       261
$\verb"toEnum"$       43
$\verb"totalSales"$       26 28 37 49 84 150
$\verb"transform"$       267
$\verb"trap"$       263 277
$\verb"Tree"$       257 275 290 315 323 418
$\verb"True"$       7 38
$\verb"twice"$       175
$\verb"type"$       54 303 305 315 375
$\verb"undef"$       389
$\verb"union"$       258
$\verb"unlines"$       399 489
$\verb"unwords"$       489
$\verb"unzip"$       490
$\verb"weather"$       241 279
$\verb"where"$       58 470
$\verb"whitespace"$       120
$\verb"words"$       488
$\verb"zeroInPeriod"$       39 41
$\verb"zeroInRange"$       151
$\verb"zip"$       157 187 490
$\verb"zipWith"$       385 490
Abstract data type      303-15 375 435 457 465
Abstract data type, and classes      343
Abstract data type, implementation      305
Abstract data type, in Haskell      312 323
Abstract data type, modifying implementation      326
Abstract data type, queue      308-11
Abstraction      146 383
Algebraic type      239-80 457 465
Algebraic type, general form      244
Algebraic type, polymorphic      256-9
Algebraic type, proofs      275
Algebraic type, recursive      see Recursive type
ALL      489
Argument      5 148 465
assoc      252 278
Associativity      34 135 251 465
Associativity, left/right      34
Associativity, of application      180
assumptions      78
Backtracking      363
Behaviour      425-50 473
Behaviour, space      430
Behaviour, space, local definitions      437
Behaviour, time      430
Booleans      7 38-42 465
Calculation      6 11-13 62 92 98 465 472
Calculation, over graphs      348
Calculation, rules      348-52
Case studies, calculator      404-7
Case studies, Huffman codes      281- 301 449
Case studies, parsing      see Parsing
Case studies, sets      see Sets
Case studies, simulation      316-22 386-9
Characters      8 42-6 465
Characters, ASCII coding      42
Characters, end-of-file      42
Characters, newline      8
Characters, tab      42
Classes      203-19 337 457 465
Classes, and ADTs      343
Classes, and algebraic types      269-73
Classes, and types      218
Classes, default definitions      211 217
classes, derived      211
Classes, derived instances      245
Classes, Gofer and Haskell      217
Classes, instance      205 209
Classes, numeric      216
Classes, putting together      272
CodeMessage      292
Coding      288-9
Coding, Huffman      289
Coding, prefix codes      288
Coding, tree      288
CommandParse      404
comment      8 33 466
Comment, nested      33
complexity      426-34 466
Complexity, linear      427 468
Complexity, quadratic      427 469
Concatenate      466
Conditional equation      11 57 466
Conditional equation, clause of      11
Constant      37
constructor      92 240 266 466
Constructor, binary      242
Constructor, infix      253
Constructor, nullary      242

1 2 3

О проекте