Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag kopendent-type - Это страница 1 - GeneraCodice
Do I need heterogeneous equality?
https://www.generacodice.com/ru/articolo/13623439/do-i-need-heterogeneous-equality
equality
-
proof
-
agda
-
heterogeneous
-
dependent-type
StackOverflow
Building values dynamically with GADTs using Data Kinds
https://www.generacodice.com/ru/articolo/13506418/building-values-dynamically-with-gadts-using-data-kinds
haskell
-
gadt
-
dependent-type
-
data-kinds
StackOverflow
Why is typecase a bad thing? [closed]
https://www.generacodice.com/ru/articolo/13312705/why-is-typecase-a-bad-thing-closed
agda
-
dependent-type
-
idris
StackOverflow
Doing rank-n quantification in Idris
https://www.generacodice.com/ru/articolo/13081273/doing-rank-n-quantification-in-idris
higher-rank-types
-
dependent-type
-
idris
StackOverflow
How to use Prop from UTT in Agda
https://www.generacodice.com/ru/articolo/12977209/how-to-use-prop-from-utt-in-agda
agda
-
dependent-type
StackOverflow
Is it possible to realize the benefits of dependent typing using macros in Lisp?
https://www.generacodice.com/ru/articolo/12718096/is-it-possible-to-realize-the-benefits-of-dependent-typing-using-macros-in-lisp
macros
-
haskell
-
compile-time
-
clojure
-
dependent-type
StackOverflow
Is there a relationship between the Scala Dotty Compiler and the Dependent Objects project by Nada Amin? [closed]
https://www.generacodice.com/ru/articolo/12404414/is-there-a-relationship-between-the-scala-dotty-compiler-and-the-dependent-objects-project-by-nada-amin-closed
scala
-
dependent-type
-
dotty
StackOverflow
What does \forall (∀) actually mean in a signature?
https://www.generacodice.com/ru/articolo/11160787/what-does-forall-actually-mean-in-a-signature
agda
-
dependent-type
StackOverflow
Proving structural equality of dependent records in Coq
https://www.generacodice.com/ru/articolo/10466514/proving-structural-equality-of-dependent-records-in-coq
coq
-
dependent-type
StackOverflow
How do I code this dependently-typed example in Haskell?
https://www.generacodice.com/ru/articolo/10432425/how-do-i-code-this-dependently-typed-example-in-haskell
haskell
-
gadt
-
dependent-type
StackOverflow
«
1
2
3
4
5
6
»
Результаты найдены: 59