Можно ли создавать такие типы, как, например, String(20) в скале? Цель состоит в том, чтобы иметь...
Я пытаюсь понять членов типа в Scala. Я написал простой пример, который пытается объяснить мой...
Я думаю о способах использования системы типов Haskell для обеспечения модульности в программе....
В моем чтении о динамической и статической типизации я продолжаю сталкиваться с предположением, что...
Я пишу API хранилища значений ключей (например, ODBC, только интерфейс, а не базовое хранилище) на...
Википедия говорила * о наборе утки : В компьютерном программировании с объектно-ориентированные...
Может ли кто-нибудь дать мне четкое различие между системой скрытого и манифестного типа?
Есть ли способ легко "поднять" экземпляр класса в Haskell? Мне часто приходилось создавать,...
Как объяснить систему типов Scala эксперту по Haskell? Какие примеры показывают преимущества Scala?...
В последнее время я занимался программированием на OCaml, чтобы выучить язык и познакомиться с...
У меня довольно общий вопрос о системе типов Хаскелла. Я пытаюсь познакомиться с ним, и у меня есть...
Я создаю список <T>, но я хочу знать тип этого T-объекта. (Я использую отражение в своем...
Я слышал о типах, которые в некоторых языках называются «коробочными». В Java я слышал об...
Вдохновлен этим вопросом : Возможна ли явная рекурсия типа в F #? type 'a Mu = In of 'a...
Системы типов часто подвергаются критике за ограниченность, то есть ограничение языков...
Немного конкретнее, чем вопрос переполнения стека Что такое экзистенциальный тип? , в чем разница...
В Scala класс PartialFunction[A, B] является производным от типа Function[A, B] (см. Справочник...
Поправьте меня, если я ошибаюсь, но кажется, что алгебраические типы данных в Haskell полезны во...
Я бродил по сети в поисках различных методов набора текста на программах Erlang, и, кажется, их...
В статически типизированных функциональных языках программирования, таких как Standard ML, F #,...
Статья из Википедии о Система эффектов в настоящее время является просто короткой заглушкой, и я...
Каковы преимущества и ограничения динамических языков типов по сравнению со статическими языками...