ADT 때문에 structural 타입 시스템 써야하는줄 알았는데
F#은 nominative 타입 시스템이네, 트릭으로 흉내 낼 수 있다고는 함.
https://stackoverflow.com/questions/3137512/f-nominative-or-structural-typed
[%] 함수형 언어 타입시스템
익명(211.244)
2022-08-30 10:46
추천 0
댓글 7
다른 게시글
-
나랑 같이 게임 클라이언트할 사람 [3][%] 익명(175.193) | 22.08.30추천 1
-
리버싱이 젤 재밌는데[%] 익명(112.163) | 22.08.30추천 1
-
고슬람 고슬고슬...jpg [2][%] 익명(222.109) | 22.08.30추천 18
-
하이브리드 앱은 업계에서 많이 쓰임? [1][질문] 익명(112.159) | 22.08.30추천 0
-
질문있슴다 fcitx[질문] ala(125.131) | 22.08.30추천 0
-
기술 블로그 왜함? [6][%] 익명(220.73) | 22.08.30추천 2
-
db에 있는 회원 데이터 100만건 정렬해서 보여줘야 하는데 방법 추천좀 [3][질문] 익명(218.39) | 22.08.30추천 9
-
코틀린의 코루틴이 고의 고루틴보다 좋은 이유 [2][%] 익명(223.38) | 22.08.30추천 2
-
념글 언어 도구말인데 [3][%] 익명(39.7) | 22.08.30추천 12
-
벤치딸이긴 한데 fastapi가 파이썬치고 나쁘지 않은듯 [1][%] 익명(183.102) | 22.08.30추천 0
adt랑 structural이랑 무슨 관련이 있는거임?
그냥 내가 nominative 타입 시스템을 잘 몰랐던거임. sum type이 structural에서만 가능한 건 줄 알았음. 사실 지금도 모름
ML 계열하고 하스켈 전부 nominal임. structural은 typescript 같은거
OCaml이 structural이라는건 아마 row polymorphism 같은게 해당될텐데, 저런거 뺀 베이스는 nominal일걸
오... 처음 안 사실임. 내가 js/ts로 입문해서 그렇게 생각했던거 같음. 그럼 ADT는 nominal이건 structural이건 상관없다고 보는게 맞겠네?
맞네... 가만 생각해보니 상관이 없네. 타입의 정체성을 이름으로 볼건지, 구조로 볼건지 그 차이일뿐이지. ADT랑은 상관이 없네
정보 고맙읍니다