하스켈 배우니까 흑마법 원리는 대강 보이는데

[30일후전역(122.35)]

볼때마다 느끼는건데
제네릭타입 선언은 쓸데없이 장황하고
암시적 타입 갖고 노는건 변태같음

오래된 생각이다

[뻘글만쓰는아이(bbeolgeul)]

모나드가 뭐에여

[관노(203.226)]

ㄴ 뿌로빡시아 정

[30일후전역(122.35)]

모나드는 모나드져

[cc(221.155)]

monad is just monoid in the category of endofunctors, what's the problem?

[cc(221.155)]

하스켈에 implicit type이 어디있냐? typeclass때문에 오버로딩된 함수들 말하는 건가?

[cc(221.155)]

map :: (a -> b) -> [a] -> [b]

[cc(221.155)]

모든 타입 A,B에 대해 동작하는 map함수인데 어디가 장황한거지

[cc(221.155)]

List<B> map(Function<A,B> f, List<A> a) 자바버전은 이러한데?

[30일후전역(122.35)]

C++얘기하고있는데?

[익명(174.34)]

위에 짤로도 올려줬는데 딴소리 하노 ㅎㅎ