Перейти к навигации Перейти к поиску
 | В этой статье не процитировать какие - либо источники . ( февраль 2020 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения ) |
В теории типа и функционального программирования , поток является потенциально бесконечный аналог списка , задается coinductive определения :
поток данных α = Nil | Минусы α ( поток α )Создание и вычисление с потоками требует ленивых вычислений , либо косвенно , в лениво оцениваемом языке или путем создания и заставляя санки в нетерпеливом языке. Во всех языках они должны быть определены как codata и могут повторяться с помощью (защищенного) corecursion .
См. Также [ править ]
Эта статья по теории языков программирования или теории типов незавершена . Вы можете помочь Википедии, расширив ее . |
