- 436 名前：433 mailto:sage [2006/12/11(月) 21:43:56 ]
- >>434
詳しい説明をありがとう。
>>top-level bindings
>モジュールレベルの束縛のこと。
さんくす!さっきのエラーは出なくなった!
今度は#がはずせないという問題にぶち当たったけど、こっちはI#の存在に気づいて解決した。
>というか本スレに書けyo
あっちは圏論の話題が中心だから、初歩的なことは書きづらくて・・・。
>>435
>見てみたら>>433のリンク先にlifted typeの説明あるじゃん。
すまん。読んでたけどそっちも全く意味わからんかった。
|
 |
