Navigace
Hledat
Terminologie
Terminologický slovníček, který vznikl při překládání tutoriálu Naučte se Haskell! a který obsahuje podstatnou část haskellového výraziva. Informace zde uvedené není nutné považovat za dogma, ale za doporučení, jak některé věci překládat.
| anglicky | česky |
|---|---|
| accumulator | akumulátor |
| association list | asociační seznam |
| to bind sth. to sth. | navázat něco na něco |
| boolean | booleovský |
| case expression | podmíněný výraz case |
| class constraint | typové omezení |
| currying | curryfikace |
| curried function | curryfikovaná funkce |
| edge condition | okrajová podmínka |
| equality testing | testování rovnosti |
| (record) field | položka (záznamu) |
| floating point number | číslo s plovoucí desetinnou čárkou |
| fold | fold (skládač) |
| to fold sth. | skládat něco |
| function application | aplikace funkce |
| function composition | skládání funkcí |
| guard | stráž |
| to guard | strážit |
| head | první prvek (v seznamu) |
| higher order function | funkce vyššího řádu |
| if statement | výraz if (nepřesný překlad) |
| infix function | infixová funkce |
| kind | (typový) druh |
| let binding | konstrukce let |
| list | seznam |
| list comprehension | generátor seznamu |
| to match pattern | ověřovat vzor |
| pair | dvojice (n-tice) |
| partial application | částečná aplikace |
| pattern matching | vzor |
| polymorphic function | polymorfická funkce |
| prefix function | prefixová funkce |
| prompt | prompt |
| quicksort | quicksort |
| qualified import | kvalifikovaný import |
| range | rozsah |
| record (syntax) | záznam |
| recursion | rekurze |
| return value | návratová hodnota |
| scan | scan |
| to scan sth. | scanovat něco |
| set comprehension | intenzionální zápis množiny |
| singleton | jednoprvkový seznam |
| tail | zbytek (seznamu) |
| triple | trojice (n-tice) |
| tuple | n-tice |
| typeclass | typová třída |
| type-foo | typové kung-fu |
| type annotation | typová anotace |
| type inference | odvozování typů |
| type signature | typ funkce (nepřesný překlad) |
| type variable | typová proměnná |
| where binding | konstrukce where |
| to zip sth. | sepnout něco |
| zygohistomorphic prepromorphisms | zygohistomorfický prepromorfizmus |