Dmytro Mitin

28 Followers

7 SlideShares 28 Followers 65 Folgens

scala mooc math algorithms

Aktivität
Info

Interpolation

Vor 8 Jahren • 1639 Aufrufe

Type classes

Vor 7 Jahren • 98 Aufrufe

Type-level programming

Vor 7 Jahren • 169 Aufrufe

Eliminators into dependent types

Vor 7 Jahren • 292 Aufrufe

Sigma type

Vor 7 Jahren • 303 Aufrufe

Introduction to programming with dependent types in Scala

Vor 7 Jahren • 295 Aufrufe

Boolean type

Vor 5 Jahren • 124 Aufrufe

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

Kirill Shelopugin • Vor 4 Jahren

Scala 3 Is Coming: Martin Odersky Shares What To Know

Lightbend • Vor 4 Jahren

Functional Effects - Part 1

Philip Schwarz • Vor 4 Jahren

Functional Effects - Part 2

Philip Schwarz • Vor 4 Jahren

Applicative Functor - Part 2

Philip Schwarz • Vor 4 Jahren

Applicative Functor - Part 3

Philip Schwarz • Vor 4 Jahren

Scalaz 8: A Whole New Game

John De Goes • Vor 6 Jahren

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

Max Klymyshyn • Vor 5 Jahren

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

Ruslan Shevchenko • Vor 5 Jahren

Scala / Technology evolution

Ruslan Shevchenko • Vor 5 Jahren

Practical type mining in Scala

Rose Toomey • Vor 10 Jahren

Preparing for Scala 3

Martin Odersky • Vor 5 Jahren

Functor Laws

Philip Schwarz • Vor 6 Jahren

Real World Java 9 - JetBrains Webinar

Trisha Gee • Vor 6 Jahren

Java 8 Default Methods

Haim Michael • Vor 6 Jahren

Spring Boot Ripper

Кирилл Толкачёв • Vor 6 Jahren

Joy of scala

Maxim Novak • Vor 7 Jahren

Let's Talk About Junit 5

SQALab • Vor 6 Jahren

Lambda Calculus & Functional programming

Alexander Nemish • Vor 6 Jahren

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

Pawel Szulc • Vor 7 Jahren

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

Pawel Szulc • Vor 7 Jahren

Herding types with Scala macros

Marina Sigaeva • Vor 7 Jahren

Typelevel summit

Marina Sigaeva • Vor 6 Jahren

Scalaz

mpilquist • Vor 11 Jahren

42: Rise of the dependent types

George Leontiev • Vor 9 Jahren

Scala dreaded underscore

RUDDER • Vor 13 Jahren

Refactoring to Java 8 (Devoxx BE)

Trisha Gee • Vor 7 Jahren

Procedure Typing for Scala

akuklev • Vor 12 Jahren

High Wizardry in the Land of Scala

djspiewak • Vor 13 Jahren

The Eff monad, one monad to rule them all

Eric Torreborre • Vor 7 Jahren

scala mooc math algorithms

Dmytro Mitin

Präsentationen

Interpolation

Type classes

Type-level programming

Eliminators into dependent types

Sigma type

Introduction to programming with dependent types in Scala

Boolean type

Gefällt mir

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