monad, monad transformer 까지가 끝인줄 알았는데,
실무에서 쓸 정도 되려면 GHC 익스텐션, 타입 프로그래밍도 어느정도 활용 할 수 있는 수준이여야하네..
TypeFamilies, GADTs, TypeApplications, TemplateHaskell 도대체 이걸 쓰는 괴수들은 뭐하는 사람들이냐..
monad, monad transformer 까지가 끝인줄 알았는데,
실무에서 쓸 정도 되려면 GHC 익스텐션, 타입 프로그래밍도 어느정도 활용 할 수 있는 수준이여야하네..
TypeFamilies, GADTs, TypeApplications, TemplateHaskell 도대체 이걸 쓰는 괴수들은 뭐하는 사람들이냐..
1. 그거 안 써도 잘만 씀. 2. 그것들 쉬움.
바보
(직접 세운 회사의) C레벨
하스켈에서 타입레벨 프로그래밍이 그렇게 쓸모 많지 않음. GHC extension은 필요해지면 찾아봐도 됨. extension 쓰면 깔끔해지는 경우가 있긴한데, 안쓴다고 해결 못하는 문제는 없음
그리고 하스켈은 계속 배우면 끝이 없음. 뒤에 PL이 버티고 있기 때문.
실무에서 쓰는 프로그래밍 레벨이란게 뭔가 어색하네. 그냥 제품으로 만들면되는거지 ㅋㅋ