ReSQL.ru
     
powered by simpleCommunicator - 2.0.61     © 2026 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / Программирование [игнор отключен] [закрыт для гостей] / [haskell] ограничение системы типов хаскеля.
39 сообщений из 39, показаны все 2 страниц
  все  
[haskell] ограничение системы типов хаскеля.
    #37470112
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
вот проблема:
ZyK_BotaNZyK_BotaNче-то мне система типов хаскеля дала по рукам, и не позволила мне реализовать проблему квадрата_прямоугольника так, как я это делал на с++

кстати, вспомнил почему. недавно же читал про ограничения системы типов хаскеля, на примере Функтора.
то что в хаскеле называется Функтором, на самом деле является ЭндоФунктором, а настоящий Функтор, так просто не реализуешь, так как хаскель типизируется по хиндли-милнеру(что обеспечивает автоматический вывод типов)

что-бы понять суть, покажу, то как я хотел реализовать, и почему не получилось.
хотел сделать так(не нарушая принцип лисков):
Код: plaintext
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
но это:

Код: plaintext
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))

пуду по ходу решения проблемы, оставлять здесь комментарии.
...
Рейтинг: 0 / 0
05.10.2011, 21:57
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470115
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
вот что я нашел на данную тему в в журнале ПФП:

авторПолиморфизм ранга * (rank * polymorphism) — вместо символа подстановки * могут использоваться значения «1», «k» и «N». В полиморфизме первого ранга (этот тип полиморфизма ещё называют «предварённым полиморфизмом» или «let-полиморфизмом») типовые переменные могут получать конкретные значения мономорфных типов. Полиморфизм ранга k предполагает, что в формулах, описывающих λ-термы, квантор всеобщности (∀) может стоять не более чем перед k стрелками. Данный класс полиморфизма выделен потому, что при k = 2 проблема вывода типов разрешима, в то время как при k > 2 эта проблема неразрешима. Наконец, полиморфизм высшего ранга (или полиморфизм ранга N) определяется тем, что кванторы всеобщности могут стоять перед произвольным количеством стрелок.


в системе по хиндли-милнеру используется let полиморфизм. т.е. первого ранга. я думаю нужно сюда копать.
как сделать полиморфизм 2-го ранга. возможно есть расширения для компилятора, которіе позволяют єто сделать.
...
Рейтинг: 0 / 0
05.10.2011, 21:59
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470141
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
вот что мне рассказал анонимус с лора:

авторПроявлю смелость предположить, что вопрос сформулирован криво и (f :: a1 -> b -> a2) требуется по a2 экзистенциальным, а не полиморфным.

В таком случае есть как минимум два выхода: мультипараметрические классы типов с функциональными зависимостями или семейства типов.

Раз.

class C a1 a2 | a1 -> a2 where
f :: a1 -> b -> a2

data T1 = T1

data T2 = T2

instance C T1 T1 where
f T1 b = T1

instance C T2 T1 where
f T2 b = T1

Два.

class C a1 where
type F a1
f :: a1 -> b -> F a1

data T1 = T1

data T2 = T2

instance C T1 where
type F T1 = T1
f T1 b = T1

instance C T2 where
type F T2 = T1
f T2 b = T1

anonymous (05.10.2011 22:18:18)
...
Рейтинг: 0 / 0
05.10.2011, 22:21
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470167
Зимаргл
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Зимаргл
Гость
ZyK_BotaN,

Какие _вещества_ употребляем на нось глядя?
...
Рейтинг: 0 / 0
05.10.2011, 22:53
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470169
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
ЗимарглZyK_BotaN,

Какие _вещества_ употребляем на нось глядя?

жигулевское
...
Рейтинг: 0 / 0
05.10.2011, 22:54
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470176
Фотография U-gene
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
U-gene
Участник
нет в квадрате ширины и высоты
есть длина стороны.
писать для квадрата отдельно функции setWidth и setHeight - глупость изначально ;) . даже с точки зрения интерфейса.
...
Рейтинг: 0 / 0
05.10.2011, 23:02
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470180
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneнет в квадрате ширины и высоты
есть длина стороны.
писать для квадрата отдельно функции setWidth и setHeight - глупость изначально ;) . даже с точки зрения интерфейса.

дак они как раз для того, что-бы можно было смотреть на квадрат, считая его прямоугольником. так-то.

з.ы. благодяря анонимусу с лора, запилил работающую версию:

Код: plaintext
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.
33.
34.
class Rectangle r where 
    type R r :: * -> *
    setWidth :: r a -> a -> R r a
    setHeight :: r a -> a -> R 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
    type R Sqr = Rct
    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
    type R Rct = Rct
    setWidth  (Rectangle _ h) w = Rectangle w h
    setHeight (Rectangle w _) h = Rectangle w h
    getWidth  (Rectangle w _)   = w
    getHeight (Rectangle _ h)   = h

правда, что-бы она заработала, нужно использовать ghc-расширение - "-XTypeFamilies"
стандарт 98-го года, не позволяет так делать
...
Рейтинг: 0 / 0
05.10.2011, 23:09
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470181
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneнет в квадрате ширины и высоты
есть длина стороны.
писать для квадрата отдельно функции setWidth и setHeight - глупость изначально ;) . даже с точки зрения интерфейса.

дак они как раз для того, что-бы можно было смотреть на квадрат, считая его прямоугольником. так-то.

з.ы. благодяря анонимусу с лора, запилил работающую версию:

Код: plaintext
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.
33.
34.
class Rectangle r where 
    type R r :: * -> *
    setWidth :: r a -> a -> R r a
    setHeight :: r a -> a -> R 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
    type R Sqr = Rct
    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
    type R Rct = Rct
    setWidth  (Rectangle _ h) w = Rectangle w h
    setHeight (Rectangle w _) h = Rectangle w h
    getWidth  (Rectangle w _)   = w
    getHeight (Rectangle _ h)   = h

правда, что-бы она заработала, нужно использовать ghc-расширение - "-XTypeFamilies"
стандарт 98-го года, не позволяет так делать
...
Рейтинг: 0 / 0
05.10.2011, 23:09
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470182
Фотография U-gene
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
U-gene
Участник
дак они как раз для того, что-бы можно было смотреть на квадрат, считая его прямоугольником. так-то.
а зачем? :)
...
Рейтинг: 0 / 0
05.10.2011, 23:11
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470183
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneнет в квадрате ширины и высоты
есть длина стороны.
писать для квадрата отдельно функции setWidth и setHeight - глупость изначально ;) . даже с точки зрения интерфейса.

заметь. вот интерфейс квадрата:

Код: plaintext
1.
2.
3.
class (Rectangle s) => Square s where
    setSide :: s a -> a -> s a
    getSide :: s a -> a

здесь нет ширины и высоты.
но так как квадрат является прямоугольником, то мы говорим, что тип s можно сделать инстасом калсса Квадрат, только если тип s - является инстансом класса прямоугольник
...
Рейтинг: 0 / 0
05.10.2011, 23:11
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470185
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneдак они как раз для того, что-бы можно было смотреть на квадрат, считая его прямоугольником. так-то.
а зачем? :)

есть у меня алгоритм для прямоугольника.

есть квадрат.

хочу применить данный алгоритм для моего объекта. квадрат ведь является прямоугольником, да?
...
Рейтинг: 0 / 0
05.10.2011, 23:12
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470187
Фотография U-gene
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
U-gene
Участник
ну ладно есть такие свойсвта прямоугольника как высота и длина. это его унутрениие свойства

а почему мартин пытается вычислить площадь снаружи ?

нужна ему площадь - пусть описывает это свойтсво внутри объекта. а из-за двойных стандартов все проблемы и есть :)
...
Рейтинг: 0 / 0
05.10.2011, 23:18
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470189
Фотография U-gene
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
U-gene
Участник
нет
я точно также могу определить его как равносторонний равноугольный многоугольник с четырьмя сторонами.
тогда наследовать я его буду от другого базового класса.
...
Рейтинг: 0 / 0
05.10.2011, 23:20
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470192
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneну ладно есть такие свойсвта прямоугольника как высота и длина. это его унутрениие свойства

а почему мартин пытается вычислить площадь снаружи ?

нужна ему площадь - пусть описывает это свойтсво внутри объекта. а из-за двойных стандартов все проблемы и есть :)

ну в данном случае проблемы с площадью нет. можно смело снаружи считать.
так как у квадрата есть и ширина и высота:

Код: plaintext
1.
square rect = (getWidth rect) * (getHeight rect)
...
Рейтинг: 0 / 0
05.10.2011, 23:24
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470193
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneнет
я точно также могу определить его как равносторонний равноугольный многоугольник с четырьмя сторонами.
тогда наследовать я его буду от другого базового класса.

внезапно. кто тебе мешает сделать квадрат еще и раносторониим и равно угольным многоугольником?

хочешь? - делай. при этом одно другому не мешает. он все так же будет оставаться прямоугольником.
...
Рейтинг: 0 / 0
05.10.2011, 23:25
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470197
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
ZyK_BotaNU-geneнет
я точно также могу определить его как равносторонний равноугольный многоугольник с четырьмя сторонами.
тогда наследовать я его буду от другого базового класса.

внезапно. кто тебе мешает сделать квадрат еще и раносторониим и равно угольным многоугольником?

хочешь? - делай. при этом одно другому не мешает. он все так же будет оставаться прямоугольником.

Код: plaintext
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 
    type R r :: * -> *
    setWidth :: r a -> a -> R r a
    setHeight :: r a -> a -> R r a
    getWidth :: r a -> a
    getHeight :: r a -> a

class EqualAngle e where
    getNumberOfAngles :: e a -> Int
    
class (Rectangle s, EqualAngle 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
    type R Sqr = Rct
    setWidth  (Square s) w = Rectangle w s
    setHeight (Square s) h = Rectangle s h
    getWidth  (Square s)   = s
    getHeight (Square s)   = s

instance EqualAngle Sqr where
    getNumberOfAngles _ =  4

пример пойдет?
...
Рейтинг: 0 / 0
05.10.2011, 23:32
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470201
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
вот полный код:

Код: plaintext
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.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
class Rectangle r where 
    type R r :: * -> *
    setWidth :: r a -> a -> R r a
    setHeight :: r a -> a -> R r a
    getWidth :: r a -> a
    getHeight :: r a -> a

class EqualAngle e where
    getNumberOfAngles :: e a -> Int
    
class (Rectangle s, EqualAngle 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
    type R Sqr = Rct
    setWidth  (Square s) w = Rectangle w s
    setHeight (Square s) h = Rectangle s h
    getWidth  (Square s)   = s
    getHeight (Square s)   = s

instance EqualAngle Sqr where
    getNumberOfAngles _ =  4 
    
    
instance Rectangle Rct where
    type R Rct = Rct
    setWidth  (Rectangle _ h) w = Rectangle w h
    setHeight (Rectangle w _) h = Rectangle w h
    getWidth  (Rectangle w _)   = w
    getHeight (Rectangle _ h)   = h

square rect = (getWidth rect) * (getHeight rect)
...
Рейтинг: 0 / 0
05.10.2011, 23:46
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470213
Фотография U-gene
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
U-gene
Участник
ключевые слова - квадрат выглядит как прямоугольник
поэтому мы можем к нему применить алгоритм как к прямоугольнику
но не изменить стороны, как у прямоугольника

если бы было два типа наследования
1) IS наследование, когда наследуется все
и
2) LOOKS_LIKE наследование когда наследуются только get часть спецификации

а затем писать что-то типа

void LSPV( readonly Rectangle& r){
r.SetWidth(5); // ошибка компилятора, потому что это set-метод

assert(r.GetWidth() * r.GetHeight()) == 20);
}

то это бы в некоторой степени решило проблему.

наверно
...
Рейтинг: 0 / 0
06.10.2011, 00:04
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470214
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneключевые слова - квадрат выглядит как прямоугольник
поэтому мы можем к нему применить алгоритм как к прямоугольнику
но не изменить стороны, как у прямоугольника


бинго.
функция setWidth - возвращает прямоугольник
если хочешь изменить сторону квадрата, нужно юзать setSide

но при этом, квадрат наследуется от прямоугольника, поэтому ф-ю setWidth можно применить к квадрату(ну и получить прямоугольник).

что и видно из моего кода
...
Рейтинг: 0 / 0
06.10.2011, 00:08
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470216
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-genevoid LSPV( readonly Rectangle& r){
r.SetWidth(5); // ошибка компилятора, потому что это set-метод

assert(r.GetWidth() * r.GetHeight()) == 20);
}

то это бы в некоторой степени решило проблему.

наверно

нет. проблему решают иммутабешьные типы.
когда setWidth, не объект изменяет, а возвращает новый измененный объект.
...
Рейтинг: 0 / 0
06.10.2011, 00:10
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470220
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneключевые слова - квадрат выглядит как прямоугольник


а тут ты полностью неправ.
квадрат является прямоугольником, по определению.

т.е. множество квадратов входит в множество прямоугольников.
...
Рейтинг: 0 / 0
06.10.2011, 00:18
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470361
Фотография U-gene
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
U-gene
Участник
когда setWidth, не объект изменяет, а возвращает новый измененный объект
это не понял.
ну вернет оно измененный объект
что - площадь правильно посчитается?

т.е. множество квадратов входит в множество прямоугольников. это оно по геометрии входит, кторая позваоляет всякие какб очевидные человеческому мозгу абстракции и упрощения
и мы тут по системы трем, где всё рукой прописывать надо
по get интерфейсу оно входит в множество прямоугольников
а по set интерфейсу оно входит в множество центрально-симметричных многоугольников.

умартина пример логической ошибки, когда код вроде бы правильный, а результат кривой

существуют внутренние зависимости, когда изменение некоторого компонента объекта влечет изменение другого компонента.
мне кажется, что любое изменение такой зависимости в процессе наследования потенциально ведет к ошибке, как у мартина
любое!
если мы позволим себе LOOKS_LIKE наследование (только get-интерфейс) и затем будем пресекать для таких объектов использование чужих set-интерфейсов, то проблема будет ловиться на этапе компиляции.
...
Рейтинг: 0 / 0
06.10.2011, 09:28
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470491
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneкогда setWidth, не объект изменяет, а возвращает новый измененный объект
это не понял.
ну вернет оно измененный объект
что - площадь правильно посчитается?


да
...
Рейтинг: 0 / 0
06.10.2011, 10:52
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470498
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneа по set интерфейсу оно входит в множество центрально-симметричных многоугольников.


да не кривой же результат. все нормально. просто setWidth - возвращает прямоугольник(а не квадрат) - так как этот метод объявлен в интерфейсе прямоугольника.
если хочешь изменить сторону квадрата, юзай метод квадрата setSide.

вообще, зачем делать квадрат наследником прямоугольника?
что-бы любой алгоритм для прямоугольника мог работать с квадратом.

а вот теперь скажи. какой алгоритм с ним работать не будет?

вот с площадью все ок.
...
Рейтинг: 0 / 0
06.10.2011, 10:55
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470502
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneесли мы позволим себе LOOKS_LIKE наследование (только get-интерфейс) и затем будем пресекать для таких объектов использование чужих set-интерфейсов, то проблема будет ловиться на этапе компиляции.

почему же только гет? и сет нужно наследовать.
...
Рейтинг: 0 / 0
06.10.2011, 10:56
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470503
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-gene, то проблема будет ловиться на этапе компиляции.

да нет никаких проблем, если не использовать императивное ооп.
...
Рейтинг: 0 / 0
06.10.2011, 10:57
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470525
Фотография U-gene
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
U-gene
Участник
ну привет, приехали
вот предал ты объект-квадрат по ссылке
в теле метода изменил ширину методом для прямоугольника
и что?
теперь у тебя квадрат с разной длиной-шириной? так это уже не квадрат
...
Рейтинг: 0 / 0
06.10.2011, 11:08
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470540
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneну привет, приехали
вот предал ты объект-квадрат по ссылке
в теле метода изменил ширину методом для прямоугольника
 и что?
теперь у тебя квадрат с разной длиной-шириной? так это уже не квадрат

че ты мыслишь методами с++. передал по ссылке. изменил ширину.

я же и говорю, что чтоль очевидное наследование, принятыми средствами ооп не работает.

зато работает для иммутабельных объектов.

суть проста, как валенок.
есть ф-я, котороая работает с прямоугольниками - тогда мы можем туда передать квадрат и все будет ок.

есть ф-я - для квадратов, туда прямоугольник передать система типов не позволти(на этапе компеляции)
все. где проблемы.
а понятий передать по ссылке и изменить объект - в хаскеле нет.
...
Рейтинг: 0 / 0
06.10.2011, 11:14
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470541
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneтеперь у тебя квадрат с разной длиной-шириной? так это уже не квадрат

да нет. теперь у меня прямоугольник с разной(а может быть и не разной) длинной-шириной.
т.е. setWidth возвращает прямоугольник.
...
Рейтинг: 0 / 0
06.10.2011, 11:15
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470547
Фотография U-gene
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
U-gene
Участник
я шас еще про тот мартиновский пример говорю, который в статье чингиза описан
там совершенно четко кусок кода, который работает с прямоуголькником логически криво работает с квадратом, потомучто внутренние зависимости квадрата отличаются от таковых у прямоугольника.

я, как практик, хоч такие ошибки ловить как то.

что б с однос тсторы квадарта был прямоугольником а сдругой - при описании внутренних зависимостей не был бы им.
...
Рейтинг: 0 / 0
06.10.2011, 11:17
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37470555
Фотография U-gene
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
U-gene
Участник
я мыслю категориями, как ими мыслят процентов девяносто с хвостиком . :)

и мое наследование LOOKS_LIKE в эти категории укладывается и вроде позволяет достичь того же результата.
...
Рейтинг: 0 / 0
06.10.2011, 11:22
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37471995
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
U-geneя мыслю категориями, как ими мыслят процентов девяносто с хвостиком . :)

и мое наследование LOOKS_LIKE в эти категории укладывается и вроде позволяет достичь того же результата.
))
...
Рейтинг: 0 / 0
07.10.2011, 00:12
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37472005
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
кстати. в моем коде есть страшная ошибка. и я пока незнаю как ее исправить.
все же систему типов хацкеля я не поборол. ведь я не задал что тип возвращаемый методами сетВидз и сетХейгт обяза быть инстансом класса Рэктангле.

но я думаю что решу данную проблему.
...
Рейтинг: 0 / 0
07.10.2011, 00:35
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37472032
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
ZyK_BotaNкстати. в моем коде есть страшная ошибка. и я пока незнаю как ее исправить.
все же систему типов хацкеля я не поборол. ведь я не задал что тип возвращаемый методами сетВидз и сетХейгт обяза быть инстансом класса Рэктангле.

но я думаю что решу данную проблему.

проблема повикшена:

Код: plaintext
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.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE FlexibleInstances #-}


class Rectangle r1 r2 a | r1 a -> r2 a where 
    setWidth :: r1 a -> a -> r2 a
    setHeight :: r1 a -> a -> r2 a
    getWidth :: r1 a -> a
    getHeight :: r1 a -> a

class EqualAngle e where
    getNumberOfAngles :: e a -> Int
    
class (Rectangle s r a, EqualAngle s) => Square s r a 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 Rct a where
    setSide    _ s         = Square s
    getSide   (Square s)   = s

instance Rectangle Sqr Rct a where
    setWidth  (Square s) w = Rectangle w s
    setHeight (Square s) h = Rectangle s h
    getWidth  (Square s)   = s
    getHeight (Square s)   = s

instance EqualAngle Sqr where
    getNumberOfAngles _ =  4 
    
    
instance Rectangle Rct Rct a where
    setWidth  (Rectangle _ h) w = Rectangle w h
    setHeight (Rectangle w _) h = Rectangle w h
    getWidth  (Rectangle w _)   = w
    getHeight (Rectangle _ h)   = h

square rect = (getWidth rect) * (getHeight rect)
...
Рейтинг: 0 / 0
07.10.2011, 01:45
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37472742
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
вот код попроще, но без возможности множественного наследования:

Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
data (Num a) => Rectangle a = Rectangle a a
                            | Square a
    
setWidth (Rectangle _ h) w = Rectangle w h
setWidth (Square s) w = Rectangle w s
setHeight (Rectangle w _) h = Rectangle w h
setHeight (Square s) h = Rectangle s h

getWidth (Rectangle w _) = w
getWidth (Square s) = s
getHeight (Rectangle _ h) = h
getHeight (Square s) = s


square r = (getWidth r) * (getHeight r)

вот как поломать данный код?
...
Рейтинг: 0 / 0
07.10.2011, 13:13
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37472748
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
во забыл:

Код: plaintext
1.
2.
setSide (Rectangle _ _) s = Square s
setSide (Square _) s = Square s
...
Рейтинг: 0 / 0
07.10.2011, 13:14
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37472764
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
или даже круче так:

Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
data (Num a) => Rectangle a = Rectangle a a
                            | Square a
    
setWidth (Rectangle _ h) w | w == h = Square w
                           | otherwise Rectangle w h
setWidth (Square s) w | w == s = Square w
                      | otherwise Rectangle w s
setHeight (Rectangle w _) h | w == h = Square w
                            | otherwise Rectangle w h
setHeight (Square s) h | s == h = Square s
                       | otherwise Rectangle s h

getWidth (Rectangle w _) = w
getWidth (Square s) = s
getHeight (Rectangle _ h) = h
getHeight (Square s) = s

setSide (Rectangle _ _) s = Square s
setSide (Square _) s = Square s

square r = (getWidth r) * (getHeight r)
...
Рейтинг: 0 / 0
07.10.2011, 13:18
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37473086
haskell форэва
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
haskell форэва
Гость
желание шевелить мозгами отсутствует
желание писать быдлокод прям захлёстывает
...
Рейтинг: 0 / 0
07.10.2011, 15:19
| Ответить | Цитировать | Написать  
[haskell] ограничение системы типов хаскеля.
    #37473788
Фотография ZyK_BotaN
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ZyK_BotaN
Участник
haskell форэважелание шевелить мозгами отсутствует
желание писать быдлокод прям захлёстывает

я просто не шарю систему типов хацкеля. вот и пытаюсь на данном примере с ней познакомится.
...
Рейтинг: 0 / 0
08.10.2011, 05:09
| Ответить | Цитировать | Написать  
39 сообщений из 39, показаны все 2 страниц
  все  
Форумы / Программирование [игнор отключен] [закрыт для гостей] / [haskell] ограничение системы типов хаскеля.
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение   Полит. конфиден.  
NoSQL.ru       Кролег: Проекты, Новости, Чат       РЕД ФОРУМ       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?all=1&fid=16&tid=1342685]:
 0ms
get settings:
 9ms
get forum list:
 11ms
check forum access:
 2ms
check topic access:
 2ms
track hit:
 169ms
get topic data:
 7ms
get forum data:
 2ms
get page messages:
 44ms
get tp. blocked users:
 1ms
others: 272ms
total:  519ms
созд. / загр.: 519ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]