의미론적 원자대표 카탈로그
12개 카테고리의 대표 모티프(버전드). 고정 목록이 아니며 발췌 예시입니다.
12개 원자 카테고리
각 카테고리는 특정 계산 영역의 의미론적 개념들을 체계적으로 분류합니다
제어 & 흐름
12순차/분기/루프/양보/대기/자원 경계 등 제어 흐름
• 순차
• 분기
• 다중분기
• 루프
... 총 12개
데이터 & 상태
12선언/할당/접근/구성/변환/집계/복사/이동/검증
• 선언
• 할당
• 접근
• 구성
... 총 12개
함수 & 추상화
11정의/람다/적용/합성/부분적용/커링/재귀/코루틴/고정점/클로저
• 정의
• 람다
• 적용
• 합성
... 총 11개
타입 & 패턴
10타입 주석·추론/합·곱/서브타입/매칭/다형성
• 타입
• 합타입
• 곱타입
• 유니온
... 총 10개
예외 & 효과
6try/catch/raise/트랜잭션/중단/효과경계
• 시도
• 처리
• 신호
• 트랜잭션
... 총 6개
동시성 & 스케줄링
9스레드/동기화/원자성/채널/퓨처/액터/메모리순서/타이머
• 스레드
• 동기화
• 원자성
• 채널
... 총 9개
메모리 & 리소스
7할당/해제/참조/수명/GC/핀/안전
• 할당
• 해제
• 참조
• 수명
... 총 7개
I/O & 시스템
9파일/스트림/네트워크/콘솔/프로세스/환경
• 파일
• 스트림
• 네트워크
• 콘솔
... 총 9개
모듈 & 네임스페이스
4임포트/익스포트/모듈/별칭
• 임포트
• 익스포트
• 모듈
• 별칭
메타 & 애너테이션
3어트리뷰트/지시문/문서
• 어트리뷰트
• 지시문
• 문서
합성 & 파이프라인
5파이프/맵/필터/축약/서브그래프
• 파이프
• 맵
• 필터
• 축약
... 총 5개
오버레이(경계·출처)
4A/B/C 클래스와 출처 뱃지(문자열·문법 비공개)
• Overlay‑A
• Overlay‑B
• Overlay‑C
• SRC 뱃지
상세 원자 목록
대표 목록(발췌). 전체 목록은 내부 레지스트리 기준.
제어 & 흐름
12 개순차/분기/루프/양보/대기/자원 경계 등 제어 흐름
순차
분기
다중분기
루프
순회
점프
반환
양보
대기
자원경계
도달불가
단언
데이터 & 상태
12 개선언/할당/접근/구성/변환/집계/복사/이동/검증
선언
할당
접근
구성
소멸
변환
집계
복사
이동
검증
상수
리터럴
함수 & 추상화
11 개정의/람다/적용/합성/부분적용/커링/재귀/코루틴/고정점/클로저
정의
람다
적용
합성
부분적용
커링
재귀
제너레이터
코루틴
고정점
클로저
타입 & 패턴
10 개타입 주석·추론/합·곱/서브타입/매칭/다형성
타입
합타입
곱타입
유니온
교집합
서브타입
동치
다형성
패턴매칭
추론
예외 & 효과
6 개try/catch/raise/트랜잭션/중단/효과경계
시도
처리
신호
트랜잭션
중단
효과경계
동시성 & 스케줄링
9 개스레드/동기화/원자성/채널/퓨처/액터/메모리순서/타이머
스레드
동기화
원자성
채널
퓨처
액터
메시지
순서
타이머
메모리 & 리소스
7 개할당/해제/참조/수명/GC/핀/안전
할당
해제
참조
수명
GC
핀
안전
I/O & 시스템
9 개파일/스트림/네트워크/콘솔/프로세스/환경
파일
스트림
네트워크
콘솔
프로세스
환경
읽기
쓰기
열기
모듈 & 네임스페이스
4 개임포트/익스포트/모듈/별칭
임포트
익스포트
모듈
별칭
메타 & 애너테이션
3 개어트리뷰트/지시문/문서
어트리뷰트
지시문
문서
합성 & 파이프라인
5 개파이프/맵/필터/축약/서브그래프
파이프
맵
필터
축약
서브그래프
오버레이(경계·출처)
4 개A/B/C 클래스와 출처 뱃지(문자열·문법 비공개)
Overlay‑A
Overlay‑B
Overlay‑C
SRC 뱃지
v4.3 변경 요약
체계적 분류
- • 12개 카테고리로 논리적 그룹화
- • 대표군은 버전드 카탈로그로 관리
- • 언어 간 일관된 정렬 규칙
- • 확장 가능한 분류 체계
오버레이 클래스
- • 구체 문자열 제거 → A/B/C 클래스 의미만 공개
- • 시각 효과(색/투명도/테두리)로만 표기
- • 출처 뱃지는 메타로 분리
- • 의미 투영 과정 투명성
시각화 연동
- • 그리스 문자 ID 체계
- • 포트 기술형 라벨 표기
- • 색상 토큰 기반 테마
- • 다중 레이아웃 모드 지원
언어 독립성
- • 대표적 다중 패러다임 대상(상세 목록 비공개)
- • 정규화 일관성 지향(경계 사례 분리)
- • 구문적 차이 추상화
- • 본질적 의미 보존 지향