Все сервисы Хабра
Сообщество IT-специалистов
Ответы на любые вопросы об IT
Профессиональное развитие в IT
Закрыть
Задать вопрос
Александр Рулёв
Метатеоретик теории типов
23
вклад
2
вопроса
28
ответов
43%
решений
Вопросы пользователя по тегу
функциональное-программирование
Программирование
+1 ещё
Зависимые типы?
4 подписчика
более трёх лет назад
4561 просмотр
1
ответ
Войдите на сайт
Чтобы задать вопрос и получить на него квалифицированный ответ.
Войти через центр авторизации
Закрыть
Реклама