Здравствуйте, Кодт, Вы писали:
К>шейнфинкелировать
Где-то когда-то я конкретно про это что-то читал (или наоборот, писал), но уже не помню деталей, не смог нагуглить.
К>Вопрос: это какое-то новое сеяние-веяние, продвижение русских учёных
Мне кажется, тут не столько продвижение русских учёных, сколько попытка преодолеть эпонимический принцип Арнольда.
К>(в стиле Котельникова-Найквиста, Гаусса-Остроградского, Менделеева-Клайперона, Джоуля-Ленца)
Каким бы странным это ни казалось, но фамилия Клапейрона пишется так: «Клапейрон».
пакет "Control.Schönfinkeling" вводит две операции
— шейнфинкелировать :: ((x,y)->z) -> (x->y->z)
— расшейнфинкелировать :: (x->y->z) -> ((x,y)-> z)
Вопрос: это какое-то новое сеяние-веяние, продвижение русских учёных (в стиле Котельникова-Найквиста, Гаусса-Остроградского, Менделеева-Клайперона, Джоуля-Ленца); или есть глубокое смысловое отличие от карринга; или просто кто-то развлекается от нечего делать?
Здравствуйте, Кодт, Вы писали:
К>http://hackage.haskell.org/package/schonfinkeling
К>пакет "Control.Schönfinkeling" вводит две операции К>- шейнфинкелировать :: ((x,y)->z) -> (x->y->z) К>- расшейнфинкелировать :: (x->y->z) -> ((x,y)-> z)
К>Вопрос: это какое-то новое сеяние-веяние, продвижение русских учёных (в стиле Котельникова-Найквиста, Гаусса-Остроградского, Менделеева-Клайперона, Джоуля-Ленца); или есть глубокое смысловое отличие от карринга; или просто кто-то развлекается от нечего делать?
Кстати, кто-то предлагал (вроде, все же в шутку) назвать карринг именем истинного создателя — Шейнфинкелизация (его первым придумал в 1924 году Моисей Шейнфинкель)