Обсуждение:Карри, Хаскелл
Перейти к навигации
Перейти к поиску
По сути, Х.Карри сформировал формализм как направление в его современном виде. --VEW 16:46, 23 марта 2008 (UTC)
- И енто здорова! Хацкер 14:55, 3 апреля 2008 (UTC)
Хаскелл или Хэскелл?[править код]
Как обычно. Второй вариант грамотный. Хотя, я уверен, что многие юзают первый. Если первый вариант ещё не укрепился и не оброс байками как Хоар, предлагаю переименовать, пока не поздно. Хацкер 14:55, 3 апреля 2008 (UTC)
Историческая справка[править код]
И основы комбинаторной логики и карринг были опубликованы у Моисея Исаевича Шейнфинкеля в 1924 году, а у Хакселля Карри в 1934. 85.26.233.3