refinementの検索結果1 - 3 件 / 3件

• あとで読む

  さらなる型安全性を求めて ~ Refinement TypeをScalaで実現する ~

  • 51 users
  • engineering.visional.inc
  • テクノロジー
  • 2020/10/16

  SoRの性質が強いBtoBアプリケーションでは、「堅く」作ることを求められる箇所がしばしばあります。 Scalaの型安全性が頼もしく感じられるのは、まさにこのような箇所においてです。 「堅く」作るために、私たちがいま注目しているのが refined と newtype というライブラリです。 この記事では、refinedとnewtypeを使ってScalaの型安全性をさらに引き出すテクニックを紹介します。 Value Class / Tagged Type refined + newtypeの話題に入る前に、これまでにどのようなテクニックが使われてきたかを簡単に振り返りましょう。 ここに、SNSのユーザーアカウントを表現するクラスがあります。 case class User(id: String, email: String, age: Int) val user1 = User("@tod

  • scala
  • 型
  • type
  • ライブラリ
  • dev
  • あとで読む
  • development

  
• あとで読む

  値の検証もコンパイラにやらせよう: Scala 3でRefinement TypesやるにはIronっていうライブラリが良さそう - Lambdaカクテル

  • 4 users
  • blog.3qe.us
  • テクノロジー
  • 2024/02/19

  Scala 3でRefinement Types(篩型)を実現するライブラリIronに入門したので紹介します。最初はRefinedに入門しようとしてたら、Scala 3ではあまり動かなかったのでそのままIronに入門しました。 tl;dr Refinement Typesっていうのを使うと、普段動的にチェックしてる値の性質が型に反映されるのでコンパイラが助けてくれる ScalaでRefinement TypesをやるライブラリとしてRefinedがある Scala 3ではパワーを発揮できないので、Scala 3ではIronというライブラリをおすすめしたい Refinedよりもシンプルでめちゃ良い感じです！ tl;dr Refinement Types (篩型) Refinement Types以前 通常の型 値クラス スマートコンストラクタ Refinement Types with Re

  
• あとで読む

  SR3: Image Super-Resolution via Iterative Refinement

  • 3 users
  • iterative-refinement.github.io
  • テクノロジー
  • 2021/07/13

  Image Super-Resolution via Iterative Refinement Denoising diffusion models for image super-resolution and cascaded image generation. Paper Summary We present SR3, an approach to image Super-Resolution via Repeated Refinement. SR3 adapts denoising diffusion probabilistic models to conditional image generation and performs super-resolution through a stochastic denoising process. Inference starts wit