스트림(컴퓨터 과학)

이 글에는 출처가 없다 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선할 수 있도록 도와주십시오. 공급되지 않은 재료는 도전하여 제거할 수 있다. 출처 찾기: "Stream" 컴퓨터 과학 – 뉴스 · 신문 · 책 · 학자 · JSTOR (2020년 2월) (이 템플릿 메시지를 제거하는 방법과 시기 학습)

유형 이론과 기능 프로그래밍에서 스트림은 코인 유도 정의에 의해 주어지는 리스트의 잠재적으로 무한한 유사점이다.

자료 스트림 α = 닐   단점 α (스트림 α) 

스트림을 사용하여 생성 및 컴퓨팅하려면 느리게 평가된 언어로 암묵적으로 평가하거나 열성적인 언어로 Thunk를 만들고 강제함으로써 게으른 평가가 필요하다.총 언어에서 그것들은 코다타로 정의되어야 하며 (보호된) 핵심 구역을 사용하여 반복될 수 있다.

참고 항목

• 코인전도

${\displaystyle \Gamma \vdash x:{\text{int}}$

이 프로그래밍 언어 이론이나 유형 이론 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t