- 15 名前：デフォルトの名無しさん mailto:sage [2012/03/18(日) 14:39:00.03 ]
- C 言語側で次の定義の関数 f をインポートする場合
enum EEE { EEE0, EEE1 };
void f (enum EEE x) { ... }
Haskell 側では、次のようには「できない」ですよね
data TTT = TTT0 | TTT1 deriving (Enum)
foreign import ccall "f" g :: TTT -> IO ()
これは、関数 g の引数を CInt 型にするしか無いのでしょうか
en.wikibooks.org/wiki/Haskell/FFI#Enumerations
ここに、hsc ファイルで #enum マクロを使った列挙型の例がありますが、
これも結局は CInt を Haskell 側のスタブ関数の引数にしていますよね
これって、rule gauss15 とかやらずに 100 とかリテラルを直接書いても
コンパイルは通ってしまうので、型的に安全とは言えないと思うんですよ
これは FFI で列挙型を含む外部関数を使う以上仕方のないことなのでしょうか
構造体は Storable クラスのインスタンスにすれば型的に安全に扱えるので、
列挙型も何かできるといいのですが
|
 |
