967 чатов

Комьюнити Binance Комьюнити Binance
React — русскоговорящее с... React — русскоговорящее с...
Android Developers Android Developers
Python Python
Vue.js — русскоговорящее ... Vue.js — русскоговорящее ...
supapro.cxx supapro.cxx
DotNetRuChat DotNetRuChat
GNU/Linux Help GNU/Linux Help
Telegram Developers Telegram Developers
Node.js — русскоговорящее... Node.js — русскоговорящее...
DevOps — русскоговорящее ... DevOps — русскоговорящее ...
JavaScript Noobs — сообще... JavaScript Noobs — сообще...
Django [ru] Django [ru]
Go-go! Go-go!
Angular - русскоговорящее... Angular - русскоговорящее...
ntwrk ntwrk
Верстка сайтов HTML/CSS/J... Верстка сайтов HTML/CSS/J...
phpGeeks phpGeeks
Где взять займ? Где взять займ?
Kubernetes — русскоговоря... Kubernetes — русскоговоря...
Смотреть еще
Dmytro-Mitin

Dmytro Mitin

Username @DmytroMitin
Телефон —
Измените конфиденциальность Username и Телефона в настройках Telegram на «Только контакты» или «Никому» и через некоторое время они исчезнут с сайта
7 просмотров

3 вопросов от DmytroMitin

Scala User Group Scala User Group / Dmytro Mitin
Подписаться

Спасибо за отзыв. Не вся, но бОльшая часть. Про зависимые типы на чистой скале (без ProvingGround) идет речь в лекциях "Dependent pair type (Σ-type)", "Dependent function type...

#programming #russian #scala
16.04.2017
0
1 ответов
Scala User Group Scala User Group / Dmytro Mitin
Подписаться

Всем привет. Начал апдейтить свой курс "Introduction to programming with dependent types in Scala" на Степике: https://stepik.org/course/49181 Пока что готов первый урок о бул...

#programming #russian #scala
02.11.2018
0
2 ответов
Scala User Group Scala User Group / Dmytro Mitin
Подписаться

сохрОнил) https://rutracker.org/forum/viewtopic.php?t=5015592

#programming #russian #scala
16.04.2017
0
1 ответов
Карта сайта