Результаты поиска по запросу "type-systems"
и бросает исключение.
ыло интересно, почему некоторые приведения в C # проверяются во время компиляции, тогда как в других случаях ответственность снимается с CLR. Как и выше, оба неверны, но обрабатываются по-разному. class Base { } class Derived : Base { } class ...
, затем проверьте, не является ли результат ненулевым, и сохраните там 3, если это так.
у значения могут быть нулевыми в .NET? Это лучше, чем иметь гарантию, что все будет иметь значение, а ничто не будет нулевым? Кто-нибудь знает, как называется каждая из этих методологий? В любом случае, я не очень разбираюсь в этом, но ...
@snk_kid, пока мы на нем, UHC реализует добрый полиморфизм, и он также может появиться в GHC, если работа Бьорджи по созданию типов будет реализована. (NB: это никогда не используется на практике (пока), но очень круто.)
ссами типов в Haskell кажется, что он допускает специальный полиморфизм, но объявления его функций кажутся параметрическим полиморфизмом. Я смешиваю свое понимание разных вещей?
Написание хорошего ответа
ы различные варианты использования для типов объединения и типов пересечений? В последнее время было много шума по поводу этих функций системы типов, но почему-то я никогда не чувствовал необходимости ни в одном из них!
Тот факт, что определение типа не работает, является намеком на то, что компилятор не доволен этим.
етил, чтоtuple.productIterator всегда возвращаетIterator[Any] Интересно, нельзя ли установить несколько нижних границ (так что это может быть Итератор с наименьшим общим супертипом). Я попытался и искал немного, но только ...
).
la синтаксис выбора типа из класса отличается от синтаксиса выбора чего-либо еще из класса. В том, что первый использует хэш в качестве оператора выбора вместо точки. Почему это? Пример: если у нас есть такой класс ... class Example { type Foo ...
Отличный ответ, спасибо!
го слышал о разных языках JVM, все еще в режиме «испаритель», которые предлагают как-то реализовать реификацию. У меня есть эта нытье наполовину запомнившаяся (или полностью воображаемая, не знаю какая) мысль, что где-то я читал, что ...
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]кроме неравенства а не равенства? Я ...
Что означает оператор # в 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, но я представляю это сравнение скорее с точки зрения дизайна, чем с технической точки зрения. В неперспективных / ОО-языках есть анти-паттерн "примитивная ...