Resources
Frank Thomas edited this page Feb 2, 2024
·
80 revisions
This page lists blog posts, talks, or slides or any other material about or that is related to refined. You are encouraged to add your own or missing content this list!
- https://www.awwsmm.com/blog/make-invalid-states-unrepresentable
- 2022-07-14: Type safety with refined by @majk-p
- 2021-04-12: How we used Refined to improve type safety and error reporting in Scala by @Bertrand31
- 2021-03-02: https://medium.com/bestmile/building-a-transportation-cloud-with-microservices-bad4daddd1f4
- 2020-11-02: https://bszwej.medium.com/domain-driven-design-with-fp-in-scala-21b557f94aa5
- 2020-10-16: https://engineering.visional.inc/blog/168/scala-refined-newtype/
- 2020-09-18: https://web.archive.org/web/20230609073505/https://tech.ovoenergy.com/safe-expressive-code-with-refinement-types/
- 2020-09-09: https://www.youtube.com/watch?v=IDrGbsupaok
- 2020-09-09: https://blog.rockthejvm.com/refined-types/
- 2020-08-10: https://medium.com/swlh/combining-purely-functional-property-based-and-docker-integration-tests-in-zio-6a826c5e7e19
- 2020-05-03: https://medium.com/swlh/refined-types-the-good-the-bad-and-the-ugly-ee971e5d9137
- 2020-04-29: A simple trick to improve type safety of your Scala code by Marcin Kubala
- 2020-04-18: Why types matter (slides) at Scala Love conf by @gvolpe
- 2020-03-07: Data Juggling - Part 8 - Getting Started with #refined by DevInsideYou
- 2020-02-14: Enhancing the type system with Refined Types (slides) at Lambda Days 2020 by @juliano
- 2019-11-15: Pure functional HTTP APIs in Scala by Jens Grassel
- 2019-10-31: Refined, des Types sur mesure at ScalaIO 2019 by Mohamad Kassir
- 2019-10-30: Une API affinée 18 mois at ScalaIO 2019 by @dgouyette
- 2019-09-08: https://blog.colinbreck.com/on-eliminating-error-in-distributed-software-systems/
- 2019-06-10: https://vectos.net/blog/a-functional-ecosystem
- 2019-02-19: Validate Service Configuration in Scala by @novakov-alexey
- 2019-01-28: Reduce the domain of your types with Refined
- 2018-10-31: Type Your Business at ScalaIO 2018 by @omervk
- 2018-10-26: https://www.slideshare.net/LukaJacobowitz/testing-in-the-world-of-functional-programming
- 2018-10-24: refinedで安全なコードを書く by @rider-yi
- 2018-10-18: Combining Refined Types with Type Class Derivation in Scala at Scala in the City by @lacarvalho91
- 2018-09-28: Refined JSON at Scala Up North 2018 by @NeQuissimus
- 2018-09-24: IO & Logging Capabilities blog post by @vlovgr
- 2018-08-24: Functional Programming for Mortals by @fommil
- 2018-06-20: Security in Scala: Refined Types and Object Capabilities at Scala Days New York 2018 by @wsargent
- 2018-06-08: Better Types = Fewer Tests (slides) at the Pamplona Software Crafters Conferenceby by @raulraja
- 2018-05-17: Strings are Evil: Methods to hide the use of primitive types at Scala Days Berlin 2018 by @noelwelsh
- 2018-05-16: Literal types, what they are good for? at Scala Days Berlin 2018 by @tabdulradi
- 2018-03-22: Refinement Types - Tipagem ainda mais forte para Scala at the scaladores meetup by @programaker
- 2018-04-30: Refinement Types In Practice at the @BeScala meetup by @kwark
- 2018-04-04: Tests - can we have too many? blog post by @wjlow
- 2018-03-13: The Ascent To Idris at the London Scala User Group by @zainab-ali
- 2018-02-25: @Autoweird.fm: Folge 38: Erzähl mir, wie du testest
- 2017-12-26: refined を使って分数の制約を型で表してみる by @yasuabe2613
- 2017-12-16: A tour of Typelevel by way of Circe at the ScalaX2gether Community Day by @travisbrown
- 2017-12-15: Refinement Types In Practice (slides) at Scala eXchange 2017 by @kwark
- 2017-12-01: refinedで値が満たすべき条件を型で表現する by 山崎 理弘
- 2017-11-17: Defusing the Configuration Time Bomb with PureConfig and Refined (slides) at Scale by the Bay 2017 by @leifwickland
- 2017-11-02: Let The Compiler Help You (slides) at Scala.IO 2017 by @markus1189
- 2017-10-10: Refined types, what are they good for? by @btlines
- 2017-09-18: How to build a functional API (slides) at Scala World 2017 by @julien-truffaut
- 2017-06-22: Validated Configurations with Ciris by @vlovgr
- 2017-06-10: Defusing the Configuration Time Bomb at Big Sky Dev Con 2017 by @leifwickland
- 2017-06-03: Refined Types for Validated Configurations at the Typelevel Summit Copenhagen by @vlovgr
- 2017-03-07: Refining your data from configuration to database by @pvillega
- 2016-12-24: Refined Configuration blog post about using PureConfig with refined by @vlovgr
- 2016-09-30: Typelevel and ScalaCheck at the Typelevel Community Conference Cádiz by @noelmarkham
- 2016-05-04: Refinement Types in Scala with refined (slides) at the Typelevel Summit Oslo by @fthomas
- 2016-04-14: Refinement Types in Scala mit refined beim M-net Developer Day von @fthomas
- 2015-12-11: Typelevel - the benefits of collaboration at Scala eXchange 2015 by @milessabin