И не так экстремально как хаскель.
Я отложил пока matlab. И решил немного заняться хаскелем. И вот вопросик не по теме. В Хаскелле часто пишется что-то вроде "add :: Integer -> (Integer -> Integer)", т.е. add x y делает из первого аргумента (х) фунцию из целых в целые (которая прибавляет к аргументу у). Хотел спросить, а вот в математике используются подобные обозначения (
![$f:\mathbb Z\to (\mathbb Z\to \mathbb Z)$ $f:\mathbb Z\to (\mathbb Z\to \mathbb Z)$](https://dxdy-03.korotkov.co.uk/f/a/d/f/adfefc345455c5e967c2c275136eb15382.png)
) и вообще, является ли
![$\mathbb Z\to\mathbb Z$ $\mathbb Z\to\mathbb Z$](https://dxdy-01.korotkov.co.uk/f/8/6/c/86c1756de85636fc9d3e1607f5da6b3682.png)
обозначением
множества функций из целых в целые?
(Оффтоп)
Я пока в Хаскелле плохо понимаю, но мне бросилась в глаза аналогия типа:
f :: Integer -> Integer --
![$f:\mathbb Z\to\mathbb Z$ $f:\mathbb Z\to\mathbb Z$](https://dxdy-02.korotkov.co.uk/f/5/3/4/53412b4f1a5ac3d525694b98f37576fd82.png)
[(x,y) | x <- Integer, y <- Integer] --
![$\{(x,y) | x\in \mathbb Z,y \in\mathbb Z\}$ $\{(x,y) | x\in \mathbb Z,y \in\mathbb Z\}$](https://dxdy-04.korotkov.co.uk/f/f/9/e/f9ea086ca6eaec5828c4bb6ef57c188982.png)
inc x = x+1 --
![$\mathrm{inc}(x)=x+1$ $\mathrm{inc}(x)=x+1$](https://dxdy-04.korotkov.co.uk/f/f/5/d/f5d6172214d01effb9e109b16514e0b882.png)
inc x = \x -> x+1 --
![$\mathrm{inc}:x\mapsto x+1$ $\mathrm{inc}:x\mapsto x+1$](https://dxdy-04.korotkov.co.uk/f/3/4/7/347ed2bf11d43c87fb2ca2be0217db0082.png)
...
Это действительно так задумано и имеет тот же смысл, или у меня глюки?