エンジニアにとってコードと並んで重要な「データ」のお話 - データが動くとコードが見える：関数型＝データフロー入門

2025/11/10(月) Hello LT world『みんなで語る！好きと学びのアウトプット LT Night』
https://findy.connpass.com/event/372581/

登壇時の発表資料です。

Transcript

1. ΤϯδχΞʹͱͬͯίʔυͱฒΜͰॏཁͳʮσʔλʯͷ͓࿩ σʔλ͕ಈ͘ͱίʔυ͕ݟ͑Δɿ ؔ਺ܕʹσʔλϑϩʔೖ໳ )FMMP
   -5
   XPSME ʰΈΜͳͰޠΔʂ޷͖ͱֶͼͷΞ΢τϓοτ -5
   /JHIUʱ  ZVNF
2. ΏΊ :VNF ɾ"*ελʔτΞοϓਖ਼ࣾһͱݸਓࣄۀ ɾγχΞιϑτ΢ΣΞΤϯδχΞʢσʔλΤϯδχΞʣ ɾؔ৺ྖҬ
   %BUB"* 
   4UBSUVQ
   
   4PMPQSFOFVS ɾ9 5XJUUFS 
   !FOHJY@EFW ࠷ۙͷ׆ಈ ࣗݾ঺հ
3. ಋೖɿؔ਺ʹೖྗˠग़ྗ ϓϩάϥϜΛ ʮσʔλͷܗʯΛʮผͷܗʯʹม͑ΔύΠϓϥΠϯ ͩͱଊ͑Δ ීஈ͸ϓϩάϥϜΛυϝΠϯ஌ࣝͷखଓ͖ʹैͬͯهड़͢Δ͜ͱ͕ଟ͍ͱࢥ͍·͕͢ɺ ͜ͷΑ͏ʹղऍ͢Δ͜ͱͰϓϩάϥϜ࣮૷ʹผࢹ఺Ͱͷݟ௨͠ͷΑ͞Λݟग़͢͜ͱ͕Ͱ͖·͢ɻ ಛʹ࠷ޙʹ΋঺հ͠·͕͢ɺσʔλΤϯδχΞͷ։ൃ͢ΔʮσʔλύΠϓϥΠϯʯͰͷࢹ఺ͩͱݴ͑·͢ɻ ʮ७ਮؔ਺ʯͷͭͷ໿ଋ ७ਮʢ෭࡞༻ͳ͠ʣ ߹੒Մೳ ෆม σʔλϑϩʔਤ *OQVU ᴷᴷGᴷᴷ " ᴷᴷHᴷᴷ B ᴷᴷIᴷᴷ 0VUQVU ֤ؔ਺͸७ਮͰɺ෭࡞༻Λ࣋ͨͣɺ߹੒Մೳ ࠓճ͸ؔ਺ܕϓϩάϥϛϯάʹ৮ΕͭͭɺσʔλΤϯδχΞೖ໳Λ͢Δͷ͕ૂ͍Ͱ͢
4. ܕͰೖྗͱग़ྗΛ໌֬ʹ͢Δ # Cart(注文) → Quote(見積書) を作成する純粋関数 def to_quote(c: Cart) -> Quote: lines = tuple( QuoteLine(sku=i.sku, qty=i.qty, subtotal=i.price * i.qty) for i in c.items ) total = sum(l.subtotal for l in lines) return Quote(lines=lines, total=total) # 境界で副作用注入（ID 生成など） def confirm(q: Quote, gen_id: Callable[[], str]) -> Order: return Order(id=gen_id(), total=q.total) ϙΠϯτɿ෭࡞༻ʢ*%ੜ੒ͳͲʣ͸Ҿ਺Ͱ஫ೖͯ͠ڥքʹ௥͍ग़͢ 純粋関数として実装することで → テストが容易になり、予測可能性が向上する 副作用を引数化することで → 関数の振る舞いを外部から制御可能にする ύΠϓϥΠϯͷྫ ɾ ɾ ֤Ϋϥε͸!EBUBDMBTT΍1ZEBOUJDͳͲʹΑΔఆٛͩͱ͠·͢
5. ܕͰೖྗͱग़ྗΛ໌֬ʹ͢Δ # 合成（pipe）によって複雑な純粋関数のロジックを組み立てられる A = TypeVar("A"), B = TypeVar("B"), C = TypeVar("C") def pipe(f: Callable[[A], B], g: Callable[[B], C]) -> Callable[[A], C]: return lambda a: g(f(a)) def checkout(gen_id: Callable[[], str]) -> Callable[[Cart], Order]: return pipe(to_quote, lambda q: confirm(q, gen_id)) # --- 使い方例（決定的テストが容易） --- if __name__ == "__main__": fixed = lambda: "id" cart = Cart(items=(CartItem("A", price=100, qty=2),)) order = checkout(fixed)(cart) # Order(id='id', total=200) print(order) ύΠϓϥΠϯͷྫ
6. ঢ়ଶભҠ΋ܕͰද͢ OrderState = Union[Draft, Confirmed] def confirm_state(d: Draft, id: str) -> Confirmed: return Confirmed(kind="Confirmed", id=id, total=d.total) def render_state(s: OrderState) -> str: match s: case Draft(kind="Draft", total=t): return f"Draft: {t}" case Confirmed(kind="Confirmed", id=i, total=t): return f"Confirmed: {i} / {t}" ύΠϓϥΠϯͷྫ ɾ໢ཏੑνΣοΫ͕ޮ͘ʹ౸ୡෆೳঢ়ଶΛܕͰ๷ࢭ ɾঢ়ଶભҠ͕໌ࣔతʹͳΓɺίʔυͷҙਤ͕໌֬ʹͳΔ
7. ࢀߟࢿྉ IUUQTTQFBLFSEFDLDPNOBPZBHVBOTIVYJOHQVSPHVSBNJOHVUPYJOHTJTVUFNVOPNFOUBSVNPEFSV ؔ਺ܕϓϩάϥϛϯάڵຯ͋Δํ͸ͪ͜Β͕͓͢͢Ί
8. ࢀߟࢿྉ QΑΓҾ༻
9. σʔλج൫Ͱ΋ಉ͡ൃ૝Λৗ༻͍ͯ͠Δ ೖྗεΩʔϚ ˠ
   ७ਮม׵ ˠ
   ग़ྗεΩʔϚ ෭࡞༻ʹ*0͸ڥք σʔλΤϯδχΞϦϯάʹ͓͍ͯ΋ؔ਺ܕͷߟ͑ํ͕ඇৗʹ༗ޮʜ ͱ͍͏͔ɺ&5-ʢ&YUSBDU
   5SBOTGPSN
   -PBEʣϓϩηε͸ɺ ·͞ʹσʔλͷܗΛม׵͢ΔύΠϓϥΠϯͦͷ΋ͷɻ ͜Ε͕ࠓճ঺հ͔ͨͬͨ͜͠ͱɻ ڞ௨͢Δݪଇ ܾఆతͳม׵ ಉ͡ೖྗ͔Βৗʹಉ͡ग़ྗΛੜ੒ ႈ౳ੑ Կ౓࣮ߦͯ͠΋݁Ռ͕มΘΒͳ͍ ςελϒϧ ೖྗͱظ଴ग़ྗΛఆٛ͢Ε͹ɺςετ͕༰қ <ຊ୊>
   σʔλΤϯδχΞ࣮຿ɿؔ਺ܕ&5-&-5 εΩʔϚϑΝʔετʹɺႈ౳ͳσʔλม׵ͷύʔπΛ૊Έ߹Θ͍ͤͯ͘ͷ͕σʔλύΠϓϥΠϯ։ൃ
10. ؔ਺ܕσʔλϑϩʔΛମݱ͢Δπʔϧ %BHTUFS͸ʮΞηοτத৺ʯͷࢥߟͰσʔλύΠϓϥΠϯΛߏங @assetdef daily_sales(...) -> DataFrame: # 純粋な変換ロジックのみを記述 # 返り値の型に基づいて、IO Managerが自動的に永続化 return pd.DataFrame(...) @asset(deps=[daily_sales]) def weekly_sales(daily_sales: DataFrame) -> DataFrame: # daily_salesの読み込みはIO Managerが自動処理 # 変換ロジックのみに集中できる return daily_sales.resample('W').sum() *0ͷ੹຿Λ%BHTUFSଆ͕ٵऩ Ξηοτϕʔε 
    ؔ਺ܕσʔλϑϩʔ ೖྗΞηοτ ˠ
    ७ਮม׵ ˠ
    ग़ྗΞηοτ ෭࡞༻ʢ*0ʣ͸ڥքʢ*0
    .BOBHFSʣ΁ %BHTUFS ਪ͠ ͷΞηοτϕʔεΞϓϩʔν  ७ਮͳม׵ϩδοΫͷΈهड़ r ར༻ऀ͸ؔ਺ͷத਎ʢσʔλม׵ʣ͚ͩΛ࣮૷͢Ε͹͍͍  *0 .BOBHFS ͕ӬଓԽΛ୲౰ r ϑΝΠϧॻ͖ࠐΈɺ%#઀ଓͳͲͷ෭࡞༻͸%BHTUFS͕ॲཧ  ฦΓ஋ͷܕʹجͮࣗ͘ಈॲཧ r ܕ৘ใ͔Βద੾ͳӬଓԽํ๏Λࣗಈબ୒ IUUQTEBHTUFSJPCMPHTPGUXBSFEFGJOFEBTTFUT