В некотором C-коде я определяю простой статический массив как аргумент функции, скажем: void...
Чтобы создать DSL для моего нового проекта Scala, я написал следующий код: trait DocDB[O] { def...
Для чего нужны типовые проекции в Scala?Почему система типов Scala поддерживает как проекции типов,...
Мой вопрос должен быть несколько расплывчатым и очень поверхностным.Сожалею.Но мне интересно,...
В Программирование в Scala , приведен следующий пример, показывающий, как ссылаться на класс Java с...
В Scala синтаксис для выбора типа из класса отличается от синтаксиса выбора чего-либо еще из класса
При чтении ответа Джона Скита на этот конкретный вопрос Как я могу сделать так, чтобы мои...
Существует довольно много динамически типизированных объектно-ориентированных языков, в которых сам...
Можно ли создать тип с числовым аргументом? , т.е. если я хочу создать тип целых чисел с...
У меня была эта сумасшедшая идея, и мне было интересно, существует ли такая вещь: Обычно в строго...
Я заметил, что tuple.productIterator всегда возвращает Iterator[Any], удивляясь, если невозможно...
Недавно я прочитал статью, в которой сравнивалось проектирование по контракту с тестированием по...
С учетом data Foo = FooString String … class Fooable a where --(is this a good way to name this?)...
A недавнее сообщение в блоге о слияниях Уильяма Кука упоминает: Ключевым моментом является то, что...
Какая разница, когда я пишу это? data Book = Book Int Int против newtype Book = Book (Int, Int) --...
Так что я играю с y-комбинатором и анонимными функциями, и я столкнулся с этой странной ошибкой:...
Моя программа (Хартри-Фок / итеративный SCF) имеет две матрицы F и F ', которые на самом деле...
С классами типов в Haskell кажется, что он допускает специальный полиморфизм, но объявления его...
Какие существуют варианты использования для типов объединения и типов пересечений?В последнее время...
Я пытаюсь ознакомиться с шаблоном Haskell , и, к моему удивлению, приведенный ниже код...
Мне было интересно, можно ли интегрировать мощную систему типов haskell в такой язык, как C, и при...
Для приложения мы собираем определенные данные формы. Пользователь может включать различные разделы...
Почему значения могут быть нулевыми в .NET?Разве это лучше, чем иметь гарантию, что все будет иметь...
Я создаю язык для своих собственных целей.Он будет состоять из двух объектов: функций и типов
При использовании зависимых от пути типов с отражением я получаю ошибку несоответствия типов, даже...