하스켈 너무 어려워요 ㅇㅅㅇ

[기괴공학도(mecheng98)]

저같은 바보에게는 어울리지 않아요 ㅠㅠ

- dc official App

[다믜(damhiya)]

[기괴공학도(mecheng98)]

힝 하스켈 잘하는 법 좀 ㅇㅅㅇ - dc App

[ㅇㄹ(rerereq)]

바보도 할수있는 러스트하자

[기괴공학도(mecheng98)]

;;; - dc App

[익명(220.74)]

Functional Programming in C++ 하셈... template으로 친절하게 설명되어 있음...

[기괴공학도(mecheng98)]

람다 셈법부터 이해가 안 돼요 - dc App

[익명(220.74)]

람다 셈법이야 결국에 계산 셈법 패턴일 뿐임... 여러가지 종류의 게산 셈법이 존재할 수 있음... 예를 들면 파이 셈법 같은 ...

[기괴공학도(mecheng98)]

동시성 프로그래밍할 때 쓰는 건가요? - dc App

[익명(220.74)]

ㅇㅇ 근데 parallel_for 쓰세요... 두번 쓰세요... 컴파일 속도가 개구려서 그렇지... 결국에 궁극은 C++임... 농담아니고...

[기괴공학도(mecheng98)]

람다 셈법에서 처치 인코딩된 뺄셈 설명해주세요 - dc App

[다믜(damhiya)]

얘 하스켈 10고수임 속지마셈;;

[익명(220.74)]

아는데... 나 함수형 언어 10여년 전에 했어... ㅇㅇ 그래서 결론은 뭐다 C++임... 어차피 C++안에 다 있는거...

[기괴공학도(mecheng98)]

??? 전 하스켈 컴파일러도 못 만드는 걸요 - dc App

[기괴공학도(mecheng98)]

처치 인코딩된 뺄셈 이해가 안 되는데 설명 좀 해주세요 - dc App

[익명(220.74)]

설명이고 자시고 애초에 프레게인가? 그 틀딱할배가 수를 논리 언어로 정의하는 방법처럼 그냥 구조를 그렇게 정의한건데...

[기괴공학도(mecheng98)]

알론조 처치가 람다 셈법 만들었잖아요 ㅇㅅㅇ - dc App

[익명(220.74)]

그거 그냥 1900년대 초중반, 당대에 수리/논리 철학적 움직임이 그런거였음... 그거 해봤자 완전하다고 증명못한다고 괴델이고... 그냥 구조 깔끔하게 만드는거 밖에 별 도움안되는 것 같은데?

[기괴공학도(mecheng98)]

람다 셈법에서 뺄셈 작동 원리가 이해가 안 돼서 질문드렸어요 - dc App

[익명(220.74)]

원리야 뭐가 있음... 그냥 패턴 매칭해서 구조 변환시키는건데... 그냥 통암기 하셈... ㅎㅎㅎ

[기괴공학도(mecheng98)]

네 알겠습니다 - dc App

[기괴공학도(mecheng98)]

근데 패턴 매칭은 없는데요?? - dc App

[익명(220.74)]

언어를 구성하는 연역계가 일종의 공리처럼 패턴 매칭함...

[기괴공학도(mecheng98)]

알겠습니다 ㅇㅅㅇ 감사합니다 - dc App