一休の伊藤直也氏に聞く、フルベットしない技術ポートフォリオ戦略 〜実践から学ぶ、医療変革プラットフォーマーの次なる一手〜 - KAKEHASHI Tech Blog
カケハシでの社内講演に、株式会社一休 執行役員CTOの伊藤直也氏をお招きしました。同社がどのようにレガシーシステムから脱却し、事業リスクを抑えながらRust/Go/TypeScriptを使い分けてきたのかお話を伺いました。社内向けの場ではありましたが、非常に有意義だったためご本人の許可を得て外部向けにまとめました。 当日は、医療変革プラットフォーマーを目指すカケハシのチーフアーキテクトである木村彰宏との対談形式でお話を伺い、ファシリテーターはカケハシのテックリードである松山が務めました。 松山： 本日は宜しくお願いします。まず、一休での関数型プログラミングの導入の背景についてお聞かせください。 伊藤： 実は、最初から TypeScript による関数型プログラミングを目指していたわけではなく、結果的にそうなったという方が近いです。参照透過性などへの強いこだわりよりも、「型がちゃんと効いてる
関数型言語とシンタックスノイズ
また飛行機内の暇つぶしエッセイ。 昔ベックマンがチャンネル9でHaskellやF#では、シンタックスを数学に近づけたい、なぜならそっちの方が数学的に考える時にノイズが少ないからだ、 みたいな事を言っていた気がする。 その事を思い出した、という話。 最近Folangでgoで書いたトランスパイラをセルフホストのために再実装している。 同じような実装をgoとfolangで書く事になるので、両者の特徴というか出来上がるコードの違いがなかなか興味深い。 基本的にはfolangの実装はF#で実装した場合とほとんど同じ感じとは思うので、以下はF#とgolangの話と思って読んでもらっておおむね良い。 セルフホストのためには再実装が必要なのだが、同じものを二回、しかも比較的最近実装したものをもう一回実装するのはかったるい。 だからとっとと終わらせたいし、デバッグとかもしたくないので、なるべくなら同じ実装に
fpdartの型たち②（IO/Task/Reader）
はじめに この記事では、前回の続きにfpdart[1]の基本的な概念について紹介します。 前回の記事 主要な型 IO: 副作用を持つ計算を表現するための型 Task: 非同期計算を表現するための型 Reader: 依存性注入を実現するための型 副作用 本題に入る前に、まずは副作用という言葉を簡単に説明します。 副作用（Side Effect）は、プログラムの実行中に関数や式の評価によって、外部の状態が変化することを指します。Dartにおいても、副作用はプログラムの挙動を予測しにくくし、デバッグを難しくする要因となります。 例えば、以下のようなコードが副作用を持ちます： スコープ外にある変数の値を操作する
fpdartの型たち①（Option/Either）
はじめに 最近はfpdartを使って関数型プログラミングの勉強を色々やっているので、その中から得た気づきや学んだことを残してみたいと思います。 前回の記事 この記事では、関数型プログラミングにおける最も重要（最も使われている）型を解説していきます。 Option Option型は、意味のある値が存在するかどうかわからない値を表すデータ型です。 通常、Some（値が存在する）、またはNone（値が存在しない）の2つのサブタイプで構成されます。
【Dart】sealed classを使った直和型の実装と網羅性チェック
はじめに Dartでは、switch文を使ってenumのケースの網羅性を保証するコードを書くことができます。 以下のような例です。 switch文を使ったenumのケースの網羅性チェック enum Drink { water, cola, coffee } void main() { const drink = Drink.coffee; // ✅ OK // 結果: コーヒー switch (drink) { case Drink.water: print('水'); case Drink.cola: print('コーラ'); case Drink.coffee: print('コーヒー'); } // ⛔ NG（ケースを網羅していないとコンパイルエラーになる） // The type 'Drink' is not exhaustively matched by the switch
関数型言語で DDD - Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F# - Shin x Blog
オブジェクト指向言語でドメインモデルを実装することが当然のように行われていますが、Go で開発したり、Haskell で遊んだりしている中で、他のパラダイムの言語で実装するのはどうなんだろうかという想いがありました。 そんな時に出会ったのが、Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F# という本です。 概要 構成 ドメインを理解し、モデリングする 端的なフレーズ Database-Drive-Design や Class-Driven-Design との違い 型、型、型 関数型言語による実用例 恐怖のモナド さいごに 参考 概要 本書は、とある会社の受注とその関連業務をドメインとし、モデリングして、実装していくという内容です。紙ベースで行われている業務
Domain Modeling Made Functional を読んだ - 詩と創作・思索のひろば
最近フロントエンドに限らず TypeScript を書くことが多くなって、これでそれなりの規模のサーバサイドアプリケーションを書くときどうなるんだろう、と気になって読んでみた。いわゆる普通のオブジェクト指向ではなく関数指向な書き方でいきたいとき、どうするのが好ましいのか、というような観点。 名前的にそのものずばり、という本があったので購入した。日本のウェブを検索してみてもいくらか言及があるので価値はありそうだという判断で、大人なので円安でも強行する。 Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F# (English Edition) 作者:Wlaschin, ScottPragmatic BookshelfAmazon 自分は PDF で読みたかったので
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
flutter_ninjas_2025
Dart: Algebraic Data Types
Pure Functional app in Flutter - Pokemon app using fpdart and Functional Programming | Sandro Maglione
How to build a complete Flutter app: step by step example | Sandro Maglione
Testing fpdart code using mocktail | Fpdart and Riverpod Functional Programming in Flutter | Sandro Maglione
Business logic with fpdart and the Do notation | Fpdart and Riverpod Functional Programming in Flutter | Sandro Maglione
How to use fpdart and riverpod in Flutter | Fpdart and Riverpod Functional Programming in Flutter | Sandro Maglione
Dependencies and Errors in Functional Programming | Fpdart and Riverpod Functional Programming in Flutter | Sandro Maglione
Data model and Storage interface | Fpdart and Riverpod Functional Programming in Flutter | Sandro Maglione
Project objectives and configuration | Fpdart and Riverpod Functional Programming in Flutter | Sandro Maglione
Flutter Supabase Functional Programming with fpdart | Sandro Maglione
Effect systems: Functional Programming to the next level | Sandro Maglione
Scale complexity in software applications | Sandro Maglione