foldr 및 람다 식을 첫 번째 인수로 사용

debugcn 에 게시 Dev

산조 르

람다 식을 사용하는 방법을 알아 내려고 노력 중이며 foldl 또는 foldr과 같은 함수에서 일반적으로 사용되는 것을 보았습니다.

다음 코드가 작동하지 않는 이유가 궁금합니다.

ExMin = foldr (\x y -> x < y) 5 [1,2,3,4]

이 함수가 목록의 최소 수를 제공하기를 원하지만 오류가 발생합니다. x <y가 부울을 반환하고 여기서 기대하는 것은 정수이기 때문에 오류가 발생하는 이유라고 생각합니다.

번호를 올바르게 반환하는 방법에 대한 아이디어가 있습니까?

빌렘 반 온셈

다음 코드가 작동하지 않는 이유가 궁금합니다.
ExMin = foldr (\x y -> x < y) 5 [1,2,3,4]

foldr 함수 타입 접힘 기능이 필요하기 때문에 은 "축적", 오른쪽에서 왼쪽으로 전달되고 각 시간 스크롤 기능과 다른 구성 요소에 대한 입력으로 촬영되는 값의 종류이다. 결국 누산기의 최종 값을 반환합니다.a -> b -> bbfoldr

번호를 올바르게 반환하는 방법에 대한 아이디어가 있습니까?

예, min :: Ord a => a -> a -> a기능을 사용할 수 있습니다 . 이것은 누산기 및 요소의 최소값을 매번 반환합니다.

ExMin = foldr min 5 [1,2,3,4]

으로 @amalloy 말한다 당신이 시작 변수를 사용할 수 없습니다 U의 ppercase을,이 소문자해야합니다 :

exMin = foldr min 5 [1,2,3,4]

이 기사는 인터넷에서 수집됩니다. 재 인쇄 할 때 출처를 알려주십시오.

침해가 발생한 경우 연락 주시기 바랍니다[email protected] 삭제

에서 수정2021-04-5

몇 마디 만하겠습니다

0리뷰

로그인참여 후 검토

Related 관련 기사

기사

foldr 및 람다 식을 첫 번째 인수로 사용

foldr 및 람다 식을 첫 번째 인수로 사용

정규식을 사용하여 첫 번째 문자를 소문자 및 공백 밑줄로 만듭니다.

지도 함수는 비 기능을 첫 번째 인수로 사용합니다.

TableView 첫 번째 셀을 헤더 및 문제로 사용

데이터 프레임 전치 및 첫 번째 열을 인덱스로 사용

IEnumerable 메서드를 사용하여 목록의 첫 번째 및 두 번째 요소, 두 번째 및 세 번째 등의 작업을 수행하여 결과를 새 IEnumerable로 반환합니다.

첫 번째 마지막 및 맵을 사용하여 Reduce를 구현합니다.

Rails Form : 첫 번째 양식을 저장 한 다음 첫 번째 양식의 매개 변수를 사용하여 두 번째 또는 세 번째 양식으로 리디렉션

ContentStringFormat의 {0}을 첫 번째 문자로 사용할 수 없습니다.

제네릭을 사용하여 다른 인수에서 첫 번째 인수의 키 재사용

첫 번째 인수로 파일을 열 수 없습니다.

쉘 함수는 첫 번째 인수 만 사용합니다.

많은 사람들의 첫 번째 양식이 클릭시 제출됩니다.

Python : 모든 키에 대한 첫 번째 사전 값을 첫 번째 줄에, 두 번째 줄에 두 번째 등을 인쇄합니다.

Postgresql을 사용한 전주의 첫 번째 및 마지막 날

열 이름 및 첫 번째 행 값을 사용한 SQL 매핑

map을 사용하여 다차원 배열의 첫 번째 인덱스 반환

Flexbox를 사용하여 첫 번째 자식을 두 번째 자식으로 감싸는 방법

파이썬에서 첫 번째 행을 변수로 사용

첫 번째 및 두 번째 터치에서 다른 이벤트를 수행하는 방법 (Android 용 TicTacToe)

정렬 또는 다른 bash cmd를 사용하여 첫 번째 두 번째 및 세 번째 필드가 동일한 경우 모든 줄에서 한 줄을 얻을 수 있습니까?

첫 번째 섹션을 복사하고 판매 인 다음 열 그룹을 사용하는 매크로

UNIX : sed를 사용하여 4 줄 세트로 모든 첫 번째 및 두 번째 줄을 인쇄하는 방법은 무엇입니까?

CSV 파일의 첫 번째 및 세 번째 행을 셸 sripts의 열로 바꿉니다.

xargs 및 sed를 사용하여 한 파일에서 다른 파일로 첫 번째 줄 복사

Python을 사용하여 csv 파일의 첫 번째 및 마지막 열을 덮어 씁니다.

첫 번째 셀을 행 및 개수 일치의 다른 값과 비교

RichTextBox 컨트롤은 첫 번째 서식 만 사용합니다.

사이트에 로그인 한 후 첫 번째 td 값을 원합니다.

정규식 VB NET을 사용하여 문자열의 첫 번째와 마지막 문자 및 하위 문자열을 일치시키고 교체합니다.