Dmytro Mitin

28 Abonné

7 SlideShares 28 Abonné 65 Suivis

scala mooc math algorithms

Tout plus

Activité
À propos

Interpolation

il y a 8 ans • 1639 Vues

Type classes

il y a 7 ans • 98 Vues

Type-level programming

il y a 7 ans • 169 Vues

Eliminators into dependent types

il y a 7 ans • 292 Vues

Sigma type

il y a 7 ans • 303 Vues

Introduction to programming with dependent types in Scala

il y a 7 ans • 295 Vues

Boolean type

il y a 5 ans • 124 Vues

Tofu и его окружение

Kirill Shelopugin • il y a 4 ans

Scala 3 Is Coming: Martin Odersky Shares What To Know

Lightbend • il y a 4 ans

Functional Effects - Part 1

Philip Schwarz • il y a 4 ans

Functional Effects - Part 2

Philip Schwarz • il y a 4 ans

Applicative Functor - Part 2

Philip Schwarz • il y a 4 ans

Applicative Functor - Part 3

Philip Schwarz • il y a 4 ans

Scalaz 8: A Whole New Game

John De Goes • il y a 6 ans

Papers We Love Kyiv, July 2018: A Conflict-Free Replicated JSON Datatype

Max Klymyshyn • il y a 5 ans

Papers We Love / Kyiv : PAXOS (and little about other consensuses )

Ruslan Shevchenko • il y a 5 ans

Scala / Technology evolution

Ruslan Shevchenko • il y a 5 ans

Practical type mining in Scala

Rose Toomey • il y a 10 ans

Preparing for Scala 3

Martin Odersky • il y a 5 ans

Functor Laws

Philip Schwarz • il y a 6 ans

Real World Java 9 - JetBrains Webinar

Trisha Gee • il y a 6 ans

Java 8 Default Methods

Haim Michael • il y a 6 ans

Spring Boot Ripper

Кирилл Толкачёв • il y a 6 ans

Joy of scala

Maxim Novak • il y a 7 ans

Let's Talk About Junit 5

SQALab • il y a 6 ans

Lambda Calculus & Functional programming

Alexander Nemish • il y a 6 ans

“Going bananas with recursion schemes for fixed point data types”

Pawel Szulc • il y a 7 ans

“Going bananas with recursion schemes for fixed point data types”

Pawel Szulc • il y a 7 ans

Herding types with Scala macros

Marina Sigaeva • il y a 7 ans

Typelevel summit

Marina Sigaeva • il y a 6 ans

Scalaz

mpilquist • il y a 11 ans

42: Rise of the dependent types

George Leontiev • il y a 9 ans

Scala dreaded underscore

RUDDER • il y a 13 ans

Refactoring to Java 8 (Devoxx BE)

Trisha Gee • il y a 7 ans

Procedure Typing for Scala

akuklev • il y a 12 ans

High Wizardry in the Land of Scala

djspiewak • il y a 13 ans

The Eff monad, one monad to rule them all

Eric Torreborre • il y a 8 ans

scala mooc math algorithms

Tout plus

Dmytro Mitin

Présentations

Interpolation

Type classes

Type-level programming

Eliminators into dependent types

Sigma type

Introduction to programming with dependent types in Scala

Boolean type

J’aime

Tofu и его окружение

Scala 3 Is Coming: Martin Odersky Shares What To Know

Functional Effects - Part 1

Functional Effects - Part 2

Applicative Functor - Part 2

Applicative Functor - Part 3

Scalaz 8: A Whole New Game

Papers We Love Kyiv, July 2018: A Conflict-Free Replicated JSON Datatype

Papers We Love / Kyiv : PAXOS (and little about other consensuses )

Scala / Technology evolution

Practical type mining in Scala

Preparing for Scala 3

Functor Laws

Real World Java 9 - JetBrains Webinar

Java 8 Default Methods

Spring Boot Ripper

Joy of scala

Let's Talk About Junit 5

Lambda Calculus & Functional programming

“Going bananas with recursion schemes for fixed point data types”

“Going bananas with recursion schemes for fixed point data types”

Herding types with Scala macros

Typelevel summit

Scalaz

42: Rise of the dependent types

Scala dreaded underscore

Refactoring to Java 8 (Devoxx BE)

Procedure Typing for Scala

High Wizardry in the Land of Scala

The Eff monad, one monad to rule them all