rascal - 無限大の定数はありますか?

Question

Rascal が大きな整数をサポートしていることに気付きました。しかし、無限大の定数が見つかりません。それらは存在しますか？そうでない場合は、非常に便利な場合があるため、追加することをお勧めします。現在、私の回避策は のようなものを定義することですがint pInf = 1024、極端な場合には失敗する可能性があります。

Answer 1

Rascal では無限大はサポートされていません。

このような可変性を扱う "Rascal" の方法は、次のように代数的データ型を導入することです。

data Arity = inf() | fixed(int size)

次に、パターン マッチングや is などを使用して違いを処理できます。

if (arity is inf) {...}
int foo(fixed(int size)) = ...; 
int foo(inf()) = ...;