0

我是 mozart oz 的新手，我有这个问题要解决：

  a) Implement a function Zip that takes a pair Xs#Ys of two lists Xs and Ys (of the
 same length) and returns a pairlist, where the first field of each pair is taken
 from Xs and the second from Ys. For example, {Zip [a b c]#[1 2 3]} returns the
 pairlist [a#1 b#2 c#3].

  b) The function UnZip does the inverse, for example {UnZip [a#1 b#2 c#3]}
 returns [a b c]#[1 2 3]. Give a specification and implementation of UnZip.

我所知道的是，这#是一个组成对/元组的某种标签，取自文档，但我找不到说明如何使用它的示例。

我的问题是如何拆分它以获取项目或如何使用该标签（或任何可能具有如何使用它的示例的来源）。

我做了一些搜索，我得到了这段代码（我不知道它在语法上是否正确）：


    declare
    fun {Zip L}
       case L of nil then nil
       [] L1#L2 then .... % Here i'm stuck or i don't know how to proceed
       end
    end

    {Browse {Zip ['a' 'b' 'c']#[1 2 3]}}

任何帮助将不胜感激。

谢谢你的时间。

4

2 回答 2

1

您只需要一个反转列表的函数：

    declare
    fun {ReverseAux L1 L2}
       case L1
       of nil then L2
       [] H|T then {ReverseAux T H|L2}
       end
    end
    
    
    % wrapper for reverse
    
    declare
    fun {Reverse L}
       {ReverseAux L nil}
    end

然后，您的 UnZip 函数可以这样编写：

    declare
    fun {UnZipAux L S D}
       case L
       of nil then {Reverse S}#{Reverse D}
       [] X#Y|T then {UnZipAux T X|S Y|D}
       end
    end

    
    % wrapper for UnZip

    declare
    fun {UnZip L}
       {UnZipAux L nil nil}
    end

希望你做得好兄弟，这也是我目前的作业:))

于 2020-11-23T17:51:11.040 回答
1

基本上，Oz 中的模式匹配是最强大的工具之一。我们不能使用 for 循环，因为变量是不可变的，所以我们使用递归。

functor
import
    System
    Application
define
    fun {Zip L}
      case L of L1#L2 then
        case L1 of H1|R1 then
          case L2 of H2|R2 then
            H1#H2|{Zip R1#R2}
          else nil end
        else nil end
      else nil end
    end
    {System.show {Zip ['a' 'b' 'c']#[1 2 3]}} 

    % Shows [a#1 b#2 c#3]

    {Application.exit 0}
end
于 2019-11-27T13:48:41.977 回答