건담 제어 프로그램 대부분은 고급 언어로 짤 거 같은데 ㅋㅋㅋㅋㅋ 함수형이든 말든 다 떠나서 니가 생각하는 "임베디드" 파트가 얼마나 되겠음
익명(175.223)2019-10-13 17:31
답글
건담 인공지능은 LP로 짜지... FP로 안짤걸... 메모리 투명성 중요하지... 왜? 디버깅이 편하거든...
익명(220.74)2019-10-13 17:32
답글
LP가 뭐지? logic?
익명(175.223)2019-10-13 17:33
답글
Logic Programming이라고 KB를 구성하는 언어야...
익명(220.74)2019-10-13 17:33
답글
메모리 투명성이 뭐냐 처음 듣는 말인데
다믜(damhiya)2019-10-13 17:34
답글
근까 symbol 레벨로만 생각하는게 아니라 메모리 구조가 보이는게 개발이 쉽다고... 계산 모델이 다양하잖아... 예를 들면 GPGPU처럼...
익명(220.74)2019-10-13 17:35
답글
LP 무슨 말인지 알겠고 접수했고 혹시 메모리 투명성이 referential transparency 를 잘못/다르게 쓴 거면 FP여도 되잖아라고는 하고 싶네
익명(175.223)2019-10-13 17:36
답글
너 근데 글쓴이 맞지? 그럼 임베디드 얘긴 내 오해지?
익명(175.223)2019-10-13 17:37
답글
referential transparency가 아니라 그냥 메모리 low level구조가 다 보인다고 말하고 싶었나 보네. 근데 정식 명칭은 아닌것 같은데
다믜(damhiya)2019-10-13 17:39
답글
참조 투명성... 진짜 오랜만에 들어보네... ㅎㅎㅎ... 그거랑 좀 비슷하면서 다른 개념인데 개발할 때, 메모리 구조 자체를 코드에서 완전하게 보는게 제일 편하고 버그 발견 확률도 제일 높아....
익명(220.74)2019-10-13 17:39
답글
오케이 이제 온전히 접수했음
익명(175.223)2019-10-13 17:40
답글
비슷하기는 ㅋㅋㅋㅋㅋㅋㅋ 참조 투명성은 그거랑 ㅈ도 안비슷한데
다믜(damhiya)2019-10-13 17:45
답글
참조 투명성은 그냥 pure function 말하는거임
다믜(damhiya)2019-10-13 17:45
답글
C 언어는 FP 개념이 안녹아 있다고 생각하니? 심지어 LLVM 중간 언어도 다 FP 원리 녹아있어...
익명(220.74)2019-10-13 18:25
답글
C로 GObject 만드는 소리 하고 있네 ㅋㅋㅋ 개념이 있는 것과 개념화 추상화가 명확하여 만족스러운 것의 차이 정도는 가려주자 ㅇㅇ 아이노 유노 ㅇㅇ LLVM은 물론 위대하심
익명(175.223)2019-10-13 18:28
답글
응. 이미 명확하게 녹아있어... SSA is functional programming 이런 논문 15년전에도 본건데... 애초에 FP가 언제적 개념인데... 포트란이 껌씹을때 나온 얘긴데... FP가 불편하니까 다른 개념 다 붙어서 만들어진게 현대의 프로그래밍 언어란다...
익명(220.74)2019-10-13 18:29
답글
어 그래... 힙하고 얕은 기반의 "뻥셔널" 얘기를 막 적으면서 부정확한 용어 사용의 다수의 평범한 개발자의 입장을 대변하려다 귀찮아서 관뒀어 당신 말이 맞아 ㅇㅇ 그나저나 이런 글들은 그렇다면 그냥 지적 유희구만...
익명(175.223)2019-10-13 18:40
답글
용어 부정확한건 하도 오래전이라 다 까먹어서 그래... 2000년대 중반 이후에는 관심이 없어졌거든... ㅋㅋㅋ 근데 왜 그런걸로 삐지니? 결국에 기존 언어에 다 녹아있다고 말하는 것뿐인데...
익명(220.74)2019-10-13 18:42
답글
삐지다니; 다만 이런 글을 프갤에 썼을 땐 좀 더 평범(?)한 사람들을 상대하기 위한 글이 아닐까 생각했던 거고 근데 실제로는 PL 이론 지적 유희 아고라같이 된 거 같아서 약간 아이러니한 것 뿐이야... 친절보단 선문답? 하긴 나는 나대로 어떤 롤을 의도치않게 잘 수행 했군 재밌었다.
익명(175.223)2019-10-13 18:47
에반게리온은 로봇이 아니라 생명체입니다 이 알못아
다믜(damhiya)2019-10-13 17:32
삐지다니; 다만 이런 글을 프갤에 썼을 땐 좀 더 평범(?)한 사람들을 상대하기 위한 글이 아닐까 생각했던 거고 근데 실제로는 PL 이론 지적 유희 아고라같이 된 거 같아서 약간 아이러니한 것 뿐이야... 친절보단 선문답? 하긴 나는 나대로 어떤 롤을 의도치않게 잘 수행 했군 재밌었다.
함슬람들은 ㄹㅇ 언어만들다가 뒤지는게 아닐까싶다
건담 제어 프로그램 대부분은 고급 언어로 짤 거 같은데 ㅋㅋㅋㅋㅋ 함수형이든 말든 다 떠나서 니가 생각하는 "임베디드" 파트가 얼마나 되겠음
건담 인공지능은 LP로 짜지... FP로 안짤걸... 메모리 투명성 중요하지... 왜? 디버깅이 편하거든...
LP가 뭐지? logic?
Logic Programming이라고 KB를 구성하는 언어야...
메모리 투명성이 뭐냐 처음 듣는 말인데
근까 symbol 레벨로만 생각하는게 아니라 메모리 구조가 보이는게 개발이 쉽다고... 계산 모델이 다양하잖아... 예를 들면 GPGPU처럼...
LP 무슨 말인지 알겠고 접수했고 혹시 메모리 투명성이 referential transparency 를 잘못/다르게 쓴 거면 FP여도 되잖아라고는 하고 싶네
너 근데 글쓴이 맞지? 그럼 임베디드 얘긴 내 오해지?
referential transparency가 아니라 그냥 메모리 low level구조가 다 보인다고 말하고 싶었나 보네. 근데 정식 명칭은 아닌것 같은데
참조 투명성... 진짜 오랜만에 들어보네... ㅎㅎㅎ... 그거랑 좀 비슷하면서 다른 개념인데 개발할 때, 메모리 구조 자체를 코드에서 완전하게 보는게 제일 편하고 버그 발견 확률도 제일 높아....
오케이 이제 온전히 접수했음
비슷하기는 ㅋㅋㅋㅋㅋㅋㅋ 참조 투명성은 그거랑 ㅈ도 안비슷한데
참조 투명성은 그냥 pure function 말하는거임
C 언어는 FP 개념이 안녹아 있다고 생각하니? 심지어 LLVM 중간 언어도 다 FP 원리 녹아있어...
C로 GObject 만드는 소리 하고 있네 ㅋㅋㅋ 개념이 있는 것과 개념화 추상화가 명확하여 만족스러운 것의 차이 정도는 가려주자 ㅇㅇ 아이노 유노 ㅇㅇ LLVM은 물론 위대하심
응. 이미 명확하게 녹아있어... SSA is functional programming 이런 논문 15년전에도 본건데... 애초에 FP가 언제적 개념인데... 포트란이 껌씹을때 나온 얘긴데... FP가 불편하니까 다른 개념 다 붙어서 만들어진게 현대의 프로그래밍 언어란다...
어 그래... 힙하고 얕은 기반의 "뻥셔널" 얘기를 막 적으면서 부정확한 용어 사용의 다수의 평범한 개발자의 입장을 대변하려다 귀찮아서 관뒀어 당신 말이 맞아 ㅇㅇ 그나저나 이런 글들은 그렇다면 그냥 지적 유희구만...
용어 부정확한건 하도 오래전이라 다 까먹어서 그래... 2000년대 중반 이후에는 관심이 없어졌거든... ㅋㅋㅋ 근데 왜 그런걸로 삐지니? 결국에 기존 언어에 다 녹아있다고 말하는 것뿐인데...
삐지다니; 다만 이런 글을 프갤에 썼을 땐 좀 더 평범(?)한 사람들을 상대하기 위한 글이 아닐까 생각했던 거고 근데 실제로는 PL 이론 지적 유희 아고라같이 된 거 같아서 약간 아이러니한 것 뿐이야... 친절보단 선문답? 하긴 나는 나대로 어떤 롤을 의도치않게 잘 수행 했군 재밌었다.
에반게리온은 로봇이 아니라 생명체입니다 이 알못아
삐지다니; 다만 이런 글을 프갤에 썼을 땐 좀 더 평범(?)한 사람들을 상대하기 위한 글이 아닐까 생각했던 거고 근데 실제로는 PL 이론 지적 유희 아고라같이 된 거 같아서 약간 아이러니한 것 뿐이야... 친절보단 선문답? 하긴 나는 나대로 어떤 롤을 의도치않게 잘 수행 했군 재밌었다.
재밌었다니 다행이다. ㅎㅎㅎ