디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

Ada 프로그래밍: 4.1.3 강타입 시스템 (strong typing)

나르시갤로그로 이동합니다. 2025.10.26 04:35:29
조회 40 추천 0 댓글 0

4.1.3 강타입 시스템 (strong typing)

Ada 언어는 강타입 시스템(strong typing)을 채택하고 있습니다. 이는 언어의 타입 규칙이 프로그램 실행 전에, 즉 컴파일 시점에서 엄격하게 적용됨을 의미합니다.

강타입 시스템에서는 서로 다른 타입의 값들이 논리적으로 호환되지 않는 한 암시적으로(implicitly) 혼용될 수 없습니다. 예를 들어, Integer 타입의 객체와 Float 타입의 객체는 + 연산자로 직접 더할 수 없습니다.

이러한 규칙은 동일한 부모 타입에서 파생된 타입들에도 동일하게 적용됩니다. 예를 들어,

type T1 is new Integer;
type T2 is new Integer;

와 같이 선언된 두 타입은 모두 Integer를 기반으로 하지만, Ada 컴파일러는 이를 서로 구별되는(distinct) 타입으로 간주합니다. 따라서 T1타입 변수에 T2 타입 변수의 값을 직접 할당하는 것은 허용되지 않습니다.

이처럼 Ada의 엄격한 타입 검사는 타입 불일치로 인해 발생할 수 있는 잠재적인 데이터 손상이나 논리적 오류를 실행 시점(run-time)이 아닌 컴파일 시점(compile-time)에 미리 발견하도록 합니다.

만약 프로그래머가 서로 다른 타입 간의 연산이나 할당을 수행해야 한다면, 반드시 명시적인 타입 변환(explicit type conversion) 구문을 사용해야 합니다. 이러한 타입 변환의 구체적인 규칙은 본 장의 4.8절에서 자세히 다룹니다.?


추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 영포티룩도 멋지게 소화할 것 같은 40대 스타는? 운영자 25/10/27 - -
AD 할로윈 슈퍼위크~!! 운영자 25/10/23 - -
공지 프로그래밍 갤러리 이용 안내 [97] 운영자 20.09.28 48244 65
2898823 신서사이저 ROM 덤프 아카이브 발명도둑잡기(118.216) 05:19 3 0
2898822 민주당 논평: 장동혁 대표의 기자회견, ‘스미골’같다 발명도둑잡기(118.216) 05:01 6 0
2898821 이재명 민생지원금 정책 따라하는 대만 야옹아저씨갤로그로 이동합니다. 04:19 14 0
2898820 자바 원래 ㅈ같음? ㅇㅇ(223.38) 03:35 12 0
2898804 걍 컨테이너 레지스트리 오라클꺼 써야겠다 노력갤로그로 이동합니다. 01:45 15 0
2898792 ㄴㄴ 네가 틀렸음 에이도비갤로그로 이동합니다. 00:07 37 0
2898790 Chatter BBS 캡챠 껐습니다 [1] 파란빤스갤로그로 이동합니다. 10.26 27 0
2898789 옛날에야 연고대 입학 문제 어려웠는데 류류(121.160) 10.26 32 0
2898778 GUI 프레임워크 추천 좀 [7] 프갤러(125.240) 10.26 60 0
2898774 와 대학원 강사 자료받았는데 심각하노 ㅆㅇㅆ(124.216) 10.26 59 0
2898769 데이터엔지니어 취업 [13] 프갤러(218.39) 10.26 113 0
2898768 개발을 잘하고 싶다 [3] 프갤러(125.240) 10.26 68 0
2898767 ㅋㅅㅋ [3] ♥벼락부자냥덩♥갤로그로 이동합니다. 10.26 47 0
2898766 내일 출근한다 ㅇㅇ(223.38) 10.26 27 0
2898762 나 k8s 이론은 아는데 바로 해볼 환경은 안되서 k3s 도전 ㅆㅇㅆ(124.216) 10.26 34 0
2898761 스트링부트가 잼있네 [2] ㅇㅇ(223.38) 10.26 47 0
2898760 [고수들만] 프로그램 개발할건데 어떤 프로그램이 필요한가요? [5] 프갤러(39.113) 10.26 55 0
2898759 결국엔 함수형도 러스트로 귀결 되는구나. [4] 프갤러(110.8) 10.26 60 0
2898757 나님 투명하구 순수행..⭐+ [11] ♥벼락부자냥덩♥갤로그로 이동합니다. 10.26 71 0
2898755 그리고 함수형의 장점이 Result 패턴이랑 결합해야 올라감 [3] ㅆㅇㅆ(124.216) 10.26 64 0
2898753 오늘하루망했네 [10] 노력갤로그로 이동합니다. 10.26 84 0
2898752 C++ 인생 40 년 갈아 넣었습니다. [1] 프갤러(59.16) 10.26 43 0
2898751 나님 디기즁 ♥벼락부자냥덩♥갤로그로 이동합니다. 10.26 33 0
2898750 님들 저 졸업작품 주제 추천좀요 ㅜ.ㅜ [3] 공기역학갤로그로 이동합니다. 10.26 54 0
2898749 함수형을 쓴건 그게 싱글톤보다 성능이 좋아서가 아니라 확장성이 좋음 ㅆㅇㅆ(124.216) 10.26 44 0
2898748 프로그래머가 수명이 짧은 이유 잦은 이직 프갤러(220.85) 10.26 54 0
2898747 디시콘 카톡에서 재생되는 버그 기억 나는 사람??? [4] ㅇㅇ(211.46) 10.26 33 0
2898743 함수형 캡쳐 다뤄본 결과 [3] 에이도비갤로그로 이동합니다. 10.26 62 0
2898741 돈 없으면 노력을 해 chironpractor갤로그로 이동합니다. 10.26 36 0
2898738 김제동 헌법조무사라던데 이유가 뭔가요? [3] 프갤러(49.165) 10.26 56 0
2898736 나님의금고얌.. ㅇㅁㅇ [3] 따당갤로그로 이동합니다. 10.26 60 0
2898735 지옥에서 돌아온 형보수지의 악마 드럼통맨 ㄷㅅㄷ ♥벼락부자냥덩♥갤로그로 이동합니다. 10.26 42 0
2898731 엄청 피곤해서 점심먹고 지금까지 잤네 [3] 프갤러(110.8) 10.26 39 0
2898730 흠.. 나님 끙야느낌적인느낌.. ♥벼락부자냥덩♥갤로그로 이동합니다. 10.26 14 0
2898729 나는 ㅆㅇㅆ 응원함 [4] ㅇㅇ(51.89) 10.26 77 3
2898727 불투명한 얼음조각 같은 너와 나님의 거리~ [2] ♥벼락부자냥덩♥갤로그로 이동합니다. 10.26 48 0
2898725 에궁 나님 체딸이당 가서 글이나 좀 써볼깡 ♥벼락부자냥덩♥갤로그로 이동합니다. 10.26 38 0
2898724 근로자의날 노동절로 바꿈 [1] 발명도둑잡기(118.216) 10.26 37 0
2898723 [단독] 요기요 3년간 리뷰 79% 삭제 발명도둑잡기(118.216) 10.26 31 0
2898721 냥덩이의 평소 비열함이 무의식적 컴플렉스를 가져오고있다 발명도둑잡기(118.216) 10.26 18 0
2898720 음기 충전 발명도둑잡기(118.216) 10.26 42 0
2898719 대법원 "지귀연 접대의혹 징계사유로 보기 어렵다" 봐주기? 발명도둑잡기(118.216) 10.26 16 0
2898718 대법, 제식구 감싸기식 감사 발표…더 커진 지귀연 접대 의혹 발명도둑잡기(118.216) 10.26 16 0
2898714 클라우드관련 취업하고싶은 입문자인데요 프갤러(118.37) 10.26 45 0
2898713 “자폐증, 뇌가 아니라 ‘장’ 때문이다?” 발명도둑잡기(118.216) 10.26 21 0
2898712 조직적으로 중국을 음해하려는 세력이 잇는건 분명함 [9] 야옹아저씨갤로그로 이동합니다. 10.26 61 5
2898710 공산주의 친중매국당 [3] ♥벼락부자냥덩♥갤로그로 이동합니다. 10.26 63 1
2898708 저녁 먹구 ♥벼락부자냥덩♥갤로그로 이동합니다. 10.26 46 0
2898707 탈북민출신 정치인들이 범좌파정당에 못가는 이유는? [2] chironpractor갤로그로 이동합니다. 10.26 37 1
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

디시미디어

디시이슈

1/2