Translation

Термины

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

Персоналии

Иностранное	Русское
Alejandro Serrano Mena	Алехандро Серано Мена [vilch2015]
Bartosz Milewski	Бартош Милевски
Edward Kmett	Эдвард Кметт
Gabriel Gonzalez	Габриэль Гонсалес
Haskell Curry	Хаскелл Карри
Michael Snoyman	Майкл Снойман
Miran Lipovača	Миран Липовача
Moses Schönfinkel	Моисей Эльевич Шейнфинкель
Per Martin-Löf	Пер Мартин-Лёф
Richard Eisenberg	Ричард Айзенберг
William Alvin Howard	Уильям Ховард

Источники

• vilch2015: Изучаем Haskell. Алехандро Серано Мена. Перевод: Н. Вильчинский.
• brag1: Введение в теорию языков программирования. Жиль Довек, Жан-Жак Леви. Перевод: Виталий Николаевич Брагилевский, Артём Михайлович Пеленицын.
• brag2: Жемчужины проектирования алгоритмов: функциональный подход. Ричард Бёрд. Перевод: Виталий Николаевич Брагилевский, Артём Михайлович Пеленицын.
• bron1: Типы в языках программирования. Бенджамин Пирс. Перевод: Георгий Бронников, Алекс Отт.