>>891
5年以内はちと難しいだろうが、まさにあなたの読み通りになるだろう。
>>893
最近の日本人の論文を検索してみるとよい。ひそかにすごいのがある。
>どのように記述されるのであろうか？
もちろんhaskell 風ではない。