먼가 컴공애들은 배우는게 멋있음

[5월25일전역(110.11)]

그중에서도 제일 멋진건

수학을 바탕으로 언어 만드는거랑

클러스터링? 컴퓨터 여러대 연결하는거

빨리 전과하고 배우고싶다

[cc(221.155)]

나는 수학과가 더 황당하던데. a -> b -> c 와 a -> (b -> c) 와 같다를 설명할 때(currying 설명) -> 연산자는 right-associative하다라고 설명하면 끝남

[5월25일전역(110.11)]

이바닥 애들 신기함 난 그냥 자료형은 자료형이다인줄 알았는데 algebraic data type이런거 보면 미친거같음

[5월25일전역(110.11)]

가만 생각해보면 말도안되게 간단한건데 이런걸 생각한다는게 신기함

[cc(221.155)]

PL에 관심이씀? ADT는 수학에서 쓰이는 Algebraic이랑은 의미가 좀 다르고 다른 타입을 조합해서 만든 타입을 ADT라 부름

[5월25일전역(110.11)]

ㄴㄴ 관심을 갖고싶은데 좆밥이라 아는게 별로 없음

[cc(221.155)]

진짜 미친건 하스켈의 GADTs나 좀 더 나가서 Dependent Type같은게 아닐까

[5월25일전역(110.11)]

님 혹시 하스켈 어디서 배우셨나요 이것도 컴공가면 알랴줌?

[5월25일전역(110.11)]

커리큘럼만 봐선 뭘배우는지 잘 모르게씀.. 우리학교에 함수형은 없던데

[cc(221.155)]

인터넷으로 배움...누가 가르쳐줘야 말이지;; 아마 프로그래밍 언어론같은거 배울때 함수형 프로그래밍도 가르쳐주지 않을까? 그런데 국내 해외 가리지 않고 하스켈을 직접 가르쳐주는 학교는 굉장히 드물듯? Ediburgh정도면 가르쳐 주려나ㅋㅋㅋ

[코로모(qscsq1)]

PL의 풀네임이 뭐죠? Programming Language라하기엔 언어자체랑 의미도 중복되는데... 이론 붙여서 검색해도 똑같은 것만 나오고... 책이라도 알려줘요

[cc(221.155)]

Programming Language맞음. Programming Language Theory라고도 함.
https://en.wikipedia.org/wiki/Programming_language_theory