디시인사이드 갤러리

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

갤러리 본문 영역

Ada 언어의 개발 방식앱에서 작성

나르시갤로그로 이동합니다. 2025.08.22 17:34:02
조회 96 추천 0 댓글 0

Ada 언어는 문법이 장황해서 소스코드가 길어집니다. 아...
그렇다고 하여 실망할 필요는 없습니다.
명세서 작성하듯 코드를 작성하면 되니까요.
함수 입력은 0..33 까지 이런식으로 문법적으로 제약을 걸 수 있어요 ㅎㅎ.
신뢰성/안전성을 위한 소프트웨어를 개발할 때
이게 굉장히 유용합니다.
런타임 체크 코드가 자동 삽입되어 디버깅용 코드를 별도로 추가할 필요성이 적죠 ㅎㅎ
정수 연산시 오버 플로 검사, 배열 인덱스, 경계 검사, 널 체크 등 각종 검사 코드가 삽입됩니다. 언어 스펙에 런타임 검사가 명시되어 있어요 ㅎㅎ
컴파일 옵션으로 검사 코드 제거도 됩니다. ㅎㅎ
디버깅하기도 개좋아요.
예전에 러스트 빠돌이가 이러한 헛소리를 한 적이 있어요. 러스트로 작성하면 메모리 안전성이 보장되기 때문에 결론적으로 c/c++ 디버깅 시간을 고려하면 러스트로 작성하는게 득이라고 말이죠.
같은 논리라면 러스트 쓰지 말고 Ada를 사용해야 되는 겁니다. ㅎㅎ
Ada는 러스트보다 사용하기 쉽고 컴파일 타임 체크, 런타임 체크 등 안전성 따지면 아주 우수하죠 ㅎㅎㅁ

추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 순간의 말실수로 이미지 타격이 큰 것 같은 스타는? 운영자 25/09/01 - -
AD 신학기 레벨업~!! 운영자 25/09/05 - -
2883834 임재범-이 밤이 지나면 표절이었구나 발명도둑잡기갤로그로 이동합니다. 08.23 105 0
2883833 신승훈-소녀에게 (Hey Girl) 발명도둑잡기갤로그로 이동합니다. 08.23 64 0
2883832 나님 디진다돈가스 후기 ♥냥덩코패쓰♥갤로그로 이동합니다. 08.23 62 0
2883831 오늘 작은 동생이 MBA 졸업했다 발명도둑잡기갤로그로 이동합니다. 08.23 72 0
2883830 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩코패쓰♥갤로그로 이동합니다. 08.23 55 0
2883828 나님 누엇어양⭐+ ♥냥덩Art♥갤로그로 이동합니다. 08.23 66 0
2883827 세상에서 한 커플만 연애한다면? "세계 유일의 연인" 발명도둑잡기갤로그로 이동합니다. 08.23 59 0
2883825 카카오톡이나 당근같은 메신저앱 만들기쉽냐 ㅇㅇ(61.39) 08.23 80 0
2883823 주변 사람들 다 이민 갔거나 최소 준비중임 [1] ♥냥덩Art♥갤로그로 이동합니다. 08.23 85 0
2883822 '러스트 빌림 검사기가 에러를 뿜어서 방해된다.' 수준미달이군요. [2] 프갤러(211.235) 08.23 88 0
2883821 인생설계끝 그래봤자방통대인생(118.235) 08.23 73 0
2883818 온라인서 금사도되냐 김지용(222.100) 08.23 59 0
2883816 온라인에서 없어진 캐논 광고 발명도둑잡기갤로그로 이동합니다. 08.23 68 0
2883813 정의의 캐산(신조인간 캐산) 한국판 OP 주제가 발명도둑잡기갤로그로 이동합니다. 08.23 52 0
2883811 똘이와 제타로보트 발명도둑잡기갤로그로 이동합니다. 08.23 60 0
2883809 시스템 엔지니어 취업했다 조언좀. [1] 프갤러(49.109) 08.23 176 0
2883808 미군 NSA가 만든 ghidra 이름이 기드라인 이유 발명도둑잡기갤로그로 이동합니다. 08.23 76 0
2883803 케이블은 여러개 있는데 기기락이 있다. 넥도리아(223.38) 08.23 68 0
2883801 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩Art♥갤로그로 이동합니다. 08.23 66 0
2883799 애널 꿀잠느낌 ♥냥덩Art♥갤로그로 이동합니다. 08.23 80 0
2883798 러스트 사용하면 왜 인성이 망가질까 나르시갤로그로 이동합니다. 08.23 72 0
2883797 Sony 케이블 고장나서 DIY할 수 있을까... [3] 넥도리아(223.38) 08.23 92 0
2883796 취업하고 십따 무관갤로그로 이동합니다. 08.23 69 0
2883795 애니로 언제나오려낭.. ♥냥덩Art♥갤로그로 이동합니다. 08.23 59 0
2883794 시노자키 아이와 섹스 100회 vs 머기업 취업 [3] 아스카영원히사랑해갤로그로 이동합니다. 08.23 187 0
2883793 러스트는 패러다임이 문제인게 맞습니다 나르시갤로그로 이동합니다. 08.23 68 0
2883792 냥줍덩줍❤+ ♥냥덩Art♥갤로그로 이동합니다. 08.23 73 0
2883791 나 요즘 세부구현 점점 잊는데 이게 맞나싶다 ㅆㅇㅆ(124.216) 08.23 85 0
2883789 ❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ ♥냥덩Art♥갤로그로 이동합니다. 08.23 56 0
2883788 프붕친구들 오늘도 로우레벨로 웹을 하는 간지나는 자신을 꿈꾸나 보구만 ㅇㅇ갤로그로 이동합니다. 08.23 79 0
2883787 모투 서비스 할라면 자문업 등록 해야함. [1] ㅆㅇㅆ(124.216) 08.23 80 0
2883786 모의투자서비스 만들어보고싶은데 쓸만한api가 없노 [2] 밀우갤로그로 이동합니다. 08.23 93 0
2883783 자바 씨샵 파이썬 다 내부적으로 c 돌리는거 맞음? [3] ㅇㅇ(110.10) 08.23 119 0
2883781 ghidra 간만에 만지는데 [2] ㅇ.ㅇ(59.151) 08.23 84 0
2883780 33살인데 이 스펙이면 관세사 도전 해볼까? [1] ㅇㅇ(118.235) 08.23 104 0
2883779 장원영 약간 부정적 인식이었는대 컨셉을 넘어서 태도가 된게 보이니 ♥냥덩Art♥갤로그로 이동합니다. 08.23 102 0
2883778 확실히 낮은 짧아지는게 보임 ♥냥덩Art♥갤로그로 이동합니다. 08.23 82 0
2883777 그대는 어떻게 살것인가 공기역학갤로그로 이동합니다. 08.23 76 0
2883776 날씨 거의씹 ♥냥덩Art♥갤로그로 이동합니다. 08.23 85 0
2883775 앎이란 마법을 현실의 원리로 끌어내리는 과정 ♥냥덩Art♥갤로그로 이동합니다. 08.23 67 0
2883773 전공만 뽑는다 ♥냥덩Art♥갤로그로 이동합니다. 08.23 98 0
2883772 다른 게임 안티치트 분석하는데 [4] 루도그담당(58.239) 08.23 100 0
2883771 오후우와 이야기의 핵심에 다가가는 해설 - 표지 변경! 프갤러(121.172) 08.23 59 0
2883770 UpWork쪽도 의뢰 들어왔는데 UpWork가 한국 사이트보다 안좋은듯 ㅆㅇㅆ(124.216) 08.23 78 0
2883769 오늘도 한 건 해결 [3] ㅆㅇㅆ(124.216) 08.23 98 0
2883768 1찍둥절~ ♥냥덩Art♥갤로그로 이동합니다. 08.23 63 0
2883767 인생 진로 조언좀 제발... [3] ㅇㅇ(118.235) 08.23 130 0
2883765 러스트는 어디서 뿅 하고 튀어나온게 아니라 그간의 교훈을 집대성한 언어 [4] 프갤러(221.146) 08.23 90 0
2883764 베네수엘라 앞바다 미군함 집결 뭐노? [1] 아스카영원히사랑해갤로그로 이동합니다. 08.23 115 0
2883762 나님 한 달 가계부 최초공개⭐+ ♥냥덩Art♥갤로그로 이동합니다. 08.23 75 0
뉴스 '착한 여자 부세미' 서현우, 개천에서 용이 된 돈미변(돈에 미친 변호사) 등장! 전여빈의 위장생활 속 가장 든든한 조력자 된다! 디시트렌드 09.05
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2