関数型プログラミング言語Haskell
at TECH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
300:291 02/07/17 03:36 沢山のレスありがとうございます。 >>292 英語は、辞書が在れば何とか読めるという程度です。 「uniqueness typing」ですか。Cleanの特徴の一つらしいですね。 評価するたびに違う(多様?)型を生成するというぐらいしか知りません。 参照透明性は確保されそうですが、使いやすいの？ というぐらいの認識しかありません。もう少し調べてみます。 >>293 私も論理に弱いです。 Linear Ligicと言われても、使った公理は無くなる。 つまり公理の有る無しで状態を表すようにするという位しか わかっていません。 この認識も間違っているかもしれませんし・・・ つたない英語力と乏しい知識を総動員して何か判りやすい文章、本、論文 は無いかとあさっているという状態です。 >岩波の 2 冊本「コンピュータサイエンス入門」 ですか今度、大きい本屋に行ったときでも見てみます。 >>294 日本でも沢山の所が研究しているんですねー。 みてみます。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5379日前に更新/199 KB
担当:undef