Результаты поиска по запросу "type-systems"
Написание хорошего ответа
ы различные варианты использования для типов объединения и типов пересечений? В последнее время было много шума по поводу этих функций системы типов, но почему-то я никогда не чувствовал необходимости ни в одном из них!
@snk_kid, пока мы на нем, UHC реализует добрый полиморфизм, и он также может появиться в GHC, если работа Бьорджи по созданию типов будет реализована. (NB: это никогда не используется на практике (пока), но очень круто.)
ссами типов в Haskell кажется, что он допускает специальный полиморфизм, но объявления его функций кажутся параметрическим полиморфизмом. Я смешиваю свое понимание разных вещей?
Тот факт, что определение типа не работает, является намеком на то, что компилятор не доволен этим.
етил, чтоtuple.productIterator всегда возвращаетIterator[Any] Интересно, нельзя ли установить несколько нижних границ (так что это может быть Итератор с наименьшим общим супертипом). Я попытался и искал немного, но только ...
).
la синтаксис выбора типа из класса отличается от синтаксиса выбора чего-либо еще из класса. В том, что первый использует хэш в качестве оператора выбора вместо точки. Почему это? Пример: если у нас есть такой класс ... class Example { type Foo ...
stackoverflow.com/questions/38549174/...
ли наложить ограничение неравенства на переменные типа функции, а ляfoo :: (a ~ b) => a -> b как вСемейные документы типа GHC [http://www.haskell.org/ghc/docs/7.0.3/html/users_guide/type-families.html]кроме неравенства а не равенства? Я ...
Отличный ответ, спасибо!
го слышал о разных языках JVM, все еще в режиме «испаритель», которые предлагают как-то реализовать реификацию. У меня есть эта нытье наполовину запомнившаяся (или полностью воображаемая, не знаю какая) мысль, что где-то я читал, что ...
Что означает оператор # в Scala?
Я вижу этот код в этом блоге:Программирование на уровне типов в Scala [http://apocalisp.wordpress.com/2010/06/08/type-level-programming-in-scala/]: // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the ...
Тип Хаскеля против нового типа в отношении безопасности типов [закрыто]
я знаюnewtype чаще по сравнению сdata в Haskell, но я представляю это сравнение скорее с точки зрения дизайна, чем с технической точки зрения. В неперспективных / ОО-языках есть анти-паттерн "примитивная ...
Почему бы не быть зависимым типом?
Я видел несколько источников, повторяющих мнение, что «Haskell постепенно становится типизированным языком». Предполагается, что с появлением все большего количества языковых расширений Haskell движется в этом общем направлении, но пока не ...
Система типов Python - Объект против Типа
Я новичок в Python. Я знаком с Java, C / C ++ и OCaml. Я понимаю лямбда-исчисление и элементарную теорию типов благодаря курсу языков программирования, который я прошел в университете. Вооружившись этим фоном, я попытался прочитать это ...