You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Sep 30, 2020. It is now read-only.
-Rsut 트레이트는 암묵적인 첫 파라미터 `Self`를 받습니다. Rust에서 `trait Bar`는 하스켈에서 `class Bar self`에 대응하고, Rust에서 `trait Bar<foo>`는 하스켈에서 `class Bar foo self`에 대응합니다.
1811
+
-Rust 트레이트는 암묵적인 첫 파라미터 `Self`를 받습니다. Rust에서 `trait Bar`는 하스켈에서 `class Bar self`에 대응하고, Rust에서 `trait Bar<foo>`는 하스켈에서 `class Bar foo self`에 대응합니다.
1812
1812
- Rust에서 "상위 트레이트"나 "상위 클래스 제약"은 `trait Sub: Super`라고 쓰는데 하스켈에서는 `class Super self => Sub self`라고 씁니다.
1813
1813
- Rust에서는 홀로 떨어진(orphan) 인스턴스를 금지하며, 따라서 Rust의 일관성(coherence) 규칙은 하스켈과 다릅니다.
1814
1814
- Rust의 `impl` 해소 과정에서는 두 `impl`이 겹치거나 잠재적인 `impl`들 사이에서 선택할 때 관련된 `where` 절과 트레이트 제약을 살펴 봅니다. 하스켈은 오로지 `instance` 선언에 있는 제약 조건만 살펴 보며 다른 곳에서 제공한 제약은 무시합니다.
0 commit comments