Functional Pearls: Power Series, Power Serious - 昏論会ウィキ

Functional Pearls: Power Series, Power Serious

概要

数字のリストは一変数多項式の文字の係数と思うことができるよね。
Haskell では無限リストを扱うことができるから、
形式的ベキ級数を Haskell で計算するよ。

感想

はい、まあ足し算とか掛け算とか、定義できますね…
割り算が少々テクニカル。微分とか、母関数も表現できます。

Tree に対応する係数が Catalan 数になるね！というのも、
知っているひとには、ああ、たしかにそうね、な話。

発想が命のコロンブスの卵的な結論。
いけがみ