02/07/16 00:36
質問くんで、すいません。
どなたかLinar Typeというものが、どんなモノか教えてもらえませんか？
「論文紹介：How to Declare an Imperative」
URLﾘﾝｸ(www.is.titech.ac.jp)
で見た限り純粋関数型言語でIOや状態を扱うのに
将来有望そうな理論（技術？）に見えました。
URLﾘﾝｸ(citeseer.nj.nec.com) のどこかとかが参考になりそうですが
どれが良いのやら。さっぱり。
だれか基礎と応用の両方を教えていただけないでしょうか？
お願いします。