вот проблема:
ZyK_BotaNZyK_BotaNче-то мне система типов хаскеля дала по рукам, и не позволила мне реализовать проблему квадрата_прямоугольника так, как я это делал на с++
кстати, вспомнил почему. недавно же читал про ограничения системы типов хаскеля, на примере Функтора.
то что в хаскеле называется Функтором, на самом деле является ЭндоФунктором, а настоящий Функтор, так просто не реализуешь, так как хаскель типизируется по хиндли-милнеру(что обеспечивает автоматический вывод типов)
что-бы понять суть, покажу, то как я хотел реализовать, и почему не получилось.
хотел сделать так(не нарушая принцип лисков):
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
class Rectangle r where
setWidth :: r a -> a -> r a
setHeight :: r a -> a -> r a
getWidth :: r a -> a
getHeight :: r a -> a
class (Rectangle s) => Square s where
setSide :: s a -> a -> s a
getSide :: s a -> a
data Sqr a = Square a
deriving Show
data Rct a = Rectangle a a
deriving Show
instance Square Sqr where
setSide _ s = Square s
getSide (Square s) = s
instance Rectangle Sqr where
setWidth (Square s) w = Rectangle w s
setHeight (Square s) h = Rectangle s h
getWidth (Square s) = s
getHeight (Square s) = s
instance Rectangle Rct where
setWidth (Rectangle _ h) w = Rectangle w h
setHeight (Rectangle w _) h = Rectangle w h
getWidth (Rectangle w _) = w
getHeight (Rectangle _ h) = h
но это:
1.
2.
setWidth (Square s) w = Rectangle w s
setHeight (Square s) h = Rectangle s h
, хаскель не позволяет, так как в сигнатуре(r a -> a -> r a), переменные типа
r совпадают, и не может быть на входе квадрат, а на выходе - прямоугольник.
вот если бы хаскель позволял сделать такую сигнатуру - (r1 a -> a -> r2 a) - где r1 и r2 - типы класса Rectangle, то все бы выше. но из-за возможности вывода типов, данные возможности у хаскеля убрали(но я попробую как-то эту проблему решить)
но где-то проскакивала ссылка, где данную проблему решали для реализации функтора. если я найду, то перепишу пример для квадрата и прямоугольника.
λf.(λx.f (x x)) (λx.f (x x))
пуду по ходу решения проблемы, оставлять здесь комментарии.
