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

Народ, такой вопрос. Имеется тип данных, запись с двумя полями.

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

16 ответов

8 просмотров

Maybe (Maybe a, Maybe b) ?

Сергей
Maybe (Maybe a, Maybe b) ?

тут может быть Just (Nothing, Nothing)

Either (Maybe a, b) (a, Maybe b)

Max Силинг
Either (Maybe a, b) (a, Maybe b)

Left (Just a, b) и Right (a, Just b) — это разные значения?

b | (a, Maybe b)

Nutritional Rabbit
b | (a, Maybe b)

вот этот лучший пока что

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

https://hackage.haskell.org/package/these

а если поля три, то может быть одно, два или три, но не 0?

TOV_MULTIMASSO
Спасибо

Выпрямил спину?

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

Обсуждают сегодня

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
Arseny
8
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Мужики. привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных элементов...
Kraszx
2
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Карта сайта