[haskell] Haskell에 대한 소란은 무엇입니까? [닫은]

이것은 내가 Haskell을 배우도록 설득 한 예입니다.

-- program to copy a file --
import System.Environment

main = do
         --read command-line arguments
         [file1, file2] <- getArgs

         --copy file contents
         str <- readFile file1
         writeFile file2 str

좋습니다. 짧고 읽기 쉬운 프로그램입니다. 그런 의미에서 C 프로그램보다 낫습니다. 그러나 이것이 매우 유사한 구조를 가진 파이썬 프로그램과 어떻게 다른가요?

대답은 게으른 평가입니다. 대부분의 언어 (일부 기능적 언어 포함)에서 위와 같이 구조화 된 프로그램은 전체 파일이 메모리에로드 된 다음 새 이름으로 다시 작성됩니다.

Haskell은 “게으른”사람입니다. 필요할 때까지 계산하지 않으며, 더 이상 필요 하지 않은 것을 계산 하지 않습니다 . 예를 들어, 만약 당신이 writeFile줄 을 제거한다면 , Haskell은 처음에 파일에서 아무것도 읽지 않을 것입니다.

그대로 Haskell은가에 writeFile의존 한다는 것을 인식 readFile하고이 데이터 경로를 최적화 할 수 있습니다.

결과는 컴파일러에 따라 다르지만 위 프로그램을 실행할 때 일반적으로 발생하는 일은 다음과 같습니다. 프로그램은 첫 번째 파일의 블록 (예 : 8KB)을 읽은 다음 두 번째 파일에 쓴 다음 첫 번째 파일에서 다른 블록을 읽습니다. 두 번째 파일에 씁니다. (실행 해보세요 strace!)

… 이것은 파일 복사의 효율적인 C 구현이하는 것과 매우 유사합니다.

따라서 Haskell을 사용하면 많은 성능을 저하시키지 않고 간결하고 읽기 쉬운 프로그램을 작성할 수 있습니다.

내가 추가해야 할 또 다른 것은 Haskell이 단순히 버그가있는 프로그램을 작성하는 것을 어렵게 만든다는 것입니다. 놀라운 유형 시스템, 부작용 부족, 물론 Haskell 코드의 간결함은 최소한 세 가지 이유로 버그를 줄입니다.

1. 더 나은 프로그램 디자인. 복잡성이 감소하면 논리 오류가 줄어 듭니다.

2. 간결한 코드. 버그가있을 줄이 적습니다.

3. 컴파일 오류. 많은 버그 는 유효한 Haskell이 아닙니다 .

Haskell이 모든 사람을위한 것은 아닙니다. 그러나 모두가 그것을 시도해야합니다.

답변

c1 `mappend` c2 `mappend` c3