DSL처럼 보이게 만드는건 ㅈㄴ 잘함.
그래서 겁나 깔끔해 보이기는 하는데
익숙한 사람은 DSL -> 해석이 가능하지만
처음 보는 사람들은 DSL -> DSL 파싱 -> 해석
을 해야하기 때문에 읽기가 개힘듬
이 계열 최고봉은 Agda인데
equality 체이닝으로 증명할때 편하라고 _=<_>_ 라는 연산자를 정의해둠. underscore가 인자 들어가는 자리임 ㅋㅋㅋㅋㅋ
저걸로 쓴거 보니까 진짜 무슨 수식 써놓은 것처럼 보임
그리고 맨날 함수형 압축률 높다는 말 나오는건 변수 바인딩을 잘 안해서 그럼. 파이프, 합성 + 고차함수 + 람다식 전부 변수 이름 없애는데 최적화 된 조합이라 어쩔 수가 없다
읽는 방법부터 달라지자너
그동네는 깔끔하다는 것의 정의 자체가 다름. 수학하던 새키들 동네라서 자기 아이디어 표현잘되고 수학공식마냥 최대한 압축하는게 제일 깔끔한거고 그걸로 뭘 실행을 시키겠다 유지관리를 하겠다 그런건 안중에 없음. 프로덕션하는 동네는 좀 길어도 덜복잡하고 스트레이트로 바로바로 파악되는게 제일 깔끔한거고. 서로 호환이 안된다. 하스켈의 실용성이 의문이 생기는게 그런 면.
do notation considered harmful 이런 말까지 하는데 뭐 ㅋㅋㅋㅋㅋ