Сведение поток в SML

Question

У меня есть этот тип данных:

datatype 'a stream' = Susp of unit -> 'a stream 
and 'a stream = Empty | Cons of 'a * 'a stream' 

, и я хочу, чтобы написать функцию, которая имеет Свести ниже типа.

flatten: ’a stream’ stream’ -> ’a stream’ 

Функция flatten будет принимать поток потоков в качестве входных данных и сгладить их, добавив их.

Как это сделать? Есть идеи?

Спасибо.

Редактировать: Я знаю, как это сделать для списков. Это довольно просто: fun flatten [] = [] | flat (l::ls) = l @ flatten ls; Помогите мне с потоками, пожалуйста, я не знаю, как шаблон сопоставить поток потока.

Answer 1

Напишем его list первый:

fun append(xs, ys) = case xs of 
    [] => ys 
    | (x::xs) => x :: append(xs, ys)    

fun flatten(xss) = case xss of 
    [] => [] 
    | (xs::xss) => append(xs, flatten(xss))    

выше должно быть очевидно. Теперь нам нужно только изменить его немного, чтобы поддержать stream, по Susp заканчивающегося и force -ную на соответствующие шаги:

fun force(Susp(xs)) = xs()           

fun append(xs, ys) = case force xs of 
    Empty => ys 
    | Cons(x,xs) => Susp(fn() => Cons(x, append(xs, ys))) 

fun flatten(xss) = case force xss of 
    Empty => Susp(fn() => Empty) 
    | Cons(xs,xss) => append(xs, flatten(xss))