Dmytro Mitin
https://www.facebook.com/dmitry.mitin
2nd training on Shapeless https://www.facebook.com/events/201770184407910/
Training on macros https://www.facebook.com/events/219678969175044/
Training on Shapeless and type-level programming in Scala in Kyiv, Ukraine https://dou.ua/calendar/31318/
AUXify -- library for metaprogramming (introducing macro/meta annotations @aux, @self, @instance, @apply, @delegated, @syntax) https://github.com/DmytroMitin/AUXify
MOOC "Introduction to programming with dependent types in Scala (2019)" https://stepik.org/course/49181
Former version: https://stepik.org/course/ThCS-Introduction-to-programming-with-dependent-types-in-Scala-2294
0
answers
1
question
~578
people reached
-
Kyiv, Ukraine
-
Member for 5 years, 6 months
-
14 profile views
-
Last seen Nov 24 '20 at 15:06
Communities (19)
Top network posts
- 21 cats-effect: How to transform `List[IO]` to `IO[List]`
- 14 How to use Java lambdas in Scala
- 11 How to access parameter list of case class in a dotty macro
- 11 How to require at compile time that a type parameter be a trait (and not a class or other type value)?
- 10 Get type of a "singleton type"
- 10 Tagged Type vs class extends AnyVal
- 9 Subqueries, Having and GroupBy in Slick
- View more network posts →
Top tags (5)
Score
0
Posts
1
Score
0
Posts
1
Badges (12)
Gold
—
Silver
6
Rarest
-
Sep 28
Bronze
6
Rarest
-
Sep 25
-
Sep 25
-
Sep 27