いものやま。

ちょっと間が空いてしまったけど、前回の続き。 1.8 Lucidーーバランスのとれた言語 Lucidでは、応用数学の他の分野で見られるような、静的と動的の間の調和のプログラミングを復元しようとしている。 Lucidは実際には非手続き型言語だが、決して純粋に静的な計算の視点に基づくものではない。 Lucid文はただの等式だが、…