ものすごく唐突に関数型言語と論理回路は似ているなー、と思った。

Pythonに関数型プログラミングの構文として用意してあるイテレータやジェネレータみたいな”状態を持つ関数”っていうのはカウンタに代表される組み合わせ回路と振る舞いが似ている。

論理回路のプロトタイプ作成とかに関数型言語使うと便利そうな。

何かそれぞれの起源に共通の祖先があったりするのかしら？