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

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

blank
blank
blank
Красота
blank
Thompson S. — Haskell: the craft of functional programming
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.


Язык: en

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Relation, transitive closure      336
Reserved words      33
RESULT      5 171 469
Scope      59 469
scope, nested      61
Script      6 18 21 469
Search tree      322 435
Search tree, deletion      325
Search tree, insertion      323
Search tree, operations      324
session      14
Sets      328-34 469
Sets, behaviour of implementations      435
Sets, operations      331
Sets, product      336
Side-effect      469
Signature      209 304 329 343 469
Sorting      97
Sorting, merge sort      296
Sorting, Quicksort      433
Specialization      179
State      451 459
Stream      397 469
strings      42-6 469
Structural induction      132 197 198 390 469
Structural induction, error type      277
Structural induction, expression type      278
Structural induction, trees      275
Substitution      11 155 226 346 354 469
Substitution, duplication on      347
Substitution, most general      227
Syntax      16 30-4 180 469
Syntax, common pitfalls      69
Syntax, error      16
System Messages      483
TEMP      240
Termination      75 252
Testing      18-19 76 109
Text processing      119 449
Text processing, filling      119
Text processing, justification      119
Text processing, splitting into words      120 167
total      150
TREE      280
Tree, balanced      428
Tree, binary      257
Tree, numeric      250
Tuples      53 453 469
Tuples, as arguments      56
TYPE      7 21 221-36 469
Type checking rule, addition      222
Type checking rule, application      222 231
Type checking rule, argument      230
Type checking rule, cancellation      179 222 465
Type checking rule, conditional      223
Type checking rule, equation-set      231
Type checking rule, function      223
Type checking rule, guard      224
Type checking rule, list      223 231
Type checking rule, local definitions      224
Type checking rule, pattern      224
Type checking rule, right-hand side      224 231
Type checking rule, tuple      223
Type checking rule, use      230
Type checking, and classes      233-5
Type classes      see Classes
Type declaration      10 59 471
Type definition      54
type synonym      44 54 469
Type synonym, restricted      303
Type variable      93 155 161 469
Type, base      465
Type, constraint      7
Type, error      17
Type, instance of      226
Type, monomorphic      222 468
Type, most general      157 226
Type, polymorphic      154 225
Uncurry      185
Uncurrying      184
Undefinedness      389 469
underlining      13 14 436
Understanding programs      471
Unification      226 469
Union type      258
URL      461 477
Value      6 451 469
Value, defined      390
Value, undefined      389
Variable      10 36 82 155 444 452 470
Variable, instance      155
Variable, type      see Type variable
Vector      270 357
Verification      see Proof
Visible      209 210 235
Writing programs      18
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте