[%] ㄹ데 함수형 프로그래밍 언어가 정확히 뭐임

[익명(58.236)]

글좀 읽어봤는데 감이 안오네

왜 js에서는 this가 있어서 함수형이 아니라하고 파이썬 self는 상관없다 하는거지

[휘발성(reduxx)]

일단 그 설명은 좀 이상해보이는데

[초코냥-바이러스(thecoqproofassistant)]

[익명(58.236)]

[아기프붕이(autocomplete)]

[익명(14.32)]

오렐리 공짜로 볼 수 있으면 functional thinking 함 읽어보실? 별로 안길어여

[익명(175.124)]

this를 언급한건 아마 상태를 가지고 있다 어쩌구 이런말하려고 꺼낸듯한데.. 아무튼 그건 좀

[츄럴(211.197)]

누가 파이슨이 함수람 언어라고 하죠

[Adenosie(adenosie)]

「lambda 500배」

[츄럴(211.197)]

1.불변성immutabiliyt이 기본이고(대입assign이 없거나 특별취급되고) 2.함수가 일급시민(함수의 입출력으로 함수를 받고 뱉을 수 있음)이면 보통 함수형 언어라고 해줌. 그런데 일급시민 함수는 부차적인거고 불변성이 더 중요함. 2가 되는 건 요새 인싸 언어들 중에도 발에 채이지만 1이 안되면 함수람이라고 불러줄 수 없음.

[츄럴(211.197)]

대입 못하면 경기 일으키는 C-like문법나치들이 많아서 1이 되는 진짜 함슬람 언어는 인기가 없는 편

[익명(116.121)]

컴퓨터 기계어 자체가 함수형이 아니라서 주류가 될 수 없고, 실제로 못 쓰는 패러다임임. 어디 대학 연구기관이나 힙스터들이 아닌 이상 못 쓰지. 메인프로덕션에서 가장 중요한 게 디버깅인데, 실용적인 접근을 버리고 수학적이고 학술적인 접근하는 것 자체가 엄청 비효율적임. 좋으나 싫으나 현대언어는 기계어와 유사하고 명령어셋에 종속되어 있는데, 설령 네이티브가 아닌 다른 고급언어라고 할지라도 가상머신 안에서 바이트코드로 유사한 ISA를 구현할 수 밖에 없음. 그래서 좋으나 싫으나 모든 언어들이 c 유사한 문법이 대세가 된 거고, 하스켈은 모두가 열광했지만 메인스트림에서 외면받고 버려진 언어고

[다믜(damhiya)]

그럼 컴파일러는 뭐하러 있냐. 하이레벨로 갈수록 바이트 코드든 뭐든 추상화가 엄청나게 되있는데 거기서 함수형인지 아닌지가 무슨상관임.

[익명(116.121)]

아무리 자바나 c# 바이너리가 추상화가 되어있다고 해서 소스코드와 가상머신 안의 바이트코드를 대조를 못하는게 아니잖아. 그에 비해서 하스켈은 트레이싱이나 브레이크포인트 걸어놓고 일방적인 방법으로 해야지

[ㄱㄹ(msh01170)]

함수형이 메인스트림이 아닌 거랑 기계어가 함수형이 아닌 거랑은 상관이 없음. 지금 가장 메인 언어가 JS/python인데, 그럼 기계어가 OOP로 동작했어야지. 프로덕션에서 디버깅이 제일 중요하면 오히려 side effect가 거의 없는 하스켈을 써야지, 디버깅이 제일 중요하단 것도 웃긴데 제일 중요하더라도 말이 안되는 논리임. 그리고 하스켈이 주류가 아닌 건 맞지만 버려졌다는 것도 오바인 게, 은행권에서 하스켈 쓰는 곳이 늘고 있고 하스켈로 수업하는 대학도 있음

[츄럴(118.235)]

아니 함슬람은 이미 주류가 됬다니까요 허허..

[초코냥-바이러스(thecoqproofassistant)]

위에위에분 배우신 분

[익명(211.246)]

함수형 프로그래밍과 함수형 언어는 구분해야 함

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[초코냥-바이러스(thecoqproofassistant)]

[초코냥-바이러스(thecoqproofassistant)]

System F_omega 아님?

[초코냥-바이러스(thecoqproofassistant)]

ㄴ 찐