| ad hoc (polymorphism) |
специализированный [Брон14]; специальный [Виль15] |
| aldebraic data type, ADT |
алгебраический тип данных, АТД |
| alias |
псевдоним |
| applicative |
аппликативный |
| arrow |
стрелка |
| bifunctor |
бифунктор |
| bind |
привязка [Виль15] |
| boxed |
упакованный |
| category |
категория |
| class |
класс [Виль15] |
| closure |
замыкание [Виль15] |
| coerce |
приводить |
| coercible |
приводимый |
| coercion |
приведение |
| concurrency |
конкурентность [Браг13М]; одновременность [Виль15] |
| constraint |
ограничение |
| contravariant |
контравариантный |
| cost center |
центр затрат [Виль15] |
| covariant |
ковариантный |
| currying |
каррирование |
| default definition |
определение, предлагаемое по умолчанию [Виль15] |
| data type |
тип данных |
| derive (an instance) |
извлечь [Виль15]; вывести |
| dual |
дуальный |
| equational reasoning |
эквациональное рассуждение [Браг13, Виль15] |
| fixed point |
неподвижная точка |
| fold, unfold |
свёртка, развёртка [Виль15] |
| foldable |
свёртываемый [Виль15] |
| force a thunk |
интерпретировать задумку [Браг16]; вычислить переходник [Виль15]; вынудить [Доб06] |
| force an evaluation |
форсировать вычисление |
| foreign |
внешний, заграничный |
| free monad |
свободная монада |
| freer monad |
монада посвободнее |
| function application |
применение функции |
| functor |
функтор |
| generalized algebraic data type, GADT |
обобщённый алгебраический тип данных, ОАТД |
| guard (in a pattern match) |
предохранитель [Виль15]; охранное выражение |
| identity (element) |
нейтральный элемент |
| identity function, morphism |
тождественное преобразование; функция эквивалентности [Виль15] |
| inhabit |
населять |
| instance |
экземпляр [Виль15]; реализация |
instantiated (fmap instantiated for Maybe) |
реализованный |
| inverse (element) |
обратный элемент |
| isomorphism |
изоморфизм |
| kind |
вид [лекции Брагилевского]; род; сорт |
| lazy evaluation |
ленивое вычисление |
| lens |
линза |
| list comprehension and specifiers |
формирователь списка и спецификаторы [Виль15] |
| map |
проекция [Виль15]; отображение |
| monad |
монада |
| monad transformer |
монадический преобразователь [Виль15]; монадный трансформер |
| monoid |
моноид |
| morphism |
морфизм |
| mutable, immutable |
изменяемый, неизменяемый |
| natural mapping |
естественное отображение |
| natural number |
натуральное число |
| natural transformation |
естественное преобразование |
| optic |
оптика, оптический |
| package |
пакет |
| parallelism |
распараллеливание [Браг13М]; параллелизм [Виль15] |
| parametric polymorphism |
параметрический полиморфизм [Виль15] |
| partial |
частичный |
| pattern matching |
сопоставление с образцом [Виль15] |
| point-free style |
бесточечный стиль [Виль15] |
| polymorphism |
полиморфизм |
| prelude |
прелюдия |
| prism |
призма |
| product type |
тип-произведение |
| profunctor |
профунктор |
| promotion (of a type) |
продвижение (типа) [Виль15] |
| qualified import |
импорт с квалификацией [Виль15] |
| record |
запись [Виль15] |
| record puns |
уплотнение записей [Виль15] |
| referential transparency |
ссылочная прозрачность |
| refutable, irrefutable pattern |
???, бесспорный образец [Виль15] |
| resolver |
решатель |
| row (polymorphism) |
строчный [Брон14]; рядный |
| section (частичное применение оператора) |
секция [Виль15]; сечение |
| semigroup |
полугруппа |
| smart constructor |
интеллектуальный конструктор [Виль15]; умный конструктор |
| strict/eager (evaluation) |
строгое; энергичное [Зеф09]; ретивое [Куз19] (вычисление) |
| strong typing |
сильная типизация |
| subtyping |
подтипизация |
| sum type |
тип-сумма |
| tagged union |
помеченное объединение |
| thunk |
задумка [Браг16]; санк [Доб06] |
| total function |
тотальная; всюду определённая функция |
| total order |
полный порядок |
| traversable |
проходимый |
| traversal |
обход; проход |
| traverse |
проходить |
| type class |
класс типов [Виль15] |
| type family |
семейство типов [Виль15] |
| type synonym |
синоним типа |
| unification |
унификация |
| view pattern |
отображаемый образец [Виль15] |