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 type-theory - Это страница 1 - GeneraCodice
How can quotient types help safely expose module internals?
https://www.generacodice.com/ru/articolo/13626157/how-can-quotient-types-help-safely-expose-module-internals
functional-programming
-
haskell
-
type-systems
-
type-theory
StackOverflow
OCaml passing labeled function as parameter / labeled function type equivalence
https://www.generacodice.com/ru/articolo/11553947/ocaml-passing-labeled-function-as-parameter-labeled-function-type-equivalence
functional-programming
-
ocaml
-
type-theory
StackOverflow
Is parametric polymorphism the same as dispatching on arity?
https://www.generacodice.com/ru/articolo/9299793/is-parametric-polymorphism-the-same-as-dispatching-on-arity
types
-
programming-languages
-
type-theory
StackOverflow
What is an Isabelle/HOL subtype? What Isar commands produce subtypes?
https://www.generacodice.com/ru/articolo/7541844/what-is-an-isabelle-hol-subtype-what-isar-commands-produce-subtypes
types
-
type-theory
-
subtype
-
isabelle
-
isar
StackOverflow
Singleton types in Haskell
https://www.generacodice.com/ru/articolo/7350070/singleton-types-in-haskell
haskell
-
type-theory
-
dependent-type
-
singleton-type
StackOverflow
What's the absurd function in Data.Void useful for?
https://www.generacodice.com/ru/articolo/5785975/what-s-the-absurd-function-in-data-void-useful-for
haskell
-
type-theory
-
curry-howard
StackOverflow
What is the relationship between recursion and proof by induction?
https://www.generacodice.com/ru/articolo/4355664/what-is-the-relationship-between-recursion-and-proof-by-induction
recursion
-
type-theory
-
induction
StackOverflow
Does C++11 support types recursion in templates?
https://www.generacodice.com/ru/articolo/4177350/does-c-11-support-types-recursion-in-templates
c++
-
types
-
type-theory
-
c++11
StackOverflow
Function which generically takes a type and returns the same type
https://www.generacodice.com/ru/articolo/4075130/function-which-generically-takes-a-type-and-returns-the-same-type
generics
-
collections
-
functional-programming
-
scala
-
type-theory
StackOverflow
Type theory: type kinds
https://www.generacodice.com/ru/articolo/3016261/type-theory-type-kinds
types
-
haskell
-
programming-languages
-
scala
-
type-theory
StackOverflow
«
1
2
3
4
5
6
»
Результаты найдены: 484