クロアチアの女子テニス選手に Donna Vekic さんがいる。カタカナ書きだと「ドンナ ・ベキッチ」。不動点のBekicも音はたぶんベキッチだろう。

式を名前に束縛することは極めてよくある。letマップとは、この束縛機構を表すデータ構造だとする。ラムダ計算のlet式に相当する。再帰（自己言及）向けのletをletrecとして分けることが多いが、ここでは、letのなかにletrecも含めて考える。letマップのひと…