[%] variadic argument는 적폐다

[다믜(damhiya)]

printf도 없어야 한다

매크로면 아슬아슬하게 봐줄 수 있음

[기괴공학도(mecheng98)]

이건 ㅇㅈ이지 - dc App

[ㅇㄹ(rerereq)]

ㅇㅈ

[dd(211.186)]

C++면 적폐맞는데 C에서는 어쩔수없음

[다믜(damhiya)]

그쪽도 그렇고 python, js 같은 스크립트 언어들도 문제임. 나는 그게 왜 편한지 모르겠음

[익명(125.143)]

왜 적폐임?

[다믜(damhiya)]

주는 쪽은 편한데 받는쪽은 다루기 불편함

[다믜(damhiya)]

일급함수로 다뤄서 인자로 줄때 인자 적용을 예측하기 어려움

[다믜(damhiya)]

**제일 중요** 노근본 타입

[다믜(damhiya)]

만약 저런게 필요하면 그냥 리스트로 주는게 낫다고 생각함

[익명(125.143)]

printf 같은 경우 어떻게 바꿔야함?

[다믜(damhiya)]

정 필요하면 Rust 처럼 매크로로 하는게 맞지. 아니면 그냥 없어도 솔직히 별 문제 안됨

[다믜(damhiya)]

애초에 printf는 타입체킹도 제대로 안되잖아. 그거 자체가 문제임

[익명(125.143)]

음 들을 가치가 있는 내용이었다

[노이ㄴ(liliilli)]

template parameter pack (variadic template) 은 어떻게 생각함

[다믜(damhiya)]

그것도 싫어

[다믜(damhiya)]

뭐 C++ 같은 언어면 어쩔 수 없는데, type level list 가 있는 언어도 있음

[노이ㄴ(liliilli)]

variadic argument 는 몰라도, 코드 타이핑의 생산성을 위해서라면 variadic template 는 있어야 한다고 보는데 나는..

[다믜(damhiya)]

C++ 별로 안써봐서.. variadic template 아니면 깔끔하게 못만드는 케이스 뭐가 있음?

[다믜(damhiya)]

함수 같은게 있긴 한데.. 하스켈만 하니까 커링 되서 별로 필요를 못느끼겠음 ㅋㅋㅋ

[노이ㄴ(liliilli)]

스트링 포매팅이라던가, 일반 템플릿 타입이 임의의 형인자를 받아서 그걸 토대로 코드를 생성해나갈 때, 넣어준 형인자가 내부에서 임의 개수의 형인자를 받아서 뭔 뒤치닥거리를 해야하는 걸 지원하는 어댑터? 인터페이스를 만들어줘야 한다면 일일히 템플릿 1~N개의 오버로딩된 함수를 다 적어줘야함.

[다믜(damhiya)]

higher kind type 를 잘 쓰면 해결 될것 같은데.. variadic template은 물론이고 애초에 template 에 type checking이 없는걸 싫어하는거라

[노이ㄴ(liliilli)]

이렇게 쓰는거?
https://stackoverflow.com/questions/2565097/higher-kinded-types-with-c
https://gist.github.com/jhaberstro/5d604578ebcf36a10cf9150ffb37fe55
감이
안오는데

[다믜(damhiya)]

정확히는 variadic template이 아니라 타입 체킹이 체계적이지 않은게 싫은것 같음. (a,b,..,c) 튜플은 (a,(b,(...,(..,c)))) 이런식으로 환원시켜서 쓸 수 있잖아.

[다믜(damhiya)]

근데 c++ template 이 template도 인자로 받을 수 있는건 처음 알았네 ㅋㅋㅋㅋ

[Recursion(recursion)]

버리아딕은 ㄹㅇ 커링도 힘들고 추론도 안되고 뭐가 짜증남 - dc App