책으로 공부하고 싶은데 이런건 프로그래밍 언어론을 공부해야하는 데스웅?
혹시 좋은 교재 추천해줄 수 있는 데스웅?
[⚠애니짤] 깃붕이 타입 시스템에 대해 공부하고 싶은데챠
익명(183.104)
2019-11-23 21:34
추천 0
댓글 4
다른 게시글
-
열심히 14%까지 줄여봤다[%] ㅇㄹ(rerereq) | 19.11.23추천 0
-
type level qsort 해봄 [14][대회] 다믜(damhiya) | 19.11.23추천 0
-
이거 이렇게 하는거 맞나 [6][%] 노이ㄴ(liliilli) | 19.11.23추천 0
-
dba가 하는일이 뭐냐 [3][%] 빛돌이(211.36) | 19.11.23추천 0
-
md5sum 1.24배까지 최적화함 [7][%] ㅇㄹ(rerereq) | 19.11.23추천 0
-
컴공이 공학이냐 수학도 물리도 거의안하는데 [5][%] 익명(211.36) | 19.11.23추천 1
-
컴파일타임 정렬 완료 [3][대회] ㅇㄹ(rerereq) | 19.11.23추천 0
-
하스켈에 놀림받는건 참기 힘드노 [2][%] ㅇㄹ(rerereq) | 19.11.23추천 0
-
깃헙갤배 주간 문제풀이 11월 5주차 출제자 공시 [2][대회] ㅇㄹ(rerereq) | 19.11.23추천 0
-
주간 문제풀이 11월 4주차 문제 rev5 [4][대회] ㅇㄹ(rerereq) | 19.11.16추천 5
하스켈해라
타입시스템 위주로 공부하고 싶은데 그런 하스켈 책 있음?
thinking with types type-level programming in haskell
근데 일단 하스켈을 하면 타입시스템을 알 수 밖에 없음