4
의존적으로 타이핑하지 않는 이유는 무엇입니까?
나는 여러 출처에서 "Haskell이 점차 의존형 언어가되고있다"라는 의견을 반향시켰다. 더 많은 언어 확장으로 Haskell은 일반적인 방향으로 표류하고 있지만 아직은 그렇지 않습니다. 기본적으로 알고 싶은 두 가지가 있습니다. 첫 번째는, "종종 의존형 언어"라는 것이 실제로 무엇을 의미 하는가? (기술적으로 너무 기술적 인 일이 없기를 바랍니다.) 두 번째 질문은 ... 단점은 무엇입니까? …