2ответов 7 C#: использование типа «self» в качестве общего параметра? c# design-patterns singleton type-systems wcf
2ответов 7 Haskell: указание ограничений равной длины списков в системе типов dependent-type haskell list type-systems
1ответов 12 Можно ли перечислить имена и типы полей в типе данных записи, производном Generic? aeson generics haskell type-systems
3ответов 17 Разница между статическими и динамическими языками программирования dynamic programming-languages static type-systems
1ответов 36 Как Хаскелл добавил Тьюринг-полноту в систему F? haskell lambda-calculus system-f turing-complete type-systems
7ответов 39 Почему динамическая типизация так часто связана с интерпретируемыми языками? dynamic-typing language-design static-typing type-systems typing
8ответов 43 Действительно Хаскелл чисто функционального языка с учетом unsafePerformIO? functional-programming haskell referential-transparency type-systems unsafe-perform-io
6ответов 53 Недостатки системы типа Scala по сравнению с Haskell? haskell language-comparisons scala static-typing type-systems