| API Design for Heaps (aka Priority Queues) |
Scala |
En |
2016 |
Структуры данных |
| Automatically Deriving Typeclass Instances in Scala 3 |
Scala 3 |
En |
2021 |
|
| Cats Effect 3 - Introduction to Fibers |
Scala 3 |
En |
2021 |
Cats effect |
| Cats Effect vs ZIO |
Scala 3 |
En |
2023 |
Cats effect, ZIO |
| Concurrency with Cats Effect |
Scala 3 |
En |
2023 |
Cats effect |
| Controllable Futures in Scala - Rock the JVM |
Scala 3 |
En |
2020 |
|
| Deploy http4s on your domain with fly.io |
Scala 3 |
En |
2023 |
|
| Functional Programming anti-patterns in Scala |
Scala 3 |
En |
2023 |
Patterns |
| Scala 3: Error handling in FP land |
Scala 3 |
En |
2022 |
|
| Time traveling in tests with Cats Effect |
Scala 3 |
En |
2020 |
Cats effect |
| Type Classes |
Scala 3 |
En |
|
|
| What is an Effect? |
Scala 3 |
En |
2020 |
Cats effect |
| A Beginner-Friendly Tour through Functional Programming in Scala |
Scala 2 |
En |
2016 |
|
| A simple trick to improve type safety of your Scala code |
Scala 2 |
En |
2020 |
Refined |
| Algebraic API Design - Types, Functions, Properties |
Scala 2 |
En |
2019 |
|
| Cats Concurrency basics with Ref and Deferred |
Scala 2 |
En |
2020 |
Cats effect |
| Compile time dimensional analysis with Libra |
Scala 2 |
En |
2017 |
|
| console games in Scala |
Scala 2 |
En |
2018 |
|
| Deriving Type Class Instances |
Scala 2 |
En |
2013 |
|
| Equivalence versus Equality |
Scala 2 |
En |
2017 |
|
| Higher-Kinded Data in Scala |
Scala 2 |
En |
2023 |
|
| Higher-kinded types: the difference between giving up, and moving forward |
Scala 2 |
En |
2016 |
|
| How we used Refined to improve type safety and error reporting in Scala |
Scala 2 |
En |
2021 |
Refined |
| Introduction to Programming with ZIO Functional Effects |
Scala 2 |
En |
2021 |
ZIO |
| JVM Multithreading: Monitor Locks and Visibility |
Scala 2 |
En |
2013 |
|
| Lightweight Non-Negative Numerics for Better Scala Type Signatures |
Scala 2 |
En |
2015 |
Refined |
| ProvingGround: Automated Theorem proving by learning |
Scala 2 |
En |
2020 |
|
| Refined types, what are they good for? |
Scala 2 |
En |
2017 |
Refined |
| Refinement Types In Practice |
Scala 2 |
En |
2018 |
Refined |
| Refined Types in Scala |
Scala 2 |
En |
2020 |
Refined |
| Refined Types in Scala: the Good, the Bad and the Ugly |
Scala 2 |
En |
2020 |
Refined |
| Refining your data from configuration to database |
Scala 2 |
En |
2017 |
Refined |
| Retry Failing Tasks with Cats and Scala - Alexandru Nedelcu |
Scala 2 |
En |
2020 |
Cats |
| Safe, Expressive Code with Refinement Types |
Scala 2 |
En |
2020 |
Refined |
| Shared State in Functional Programming |
Scala 2 |
En |
2018 |
|
| Scala's isInstanceOf is an Anti-Pattern - Alexandru Nedelcu |
Scala 2 |
En |
2019 |
|
| Stackless Scala With Free Monads - Runar Oli Bjarnason |
Scala 2 |
En |
2012 |
Trampoline |
| Subtype type classes don't work |
Scala 2 |
En |
2016 |
|
| Tests - can we have too many? |
Scala 2 |
En |
2018 |
Refined |
| There are more types than classes |
Scala 2 |
En |
2017 |
|
| Type-Level Programming in Scala |
Scala 2 |
En |
2010 |
|
| Type safety with refined |
Scala 2 |
En |
2022 |
Refined |
| Validate Service Configuration in Scala |
Scala 2 |
En |
2019 |
Refined |
| Wtf is Refined? |
Scala 2 |
En |
2019 |
Refined |