Question

在数组中对each进行引用：

(scratchpad) { "3.1415" "4" } [ string>number ] each
3.1415 
4

要在单词中执行此操作：

(scratchpad) : conveach ( x -- y z ) [ string>number ] each ;
(scratchpad) { "3.1415" "4" } conveach .

但这会引发错误：

The word conveach cannot be executed because it failed to compile

The input quotation to “each” doesn't match its expected effect
Input             Expected         Got
[ string>number ] ( ... x -- ... ) ( x -- x )

我做错了什么？

Answer 1

因子要求所有单词都具有已知的堆栈效果。编译器想要知道该单词从堆栈中吃多少项以及它放回多少项。在监听器中，您键入的代码没有该限制。

{ "3.1415" "4" } [ string>number ] each

不从堆栈中取出任何物品，但在那里放两个。堆栈效果将表示为( -- x y )。

[ string>number ] each

另一方面，此代码需要一个项目，但会将0到多个项目放回堆栈。数字的变化取决于给出每个序列的时间长度。

! ( x -- x y z w )
{ "3" "4" "5" "6" } [ string>number ] each
! ( x -- )
{ } [ string>number ] each 
! ( x -- x )
{ "2" } [ string>number ] each

您可能希望使用map单词代替将包含字符串的单词转换为包含数字的单词。像这样：

: convseq ( strings -- numbers ) [ string>number ] map ;
IN: scratchpad { "3" "4" } convseq .
{ 3 4 }

为什么每个单词定义内部的行为都不同？

1 个答案: