整数をATSの倍精度に変換する方法は？

Question

は、誰かがATSに、次の 機能を実装する方法を教えてもらえ：

fun int2double (x: int): double 

感謝を！

Answer 1

コンパイルする言語によって異なります。

あなたがCにコンパイルする場合、あなただけ行うことができます。

staload 
UN = "prelude/SATS/unsafe.sats" 

fun int2double(x: int): double = $UN.cast(x) 

あなたはJavaScriptにコンパイルする場合は、int2doubleがすでに定義されています。

Answer 2

私はあなたが一度以下がより良い方法であると考えて...

fun int2double(x: int): double = $UN.cast{double}(x) 

Answer 3

あなたがCコードにコンパイルしている場合は、次のようなものを使用する必要がありますが：

fun int2double(x:int): double = g0int2float_int_double (x) 

は組み込み関数です（詳細は$ATSHOME/prelude/SATS/float.satsを参照してください）。

Answer 4

一般に、必要な機能を実装するために、ターゲット言語で利用可能なものを使用することができます。たとえば、あなたがCで、次の機能を持っていると言う：

double int2double_in_c(int x) { return (double)x; } 

次にあなたがATSで、次のいずれかを宣言することができます。

fun int2double(x: int): double = "mac#int2double_in_c" 

をATSにint2doubleをコールするたびに、コンパイラはへの呼び出しを生成し、生成されたコードのint2double_in_c。 JS、Python、PHPなどにコンパイルする場合も同じです。