Question

如果指示J计算默认精度名词的大结果，则会很快遇到结果为无穷大_的情况。由于无穷大在数学上意味着什么，这是不和谐的。

当超过标准精度时，如何指示J给出错误而不是无穷大？我可以在J安装中将其设置为默认值吗？

e.g。

   !1000x  NB. Extended precision gives large finite result.
4023872600770937735437024339230039857193748642107146325437999104299385123986290205920442084869694048004799886101971960586316668729948085589013238296699445909974245040870737599188236277271887325197795059509952761208749754624970436014182780946464962910563938...

   !1000  NB. Default precision claims infinity. I'd generally prefer an error.
_

Answer 1

我的目标是获得数学上正确的结果。我得出的结论是，我应该尽早失败而不是像Java那样给出不正确的结果。 Dane和Eelvex涵盖了我所要求的内容，他们应该得到所有的赞誉。

虽然有些观察可能会帮助其他人进入J心态：

首先，我已经意识到扩展的精度文字并且意识到将整数转换为扩展精度的动词x:。如果我想在数学上默认正确的结果，我应该养成使用这些东西的习惯。

其次，我已经观察过像dyadic i.返回超大结果而不是失败。这在J中很常见，我应该学会过滤我不想要的结果，而不是让我的程序一直出错。

Answer 2

执行您要执行的操作的最简单方法是使用assert.重新定义您希望此行为的每个基元。这可能会对性能产生影响。

   SafeFactorial =: 3 : 0
p =. ! y
assert. p < _
assert. p > __
p
)
   SafeFactorial 5
120
   SafeFactorial 50
3.04141e64
   SafeFactorial 500
|assertion failure: SafeFactorial
|   p<_

评论中的一个重要警告：

J是面向数组的语言，这是一种罕见的情况一个只在一个数字上运行。通常输入到像factorial这样的函数是多个数组的数组，所以如果你设计一个函数来抛出这样的错误，它将排除你从得到任何结果，甚至是一个原子的正确结果坏。

换句话说，在数组上操作时，无限结果通常是理想的行为。在引入其他失败点之前，您应该仔细考虑。

Answer 3

这可能无法完全符合您的要求，因为它使用外部联合8!:0格式将无穷大更改为您想要的任何内容（包括“错误”）。当然，它看起来像一个错误;它真正做的是用'_'取代'error'所以它可能不是你想要的。结果也是盒装字符串，可能不符合您的约束条件。

   inf=: 'd<error>'&(8!:0)
   % i.6
_ 1 0.5 0.333333 0.25 0.2
   inf % i.6
┌─────┬───────────┬───────────┬───────────┬───────────┬───────────┐
│error│1.000000000│0.500000000│0.333333333│0.250000000│0.200000000│
└─────┴───────────┴───────────┴───────────┴───────────┴───────────┘

更多信息可以在J字典中的外来连词的8！：条目中找到。 http://www.jsoftware.com/help/dictionary/dx008.htm

由于您的注释表明您确实想要触发错误，因此您可以使用断言。用于在显示之前测试'_'的结果的关键字，但它是基于动词的动词，并且没有我知道的全局设置。

   9!:35 [ 1 NB. to set the assert. flag on
   test =: 3 : 0
assert. _~:%y  NB. to see if _ shows up in the result of %y
%y
)
   test 1 + i.5
1 0.5 0.333333 0.25 0.2
   test  i.5
|assertion failure: test
|   _~:%y

如何强制J给出错误而不是错误地返回无穷大？

3 个答案: