하스켈 : 목록의 두 번째 원소를 두 번씩 두번 씩

Question

방금 ​​하스켈을 사용하기 시작했고, 주어진리스트가 두 번째 원소가 두배로 된리스트를 반환하는 함수를 작성하려고했습니다. 지금까지이 함께 왔어요

:

작동하지만 난 너희들이 그 함수를 작성합니다 궁금 해서요

double_2nd :: [Int] -> [Int] 
double_2nd [] = [] 
double_2nd (x:xs) = x : (2 * head xs) : double_2nd (tail xs) 

. 좀 더 보편적 인 방법이 있습니까?

Answer 1

나쁘지 않은데, 수정 사항을 제안했습니다. 일단 기본 라이브러리에 익숙해지면 더 높은 수준의 함수를 사용하여 명시 적으로 재귀를 피할 수 있습니다. 예를 들어 다른 모든 함수가 *2 인 함수 목록을 만들고 해당 함수 목록을 (zip)에 적용 할 수 있습니다. 당신의 번호 목록 : 강령술의

double = zipWith ($) (cycle [id,(*2)]) 

Answer 2

은 홀수 길이의 목록을보십시오 :

Prelude> double_2nd [1] 
[1,*** Exception: Prelude.head: empty list 

그리고 당신은 당신의 코드로 문제를 볼 수 있습니다. '머리'와 '꼬리'는 결코 좋은 생각이 아닙니다.

Answer 3

일부 스마트 패턴 일치로 "빈 목록"예외를 피할 수 있습니다.

는

double2nd (x:y:xs) = x : 2 * y : double2nd xs 
double2nd a = a 

이 너무 xs 먼저 패턴 x:y:xs 대해 일치한다, 다음

double2nd xs = case xs of 
    x:y:xs -> x : 2 * y : double2nd xs 
    a -> a 

패턴 매칭하기위한 수행 단순히 구 당이다. 그런 다음 실패하면 캐치 올 패턴 a이 성공합니다.

Answer 4

조금,하지만이 방법은 저를 위해 아주 잘했다라고 생각하고 공유하려는 :

double2nd n = zipWith (*) n (cycle [1,2]) 

zipWith 함수를 취하고 그 적용 두 목록 (첫 번째 항목부터 첫 번째 항목, 두 번째 항목에서 두 번째 항목까지 등)의 일치하는 항목 전반에 걸쳐 기능을 수행합니다. 함수는 곱셈이며, 압축 된 목록은 1과 2의 끝없는 순환입니다. zipWith (및 모든 우편 번호 변형)는 더 짧은 목록의 끝에 멈 춥니 다.