ここでは次の記法を使います。 並行: P Q 入力: channel>(arg) P 出力: channel 複製: replicate P 制約: new(arg) P 空のプロセス: 何も書かない 同じインデントで並んでるのがconcurrencyで、インデントを下げた部分は時間経過+新しいスコープを表している…

いわゆるweb系のものをHaskellで書いていて感じる窮屈さの理由はやはりevalが無いことに起因するんじゃないかと思うのでevalについて考えてみる。 命令型・動的型付け言語におけるeval こういう言語で提供されているeval(の類)はかなり強力で、モジュールの…