type-systems

3зной

5ответ

Лучший способ реализовать коллекцию массива разных типов

Я ищу структуру данных с общим общим назначением в C# для хранения массивов разных типов integer и float. В некоторых случаях целые числа являются битовыми полями, где каждый бит одинаково важен, а по

c# data-structures collections type-systems typed-arrays 2016-09-30

---

3зной

1ответ

Dependent Typing style Равноправие в Scala

Возможно ли реализовать доказательство равенства в Scala? В книге Type Driven Development с Idris приводится пример того, как можно определить тип доказательства равенства. data (=): a -> b -> Type wh

scala type-systems dependent-type 2016-11-20

---

2зной

3ответ

Как создать функцию, которая принимает функцию с определенными параметрами в качестве аргумента?

Я хотел бы создать функцию, которая принимает функцию, которая принимает определенные типы параметров в качестве аргумента. Например: myFn(Function paramFn) { paramFn([1, 2, 3]); } Как я могу

function dart type-systems 2017-01-15

---

16зной

1ответ

Даунтайт-черты внутри Rc для управления АСТ

Я пытаюсь манипулировать АСТ в ржавчине. Там будет много манипуляций, и я хочу, чтобы мои деревья были неизменными, поэтому для экономии времени все ссылки будут Rc s. Мои узлы дерева будут выглядеть

rust abstract-syntax-tree type-systems downcasting 2016-10-13

---

4зной

2ответ

Предоставляет ли стандарт C++ 11 «n2 is int &» с помощью «auto n2 = const_cast <int &>(n);»?

const int n = 0; auto& n1 = const_cast<int&>(n); auto n2 = const_cast<int&>(n); Предоставляет ли стандартная гарантия C++ 11 n2 is int& от auto n2 = const_cast<int&>(n);? Должен ли я использовать

c++ c++11 auto type-systems type-deduction 2016-12-06

---

1зной

1ответ

Параметр типа литерала TypeScript не распространяется для возврата

ТипScript имеет удобное свойство, что строка-литерал может быть параметром типа для общей функции. Таким образом, вы можете сделать let a:HTMLAnchorElement = document.createElement("a"); и компилято

generics typescript type-systems 2016-10-19

---

10зной

1ответ

Какие размеры в Агда?

Что такое размерные типы в Агда? Я пытался прочитать статью о MiniAgda, но не смог продолжить из-за следующие пункты: Почему типы данных родовым над их размером? Насколько я знаю, размер - это глубина

types agda type-systems induction totality 2016-11-02

---

19зной

2ответ

Создание складки, которая позволяет типу менять после каждого вызова повторной функции для того, чтобы вызвать функцию п разы без рекурсии

Я пытаюсь использовать dfold определенного here dfold :: KnownNat k => Proxy (p :: TyFun Nat * -> *) -> (forall l. SNat l -> a -> (p @@ l) -> p @@ (l + 1)) -> (p @@ 0) -> Ve

haskell type-systems type-level-computation clash 2017-02-12

---