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

А с existential_types уже кто-то чот делал? в хаскиле стандартный пример

это:
Existential types can be used for several different purposes. But what they do is to 'hide' a type variable on the right-hand side.
Normally, any type variable appearing on the right must also appear on the left

Using existential types, we can avoid this:
data Worker x y = forall b. Buffer b => Worker {buffer :: b, input :: x, output :: y}
foo :: Worker Int Int

я такое и хочу, и попробовал заюзать новую фичу, но не вышло:
https://play.rust-lang.org/?gist=1e163778b72bcfbdf64f73396bf96053&version=nightly&mode=debug&edition=2015
: type parameter Cd is part of concrete type but not used in parameter list for existential type

то есть требуют протащить, а мне как раз этого не хочется:
https://play.rust-lang.org/?gist=f35cd83b8456908b50addf25aec5a038&version=nightly&mode=debug&edition=2015

это я чот не так делаю, или чуваки не докомитали целиком всё?

1 ответов

10 просмотров

В Haskell это плохой пример. Можно сказать, использование existential types in data constructors is depricated.

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

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

Мужики и девушки, привет) в В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
Карта сайта