代数的データ型

概要 データモデリングをする際に、エンジニアは次のことに注意しなくてはいけません。 パラメータの順序 パラメータを組み合わせの意味 一部のパラメータの値を有限集合にする これらを解決する手法として、関数型プログラミングでは代数的データ型があります。 要件 例えば以下の様な要件があるとします。 図書館の書籍 書籍のリストを検索できなければならない。 各検索では、ジャンル、著者、出版年、利用可能かどうか、貸出中の期間など、様々な組み合わせをサポートする必要がある。 書籍にはそれぞれ名前、ジャンル、著者、出版年、利用可能かどうか、貸出中の期間、がある。 これを愚直に考えたBookモデルを以下の様に表…

形状認識処理のディレクターを務めている寺田です。昨年10月よりDTダイナミクス（ミスミグループ出資の戦略的IT子会社）のお世話になっています。 私が入社した時点では meviy の形状認識はすべて C++ で書かれていましたが、そこに Rust を導入したというお話です。 Rust で何作ったの？ ゴチャゴチャと御託を並べる前に、まずは Rust で何を作ったのかを簡単に紹介しましょう。 大きく分けて下記の3領域に Rust を導入しました。 溶接リモデル機能 平板展開機能 自動テストツール ここでは先頭の「溶接リモデル」について簡単に紹介します。 この機能の内部実装を C++ から Rust…

JavaにもJava17から シールドクラス が導入されたが、Kotlin にもあることを知った シールドクラスは特定のサブクラスのみが許可され、外部の任意のクラスが継承することができないようにする機能である シールドクラス の概要は知っていたが、そもそもどういう時に使うのが良いかがわかっていなかったので調べた 使うべきかの判断材料 シールドクラス を使うべきかどうかの判断材料は、主にデータや型を厳密に制限し、コンパイル時にすべてのケースを把握して安全性を確保したい場合に基づく 例えば、以下のような場合 1. 型の集合を限定したい場合 シールドクラスを使うべき最大の理由は、型の集合を明示的に限…

関数型ドメインモデリング、1回だけ読んだけどなかなか良かった。 tatsu-zine.com もう何周かして理解を深めたいところだが、YouTube に上がっている動画で関数型ドメインモデリングに関連する、というか影響を受けていそうなものがいくつか上がっていたので適当にピックアップしてみる。 「型」「代数的データ型」「コンパイル時ユニットテスト」あたりが大きなキーワードって感じ。 ビジネスロジックを「型」で表現するためのタイプセーフなDDD Yuito Sato Yuiiitoto youtu.be TypeScriptによるGraphQLバックエンド開発 ─ TypeScriptの型システム…

■ はじめに 今更だが、Scala の asInstanceOf / isInstanceOf を扱う。 目次 【１】asInstanceOf １）使用上の注意 【２】isInstanceOf 【３】サンプル 例１：implicit Class の メソッド 【１】asInstanceOf * Scala の キャスト １）使用上の注意 * 例えば、「"false".asInstanceOf[Boolean]」とすると例外がでる 例：文字列 to 真偽 / 文字列 to 数字 での例外 object Hello { def main(args: Array[String]): Unit = {…

■ はじめに Scala で 色々なデータ型をサポートしたMapを作りたいと思い 調べていたら、以下が見つかったので、まとめておく。 https://stackoverflow.com/questions/43495047/scala-variable-with-multiple-types 目次 【１】用語整理 １）代数的データ型 (ADT; Algebraic Data Types) ２）一般化された代数的データ型 (GADT; Generalized Algebraic Datatype) 【２】使用するScala文法 １）sealed ２）trait (トレイト) 【３】サンプル 例１…

業務で複雑なドメインを持つソフトウェアをScalaで書いているので以前からとても読みたかったのだが、英語とは遠い昔に仲違いしてしまい読むことができなかった。 この度和訳されたことに感謝したい。 関数型ドメインモデリング - アスキードワンゴ 全体を通した感想 正直言って、この本に書いてある内容を全て実践するのは難しいと感じた。 まず、最初に出てくるドメインエキスパートを交えたイベントストーミングの実施が一番の壁というチームも多いのではないだろうか。 しかし、それでもなおこの本により新しく知った考え方は多く、読む価値があったと思う。 ScalaやHaskellなど静的型付けの関数型言語をかじって…

「なっとく！関数型プログラミング」は以前から気になっていて最近読むことができました。関数型プログラミングを学びたい自分のような人間にはピッタリの本でした。 前半の基礎的な内容が、中盤・後半の応用的な内容につながっていくので、第1章から順番に読み進めるのがオススメです。 また、本書には練習問題が豊富に用意されています。時間はかかりますが、私はなるべく問題を解くようにしました。手を動かすことで理解を深めることができました。 最初は、Scala playgroundを使っていましたが、やっぱりIDEを使えた方が何かと便利なので、途中からローカルで環境構築しました。 本書のサンプルコードはScalaが…

正確には「関数型ドメインモデリング ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう の見本誌をいただいたので読んだ」ということになる。 訳者の猪俣さまより見本誌を提供いただきました。ありがとうございます。（発売少し前にいただいたのだけど結局これを書いてるのが発売後になっていて申し訳ない）関数型ドメインモデリング ドメイン駆動設計とF#でソフトウェアの複雑さに立ち向かおう作者:Scott WlaschinKADOKAWAAmazon以下に書評というか感想を書きます。

平凡な高校生が、ある日突然Haskellの精霊にとりつかれて、論理的な思考をするようになり、代数的データ型を使いこなし、部活に恋に大活躍するストーリーを物語にしてください。 ChatGPT ある日のこと、平凡な高校生の田中智也（たなか ともや）は、コンピューターサイエンスの授業でHaskellというプログラミング言語に初めて出会った。その日から、彼の日常は一変することになるとは誰も予想しなかった。 授業の中で、田中はHaskellの特性に魅了された。型システムの厳格さや、関数型プログラミングの論理的なアプローチが彼の頭を支配し始めた。普段はあまり目立たない田中が、授業後も学校のコンピュータール…

こんにちは。ログラスでVP of Engineeringとしてエンジニアリング組織全体のマネジメントをしております、いとひろ@itohiro73と申します。 前回、「銀の弾丸はない - 経営の本質的課題に向き合い続けるログラスのプロダクト開発」と題して、ログラスのプロダクト開発がいかに本質的課題と向き合ってきたか、そしてこれからどのようなチャレンジが待ち受けているのかを書きました。 今回は、「本質的な課題」を解くために本質的な複雑性に付随して存在する、「偶有的複雑性」について、開発組織としてどのように向かっていこうと考えているのかを記します。 前回の記事で引用した、『人月の神話』（Freder…

昨年に引き続きScala Matsuri 2024に参加してきた。 色々あって体調を崩してしまっており長時間の外出に少々不安はあったが、それを押し切って来る価値はあったし、幸い何も起こらずに済んだのでよかった1。 オフライン会場ではレシーバとイヤホンが借りられ、それを使うと同時通訳で発表を聞けたのだが、特にリスニングがさっぱりな私としてはとても体験がよかった。 通訳者の方はもちろん、レシーバをアルコールティッシュで拭いて衛生を確保されていたスタッフの方も大変だっただろうから感謝したい。 特に印象に残ったセッションのうち、ある程度消化できたものについて忘れない内に書いていく。 Ironライブラリ…