入門⚡Shapeless
先程、 1.2.1 で以下のように述べました。 ジェネリックプログラミングとは、クラスや型といった具体的な要素から「構造」という要素を取り出し、それ単体で物事をうまく扱おうという考え方を指しています。 では、 構造 とは何でしょう。数学的な難しい話は割愛しますが、 代数的データ型(Algebraic Data Types, ADTs) を用いることで再帰を含む複雑なデータ型を表現できることがわかっています。 そして、多くの言語ではこのADTsを言語レベルである程度サポートするための機能が備えられており、 Scalaもこうした言語のうちの一つです(後述する Tuple や sealed trait などがこれをサポートしています)。 ADTsは、 直積(Product) と 直和(Coproduct、 余積とも) から成るデータ型の総称です。 数学的な詳細な説明は割愛しますが、直積は複数のデ
The Type Astronaut's Guide to Shapeless - Underscore
Overview The Type Astronaut’s Guide is aimed at experienced Scala hitch hikers with an interest in generic programming and boilerplate elimination. The book walks you through one of the main use cases for shapeless – automatic, boilerplate-free derivation of type class instances. The book is divided into two parts. Part I introduces the general mechanisms for type class derivation in shapeless. It
ScalaプロダクトにScala Stewardを導入しました - エムスリーテックブログ
エムスリーエンジニアリンググループでまどマギのマミさんが好きな安江です。今回はScalaプロダクトにScala Stewardを導入したのでご紹介します。 依存ライブラリのバージョンアップの辛い思い出 Scala Stewardを導入 その他の運用 We're hiring !!! 依存ライブラリのバージョンアップの辛い思い出 最近、Log4ShellやSpring4Shellなどの脆弱性対応により、依存ライブラリの緊急アップデートをする必要がありました。とくにこれらのライブラリは多くのプロダクトで利用されていたため、あまり改修がないプロダクトも緊急アップデートの対象になりました。これらのプロダクトをアップデートする際、対象のライブラリのアップデート以外にも、それに依存する別ライブラリのバージョンを上げる必要もありました。ライブラリのバージョンアップによってインタフェースが変わって、既存コ
Scala 3のscala.deriving.Mirrorの実装詳細は？生成コードは？SumOfとProductOfの違いは？Scala 2の場合は？調べてみました！ - xuwei-k's blog
少しふざけたタイトルをつけましたが、以下、基本的に超真面目なマニアックな話をします。 Scala 3から、ある程度の定型的なtype classのinstance生成時に低レベルなmacroを書かずに便利に綺麗に書けるMirrorという仕組みが標準で追加されています。 docs.scala-lang.org https://github.com/lampepfl/dotty/blob/3.1.3-RC2/library/src/scala/deriving/Mirror.scala 雑に一言で説明すると、shapeless 2における Generic や LabelledGeneric に近いものが標準に入りました。 今回は、それ自体の紹介ではなく、タイトルに書いた通り、それの内部実装の話です。よってMirrorそのものの詳細な使い方や説明はしません。 また、versionはひとまずSca
ZIOのZLayerについて - takatori
この記事はただの集団 Advent Calendar 2020の23日目の記事です。 adventar.org 本記事では、ZIOのDI機能であるZLayerの使い方を説明します。 対象読者はZIOをある程度知っている方を想定しています。 ZIOについて詳しく知らない方はまず公式ページのドキュメントを読むことをお勧めします。 zio.dev ZIOとは ZIOは純粋な関数型プログラミングを促進する非同期・並行プログラミング用ライブラリです。 モナドなどを知らなくても、ZIOを使うことで関数型プログラミングを始めることができます。 ZIOには便利なデータ型が複数存在しますが、中心となるのはeffectを表すデータ型であるZIO[-R, +E, +A]です。 このデータ型はの3つの型パラメータを持ちます。 R: Environment Type => 実行に必要な環境の型, Anyの場合は環境
The Aux Pattern
A short introduction to the `Aux` pattern Posted by Luigi on September 13, 2015 Let’s start saying that the Aux pattern is not a pattern, is a technique used in every library that is doing some type level programming that we need to use to overcome one Scala limitation. Every time we do a type level computation in Scala we have a type alias defined inside another class/trait, let’s see an example
Scala3と圏論とプログラミング
最近、圏論とプログラミングという素晴らしい資料を拝読しました。圏論とプログラミング愛に溢れる資料で読んでいて目頭が熱くなりました。そうだよな・・・プログラマにも圏論いるよな・・・ ただ、自分にとって残念だったのは、資料で説明用に選択されたプログラミング言語が「Haskell」だったことです。もちろんHaskellは素晴らしい言語です。ただ、自分にとってHaskellは外国語なのでちょっと理解が難しいのです。そしてこの資料が「Scala」で書かれていたらと夢想せずにはいられなかったのです。 Scalaと言えば昨年末にScala3のリサーチコンパイラのDottyがFeature Completeを宣言しました^1。この宣言で新機能の追加は終了して、あとは2020年末のリリースに向けてひたすら品質を上げていく段階に突入しました。つまり、ようやく次世代のScalaが全貌を現したということです。 こ
Better management of transitive dependencies and conflicts
Thursday 17 October 2019 Alexandre Archambault, Sébastien Doeraene Early in 2019, the Scala Center advisory board accepted a proposal from Spotify, whose goal is to improve the handling of conflicts in dependency management in sbt. The work we’ve been doing may interest you if: You’ve run into trouble with version conflicts between dependencies and didn’t know what to do or where to look for advic
Performance Characteristics
The previous explanations have made it clear that different collection types have different performance characteristics. That’s often the primary reason for picking one collection type over another. You can see the performance characteristics of some common operations on collections summarized in the following two tables. Performance characteristics of sequence types: head tail apply update prepen
ZIOのエラー・モデルとエラー処理 - Qiita
ZIOは実行の失敗(=エラー)をCause[E]という代数的データ型で表現します。Cause[E]の型パラメータEはZIO[R, E, A]の2番目の型パラメータEと同じ型でアプリケーション・ロジックに関する失敗を表現する型です。Cause[E]は概念的にはアプリケーション内の失敗Eとアプリケーション外の失敗Throwableの直和型です。 例えばユーザ管理を行っているサービスがあります。指定したユーザuserIdのアイコンを更新するロジックupdateUserIconは以下のように記述できます。指定されたユーザが見つからずアイコンの更新が失敗する可能性をロジックのシグネチャでZIO[R, E, A]のEにUserNotFound.type型を指定して表現します。対応するCause[E]はCause[UserNotFound.type]になります。”ユーザが見つからない”といったアプリケー
LSP時代のScala開発環境: Metals, Bloop (on Emacs / lsp-mode) - 貳佰伍拾陸夜日記
これまでScalaでの開発にはENSIMEを使ってきたけど, もうそろそろ頃合いだとおもうのでMetalsに乗り換えた. エディタ側でLSPのサポートが充実してきているのでこれはだいぶ簡単で, さっくり乗り換えることができた. Metalsはビルド部分は裏側でBloopを使っているので, テストの実行なんかもこれに乗っかるとだいぶ楽になる. けどEmacsからBloopを利用するにはまだちょっと面倒なところもあったので, この際いろいろ整備してみた. Metals + Bloop MetalsはまぁふつうにScalaのlanguage serverという感じだけど, ENSIMEと比べると以下の点が強力(個人的な視点). コンパイラがホンモノなのでエラーを誤検知しない (従来の開発環境では) presentation compilerと呼ばれる, ちょっとインチキしてるやつだった 誤検知で
akka-stream を始めるときに覚えておきたいこと
akka-stream 特有の単語や概念を分かりやすく説明します。
Blog Posts | October 1, 2024 - February 15, 2024 | @lightbend
Webinar: Akka 24.05 release highlights Tyler Jewell, CEO, Jonas Boner, founder and CTO, and Michael Nash, CISO, delve into the value and power of these new features and enhancements. Q&A to follow. Lightbend aims to democratize distributed systems for developers Tyler Jewell, CEO of Lightbend, talks about some of the key challenges developers are up against with distributed systems and how Lightbe
Scala: String Interpolation Performance
Performance comparison between different kinds of string concatenation/formatting in Java/Scala UPD: Here is the Pull Request to scala-compiler with changes inspired by this post. String concatenation is a basic building block in every modern programming language. Many different projects, especially in Web, produce a lot of strings. And it’s interesting, how this problem is solved in different lan
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
How Akka Works: 'At Least Once' Message Delivery | @lightbend
Mutable and Immutable Collections
How we replaced a 10-year-old Perl product using Scala
Scala Benchmarking Project - Introduction
Debuggable IO [DIO] by neko-kai · Pull Request #849 · zio/zio
Scala でつくる証券会社とスタートアップ / Securities and Startup with Scala - Speaker Deck
