Prolog 하는데 엠창 좆같은 언어네

[와 시바(58.142)]

언어는 쉬운데 이걸로 뭘 하는지 모르겟다아아아아아아

[d(220.118)]

대부분 선언형 언어들이 다 그렇지만 언어는 졸쉬운데 뒤에 백그라운드 이론은 빡치게 어려움. 글고, 이론 안할거면 굳이 할 이유도 별로 없음.

[ㅅㅅㅅ(125.128)]

난 그 언어 왜 하는지 모르겠던데. 진짜로. 뭐에 쓸모가 있음? 내가 언어 여러 개 접해봤지만 Prolog, LISP, Erlang 같은 언어들은 왜 쓰는지 도무지 이해가 안 감.

[d(220.118)]

학자들 쓰는거지. 애초에 함수형/논리형 언어가 현존 아키텍쳐랑 별로 안어울린다는건 다들 알고있음. 그래서 초기 의제중 하나가 von neuman architecture 에서 벗어날 수 있을까였고, 과거 실제로 함수형에 최적화된 하드웨어 연구도 꽤 있었고.(근데 그냥 더 잘만들어진 일반 아키텍쳐에서 소프트웨어로 최적화시키는게 더 빠르다는 결론하에 흑역사) 학자들 로망중 하나가 수학에 근접한 프로그래밍 언어임. 구성주의 수학 curry-howard correspondence 관점에서 접근하면 선언형 언어는 프로그램을 수학적으로 증명하기가 조난 쉬운걸 넘어서, 프로그램 자체가 증명이니까.

[d(220.118)]

그리고 저 로망은 당연히 업계사람들과는 시각차이가 존나컷고, 그냥 학계에서만 머물다가 요즘은 갑자기 병행성이니 스타일이니 하면서 원래의도와는 좀 다른방향으로 다시 주목받고 있는듯.

[ㅅㅅㅅ(125.128)]

역시나. 나도 물론 Prolog, LISP, Erlang을 다 해봤는데 배워놓고도 이걸 왜 쓰는지 도무지 모르겠어서 전혀 안 쓰고 있지. 좋은 답변 고맙다 이기야.

[야이미친(110.10)]

야이 바보들아! 니들이 프롤로그, 리스프, 얼랭 으로 일 잡으면 땔감 탈갤이지!

[익명(119.194)]

함수형언어는 그냥 모랄까.. 이론 배울라고 쓴달까.. prolog는 인공지능쪽에서도 쓸거임

[ㅅㅅㅅ(202.30)]

뭐 인공지능 쪽에서 함수형 언어 쓴다는 얘기는 익히 들었지만 구체적으로 뭐할 때 쓰임? 그냥 절차지향이나 객체지향 언어 써도 인공지능 이론 구현할 거 다 하잖아.