はてなブックマーク

Tweet / Photo allowed. This work by Windymelt is licensed under CC BY-SA 4.0 class: center, middle # AI Coding Agent 時代の Scala <time itemprop="datePublished" datetime="2025-03-14">2025-03-14</title> Scala わいわい勉強会 #5 `id:Windymelt` --- # Windymelt - [Windymelt](https://www.3qe.us/)です - 全宇宙でこの ID を使っています - mixi2 もやってるよ - GitHub, X/Twitter, etc... - PGP: `F2FC 63C2 42C0 4D9D` - 2016- [株式会社はてな](https:

オープンソース / MITライセンスZMMは誰でも開発に参加できる開かれたプラットフォームです。GitHubでソースコードは公開されています。MITライセンスを採用しているので、誰でもほぼ制限無く使うことができます。 すべてをテキストでテキストを書くことに集中しましょう。従来の動画作成ツールのような複雑な設定や操作はあえて用意せず、XMLファイルを書くことで全ての作業を完結できます。

先程、 1.2.1 で以下のように述べました。 ジェネリックプログラミングとは、クラスや型といった具体的な要素から「構造」という要素を取り出し、それ単体で物事をうまく扱おうという考え方を指しています。 では、 構造 とは何でしょう。数学的な難しい話は割愛しますが、 代数的データ型(Algebraic Data Types, ADTs) を用いることで再帰を含む複雑なデータ型を表現できることがわかっています。 そして、多くの言語ではこのADTsを言語レベルである程度サポートするための機能が備えられており、 Scalaもこうした言語のうちの一つです(後述する Tuple や sealed trait などがこれをサポートしています)。 ADTsは、 直積(Product) と 直和(Coproduct、 余積とも) から成るデータ型の総称です。 数学的な詳細な説明は割愛しますが、直積は複数のデ

... Windymelt Identities Social Account @windymelt -- Twitter (X) @capslock.dev -- Bluesky @windymelt@mstdn.takuya-a.net -- Mastodon (Relay for my Twitter) @windymelt -- Misskey.io (Fediverse) !WDYSScKMBQFHIpfFil:matrix.org -- Matrix @windymelt -- Telegram Blog blog.3qe.us GitHub @windymelt PGP Key F2FC 63C2 42C0 4D9D(or get key on keys.openpgp.org) Abonedoned PGP Keys FEF3 3498 5481 CD94 9FE0 A20