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

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

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

조회 97 추천 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/24	-	-
이슈	[디시人터뷰] 충무로가 주목하는 신예, '세계의 주인' 서수빈	운영자	25/11/24	-	-
AD	따뜻한 겨울나기! 방한용품 SALE	운영자	25/11/27	-	-
2870873	근데 보통 Cpp17 핵심 컨셉이 스트럭쳐 바인딩이라 [2]	ㅆㅇㅆ(124.216)	07.10	122	0
2870871	근데 대부분 11기준 서술이라 11기준이면 여전히 유효하긴함 [3]	ㅆㅇㅆ(124.216)	07.10	110	0
2870870	c++책 다 버렸음 [4]	ㅇㅇ(122.36)	07.10	205	0
2870868	sism도 자유롭게 휴가를 쓰고싶어요 [6]	개멍청한유라	07.10	143	0
2870866	로그는 누가만들었을까 [4]	개멍청한유라	07.10	128	0
2870864	내부고발자를 조심해야하는 이유....	ㅇㅇㅇㅇ(125.7)	07.10	77	0
2870863	애널 하루도 2재명 만큼 대한민국이 망해가는구낭..	♥냥덩이♥	07.10	78	0
2870862	❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤	♥냥덩이♥	07.10	76	0
2870861	나님 다른 프밍갤 갈만한곳 ㅊㅊ 받음 [2]	♥냥덩이♥	07.10	129	0
2870860	163 [1]	♥냥덩이♥	07.10	111	0
2870856	ㅆㅇㅆ 그록4써봄? [1]	ㅇㅇ(211.38)	07.10	114	0
2870855	나님 기도합니당❤+ [1]	♥냥덩이♥	07.10	83	0
2870854	코린이 지도편달 부탁드립다	프갤러(211.36)	07.10	83	0
2870848	나님 탈갤합니당⭐+ [1]	♥냥덩이♥	07.10	103	0
2870847	뚱뚱한데 친절한녀 귀엽지않냐? [6]	헬마스터	07.10	118	0
2870846	냥덩이를 정신병자 스토커 멍유한테서 구해줄 영웅은 없는걸깡..? [3]	♥냥덩이♥	07.10	123	0
2870845	한국인이라는 사실 자체가 언제나 부끄럽고 수치스럽다. 나는 사람이고 싶다 [2]	ㅆㅇㅆ(124.216)	07.10	126	0
2870844	LTV보다는 Y1 수익에 집중하는 태도 그게 바로 한국인.	ㅆㅇㅆ(124.216)	07.10	120	0
2870843	헉..! [1]	♥냥덩이♥	07.10	94	0
2870842	❤✨☀⭐나님 시작합니당⭐☀✨❤	♥냥덩이♥	07.10	76	0
2870841	트럼프의 좌파 카르텔 대청소 리재명 때문에 한국사람들만 피해본다	♥냥덩이♥	07.10	116	0
2870840	좌파의 특권의식과 이중성	♥냥덩이♥	07.10	56	0
2870839	한국 환경이랑 해외환경 차이는 카톡이랑 텔레그램만봐도 앎.	ㅆㅇㅆ(124.216)	07.10	108	0
2870838	현업 7년차인데 코딩테스트 개조졌음 [5]	프갤러(211.218)	07.10	537	0
2870837	집에가자	개멍청한유라	07.10	96	0
2870836	텔레그램 봇 지원해주는게 참 좋긴함. 왜 카톡은 그렇게 안할까	ㅆㅇㅆ(124.216)	07.10	106	0
2870835	텔레그램 얘기 나와서 하는 말인데 카톡 솔직히 병신임 [1]	프갤러(218.154)	07.10	103	0
2870834	텔레그램이 왜 유명한거임 [3]	ㅇㅇ(164.125)	07.10	135	0
2870833	누가 멍유 스토킹 좀 막아주면 나님 ㄹㅇ 탈갤함 [2]	♥냥덩이♥	07.10	112	0
2870832	하이닉스 평단 295,000원에 들어감 ㅜㅠ [1]	ㅇㅇ(39.7)	07.10	123	0
2870831	■컴공과에서 개발자, 전산말고 다른 진로는 없나요 [2]	ㅇㅇ	07.10	208	0
2870829	어깨 아프다 [4]	루도그담당(211.235)	07.10	109	0
2870828	연봉인상 15%면 많이 오른거냐 [3]	프갤러(220.87)	07.10	229	0
2870827	군대에서 이거 진짜 된적 있나요? [8]	프갤러(106.101)	07.10	152	0
2870826	내 몸에서 한남냄새가나요 [10]	개멍청한유라	07.10	147	0
2870825	카카오 코테 질문 [2]	프갤러(219.255)	07.10	429	0
2870824	기술토론 하는건 좋은데 과도하면 비호감임 [1]	프갤러(106.101)	07.10	137	0
2870823	냥덩이가 웅장해진당..	♥냥덩이♥	07.10	90	0
2870822	인생 참 부질 없어 [1]	프갤러(59.26)	07.10	106	0
2870821	140	♥냥덩이♥	07.10	81	0
2870820	체력은 정직하당 By 나님	♥냥덩이♥	07.10	80	0
2870819	나님 보물창고 발겨어언!!!!!!!!! [1]	♥냥덩이♥	07.10	115	0
2870818	불법 프로그램 사용하는 학원 이거 뭐임 [1]	프갤러(218.148)	07.10	127	1
2870817	뿡야하구푼데 자꾸 끙야 나오려행.. [2]	♥냥덩이♥	07.10	114	0
2870816	어떤 새끼가 ai 10배 생산성 물타기 했는진 모르겠는데 [6]	프갤러(218.154)	07.10	182	1
2870815	크래프톤 정글 게임랩 4기 / 게임테크랩 2기 (~7.18) [1]	프갤러(175.223)	07.10	362	0
2870814	파이썬 쓸꺼면 pylance 사용해서 써야함	ㅆㅇㅆ(124.216)	07.10	117	0
2870813	파이썬 좀 짜증난다. [2]	프갤러(218.154)	07.10	178	0
2870812	게임쪽이랑 서버쪽 밴엔드가 많이 다르긴해 [2]	ㅆㅇㅆ(124.216)	07.10	154	0
2870810	더럽고 치사해서 때려치기 전에 해봐야할 것	프갤러(218.154)	07.10	93	0