Scala dotty나 Idris 같은 언어들 다 dependent type 머시기 달고 나오던데
PL 논문 읽을 준비 되면 한 번 찾아봐야겠습니다
Scala dotty나 Idris 같은 언어들 다 dependent type 머시기 달고 나오던데
PL 논문 읽을 준비 되면 한 번 찾아봐야겠습니다
[%] Dependent (Object) Type System?
익명(39.7)
2018-09-15 20:43
추천 0
Scala dotty나 Idris 같은 언어들 다 dependent type 머시기 달고 나오던데
PL 논문 읽을 준비 되면 한 번 찾아봐야겠습니다
댓글 1
다른 게시글
-
C++ 짜증나는 이유 [7][%] 익명(39.7) | 18.09.15추천 0
-
F#에 trait있었으면 딱인데[%] ㅇㄹ(rerereq) | 18.09.15추천 0
-
난 솔직히 현실적인 해법이 좋아 [6][%] 0xrgb(0xrgb) | 18.09.15추천 0
-
저는 뗄감이라 무슨 언어가 좋은지 잘 모르겠습니다 ㅇㅅㅇ;; [2][%] 치카냥(miku133) | 18.09.15추천 0
-
러스트에 커링이랑 사용자 연산자 있으면 좋겠음 [6][%] ㅇㄹ(rerereq) | 18.09.15추천 0
-
현재 유망해보이는 언어들 [6][%] 0xrgb(0xrgb) | 18.09.15추천 0
-
Go vgo만 익히면 댈까요 [4][%] 익명(39.7) | 18.09.15추천 0
-
fd 병렬 실행해주는거 너무 좋네 [2][%] 웹땔감(webfirewood) | 18.09.15추천 0
-
람다 대수 강의가 너무 이론적이라서 노잼인가요? [6][%] 기괴공학도(mecheng98) | 18.09.15추천 0
-
그런데 C++ 문제가 배울게 너무 많다는거임 [9][%] 0xrgb(0xrgb) | 18.09.15추천 1
보통 PL에서 나오면 한 20-30년 지나야 유행타고 실제 구현되고 그럼. dependent-/refinement type도 사실 20세기 후반 교재들에 많이 나옴.