Julia中的类型化任务

在许多其他语言中，可以创建一个通用的异步iterable类型，如Rx变体中的

可观察

，Go中的

chan T

Julia的协同程序抽象

任务

是一个类似的构造，它可以在（轻量级）线程之间传递对象。Julia是否有一种方法来注释这些对象的类型

我想创建一个函数，它接受一个

任务

作为它的参数，并且能够表示任务发出的对象的类型。例如，如果

Task

是泛型类型，我会想象：

function foo(socket::Task{String})
    for word in socket
         println(word)
    end
end

---

更一般地说，对于使用

for

（或使用

start

/

next

/

done

）的对象，是否有一种抽象类型，以便我可以在函数签名中进行注释？

我不相信现在有这样的事情

关于你的“更一般的”问题，现在还没有这样的东西，但这是人们想要的东西。这是一个人们讨论想法和可能性的问题