함수형이랑 입출력이랑 사이가 안좋네

[전역용사(122.35)]

함슬람이 되려면 멀었구나

[밍고스사랑해(mingosudaisuki)]

스트림 입출력 개념은 본질적으로 명령적(imperative)이니까 당연

[밍고스사랑해(mingosudaisuki)]

선언적 언어는 질의를 처리할 수 있는 로직을 짜놓고 질의(query)를 때리면 응답하는 방식에 더 어울리지

[전역용사(122.35)]

c++ constexpr보면 정적인? 컴ㅍㅏ일 타임에 추론할수있는 문맥에선 정적평가가 되는데 문맥에 추론할 수 없는게 껴있으면 정적평가가 안되고

[전역용사(122.35)]

실제로 입출력에 의존하지 않는 모든 변수는 컴파일 타임에 알 수 있으니까.. 이걸 깨끗하게 분리할 수 있다면 참 좋을것같음

[전역용사(122.35)]

constexpr은 정적인 부분에서만 진정한 함수형이니까.. 이렇게 깨끗하게 분리한다는게 로직과 쿼리의 분류가 되는건가?

[전역용사(122.35)]

지금 먼가 깨달고 있는것같음 하스켈에 모든 입출력을 모나드로 받는것도 이 분리가 목적인건가?

[전역용사(122.35)]

입출력에 의존하는 문맥도 극단적으로 동적프로그래밍 할 수 있겠음

[전역용사(122.35)]

인공지능에서 쓰고있을것같다

[전역용사(122.35)]

그 로직과 질의의 분리라는게 함수와 파라미터의 분리에서 한발 더 나아간것같음

[전역용사(122.35)]

의존성마저 분리되는게 아주 맘에 듭니다

[전역용사(122.35)]

의존성 분리의 관점에서 보니까 커링의 목적도 살짝 보이네.. 파라미터를 동시에 여럿받으면 기껏 의존성 추적하기 편하게 해놨는데 다시 스까버리는 꼴이니까

[전역용사(122.35)]

심오하다 심오해

[익명(175.223)]

모나드 그 용도 맞음