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

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

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

조회 90 추천 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	-	-
2871152	근데 확실한 건 윤보다 찢이 낫다는 거임 [4]	아스카영원히사랑해	07.12	136	0
2871149	오늘하루도 코딩을 열심히하였다	ㅆㅇㅆ(124.216)	07.12	63	0
2871143	코드구조를 잘짜는 수련? 은 어떻게해야할까요 [1]	프갤러(125.240)	07.12	112	0
2871142	Building a breadboard MSX computer	발명도둑잡기(118.235)	07.12	70	0
2871141	A Simple-as-Possible 8-bit Breadboard Co	발명도둑잡기(118.235)	07.12	63	0
2871139	6년전에 썼던 한페이지 짜리 코딩	msnr	07.12	97	0
2871136	여자친구랑 배드민톤 치고싶다	발명도둑잡기(118.235)	07.12	71	0
2871135	세계 바둑 순위	발명도둑잡기(118.235)	07.12	77	0
2871132	물 속에서 꺼낸 충격의 물고기	발명도둑잡기(118.235)	07.12	73	0
2871131	결국 웹앱개발이 도태되고 임베디드가 승리하는군	네오커헠(211.235)	07.12	174	0
2871129	방 치웠더니 등이 아프구나	발명도둑잡기(118.235)	07.12	87	0
2871128	내 나이 46살, 30대 여성과 사귀고싶다	발명도둑잡기(110.70)	07.12	92	0
2871126	바이브코딩이 ㅈㄴ 열받는 이유	프갤러(115.138)	07.12	177	0
2871125	제조업 MFC 쓰는 이유 [4]	피자2021(58.235)	07.12	157	0
2871124	2재명 좌파정부 여가부장관 후보 부정비리갑질 의혹 연이어 터져 특검 필요	♥로스트미디어냥덩이♥	07.12	96	0
2871123	흠.. 그런겅강.. 기계적 리듬으로 안됭	♥로스트미디어냥덩이♥	07.12	89	0
2871122	[IT산업] AI 개발자가 가능하다면 설계는 어떻게 될까?.. [1]	+abcd3421	07.12	139	0
2871120	왜 장비제어 프로그램은 다 MFC인가요? [3]	노력하는자	07.12	168	0
2871117	인생 망했다 [1]	피자2021(58.235)	07.12	89	1
2871115	고등학생인것 같다는 얘기 들었다 [7]	헬마스터	07.12	156	0
2871114	국비 강사새끼들 다뒤졌네	프갤러(106.102)	07.12	244	0
2871113	트럼프는 슈퍼맨도 이민자라고 추방할 예정 [1]	발명도둑잡기(118.216)	07.12	97	0
2871112	성인 넷 중 한 명만 중강도 이상 신체활동…"부족률 세계 1.9배"	발명도둑잡기(118.216)	07.12	86	0
2871111	요즘 코드 짜주는 도우미 AI 중에 쓸만한 것은 뭐있냐 ? [6]	♨2.97™	07.12	128	0
2871110	10만 대기. 궁금한 거 물어봐. 다 대답해줌 [1]	프갤러(121.172)	07.12	86	0
2871109	웹페이지만드는데 궁금한거 있는데 [1]	프갤러(211.196)	07.12	115	0
2871107	짱깨좌빨척살 !	♥로스트미디어냥덩이♥	07.12	84	0
2871105	나님 낮술 때리니 기분이 Joker등여~⭐+	♥로스트미디어냥덩이♥	07.12	77	0
2871104	웹앱땔깜들 소멸이얼마남지않았다	네오커헠(211.235)	07.12	120	0
2871101	냥덩이❤+가 지배하는 세상⭐+ [3]	♥로스트미디어냥덩이♥	07.12	98	0
2871100	선임 육휴가고 경력자 뽑아서 그자리채웟는데 [6]	ㅇㅇ(211.234)	07.12	139	0
2871099	전철에 비실이할머니 [1]	개멍청한유라	07.12	88	0
2871098	백종원 보다가 은현장 보니깐 천사가 따로없네 [8]	야옹아저씨	07.12	957	6
2871097	킬링필드의 진실, 그 때 미군 폭격이 있었다 [1]	발명도둑잡기(118.216)	07.12	118	0
2871095	고수준 개발자들은 gpu 개비싼거 사서 api키 따로 안씀?	ㅇㅇ(119.194)	07.12	65	0
2871094	이게 뭐라고 신기하냐 [1]	프갤러(113.59)	07.12	91	0
2871093	관세폭탄 쳐맞고 술이나 처먹는 무능좌파 2찢명 [1]	♥로스트미디어냥덩이♥	07.12	98	0
2871092	윤석열이 싸지른 똥 이재명이 열심히 치우는 중 [1]	야옹아저씨	07.12	110	1
2871089	..!! [1]	♥로스트미디어냥덩이♥	07.12	74	0
2871088	냥덩이를 현실에서 만나고 싶다면? [2]	♥로스트미디어냥덩이♥	07.12	93	0
2871087	❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤	♥로스트미디어냥덩이♥	07.12	60	0
2871086	2재명 짱깨 셰셰	♥로스트미디어냥덩이♥	07.12	68	0
2871085	도로도로도로?	♥로스트미디어냥덩이♥	07.12	68	0
2871083	도로도로?	♥로스트미디어냥덩이♥	07.12	76	0
2871082	도로?	♥로스트미디어냥덩이♥	07.12	62	0
2871081	❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤	♥로스트미디어냥덩이♥	07.12	56	0
2871080	자전거 ㅇㅅㅇ	헤르 미온느	07.12	62	0
2871079	태연 ㅇㅅㅇ	헤르 미온느	07.12	65	0
2871078	하루 한 번 헤르미온느 찬양	헤르 미온느	07.12	62	0
2871077	나는조현병이야 나는내향적이야	손발이시립디다	07.12	68	0