Курс на Stepik
Theoretical Computer Science. Introduction to programming with dependent types in Scala
| Показатель | Текущие показатели | Рост | |||
|---|---|---|---|---|---|
| Значение | 🏆 Рейтинг | 3 дн | 7 дн | 30 дн | |
 Учеников на курсе |
3 073 | ||||
 Сертификатов выдано |
0 | ||||
 Отзывов получено |
3 | ||||
 Рейтинг курса |
5.000 | ||||
 Количество уроков |
41 | ||||
 Количество квизов |
47 | ||||
 Количество задач с кодом |
4 | ||||
 Время прохождения курса |
— | ||||
 Обновления курса |
— | — | |||
 Дата публикации курса |
— | — | — | — | |
| Последнее обновление |
— | — | — | — | |
Thank you so much for the course! IMHO it would be great if in some assignments student were forced to write a solution in more modular way. For example write induction base and induction steps separately and then combine it. It would help to demystify Proving Ground API signatures.
thanks for all the support and this awesome class What did I like? I like the overall course, and most importantly support from @Dmytro_Mitin What didn't I like? the grader, it could be more intelligent Did I find anything new for you? yep, I took this course because this is relatively new for me. programming using type constraints. Was it useful for me? theoretically yes, practically haven't find any area where I can adopt my learning. Whom could you recommend the course? I will recommend to friend who is interested in type level programming.
I'm here from reddit. Great course! Thank you.
