PL
algebraic type
- 조립식 타입
댓글 11개
KC
Kwanghoon Choi·일 년 전
algebraic의 뜻에 함수 타입 보다 더학고, 곱하고, 반복해서(recursive) 쌓는 타입의 의미가 아닌가 싶습니다.
data Tree = Leaf Int | Node Tree Tree
합곱순 타입 (순환)
합곱재 타입 (재사용, 재생산)
합곱회 타입 (반복 회수)
이
이광근/YiKwangkeun·일 년 전
우선은 +, x, ^ 이 세가지가 포함되야 "algebraic" 아닐까해요. 프로그램에서 만드는 데이터구조에 함수가 빠지면 안될게고요.
"조립식"이라고하면 만든 것가지고 반복해서 그 위에 다시 만들어 쌓아가는 느낌이 전달되면 좋은데. 조금 부족한듯 해요.
모두를 쉽게 담는 용어를 찾아봅시다.
이"
이재호 "Zeta"·조립식 타입·2년 전
본질은 결국 타입을 조립할 수 있다는 점이 아닐까요?
이
이광근/YiKwangkeun·2년 전
나쁘지 않은데요!
이"
이재호 "Zeta"·일 년 전
다시 생각해보아도 (조립식 타입 : 조립식 효과 = algebraic types : algebraic effects)가 끌립니다. Algebraic structure도 덧곱승 연산 이외에 일반적인 연산자와 그것이 지키는 성질을 다루는 점을 생각해보면, 오히려 본질은 덧셈 곱셈이 아니라 이들을 조립할 수 있는 구조를 갖췄다는 점 같습니다.
이
이광근/YiKwangkeun·2년 전
합하기, 곱하기, 승하기 순서(쎄지는 순서?)로 놓는데, "합곱승"은 읽기 어려운듯해서 "합하기" 대신에 "더하기"의 "더"를 사용해봤네요.
이
이광근/YiKwangkeun·2년 전
타입구조를 합하기(t+t), 곱하기(t x t), 승하기(t -> t)로 언제나 맘껏 만들 수 있는 경우를 말하는데요. "합", "곱", "승"을 읽기편한 순서로 짜보았습니다. "알지브레익 타입"이나 "대수 타입" 보다는 어떤가요?
이
이광근/YiKwangkeun·2년 전
곱을 가지고 합해야만 "algebraic type"은 아니고, 타입구조로 곱 타입/합 타입/함수 타입 등을 맘대로 섞어서 만들 수 있으면 "algebraic type"이라고 하는데.. 촌철살인 쉬운말로 뭐가 있을까요?
이"
이재호 "Zeta"·2년 전
ML 계열 함수형 언어에서 algebraic type을 정의할 때를 떠올려보면, 여러 갈래(합)를 생각하고 각 갈래는 여러 값을 묶은 값(곱)으로 정의를 합니다.
참고: "In general, an algebraic type specifies a sum of one or more alternatives, where each alternative is a product of zero or more fields." --'A History of Haskell: Being Lazy With Class' (Paul Hudak, John Hughes, Simon Peyton Jones, Philip Wadler)에서
이
이광근/YiKwangkeun·2년 전
곱을 가지고 합해야만 "algebraic type"은 아니고, 타입구조로 곱 타입/합 타입/함수 타입 등을 맘대로 섞어서 만들 수 있으면 "algebraic type"이라고 하는데.. 촌철살인 쉬운말로 뭐가 있을까요?
이
이광근/YiKwangkeun·3년 전
대수학에서 따지는 것과 거의 유사한 것을 데이타 타입에서도 따질 수 있는데. 어떤 쉬운 전문용어가 가능할까요? 힘빼고 쉽게 쉽게 전달해줄 표현을 찾습니다. 대수학에서 구경하던 구조와 유사한 구조가 데이터 타입에서도 펼쳐지는 것 때문에 영문이름이 그런것인데요.