refined VS Records for Scala

refined

• Make Invalid States Unrepresentable
  2 projects | dev.to | 2 Feb 2024

  Scala has quite good support for refined types across multiple libraries. A solution using the refined library might look something like

• Does the fthomas/refined library work differently in Scala 3?
  3 projects | /r/scala | 20 Jun 2023

  Does the Refined library for Scala (at https://github.com/fthomas/refined; "eu.timepit" %% "refined") work in Scala 3? Does it work differently?

• Type erased on implicit evidence check
  1 project | /r/scala | 28 Apr 2023

  I'm trying to create a poor man version of refined types implementation with a simple validation of string content and check the return type via Implicit evidence on another function. It seems that the type got erased after it got returned from the check

• Design by contract - Preconditions and Postconditions - I'm really amazed with Scala.
  4 projects | /r/scala | 2 Mar 2023

  Scala likes to do design-by-contract on the type level. You encode your pre- and post- conditions into types. Libraries like iron (scala 3) https://github.com/Iltotore/iron and refined (scala 2) https://github.com/fthomas/refined allow you to do all that without throwing any exceptions and they can even enforce some simple predicates at compile time.

• Restrict uses of annotation in Scala
  2 projects | /r/scala | 20 Feb 2023

  Annotation is not the only way (and probably not the best IMHO) to do refined types. You might be interested in Iron in Scala 3 or Refined in Scala 2/3.

• Cross-Training to Ada - which are the best languages to begin from?
  1 project | /r/ada | 25 Jan 2023

  I think the way you model problems in Ada is superficially similar to refined types you find in some functional languages (e.g. Scala).

• Can types replace validation?
  2 projects | /r/programming | 28 Aug 2022

  In one respect, nothing. You’re right. Even given refinement types as in Haskell or Scala, there is indeed a necessarily-partial function (refineV in Scala) to refine a value to its refinement type.

• Help me break the fourth wall
  1 project | /r/scala | 25 Apr 2022

  Perhaps refined would help you? It lets you set constraints (i.e. "rules") for values / types. You get compile-time enforcement for constants and fallible methods for runtime values (i.e. Either[Error, RefinedValue]).

• Simple, Naïve, and Wrong: More than you wanted to know about Scala Case Classes
  3 projects | /r/scala | 26 Feb 2022

  This is more or less how derivation works when you want to use something like Refined types (it exposes Validate[Type, Refinement] typeclass if I remember correctly). Enumeratum exposes Enum[A], and newtypes expose Coercible[From, To].

• Opinions on implementing traits for validation with the help of a companion object
  2 projects | /r/scala | 26 Feb 2022

  You will probably be interested into Iron or Refined.

Records for Scala

We haven't tracked posts mentioning Records for Scala yet.
Tracking mentions began in Dec 2020.