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

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

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

조회 93 추천 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	-	-
2870009	정크푸드 케이라면	발명도둑잡기(118.216)	07.05	80	0
2870008	뭐지? 지진? 우리집인가? 40년된 주택	넥도리아(112.170)	07.05	72	0
2870006	고춧가루	ㅇㅇ(117.111)	07.05	62	0
2870004	스마트팜 아두이노로는 턱도 없어서 PLC 해야함 [2]	ㅆㅇㅆ(124.216)	07.05	152	0
2870003	나 귀농하려고 스마트팜 아두이노 만들고 있음 [1]	프갤러(14.5)	07.05	150	0
2870002	내얼굴 ㅁㅌㅊ냐 [1]	ㅇㅇ(222.108)	07.05	135	0
2870000	GPT로 궁합분석하는 웹사이트를 만들었는데 같이 돈벌어볼 사람있나..?	프갤러(218.152)	07.05	90	0
2869999	윤건영, ‘외환죄’ 정조준.. “‘기밀’ 운운하는 자 내란공범”	발명도둑잡기(118.216)	07.05	136	0
2869998	유니티 라이프 사이클은 템플릿 매서드랑 관련해서 설명했음 [1]	ㅆㅇㅆ(124.216)	07.05	126	0
2869997	뉴스1의 ‘삼부토건, 유튜브 운영자 고소’ 보도 이상한 이유	발명도둑잡기(118.216)	07.05	100	0
2869996	나님 목소리 최초 공개❤+ [2/1]	♥냥덩이♥	07.05	137	0
2869995	시간당 13000원에 주 2회 학생 2명 하루 2시간 가르치거든 [2]	ㅆㅇㅆ(124.216)	07.05	115	0
2869994	학생한테 zenject를 쓰라고 해야하긴하는데 내 자신이 zenject [2]	ㅆㅇㅆ(124.216)	07.05	114	0
2869992	납골공원에 장기두는 할배들이 없구나 [6]	헬마스터	07.05	131	0
2869991	일 존나 빡세게 하니까 벌써 10시고 [2]	ㅆㅇㅆ(124.216)	07.05	106	0
2869990	오늘 과외하는 학생에게 가르친것 정리 중 [11]	ㅆㅇㅆ(124.216)	07.05	186	0
2869989	원래 병신들이 많은 직업군이냐? [4]	ㅇㅇ(218.232)	07.05	131	0
2869988	와근데 이세돌인가 그거하는 애들 해킹 빡고수네 [3]	ㅆㅇㅆ(124.216)	07.05	197	0
2869986	패킹 된거 스텁 푸는데 [7]	류도그담당(58.239)	07.05	124	0
2869984	펌웨어나 장비 개발자 좋은 점 [3]	ㅇㅇ(223.38)	07.05	168	0
2869982	늙어서 힘들다	ㅆㅇㅆ(124.216)	07.05	88	0
2869981	나님 누엇어양.. 제발 그만해 [1]	♥냥덩이♥	07.05	90	0
2869980	역류기 ip주소 뭔 원리냐? [1]	ㅇㅇ(221.155)	07.05	120	0
2869979	펌웨어 개발자 되고싶은 컴공생인데요 [16]	프갤러(118.235)	07.05	270	0
2869978	행복한 휴가 사용계획	개멍청한유라	07.05	98	0
2869977	날이 덥다	개멍청한유라	07.05	81	0
2869976	별이 빛나는 밤⭐+ [1]	♥냥덩이♥	07.05	102	0
2869975	부산시민은 25만원 필요 없어	발명도둑잡기(118.216)	07.05	112	1
2869974	아직도 언어타령하네 ㅋ [20]	개멍청한유라	07.05	190	0
2869972	내가 고는 1주일만에 땟거든? 러스트는 1년째 초급수준	프갤러(110.8)	07.05	93	0
2869970	왜 우리는 노무사 노무진에 열광했나? 한국식 사회고발물의 진실	발명도둑잡기(118.216)	07.05	91	0
2869969	몇살부터 백수면 비정상임? [13]	아스카영원히사랑해	07.05	173	0
2869968	갤에서 러스트 어그로 끄는거보다 그냥 겜 하는게 낫다는 전략적 판단 [6]	프갤러(110.8)	07.05	154	0
2869966	Java가 좋아서 하냐 [4]	ㅇㅇ(210.178)	07.05	144	0
2869964	나는조현병이야 나는내향적이야	손발이시립디다	07.05	85	0
2869962	코볼은 현재 얼마나 쓰임? [3]	ㅇㅇ	07.05	112	0
2869961	누가 멍유 좀 내쫓아봐 [1]	♥냥덩이♥	07.05	103	0
2869960	중요한 것은 내가 러스트 언어의 잠재력을 봤다는거지	프갤러(27.177)	07.05	88	0
2869958	겜 좀 했더니 전략적 판단력이 올라가네	프갤러(211.234)	07.05	93	0
2869956	오랜만에 겜 좀 했더니 러스트가 그렇게 중요한가 싶다. [5]	프갤러(211.234)	07.05	110	0
2869953	엄마냥과 아가냥❤+ [1]	♥냥덩이♥	07.05	97	0
2869951	러스트쟁이들이 많아져야한다	뒷통수한방(1.213)	07.05	99	0
2869950	좇센만큼살기좋은나라가어딨다고 에휴 ㅉㅉ	뒷통수한방(1.213)	07.05	86	0
2869949	집으로 가장~	♥냥덩이♥	07.05	73	0
2869948	새끼냥이 울고 있어양.. 주울깡..? [1]	♥냥덩이♥	07.05	101	0
2869947	폭똥 쌌당.. [1]	♥냥덩이♥	07.05	87	0
2869946	로또 당첨됐다.	ㅇㅇ(211.235)	07.05	84	0
2869944	❤✨☀⭐나님 시작합니당⭐☀✨❤ [1]	♥냥덩이♥	07.05	102	0
2869942	이재명씨는 왜 스윗식스티가 됐을까? [3]	헬마스터	07.05	140	0
2869940	나경원 이 사진이 안웃기냐? [1]	헬마스터	07.05	183	0