0
ответов
Сигнатура числового типа
Можно ли создать тип с числовым аргументом? т.е. если я хочу создать тип целых чисел с фиксированной разрядностью: newtype FixedWidth w = FixedWidth Integer addFixedWidth :: FixedWidth w -...
вопрос задан: 4 June 2011 19:57
0
ответов
Сравнение дизайна по контракту с системами типов
Недавно я прочитал статью, в которой сравнивал дизайн по контракту с разработкой, управляемой тестированием. Кажется, есть много совпадений, некоторая избыточность и немного синергии между DbC и TDD. Например, ...
вопрос задан: 11 May 2011 16:00
0
ответов
Почему я не могу сделать String экземпляром класса типов?
Дано: data Foo = FooString String… class Fooable a where - (это хороший способ назвать это?) toFoo :: a -> Foo Я хочу сделать String экземпляром Fooable: instance Fooable String ...
вопрос задан: 9 May 2011 20:21
0
ответов
Функциональная зависимость в Haskell
Я действительно не могу этого понять. Зачем это вообще нужно? Я имею в виду, что если я использую параметр одного и того же типа, я думаю, это означает, что они должны быть одного типа. Я слышал, что это может помочь компилятору избежать бесконечного цик
вопрос задан: 9 May 2011 01:58
0
ответов
Как именно работают синонимы типов?
Как получается, что следующий тип проверяет {- # LANGUAGE RankNTypes # -}
модуль Main, где class Foo a, где type FunFoo = (Foo a) => a -> IO () data Bar = Bar {funFoo :: FunFoo
} ...
вопрос задан: 7 May 2011 03:11
0
ответов
ASP.NET C # Перехват всех исключений в классе
Я знаю, что это не способ сделать это, и это не так совсем не чистая. Мне просто интересно, возможно ли это. Если у меня есть класс с кучей методов public class Foo {methodA () {} methodB () {} ...
вопрос задан: 6 May 2011 17:32
0
ответов
Могут ли хорошие системы типов различать матрицы в разных базах?
Моя программа (Hartree-Fock / итеративный SCF) имеет два матрицы F и F ', которые на самом деле являются одной и той же матрицей, выраженной в двух разных базах. Я только что потерял три часа времени на отладку, потому что случайно ...
вопрос задан: 1 May 2011 20:53
0
ответов
RankNTypes для объявлений экземпляров?
Я недавно играл с RankNTypes и задаюсь вопросом, можно ли их использовать
в объявлениях экземпляра. Вот простой пример использования данных открытых типов данных (Expr a, Expr b) => Add ab ...
вопрос задан: 23 April 2011 22:13
0
ответов
Недостатки системы типов Scala по сравнению с Haskell?
Я читал, что система типов Scala ослаблена совместимостью Java и поэтому не может выполнять некоторые из тех же функций, что и система типов Haskell. Это правда? Слабость из-за типа ...
вопрос задан: 22 April 2011 11:13
0
ответов
Каковы основные теоретические трудности при добавлении модулей в стиле ML в Haskell?
Хорошо известно, что Классы типов в стиле Haskell и модули в стиле ML предлагают разные механизмы для определения интерфейсов. Они (возможно) эквивалентны по мощности, но на практике у каждого есть свои собственные ...
вопрос задан: 17 April 2011 17:37
0
ответов
Проверка типов внутри квазиквотов в Template Haskell
] Я пытаюсь познакомиться с Template Haskell, и, к моему удивлению, приведенный ниже код компилируется под ghc (версия 6.10.4). main = do let y = [| "hello" +1 |] putStr "" ...
вопрос задан: 16 April 2011 19:38
0
ответов
Типы объединения и типы пересечений
Каковы различные варианты использования случаи для типов объединения и типов пересечения? В последнее время было много шума об этих особенностях системы типов, но почему-то я никогда не чувствовал необходимости ни в одном из них!
вопрос задан: 13 April 2011 18:14
0
ответов
Почему в .NET существует null?
Почему значения могут быть пустыми. СЕТЬ? Превосходно ли это по сравнению с гарантией, при которой все будет иметь значение и ничто не будет равно нулю? Кто-нибудь знает, как называется каждая из этих методологий? Либо ...
вопрос задан: 1 March 2011 00:05
0
ответов
Компиляция и приведение во время выполнения c #
Мне было интересно, почему некоторые приведения в C # проверяются во время компиляции, тогда как в других случаях ответственность снимается с CLR. Как и выше, оба неверны, но обрабатываются по-разному. Класс Base {...
вопрос задан: 21 December 2010 13:08
0
ответов
Почему я не могу использовать ключевое слово as для структуры?
Я определил следующую структуру: public struct Call
{вызывающий общедоступный исходный файл; public SourceFile callee; public Call (вызывающий исходный файл, вызываемый исходный файл) {this.caller = ...
вопрос задан: 13 December 2010 01:35
0
ответов
Объясните: «C принципиально имеет коррумпированную систему типов»
В книге «Кодеры за работой» (p355) Гай Стил говорит о C ++: «Я думаю, что решение об обратной совместимости с C это фатальный недостаток. Это просто набор трудностей, которые невозможно преодолеть. C ...
вопрос задан: 8 November 2010 14:57
0
ответов
Система типов в Scala завершена по Тьюрингу. Доказательство? Пример? Преимущества?
Есть утверждения, что система типов Scala является полной по Тьюрингу. Мои вопросы: есть ли этому официальное доказательство?
Как будет выглядеть простое вычисление в системе типов Scala?
Это что-то ...
вопрос задан: 28 October 2010 11:02
0
ответов
Может ли тип быть ссылочным типом и типом значения одновременно?
Если нет и набор ссылочных типов и типов значений являются взаимоисключающими, почему это не компилируется: public static void Do (T obj), где T: struct {}
public static void Do (T obj) ...
вопрос задан: 23 October 2010 08:48
0
ответов
Сможет ли .NET работать так же хорошо без использования типа Object?
Я спрашиваю об этом, потому что кажется, что использование Object кажется простым способом решения определенных проблем, таких как «У меня нет определенного типа, поэтому используйте Object» и т. д. Также причина, по которой это заставило меня ...
вопрос задан: 8 September 2010 18:59