퓨어스크립트 북 챕터11 뒷부분 가볍게 읽어보는 메모장

April 30, 2022

퓨어스크립트 북 챕터11 - Monadic Adventures

가볍게 읽어보기!

Type Classes to the Rescue!

• 단 한 글자도 이해하지 못했다...

Alternatives

• 실패한 계산에 대한 프로토타입을 제공하는 empty

• 오류가 발생한 경우 대체할 수 있는 기능을 제공하는 alt

• 이게 어떻게 하는건지 궁금해서 검색하니까 purescript를 대안할 수 있는 언어 이런 거만 나오네...

• 아무래도 검색하는 방법이 잘못된 듯.

Monad Comprehensions

• guard : 원하지 않는 결과를 걸러내는 데 사용
  • chapter4.html#guards
  • guard true : pure unit
  • guard false : empty
  • 위에 Alternatives 의 empty 랑 같은 맥락인가..?

Backtracking

• <|> : 실패할 경우 역추적 가능

첫 번째 문자가 대문자면 앞에 파서, 소문자면 뒤에 파서

• 그럼 앞 뒤 둘 다 같은 타입을 리턴해야되는 거겠지...?

> upperOrLower = some upper <|> some lower

The RWS Monad

• Reader, Writer and State 는 보편적인 조합이라 monad transformer로 제공

그 이후는... 읽을 수 없었다... 아니.. 이해할 수 없었다... 언젠가 이해할 수 있을까..?