oz - 如何为 Oz 中的列表编写长度函数？

Question

我正在尝试创建一个返回 Oz 中列表长度的过程，但它不起作用。我会很感激一些帮助，谢谢

local  
   E Nr  
   proc{Length L}  
      Nr=0  
      for E in L do  
     {Browse E}  
     Nr=Nr+1
     end
      {Browse Nr}
   end
in
   {Length [1 2 3]}
end

标签： oz