5
ответов

Что делает 'forall' ключевое слово в Haskell/GHC, делают?

Я начинаю понимать, как forall ключевое слово используется в так называемых "экзистенциальных типах" как это: данные ShowBox = forall s. Покажите s => SB s, Это - только подмножество, однако, того, как forall...
вопрос задан: 13 May 2019 21:19
1
ответ

Как реализовать `forall` (математику) на процедурном или оо-языке

Я пытаюсь понять, как реализовать forall на процедурном или OO языке, таком как Ruby или JavaScript Например (это Coq): Аксиома точка: Тип. Аксиома: Тип. Аксиома Ложь_в: Точка - > ...
вопрос задан: 1 March 2019 06:49
1
ответ

Z3 считает модель несовместимой с аксиомами

При запуске этого кода на Python 3.6.7 с модулем z3-solver (4.8.0.0) модель, возвращаемая z3, кажется, не подходит для аксиом. f = z3.Function ('f', z3.IntSort (), z3.IntSort (), z3.IntSort ()) x = ...
вопрос задан: 18 January 2019 17:38
1
ответ

Использование контракта. ForAll в контрактах кода

Хорошо, у меня есть еще один вопрос о Контрактах Кода. У меня есть контракт на методе интерфейса, который похож на это (другие методы, опущенные для ясности): [ContractClassFor (typeof (IUnboundTagGroup))]...
вопрос задан: 23 June 2010 19:25
0
ответов

Контракты кода, forall и настраиваемое перечисление

Я использую C # 4.0 и контракты кода, и у меня есть свой собственный набор GameRoomCollection: IEnumerable . Я хочу убедиться, что ни один экземпляр GameRoomCollection никогда не будет содержать нуль ...
вопрос задан: 23 May 2017 12:30
0
ответов

Что означает «существует» в системе типов Haskell?

Я с трудом понимаю ключевое слово exists применительно к системе типов Haskell. Насколько мне известно, такого ключевого слова в Haskell по умолчанию нет, но: Существуют расширения, которые их добавляют, в ...
вопрос задан: 18 March 2017 08:26
0
ответов

для всех в Scala

Как показано ниже, в Haskell , можно хранить в списке значения с разнородными типами с определенными контекстными границами для них: data ShowBox = forall s. Show s => ShowBox s heteroList :: [...
вопрос задан: 23 June 2013 21:36
0
ответов

Несколько операторов SQL в цикле FORALL

Я хочу вставить в разные таблицы только один цикл FORALL в oracle. но FORALL не поддерживает его. есть идеи, как я могу это сделать?? создать или заменить тест PROCEDURE IS TYPE avl_web_details IS ...
вопрос задан: 14 March 2012 13:50
0
ответов

Как добавить дополнительный проект в существующий исходный код операционной системы Android?

Я занимаюсь разработкой ядра в AOSP, и репозиторий ядра, над которым я работаю, не является частью операционной системы. У него есть отдельный git-репозиторий. Поэтому, когда я пытаюсь вытолкнуть все исходные тексты AOSP ...
вопрос задан: 14 December 2011 00:45
0
ответов

Как я могу гарантировать, что моя конструкция FORRAN FORALL распараллеливается?

Мне дали 2D матрицу, представляющую температурные точки на поверхности металлической пластины. Края матрицы (пластины) поддерживаются постоянными при 20 градусах Цельсия, и есть постоянный источник тепла ...
вопрос задан: 5 September 2010 23:19