있으면 최대한 비슷한 거 추천 좀
그리고 헤비하게 쓰진 않지만 강타입 언어 중에 실용적으로 쓸만한 언어도 추천 좀.
[질문] 아 근데 혹시 타입이나 범주론 존나 헤비하게 쓰는 언어 있음?
익명(121.150)
2020-02-08 15:21
추천 0
댓글 5
다른 게시글
-
근데 디시에서 esno 이거는 어디서 나온거임? [7][%] 익명(121.150) | 20.02.08추천 0
-
파폭으로 환승했는데 생각보다 괜찮네 [6][%] 익명(14.49) | 20.02.08추천 0
-
딥러닝 빡고수 깃붕이들아 질문좀 [10][%] 익명(59.24) | 20.02.08추천 0
-
루비도 구현체 꽤 많음[%] 익명(104.238) | 20.02.08추천 0
-
자바스크립트 뉴비 질문좀 [4][%] 익명(1.240) | 20.02.08추천 0
-
함수의 λ를 조금은 알 거 같음 [4][%] 익명(rhetoricofdeath) | 20.02.08추천 2
-
게딱지 [2][%] ஐ(bemanisokr) | 20.02.08추천 0
-
how to exit vim[%] ㅇㄹ(rerereq) | 20.02.08추천 0
-
그래도 여기가 프갤보단 나음 [1][%] 익명(59.24) | 20.02.08추천 0
-
파이썬보다는 차라리 루비가 떴어야 했다 [6][%] 익명(104.238) | 20.02.08추천 0
Haskell아님?
하스켈과 idris를 찾아보세용
헤비한 순으로 Agda - Idris - Haskell
Coq
F*