Всем привет! Можно ли создать такой тип который не возомжно

Question

Всем привет! Можно ли создать такой тип который не возомжно

будет создать при каких нибудь условиях? например

data MyType = MyType {
flag :: Bool
value :: Integer
}

пусть есть такая структура данных. я хочу сделать например так что бы возможно было создать инстансы у которых если flag == True то value положительно ну и на False отрицательно соответственно. Кроме как "умным конструктором" это не сделать?

#haskell #programming #russian

0

сегодня 02:27

1 ответов

6 просмотров

Aleksei (astynax) Pirogov · Accepted Answer

Aleksei (astynax) Pirogov

Обычно умными конструкторами пользуются, да. То, что вы хотите закодировать в тип, уже в области зависимых типов лежит, а это пока не про Haskell.

0

17 часов назад

169 похожих чатов

Всем привет! Можно ли создать такой тип который не возомжно

1 ответов

Похожие вопросы