업자를 위한 아주 인포멀한 모나드 설명

https://hackers.pub/@lionhairdino/2025/%EC%97%85%EC%9E%90%EB%A5%BC-%EC%9C%84%ED%95%9C-%EC%95%84%EC%A3%BC-%EC%9D%B8%ED%8F%AC%EB%A9%80%ED%95%9C-%EB%AA%A8%EB%82%98%EB%93%9C-%EC%84%A4%EB%AA%85

닉스의 derivation 생성식과 derivation의 차이

https://hackers.pub/@lionhairdino/2025/%EB%8B%89%EC%8A%A4%EC%9D%98-derivation-%EC%83%9D%EC%84%B1%EC%8B%9D%EA%B3%BC-derivation%EC%9D%98-%EC%B0%A8%EC%9D%B4

함수형 프로그래머한테 닉스 패키지 매니저의 derivation 소개하는 글

https://hackers.pub/@lionhairdino/2025/%ED%95%A8%EC%88%98%ED%98%95-%ED%94%84%EB%A1%9C%EA%B7%B8%EB%9E%98%EB%A8%B8%ED%95%9C%ED%85%8C-%EB%8B%89%EC%8A%A4-%ED%8C%A8%ED%82%A4%EC%A7%80-%EB%A7%A4%EB%8B%88%EC%A0%80%EC%9D%98-derivation-%EC%86%8C%EA%B0%9C%ED%95%98%EB%8A%94-%EA%B8%80

함수를 값에 적용하는 작업을 함수, 값으로만 나누는 게 아니라, 적용도 따로 분리한다.함수, 값, "적용"주인공 같은 함수, 값에 가려 조연 같던 "적용"을 주연으로 끌어 올려 다양한 구현과 일반화를 시도하다 보면 Applicatives, 모나드, Arrow 다 튀어 나온다.

#함수형 #하스켈 #Applicatives

1. 로직을, 쪼개 놓은 작업들의 조합Combination으로 설계하여 프로그램을 만드는데, 이런 프로그램의 구성 요소로 쓰일 수 있도록 해주는 함수들을 Combinator라 부른다.
2. 프리 변수가 없는 람다 함수를 Combinator라 부른다.
"두 가지" 뜻을 구분해서 말하기도 하는데, 생각해보면 둘이 같은 의미를 가지고 있다. 프리변수가 없어야 이런 저런 조합에 쓰일 수 있다.
#함수형

함수형 입문 텍스트들에 빠짐 없이 보이는, 예시로 리스트 필터 매핑을 보여줍니다. 필터를 다른 곳에 "구현"해 놓고, 필터 이름만 가져다 쓰는 걸로 선언형이다란 설명을 하고 휘릭 넘어갑니다. 근데, 함수 구현해놓고, 함수 이름만 호출하는 것과 무엇이 다른지 콕 찝지 않는 경우가 많습니다.
map filter [1,2,3] 에서 중요한 부분은, 계속 적용할 필터가 있으면,
map filter1 [1,2,3] 한 후
map filter2 result1하고,
map filter3 result2 하는 것이 아니라,
map (filter1 filter2 filter3) [1,2,3]으로 표현할 수 있음이 중요합니다.
이 것까지 얘기해주는 게 더 좋지 않을까 합니다.
#함수형

레고는 부품들의 조합Combination을 바꿔가며 새로운 모양을 만들 수 있다. 그런데, 요즘 레고는 딱 특정 제품만을 위한 부품들을 설계하곤 한다. 이런 특수 부품들은 활용도가 떨어지게 마련이다. 이 것과 비슷하게 특정 제품만을 위한 부품을 만들지 않으려고 노력할 수록 더 함수형스런 코드가 나온다.
#함수형 #하스켈

크리스마스에는 모나드 를 봅시다.
https://lionhairdino.github.io/posts/2024-12-24-easyMonad.html
#하스켈 #모노이드 #이펙트 #monad #Effect #haskell #함수형 #모나드

몇 일 전 올렸던 프리모나드 글에 이어지는, 아주 아주 간단한 DSL 예시 올렸습니다.
https://lionhairdino.github.io/posts/2024-12-22-freeMonadDSL.html
#하스켈 #Free모나드 #모나드 #함수형