Stream (информатика) - Stream (computer science)
 | Эта статья не цитировать любой источники. (Февраль 2020 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
В теория типов и функциональное программирование, а транслировать потенциально бесконечный аналог список, предоставленный коиндуктивное определение:
данные Транслировать α = Ноль | Минусы α (Транслировать α)Для генерации и вычислений с потоками требуется ленивая оценка, либо неявно на языке с ленивой оценкой, либо путем создания и принудительного thunks на нетерпеливом языке. В Всего языков они должны быть определены как кодата и может быть повторен с помощью (охраняется) Corecursion.
Смотрите также
| Этот теория языков программирования или же теория типов -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |
