И не так экстремально как хаскель.
Я отложил пока matlab. И решил немного заняться хаскелем. И вот вопросик не по теме. В Хаскелле часто пишется что-то вроде "add :: Integer -> (Integer -> Integer)", т.е. add x y делает из первого аргумента (х) фунцию из целых в целые (которая прибавляет к аргументу у). Хотел спросить, а вот в математике используются подобные обозначения (
) и вообще, является ли
обозначением
множества функций из целых в целые?
(Оффтоп)
Я пока в Хаскелле плохо понимаю, но мне бросилась в глаза аналогия типа:
f :: Integer -> Integer --
[(x,y) | x <- Integer, y <- Integer] --
inc x = x+1 --
inc x = \x -> x+1 --
...
Это действительно так задумано и имеет тот же смысл, или у меня глюки?