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

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

не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?

8 ответов

5 просмотров

чтобы не говорил совсем ни при каких обстоятельствах наверное только в MonadFail если

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

Arseny- Автор вопроса
Cheese Syrowiecki
чтобы компилятор узнал, что размер известен, надо ...

Эти x, y - это аргументы функции. Я могу конечно сигнатуру сменить, но не хотелось бы.

Arseny
Эти x, y - это аргументы функции. Я могу конечно с...

тогда Maybe или MonadFail, и если прямо совсем уверен, то error

использовать список фиксированной длины?

Evgeny Gazdovsky
использовать список фиксированной длины?

Попробуй отсортировать такой список

Evgeny Gazdovsky
а какая разница?

Ты говоришь про какой: нибудь infixr 5 ::: -- | Vector, i.e. length-indexed list. data Vec (n :: Nat) a where VNil :: Vec 'Z a (:::) :: a -> Vec n a -> Vec ('S n) a

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

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

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после 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
Скажи а ты когда этот канал создавал ты уже дельфи не любил, или это со временем пришло?
Роман Лях (rgreat)
18
Карта сайта