러까의 저능함이 증명되는 순간이구나

러까의 저능함이 증명되는 순간이구나앱에서 작성

프갤러(110.8) 2025.07.03 22:09:39

조회 91 추천 0 댓글 0

7fee817eb08a61f039f281b64586263bf87fb9fd84de47aa5dc8a10978c003989c62e13912a23d3e6200dbe653e332ec72749d3a8c014e5b080097697c

a65614aa1f06b367923425495e807274d6c7aaf348b077d277989b5b62259b4c

https://m.dcinside.com/board/programming/2869438

업뎃) 동일 안전성 목표 하의 코드 비교 - Rust vs. Ada/.. - 프로그래밍 갤러리

부록 B: 동일 안전성 목표 하의 코드 비교 - Rust vs. Ada/SPARK이 부록은 본문 5장에서 철학적 차원으로 다룬 ‘의도 중심’과 ‘규칙 중심’의 설계 방식이, 실제 코드에서는 어떻게 구현되는지 구체적으로

m.dcinside.com

다음은 위 링크의 러까가 쓴 저능한 예제이다.

==========

// 이 코드는 컴파일되지 않습니다!

struct Node<'a> {

parent: Option<&'a Node<'a>>, // 부모를 가리키는 참조

// ... 다른 필드들

}

fn main() {

let mut root = Node { parent: None, /* ... */ };

// 컴파일 에러: `root`의 소유권과 빌림 규칙이 충돌합니다.

// 빌림 검사기는 이처럼 데이터가 순환 참조 구조를 갖는 것을 허용하지 않습니다.

let child = Node { parent: Some(&root), /* ... */ };

}

==========

뭔가 잘못된게 없어보여서 컴파일 해보니까 아무 이상 없이 잘 됨.

이렇게 허위사실 유포하고 다니면 욕처먹어요. 님프도 욕처먹고 다시는 오픈소스로 나대지 않겠습니다 시과하고 다니지 않았음? 책 쓴다고 나대고 다니던데 디시니까 사람들이 귀엽게 봐주는고 있는거를 좀 자각했으면 싶다.

그 와중에 코드만 보고 뭔가 이상이 없어보인다고 판단한 내 감각이 레전드.

- dc official App

고정닉 0

원본 첨부파일 2본문 이미지 다운로드

전체 댓글 0개

등록순 최신순 답글순

본문 보기

타인의 권리를 침해하거나 명예를 훼손하는 댓글은 운영원칙 및 관련 법률에 제재를 받을 수 있습니다.
Shift+Enter 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	제목	글쓴이	작성일	조회	추천
설문	대박 날 것 같아서 내 꿈에 나와줬으면 하는 스타는?	운영자	25/11/17	-	-
AD	겨울가전 SALE! 쿨한 겨울 HOT세일	운영자	25/11/12	-	-
2873110	[기획] 대한민국 최초의 랩은 무엇일까? (1993년까지)	발명도둑잡기	07.20	63	0
2873109	슈퍼 히어로 '엑스맨'에 이슬람 극단주의 암호 발견	발명도둑잡기	07.20	83	0
2873108	이동욱, 소설가 꿈꾼 3대 건달 집안 장손된다 (착한 사나이)	발명도둑잡기	07.20	92	0
2873107	해커, 공작원들 기본 마인드는 다음과 비슷하다	발명도둑잡기	07.20	78	0
2873106	냥덩이 옆집, 아래집에서 템페스트 공격해서	발명도둑잡기	07.20	95	0
2873103	조사병단에 처음 입대할당시의 마음을 기억해봐	딱닝(58.225)	07.20	101	0
2873102	찢명버그를 파리지옥에 줘봤더니 충격적 결과가?	♥삣삐냥덩♥	07.20	74	0
2873101	흠 초심과 신념을 잃은자들이 많이보이는군,	통암기클론원숭이(211.235)	07.20	77	0
2873099	그림체 넘 귀여웅 ㅜ ㅅ ㅜ ❤+	♥삣삐냥덩♥	07.20	64	0
2873096	29살 개발자 이직하려는데 조언좀 [3]	ㅇㅇ(118.235)	07.20	361	0
2873095	헤헤헷	딱찡(211.235)	07.20	61	0
2873093	냥덩이를 보고 어찌 이런 생각을 할수있는걸깡?	♥삣삐냥덩♥	07.20	66	0
2873092	늙어서 오늘도 피곤하구나	ㅆㅇㅆ(124.216)	07.20	83	0
2873091	<볼리바리안 혁명> 베네수엘라 차베스 대통령의 21세기 사회주의 혁명	발명도둑잡기	07.20	66	0
2873090	기계식 키보드가 전자파 도청에 더 안전하다고 한다	발명도둑잡기	07.20	80	0
2873089	실시간베스트 성우 글 보니 생각나는 것	발명도둑잡기	07.20	73	0
2873087	유데미 한국어번역 개 병신같이해놓고 자막이라고 처넣어놨네	ㅇㅇ(219.248)	07.20	90	0
2873085	내일 일요일인게 행복하다 ㅇㅅㅇ	가연아	07.20	96	0
2873084	❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤	♥삣삐냥덩♥	07.20	61	0
2873080	팬타그래프가 기계식보다 개인적으로 좋은데 문제는... [1]	ㅇㅇ(121.186)	07.20	112	0
2873078	C# 배우는 형아 있어? [12]	대아루단	07.20	280	0
2873076	로봇 프로그래밍할 때 티치 펜던트 아직도 씀?	프갤러(125.140)	07.20	87	0
2873074	지리 박사	발명도둑잡기	07.20	77	0
2873069	누가 나님 냥덩이 만진거야?	♥삣삐냥덩♥	07.20	72	0
2873067	6.3 부정선거론 의미없다. [1]	넥도리아(223.38)	07.20	86	0
2873065	냥덩을 보면 [1]	프갤러(185.220)	07.20	121	4
2873063	백엔드 공부 로드맵 질문 [1]	프갤러(222.112)	07.20	177	0
2873059	평화는 올까	넥도리아(223.38)	07.20	84	0
2873057	나님 문명 발전을 위해 생체실험즁	♥삣삐냥덩♥	07.20	78	0
2873055	와.. 일정 미쳤넹..	♥삣삐냥덩♥	07.20	78	0
2873054	민생지원금 사용처 제한을 좀 더 햇어야 한다고 생각함	야옹아저씨	07.20	102	0
2873052	개발자가 뉴스에서 이슈가 되려면 계급이 어느정도부터 그렇냐	프갤러(110.174)	07.20	86	0
2873050	일본 그라비아에서 똥꼬 노출은 허용이잖아	야옹아저씨	07.20	120	0
2873048	인공지능 때문에 코딩 다 망했다면서 왜 자꾸 코딩 얘길 하래 ㅋ [1]	ㅇㅇ	07.20	158	0
2873045	마일리지보다 청구할인 카드가 더 좋은거 아니에요?	질문왕(121.171)	07.20	66	0
2873041	뀨❤+	♥삣삐냥덩♥	07.20	84	0
2873040	원래 nl계 빨갱이들이 노무현 존나 싫어했는데 같은꼴 날 운명	♥삣삐냥덩♥	07.20	81	0
2873039	근본없는 2찢명 ㅋㅅㅋ 노무현 꼴 날듯	♥삣삐냥덩♥	07.20	83	0
2873038	역시 2찢명은 그냥 바지사장 이었네	♥삣삐냥덩♥	07.20	60	0
2873037	epicgames에서 문명6 무료 배포 중	발명도둑잡기	07.20	74	0
2873036	윤석열 대통령이 전쟁 막았던거네..	♥삣삐냥덩♥	07.20	110	0
2873034	나님은 사람을 좋아하지 않음	♥삣삐냥덩♥	07.20	76	0
2873032	원종이의 앱 ㅇㅅㅇ	따당(106.101)	07.20	186	2
2873031	게임개발자하고 싶은데 [4]	프갤러(106.101)	07.20	199	0
2873028	나무삼보	♥삣삐냥덩♥	07.20	70	0
2873027	❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤	♥삣삐냥덩♥	07.20	69	0
2873025	고양이 ㅇㅅㅇ	헤르 미온느	07.20	97	0
2873024	태연 ㅇㅅㅇ	헤르 미온느	07.20	76	0
2873022	하루 한 번 헤르미온느 찬양	헤르 미온느	07.20	86	0
2873020	tiobe index 에서도 ADA 언어순위 떳더라 [1]	ㅇㅇ(183.101)	07.20	121	0