mojo 언어 타입추론 - 프로그래밍 갤러리

프로그래밍 갤러리

자동 짤방 이미지

이미지가 없습니다.

자동 짤방으로 사용할 이미지를 등록해 주세요.

1/3

북한 최신 스마트폰 근황 - dc official App 작성자 : DC사랑

mojo 언어 타입추론앱에서 작성

발명도둑잡기

2025.08.26 21:24:33

조회 45 추천 0 댓글 0

챗지피티

좋은 주제 집으셨어요

Mojo는 “파이썬스러운 문법 + 정적/고성능 시스템 언어”를 목표로 만든 최신 언어라서, 타입 추론(type inference) 기능도 강력합니다.

Mojo의 타입 시스템 개요

정적 타입 + MLIR/LLVM 기반 최적화

함수/변수 선언 시 타입을 명시할 수도 있고, 타입을 생략하면 추론합니다.

파이썬처럼 동적 느낌을 주면서도, 내부적으로는 정적 타입 컴파일이 일어납니다.

변수 타입 추론

let a = 10 # a: Int로 추론 let b = 3.14 # b: Float64로 추론 let s = "hi" # s: String로 추론

→ 초기화 식의 타입을 보고 변수 타입을 자동 결정합니다.

함수 반환 타입 추론

fn add(x: Int, y: Int): return x + y # 반환 타입은 Int로 추론

반환 타입을 생략해도 본문에서 유도 가능.

하지만 공용 API 함수에는 타입을 명시하는 게 권장됩니다.

제네릭과 타입 매개변수 추론

fn identity[T](x: T) -> T: return x let i = identity(42) # i: Int로 추론 let s = identity("abc") # s: String로 추론

→ 호출 시 인자로부터 T의 타입이 추론됩니다.

(Haskell/ML의 Hindley-Milner 추론처럼 “가장 일반적인 타입”을 찾습니다.)

복합 타입 추론 (리스트/튜플 등)

let nums = [1, 2, 3] # List[Int] let pair = (1, "hi") # Tuple[Int, String]

→ 컬렉션 내부 요소의 타입도 자동 추론.

타입 추론 한계

Mojo도 완전한 “전역 타입 추론”은 제공하지 않고, 보통 로컬 추론(local inference) 중심입니다.

함수 시그니처에서 매개변수 타입을 생략하면 모호성이 생길 수 있어 대부분 매개변수 타입은 명시해야 합니다.

Rust/Swift와 유사하게 → 변수/반환 타입은 생략해도 되지만, 인자 타입은 가급적 써줘야 안전.

✅ 요약

Mojo는 파이썬처럼 보이지만 정적 타입 언어.

변수/반환 타입은 자동 추론, 제네릭도 호출 인자 기반 추론.

다만 함수 인자 타입은 명시하는 게 기본 스타일.

추론 스타일은 Rust/Swift에 가까움.

원하시면 제가 같은 함수를 파이썬 vs Mojo vs Rust로 보여드리면서 “타입 추론이 어디까지 되나”를 비교해드릴 수도 있어요. 그럴까요?

고정닉 0

전체 댓글 0개

등록순 최신순 답글순

본문 보기

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

갤러리 리스트
번호	제목	글쓴이	작성일	조회	추천
설문	존재만으로도 웃음주는 최고의 '웃수저' 스타는?	운영자	25/08/25	-	-
이슈	느린 여행으로 삶의 속도를 찾는 유튜버 꾸준	운영자	25/08/26	-	-
AD	MD's pick 상반기 인기 노트북	운영자	25/08/26	-	-
2885193	파이썬 초초보 질문 [1]	프갤러(59.11)	08.28	35	0
2885191	윈도우임베 미래없다는말이 젤 개소리인게 [2]	네오커헠(211.234)	08.28	70	0
2885190	자꾸 기술스택 처바꿔대서 짜증난다.	프갤러(211.234)	08.28	32	0
2885189	aespa 에스파 'Rich Man' Trailer \| I am a Ri	발명도둑잡기	08.28	18	0
2885188	일정 넘 빠듯하넹..	♥냥덩이♥	08.28	34	0
2885187	지은 죄가 없는데 이렇게까지 되네요.	gy	08.28	27	0
2885186	“아들 죽음에 챗GPT 책임” 미국서 첫 소송	발명도둑잡기	08.28	23	0
2885185	ㅇㅐ널의달성 2.///2	♥냥덩이♥	08.28	36	0
2885184	누가 나님 냥덩이 만진거야? [1]	♥냥덩이♥	08.28	28	0
2885183	세상엔 좆병신이 많은 것 같다 [3]	아스카영원히사랑해	08.28	67	0
2885181	또 하나 더...	넥도리아(220.74)	08.28	35	0
2885180	통수조심해라 [1]	프갤러(211.170)	08.28	64	2
2885179	포토샵 시대 끝나나... 나노 바나나 공식 출시	발명도둑잡기	08.28	33	0
2885178	부침개 먹는다. [1]	넥도리아(220.74)	08.28	49	0
2885177	아 존나 배고파	루도그담당(118.235)	08.28	25	0
2885176	저는 가짜 개발자입니다 ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ [2]	공기역학	08.28	71	2
2885175	내일이 칠월칠석이구나	발명도둑잡기	08.28	14	0
2885174	요즘은 마크개발자놀이역할 로블록스가 한다고 들은거같음	공기역학	08.28	27	0
2885173	님들, 딥시크 모델 무료/무제한으로 풀림 ㄷㄷ (정보 공유)	무한루프	08.28	26	0
2885172	❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤	♥냥덩이♥	08.28	14	0
2885171	日, 개처럼 짖는 히로히토 일왕 영상에 격분... 中에 삭제 요구	발명도둑잡기	08.28	23	0
2885170	님들 컴공 졸업할때 cpa 응시자격같은거 채웠음? [3]	공기역학	08.28	76	0
2885169	하루에 오보오경억만무량대수줄 감사의 코딩	공기역학	08.28	22	0
2885168	저도 웹개발 하다가 적성에 안맞아요	프갤러(118.235)	08.28	42	0
2885167	정신이 혼미한 좌청래 ㅋㅅㅋ	♥냥덩이♥	08.28	23	0
2885166	sql 연습 이런 사이트 없나 [1]	프갤러(118.235)	08.28	32	0
2885165	솽.. 나가야 대는대..ㅇㅅㅇ	헤르 미온느	08.28	16	0
2885164	ISTP 개발자분 계신지? [1]	프갤러(106.242)	08.28	49	0
2885163	코딩 적성에 맞는지 (간단하게) 확인하는법(고딩용) [3]	프갤러(125.135)	08.28	66	0
2885162	1인개발자인데 개발자 구하려는데 페이 얼마나 주면됨? [3]	프갤러(112.187)	08.28	50	0
2885161	1인개발자 구인은 어디서함?	프갤러(112.187)	08.28	20	0
2885160	취업 힘들까요??	딱좋노	08.28	25	0
2885159	자식이 주는 행복도 있구나	루도그담당(118.235)	08.28	26	0
2885158	극좌 입구컷	♥냥덩이♥	08.28	22	0
2885157	시체꼴로 10년이네요.	gy	08.28	24	0
2885155	식스섹스	♥냥덩이♥	08.28	31	0
2885154	누구는 차은우 누구는 김성수여도 기득권들은 대부분 좇같은새끼들이라는거 ㅎ	뒷통수한방(1.213)	08.28	22	0
2885153	아 개졸리넹	♥냥덩이♥	08.28	27	0
2885152	좇센에서 태어나는게 간접체험이 누구는 김성수 인생 누구는 차은우 인생 [1]	뒷통수한방(1.213)	08.28	35	0
2885151	깃 잘 모르는 사람이 나보다 직급 높으니까 기분 더럽네	프갤러(218.154)	08.28	27	0
2885150	프로그래밍 하면 맘에 드는 코드 까서 저장해놓잖아 [8]	ㅆㅇㅆ(124.216)	08.28	104	0
2885149	섹스섹스	♥냥덩이♥	08.28	36	0
2885148	리버싱 니네도 해보셈 [2]	루도그담당(118.235)	08.28	55	0
2885147	그냥 이론 실무서적보고 남의 게임이랑 코드까보면 되잖아 [7]	ㅆㅇㅆ찡	08.28	70	0
2885146	[애니뉴스] 귀인환등초 잡지 2호 포스터 공개-	프갤러(121.172)	08.28	15	0
2885145	하는일이 점점 산으로 가는데.. 어케해야하나... [9]	프갤러(175.125)	08.28	59	0
2885144	애초에 항상 최신 스택 이런건 그냥 학원들 약팔이일뿐임.	ㅆㅇㅆ(124.216)	08.28	24	0
2885143	데비안13 조져버림 이기이기 [3]	뒷통수한방(1.213)	08.28	56	0
2885142	근데 도태랄게 있나 애초에 시장이랑 기술적 최신 스택이랑 일치 안함 [2]	ㅆㅇㅆ(124.216)	08.28	62	0
2885141	자료구조 책?강의?추천좀 해주세요 [5]	프갤러(118.32)	08.28	48	0
뉴스	방탄소년단 'DNA', 일본레코드협회 더블 플래티넘 인증	디시트렌드	08.28