[Haskell'26] Lightning Talk: Programming with Extensible Recursive Datatypes
ACM SIGPLAN · 11:23 · Watch on YouTube
스피커(마지막에 소개되는 Garrett)가 Rose를 데모합니다. 이것은 확장 가능한 데이터 타입을 위한 그의 연구 언어입니다. 그는 "판타지" 나노패스 컴파일러 스타일이 실제로 작동하는 것을 보여줍니다. 접하는 생성자에 대해서만 desugaring pass를 작성하고, 타입은 입력이 포함해야 할 내용과 출력이 제공할 내용을 정확히 명시합니다. 제네릭 재사용 가능한 트래버설이 나머지 문...