Я пытаюсь сделать самообучение с Haskell. Функция loadData считывает некоторые данные из файла и,...
Я постепенно влюбляюсь в Эрланга, и у меня только одна большая, БОЛЬШАЯ проблема. Я большой...
Я борюсь с экзистенциальными типами в моей программе.Я думаю, что пытаюсь сделать что-то очень...
Это ошибка в проверке типов? Prelude> let (x :: forall a. a -> a) = id in x 3...
Можно ли показать только определенный вид интерфейса или приблизить это поведение в Java?Например:...
Итак, еще один вопрос о том, что такое Pythonic! В данном случае прикладной областью являются...
Итак, у меня есть тип данных вроде: data Token = NUM Int | ID String | EOF , и у меня есть функция...
Как определить, является ли данный шаблон «хорошим», в частности, является ли он исчерпывающим и...
compress xs@(_:_:_) = (ifte <$> ((==) <$> head <*> head.tail) <$> ((compress
Я пишу код переноса частиц.В этом коде физические объекты реализуют интерфейс Volume.Один из...
Если у вас есть экземпляр объекта в javascript, кажется, что может быть трудно найти его...
Я работаю над ANLTR для поддержки проверки типов.У меня проблемы в какой-то момент.Я попытаюсь...
Я пытаюсь написать следующее понимание списка в Haskell, и оно не проверяет тип.Я новичок в этом и...
Есть ли что-нибудь более идиоматическое, чем следующее? foo.class == String
Предположим, что у меня есть: trait A class B extends A скомпилировано в файлы классов. Позже я...
Скажем, у меня есть функция с шаблоном типа T и двумя другими классами A и B . template...
Эта статья устанавливает, что вывод типа (называемый «типизируемостью» в статье) в Системе F...
У меня вопрос по домашнему заданию, который очень смутил меня. Ниже приводится краткое объяснение...
Я знаю, что не могу получить от int, и это даже не нужно, это было только одно (не) решение,...
У меня есть коллекция List (Component - это пользовательский класс) с единственным элементом ,...
Я разрабатываю расширение C для ruby, одна из функций из библиотеки C, к которой я обращаюсь,...
Я не могу исправить эти ошибки проверки типов в Scala: package junk import org.apache.hadoop.conf
Допустим, я определил свой собственный тип данных как data MyData = A arg| B arg2| C arg3 Как мне...
У меня есть пользовательский тип последовательности.По сути, это оболочка для списка плюс...
В проекте с около 6000 строк кода Erlang, но без аннотации типа -spec() я попробовал следующее:...