Youtor
모나드의 모든 것 1장 프롤로그
YOUR LINK HERE:
http://youtube.com/watch?v=gD7U8sfwsuU
모나드는 1996년에 하스켈(Haskell)에서 처음 프로그래밍 언어에 도입된 개념입니다. • 그 후 이 개념을 간단하게 설명하고자 하는 많은 시도가 있었지만 • 그 중 무엇도 성공을 거두지는 못했죠. • 오늘날 모나드 강의들의 실패를 비웃는 문구들이 그 어떤 모나드 강의보다도 유명해진 건 • 바로 그 일관된 실패의 결과라고 해도 좋을 겁니다. • 이 강의는 그 기나긴 실패 리스트에 한 줄을 추가하기 위해 만든 강의가 아닙니다. • 20년 넘게 이어진 실패의 역사를 끝내고 • 향후 모나드 뿐 아니라 모든 범주론적 개념 도구 강의의 표준이 될 • 새로운 방법론적 패러다임을 제시하기 위한 강의입니다. • 이 강의는 모나드의 모든 것을 다룹니다. • 다른 강의처럼 모나드의 대략적인 개념과 활용법 일부만 설명하고 끝나지 않을 겁니다. • 영상의 2:45 부근에는 여러분의 모나드에 대한 모든 의문을 해결해 드린다는 약속이 나옵니다. • 문자 그대로를 의미합니다. • 여러분이 이 모나드라는 주제에 대해 가지고 있거나 또는 언젠가 갖게 될 모든 의문들, 즉 - • (1) 프로그래밍의 모나드가 정확히 무엇을 말하는 것인지, • (2) 그것이 개념 세계의 무엇에 대응되는 것인지, • (3) (1)에서 소개한 모나드의 형식적 정의가 (2)에서 소개한 의미론적 정의로 • 필연적으로 귀결될 수밖에 없는 이유가 무엇인지, • (4) 모나드가 왜 유용한지, 프로그래밍에서 그것이 어떤 용도를 갖는 것인지, • (5) (1)과 (2)에서 소개한 모나드의 형식적 정의와 의미론적 정의가 (4)의 답으로 • 필연적으로 귀결될 수밖에 없는 이유가 무엇인지, • (6) 모나드를 이용해 횡단 관심사의 분리를 할 수 있다고 하는 이유가 무엇인지, • (7) 하스켈에서 do문, 스칼라에서 for문으로 축약되곤 하는 • 모나드 특유의 복잡한 익명 함수 중첩 구문이 어떤 의미를 가진 것인지, • 그와 같은 구문 형태가 왜 굳이 그걸 위한 전용 축약 구문을 만들어야 할 정도로 • 유독 모나드를 활용할 때 자주 등장하는지, • (8) 하스켈의 또 하나의 bind연산자(≪)는 모나드로부터 어떻게 파생되어 나온 것인지, • (9) 유명한 하스켈의 IO모나드가 정확히 무엇인지, 어떻게 그게 모나드가 되는지, • (10) 수학의 모나드가 무엇인지. 프로그래밍의 모나드는 그것을 변형한 것이며 • 왜 그렇게 달라 보이는지, • 등의 모든 의문에 대해, 조금도 얼버무리지 않고 명확한 의미를 가진 언어로 설명해서, • 모나드가 무엇(what)이고, 어떻게(how) 사용하는지를 넘어, • 그것이 왜 존재하며 또한 왜 정확히 지금과 같은 형태로 만들어질 수밖에 없었는지 • 그 존재 전체에 대한 필연적인 이유(why)를 설명드리는 것, • 그리하여 이 영상을 끝까지 보고 이해한 모든 이들로 하여금 모나드 개념 전체가 • 1+1=2 처럼 당연하게 느껴지도록 하는 일을 • 여러분이 편하게 침대에서 누워서 보는 유투브에 흔한 과학 교양 영상들 급의 • 쉬운 난이도로 달성하는 것만이 이 강의의 유일한 목표입니다. • 원래 프롤로그에는 이를 위해 이 강의가 새롭게 시도한 방법론에 대한 • 개괄적인 소개를 넣으려 했지만 • 아직 모나드가 뭔지도 설명 안 했는데 그런 방법론적인 얘기부터 풀었다간 • 프롤로그에서 시청자분들 다 빠져나가서 끝까지 보실 분이 없겠죠. • 결과적으로 대충 드립치는 영상이 되었는데, • 결코 강의 자체를 장난식으로 만든 건 아님은 알아 주셨으면 합니다. • 이 강의의 평가, 아마 중간은 없을 겁니다. • 성공한다면 모나드 강의의 20년 실패의 역사가 바로 이 자리에서 끝나는 것이고 • 그렇지 않으면 모든 비난과 멸시와 비하와 경멸과 모욕과 욕설과 조롱과 비추를 받아 마땅한 • 실패작이 또 하나 나온 겁니다. • 구독 좋아요 같은거 미리 부탁드리지 않겠습니다. 직접 보고 판단해 주시기를 부탁드립니다. • ps. 0:14초의 모자이크 처리된 영상은 드림코딩 님의 • 함수형 프로그래밍이 대세다?! (함수형 vs 객체지향) 이라는 영상입니다. • • 함수형프로그래밍이 대세다?! (함수형 vs 객체지향) • 모나드라는 걸 여기서 처음 들어 보는 분들은 이 영상부터 보시는 것을 추천합니다. • 이 영상을 보시고 함수형 프로그래밍에서 모나드가 대충 어떤 위치에 있는지, • 그리고 현재 그 개념을 전달하는 작업의 실태가 어떤지 알고 나면 • 강의를 좀 더 재미있게 보실 수 있을 겁니다. • bgm : Claudio The Worm - The Green Orbs • #모나드#Monad
#############################
