← github 게시판

[%] 러스트에서 Effect, linear, dependent 타입 보고싶음

black73..(221.168) 2024-03-02 21:43 추천 1

PL 대학원 총동원령 내려야..

https://blog.yoshuawuyts.com/extending-rusts-effect-system/

https://faultlore.com/blah/linear-rust/

The Pain Of Linear Types In Rust - FaultloreThe Pain Of Linear Types In Rust - Faultlorefaultlore.com

https://github.com/rust-lang/rfcs/issues/1930

The pi type trilogy · Issue #1930 · rust-lang/rfcsThis issue is reference issue for the upcomming pi type trilogy, dividing the old RFC into 3 parts. #1931: Core proposal. #1932: with bounds on pi types. #1933: Breaking runtime-compile time barrier.github.com

댓글 6

effect 저건 첨보네 작년 러스트콘 풀 강의를 함 볼까

익명(123.108) 2024-03-02 22:09
HKT도 ㅇㅅㅇ

다믜(damhiya) 2024-03-02 22:18
답글
그러다보니 HKT도 있었지
주딱은 ATS는 어떻게 생각함? 이것도 컨셉 특이하던데
https://en.m.wikipedia.org/wiki/ATS_(programming_language)

black7375(221.168) 2024-03-02 22:20
답글
이름은 들어봤는데 사용은 안해봄.
https://en.m.wikipedia.org/wiki/Dependent_type#Comparison_of_languages_with_dependent_types
"types
can depend on static terms" 이라고 하는거 보면 완전한 dependent type은 아니고 좀 제한적인듯.

다믜(damhiya) 2024-03-02 22:28
답글
명령형 언어에 dependent type 같은걸 넣는건 개인적으로 흥미로운 주제긴 함

다믜(damhiya) 2024-03-02 22:31
답글
글쿠만 답변 ㄱㅅㄱㅅ

black7375(221.168) 2024-03-02 22:40